BibTeX records: Ehsan Khamespanah

download as .bib file

@article{DBLP:journals/jss/BagheriSKKAML18,
  author    = {Maryam Bagheri and
               Marjan Sirjani and
               Ehsan Khamespanah and
               Narges Khakpour and
               Ilge Akkaya and
               Ali Movaghar and
               Edward A. Lee},
  title     = {Coordinated actor model of self-adaptive track-based traffic control
               systems},
  journal   = {Journal of Systems and Software},
  volume    = {143},
  pages     = {116--139},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.jss.2018.05.034},
  doi       = {10.1016/j.jss.2018.05.034},
  timestamp = {Thu, 05 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jss/BagheriSKKAML18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KhamespanahKS18,
  author    = {Ehsan Khamespanah and
               Ramtin Khosravi and
               Marjan Sirjani},
  title     = {An efficient {TCTL} model checking algorithm and a reduction technique
               for verification of timed actor models},
  journal   = {Sci. Comput. Program.},
  volume    = {153},
  pages     = {1--29},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.scico.2017.11.004},
  doi       = {10.1016/j.scico.2017.11.004},
  timestamp = {Tue, 06 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/scp/KhamespanahKS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KhamespanahSMA18,
  author    = {Ehsan Khamespanah and
               Marjan Sirjani and
               Kirill Mechitov and
               Gul Agha},
  title     = {Modeling and analyzing real-time wireless sensor and actuator networks
               using actors and model checking},
  journal   = {{STTT}},
  volume    = {20},
  number    = {5},
  pages     = {547--561},
  year      = {2018},
  url       = {https://doi.org/10.1007/s10009-017-0480-3},
  doi       = {10.1007/s10009-017-0480-3},
  timestamp = {Tue, 21 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/KhamespanahSMA18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/RahemiKK18,
  author    = {Fahimeh Rahemi and
               Ehsan Khamespanah and
               Ramtin Khosravi},
  title     = {Improving the Performance of Actor-Based Programs Using a New Actor
               to Thread Association Technique},
  booktitle = {Distributed Applications and Interoperable Systems - 18th {IFIP} {WG}
               6.1 International Conference, {DAIS} 2018, Held as Part of the 13th
               International Federated Conference on Distributed Computing Techniques,
               DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings},
  pages     = {122--136},
  year      = {2018},
  crossref  = {DBLP:conf/dais/2018},
  url       = {https://doi.org/10.1007/978-3-319-93767-0\_9},
  doi       = {10.1007/978-3-319-93767-0\_9},
  timestamp = {Fri, 15 Jun 2018 12:49:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dais/RahemiKK18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/BoerSHHRDJSKFY17,
  author    = {Frank S. de Boer and
               Vlad Serbanescu and
               Reiner H{\"{a}}hnle and
               Ludovic Henrio and
               Justine Rochas and
               Crystal Chang Din and
               Einar Broch Johnsen and
               Marjan Sirjani and
               Ehsan Khamespanah and
               Kiko Fernandez{-}Reyes and
               Albert Mingkun Yang},
  title     = {A Survey of Active Object Languages},
  journal   = {{ACM} Comput. Surv.},
  volume    = {50},
  number    = {5},
  pages     = {76:1--76:39},
  year      = {2017},
  url       = {https://doi.org/10.1145/3122848},
  doi       = {10.1145/3122848},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/csur/BoerSHHRDJSKFY17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/BagheriKSML17,
  author    = {Maryam Bagheri and
               Ehsan Khamespanah and
               Marjan Sirjani and
               Ali Movaghar and
               Edward A. Lee},
  title     = {Runtime compositional analysis of track-based traffic control systems},
  journal   = {{SIGBED} Review},
  volume    = {14},
  number    = {3},
  pages     = {38--39},
  year      = {2017},
  url       = {https://doi.org/10.1145/3166227.3166233},
  doi       = {10.1145/3166227.3166233},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigbed/BagheriKSML17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/SirjaniKMA17,
  author    = {Marjan Sirjani and
               Ehsan Khamespanah and
               Kirill Mechitov and
               Gul Agha},
  title     = {A compositional approach for modeling and timing analysis of wireless
               sensor and actuator networks},
  journal   = {{SIGBED} Review},
  volume    = {14},
  number    = {3},
  pages     = {49--56},
  year      = {2017},
  url       = {https://doi.org/10.1145/3166227.3166237},
  doi       = {10.1145/3166227.3166237},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigbed/SirjaniKMA17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/MellatiKK17,
  author    = {Pouria Mellati and
               Ehsan Khamespanah and
               Ramtin Khosravi},
  title     = {LeeTL: {LTL} with quantifications over model objects},
  booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
               on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
               2017},
  pages     = {41--49},
  year      = {2017},
  crossref  = {DBLP:conf/spin/2017},
  url       = {https://doi.org/10.1145/3092282.3092294},
  doi       = {10.1145/3092282.3092294},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/spin/MellatiKK17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/JafariKKSM16,
  author    = {Ali Jafari and
               Ehsan Khamespanah and
               Haukur Kristinsson and
               Marjan Sirjani and
               Brynjar Magnusson},
  title     = {Statistical model checking of Timed Rebeca models},
  journal   = {Computer Languages, Systems {\&} Structures},
  volume    = {45},
  pages     = {53--79},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.cl.2016.01.004},
  doi       = {10.1016/j.cl.2016.01.004},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cl/JafariKKSM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JafariKSHC16,
  author    = {Ali Jafari and
               Ehsan Khamespanah and
               Marjan Sirjani and
               Holger Hermanns and
               Matteo Cimini},
  title     = {PTRebeca: Modeling and analysis of distributed and asynchronous systems},
  journal   = {Sci. Comput. Program.},
  volume    = {128},
  pages     = {22--50},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.scico.2016.03.004},
  doi       = {10.1016/j.scico.2016.03.004},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/JafariKSHC16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SirjaniK16,
  author    = {Marjan Sirjani and
               Ehsan Khamespanah},
  title     = {On Time Actors},
  booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
               de Boer on the Occasion of His 60th Birthday},
  pages     = {373--392},
  year      = {2016},
  crossref  = {DBLP:conf/birthday/2016deboer},
  url       = {https://doi.org/10.1007/978-3-319-30734-3\_25},
  doi       = {10.1007/978-3-319-30734-3\_25},
  timestamp = {Fri, 02 Nov 2018 09:46:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/SirjaniK16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BagheriAKKSML16,
  author    = {Maryam Bagheri and
               Ilge Akkaya and
               Ehsan Khamespanah and
               Narges Khakpour and
               Marjan Sirjani and
               Ali Movaghar and
               Edward A. Lee},
  title     = {Coordinated Actors for Reliable Self-adaptive Systems},
  booktitle = {Formal Aspects of Component Software - 13th International Conference,
               {FACS} 2016, Besan{\c{c}}on, France, October 19-21, 2016, Revised
               Selected Papers},
  pages     = {241--259},
  year      = {2016},
  crossref  = {DBLP:conf/facs2/2016},
  url       = {https://doi.org/10.1007/978-3-319-57666-4\_15},
  doi       = {10.1007/978-3-319-57666-4\_15},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/BagheriAKKSML16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/KhamespanahMSA16,
  author    = {Ehsan Khamespanah and
               Kirill Mechitov and
               Marjan Sirjani and
               Gul A. Agha},
  title     = {Schedulability Analysis of Distributed Real-Time Sensor Network Applications
               Using Actor-Based Model Checking},
  booktitle = {Model Checking Software - 23rd International Symposium, {SPIN} 2016,
               Co-located with {ETAPS} 2016, Eindhoven, The Netherlands, April 7-8,
               2016, Proceedings},
  pages     = {165--181},
  year      = {2016},
  crossref  = {DBLP:conf/spin/2016},
  url       = {https://doi.org/10.1007/978-3-319-32582-8\_11},
  doi       = {10.1007/978-3-319-32582-8\_11},
  timestamp = {Thu, 15 Jun 2017 21:39:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/KhamespanahMSA16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/KhamespanahSMSR15,
  author    = {Ehsan Khamespanah and
               Marjan Sirjani and
               Mohammad Reza Mousavi and
               Zeynab Sabahi{-}Kaviani and
               Mohamadreza Razzazi},
  title     = {State Distribution Policy for Distributed Model Checking of Actor
               Models},
  journal   = {{ECEASST}},
  volume    = {72},
  year      = {2015},
  url       = {https://doi.org/10.14279/tuj.eceasst.72.1022},
  doi       = {10.14279/tuj.eceasst.72.1022},
  timestamp = {Wed, 12 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/eceasst/KhamespanahSMSR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KhamespanahSSKI15,
  author    = {Ehsan Khamespanah and
               Marjan Sirjani and
               Zeynab Sabahi{-}Kaviani and
               Ramtin Khosravi and
               Mohammad{-}Javad Izadi},
  title     = {Timed Rebeca schedulability and deadlock freedom analysis using bounded
               floating time transition system},
  journal   = {Sci. Comput. Program.},
  volume    = {98},
  pages     = {184--204},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2014.07.005},
  doi       = {10.1016/j.scico.2014.07.005},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/KhamespanahSSKI15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Sabahi-KavianiK15,
  author    = {Zeynab Sabahi{-}Kaviani and
               Ramtin Khosravi and
               Peter Csaba {\"{O}}lveczky and
               Ehsan Khamespanah and
               Marjan Sirjani},
  title     = {Formal semantics and efficient analysis of Timed Rebeca in Real-Time
               Maude},
  journal   = {Sci. Comput. Program.},
  volume    = {113},
  pages     = {85--118},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2015.07.003},
  doi       = {10.1016/j.scico.2015.07.003},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/Sabahi-KavianiK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/ZakeriyanKSK15,
  author    = {Arvin Zakeriyan and
               Ehsan Khamespanah and
               Marjan Sirjani and
               Ramtin Khosravi},
  title     = {Jacco: more efficient model checking toolset for Java actor programs},
  booktitle = {Proceedings of the 5th International Workshop on Programming Based
               on Actors, Agents, and Decentralized Control, AGERE! 2015, Pittsburgh,
               PA, USA, October 26, 2015},
  pages     = {37--44},
  year      = {2015},
  crossref  = {DBLP:conf/agere/2015},
  url       = {https://doi.org/10.1145/2824815.2824819},
  doi       = {10.1145/2824815.2824819},
  timestamp = {Tue, 06 Nov 2018 16:57:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/agere/ZakeriyanKSK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/KhamespanahSVK15,
  author    = {Ehsan Khamespanah and
               Marjan Sirjani and
               Mahesh Viswanathan and
               Ramtin Khosravi},
  title     = {Floating Time Transition System: More Efficient Analysis of Timed
               Actors},
  booktitle = {Formal Aspects of Component Software - 12th International Conference,
               {FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
               Selected Papers},
  pages     = {237--255},
  year      = {2015},
  crossref  = {DBLP:conf/facs2/2015},
  url       = {https://doi.org/10.1007/978-3-319-28934-2\_13},
  doi       = {10.1007/978-3-319-28934-2\_13},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/KhamespanahSVK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/JafariKSH14,
  author    = {Ali Jafari and
               Ehsan Khamespanah and
               Marjan Sirjani and
               Holger Hermanns},
  title     = {Performance Analysis of Distributed and Asynchronous Systems using
               Probabilistic Timed Actors},
  journal   = {{ECEASST}},
  volume    = {70},
  year      = {2014},
  url       = {https://doi.org/10.14279/tuj.eceasst.70.984},
  doi       = {10.14279/tuj.eceasst.70.984},
  timestamp = {Wed, 12 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/eceasst/JafariKSH14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/MagnussonKKS14,
  author    = {Brynjar Magnusson and
               Ehsan Khamespanah and
               Ramtin Khosravi and
               Marjan Sirjani},
  title     = {Event-Based Analysis of Timed Rebeca Models using {SQL}},
  booktitle = {Proceedings of the 4th International Workshop on Programming based
               on Actors Agents {\&} Decentralized Control, AGERE! 2014, Portland,
               OR, USA, October 20, 2014},
  pages     = {43--54},
  year      = {2014},
  crossref  = {DBLP:conf/agere/2014},
  url       = {https://doi.org/10.1145/2687357.2687365},
  doi       = {10.1145/2687357.2687365},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/agere/MagnussonKKS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/KhamespanahKS14,
  author    = {Ehsan Khamespanah and
               Ramtin Khosravi and
               Marjan Sirjani},
  title     = {Efficient {TCTL} Model Checking Algorithm for Timed Actors},
  booktitle = {Proceedings of the 4th International Workshop on Programming based
               on Actors Agents {\&} Decentralized Control, AGERE! 2014, Portland,
               OR, USA, October 20, 2014},
  pages     = {55--66},
  year      = {2014},
  crossref  = {DBLP:conf/agere/2014},
  url       = {https://doi.org/10.1145/2687357.2687366},
  doi       = {10.1145/2687357.2687366},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/agere/KhamespanahKS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/KristinssonJKMS13,
  author    = {Haukur Kristinsson and
               Ali Jafari and
               Ehsan Khamespanah and
               Brynjar Magnusson and
               Marjan Sirjani},
  title     = {Analysing timed Rebeca using McErlang},
  booktitle = {Proceedings of the 2013 Workshop on Programming based on Actors, Agents,
               and Decentralized Control, AGERE!@SPLASH 2013, Indianapolis, IN, USA,
               October 27-28, 2013},
  pages     = {25--36},
  year      = {2013},
  crossref  = {DBLP:conf/agere/2013},
  url       = {https://doi.org/10.1145/2541329.2541335},
  doi       = {10.1145/2541329.2541335},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/agere/KristinssonJKMS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/Sabahi-KavianiKSOK13,
  author    = {Zeynab Sabahi{-}Kaviani and
               Ramtin Khosravi and
               Marjan Sirjani and
               Peter Csaba {\"{O}}lveczky and
               Ehsan Khamespanah},
  title     = {Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  pages     = {178--194},
  year      = {2013},
  crossref  = {DBLP:conf/ftscs/2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_12},
  doi       = {10.1007/978-3-319-05416-2\_12},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftscs/Sabahi-KavianiKSOK13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/KhamespanahSKSI12,
  author    = {Ehsan Khamespanah and
               Zeynab Sabahi{-}Kaviani and
               Ramtin Khosravi and
               Marjan Sirjani and
               Mohammad{-}Javad Izadi},
  title     = {Timed-rebeca schedulability and deadlock-freedom analysis using floating-time
               transition system},
  booktitle = {Proceedings of the 2nd edition on Programming systems, languages and
               applications based on actors, agents, and decentralized control abstractions,
               AGERE! 2012, October 21-22, 2012, Tucson, Arizona, {USA}},
  pages     = {23--34},
  year      = {2012},
  crossref  = {DBLP:conf/agere/2012},
  url       = {https://doi.org/10.1145/2414639.2414645},
  doi       = {10.1145/2414639.2414645},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/agere/KhamespanahSKSI12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/JaghooriSMKM10,
  author    = {Mohammad Mahdi Jaghoori and
               Marjan Sirjani and
               Mohammad Reza Mousavi and
               Ehsan Khamespanah and
               Ali Movaghar},
  title     = {Symmetry and partial order reduction techniques in model checking
               Rebeca},
  journal   = {Acta Inf.},
  volume    = {47},
  number    = {1},
  pages     = {33--66},
  year      = {2010},
  url       = {https://doi.org/10.1007/s00236-009-0111-x},
  doi       = {10.1007/s00236-009-0111-x},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/acta/JaghooriSMKM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/RazaviBSKSS10,
  author    = {Niloofar Razavi and
               Razieh Behjati and
               Hamideh Sabouri and
               Ehsan Khamespanah and
               Amin Shali and
               Marjan Sirjani},
  title     = {Sysfier: Actor-based formal verification of SystemC},
  journal   = {{ACM} Trans. Embedded Comput. Syst.},
  volume    = {10},
  number    = {2},
  pages     = {19:1--19:35},
  year      = {2010},
  url       = {https://doi.org/10.1145/1880050.1880055},
  doi       = {10.1145/1880050.1880055},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tecs/RazaviBSKSS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dais/2018,
  editor    = {Silvia Bonomi and
               Etienne Rivi{\`{e}}re},
  title     = {Distributed Applications and Interoperable Systems - 18th {IFIP} {WG}
               6.1 International Conference, {DAIS} 2018, Held as Part of the 13th
               International Federated Conference on Distributed Computing Techniques,
               DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10853},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-93767-0},
  doi       = {10.1007/978-3-319-93767-0},
  isbn      = {978-3-319-93766-3},
  timestamp = {Fri, 15 Jun 2018 12:49:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dais/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2017,
  editor    = {Hakan Erdogmus and
               Klaus Havelund},
  title     = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
               on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3092282},
  isbn      = {978-1-4503-5077-8},
  timestamp = {Wed, 16 Aug 2017 09:59:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2016deboer,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Marcello M. Bonsangue and
               Einar Broch Johnsen},
  title     = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
               de Boer on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {9660},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-30734-3},
  doi       = {10.1007/978-3-319-30734-3},
  isbn      = {978-3-319-30733-6},
  timestamp = {Fri, 02 Nov 2018 09:46:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2016deboer},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2016,
  editor    = {Olga Kouchnarenko and
               Ramtin Khosravi},
  title     = {Formal Aspects of Component Software - 13th International Conference,
               {FACS} 2016, Besan{\c{c}}on, France, October 19-21, 2016, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10231},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-57666-4},
  doi       = {10.1007/978-3-319-57666-4},
  isbn      = {978-3-319-57665-7},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2016,
  editor    = {Dragan Bosnacki and
               Anton Wijs},
  title     = {Model Checking Software - 23rd International Symposium, {SPIN} 2016,
               Co-located with {ETAPS} 2016, Eindhoven, The Netherlands, April 7-8,
               2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9641},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-32582-8},
  doi       = {10.1007/978-3-319-32582-8},
  isbn      = {978-3-319-32581-1},
  timestamp = {Thu, 15 Jun 2017 21:39:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agere/2015,
  editor    = {Elisa Gonzalez Boix and
               Philipp Haller and
               Alessandro Ricci and
               Carlos Varela},
  title     = {Proceedings of the 5th International Workshop on Programming Based
               on Actors, Agents, and Decentralized Control, AGERE! 2015, Pittsburgh,
               PA, USA, October 26, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2824815},
  doi       = {10.1145/2824815},
  isbn      = {978-1-4503-3901-8},
  timestamp = {Tue, 06 Nov 2018 16:57:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/agere/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2015,
  editor    = {Christiano Braga and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Aspects of Component Software - 12th International Conference,
               {FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9539},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-28934-2},
  doi       = {10.1007/978-3-319-28934-2},
  isbn      = {978-3-319-28933-5},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agere/2014,
  editor    = {Elisa Gonzalez Boix and
               Philipp Haller and
               Alessandro Ricci and
               Carlos Varela},
  title     = {Proceedings of the 4th International Workshop on Programming based
               on Actors Agents {\&} Decentralized Control, AGERE! 2014, Portland,
               OR, USA, October 20, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2687357},
  isbn      = {978-1-4503-2189-1},
  timestamp = {Fri, 16 Jan 2015 13:56:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/agere/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agere/2013,
  editor    = {Nadeem Jamali and
               Alessandro Ricci and
               Gera Weiss and
               Akinori Yonezawa},
  title     = {Proceedings of the 2013 Workshop on Programming based on Actors, Agents,
               and Decentralized Control, AGERE!@SPLASH 2013, Indianapolis, IN, USA,
               October 27-28, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2541329},
  isbn      = {978-1-4503-2602-5},
  timestamp = {Wed, 23 Apr 2014 20:17:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/agere/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftscs/2013,
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-05416-2},
  doi       = {10.1007/978-3-319-05416-2},
  isbn      = {978-3-319-05415-5},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftscs/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agere/2012,
  editor    = {Gul A. Agha and
               Rafael H. Bordini and
               Assaf Marron and
               Alessandro Ricci},
  title     = {Proceedings of the 2nd edition on Programming systems, languages and
               applications based on actors, agents, and decentralized control abstractions,
               AGERE! 2012, October 21-22, 2012, Tucson, Arizona, {USA}},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2414639},
  isbn      = {978-1-4503-1630-9},
  timestamp = {Wed, 23 Apr 2014 20:19:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/agere/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier