BibTeX records: Michele Loreti

download as .bib file

@article{DBLP:journals/iandc/AlrahmanNL19,
  author    = {Yehia Abd Alrahman and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {A calculus for collective-adaptive systems and its behavioural theory},
  journal   = {Inf. Comput.},
  volume    = {268},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.ic.2019.104457},
  doi       = {10.1016/j.ic.2019.104457},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/AlrahmanNL19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NicolaDL19,
  author    = {Rocco {De Nicola} and
               Tan Duong and
               Michele Loreti},
  title     = {{ABEL} - {A} Domain Specific Framework for Programming with Attribute-Based
               Communication},
  booktitle = {Coordination Models and Languages - 21st {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2019, Held as Part of the 14th International
               Federated Conference on Distributed Computing Techniques, DisCoTec
               2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings},
  pages     = {111--128},
  year      = {2019},
  crossref  = {DBLP:conf/coordination/2019},
  url       = {https://doi.org/10.1007/978-3-030-22397-7\_7},
  doi       = {10.1007/978-3-030-22397-7\_7},
  timestamp = {Wed, 05 Jun 2019 11:19:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/NicolaDL19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BennaceurGTKWCD19,
  author    = {Amel Bennaceur and
               Carlo Ghezzi and
               Kenji Tei and
               Timo Kehrer and
               Danny Weyns and
               Radu Calinescu and
               Schahram Dustdar and
               Zhenjiang Hu and
               Shinichi Honiden and
               Fuyuki Ishikawa and
               Zhi Jin and
               Jeffrey Kramer and
               Marin Litoiu and
               Michele Loreti and
               Gabriel A. Moreno and
               Hausi A. M{\"{u}}ller and
               Laura Nenzi and
               Bashar Nuseibeh and
               Liliana Pasquale and
               Wolfgang Reisig and
               Heinz Schmidt and
               Christos Tsigkanos and
               Haiyan Zhao},
  title     = {Modelling and analysing resilient cyber-physical systems},
  booktitle = {Proceedings of the 14th International Symposium on Software Engineering
               for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal,
               QC, Canada, May 25-31, 2019},
  pages     = {70--76},
  year      = {2019},
  crossref  = {DBLP:conf/icse/2019seams},
  url       = {https://doi.org/10.1109/SEAMS.2019.00018},
  doi       = {10.1109/SEAMS.2019.00018},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/BennaceurGTKWCD19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TsigkanosNLGDG19,
  author    = {Christos Tsigkanos and
               Laura Nenzi and
               Michele Loreti and
               Martin Garriga and
               Schahram Dustdar and
               Carlo Ghezzi},
  title     = {Inferring analyzable models from trajectories of spatially-distributed
               internet of things},
  booktitle = {Proceedings of the 14th International Symposium on Software Engineering
               for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal,
               QC, Canada, May 25-31, 2019},
  pages     = {100--106},
  year      = {2019},
  crossref  = {DBLP:conf/icse/2019seams},
  url       = {https://doi.org/10.1109/SEAMS.2019.00021},
  doi       = {10.1109/SEAMS.2019.00021},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/TsigkanosNLGDG19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2019denicola,
  editor    = {Michele Boreale and
               Flavio Corradini and
               Michele Loreti and
               Rosario Pugliese},
  title     = {Models, Languages, and Tools for Concurrent and Distributed Programming
               - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
               Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {11665},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-21485-2},
  doi       = {10.1007/978-3-030-21485-2},
  isbn      = {978-3-030-21484-5},
  timestamp = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2019denicola},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-08847,
  author    = {Ezio Bartocci and
               Luca Bortolussi and
               Michele Loreti and
               Laura Nenzi},
  title     = {Monitoring Mobile and Spatially Distributed Cyber-Physical Systems},
  journal   = {CoRR},
  volume    = {abs/1904.08847},
  year      = {2019},
  url       = {http://arxiv.org/abs/1904.08847},
  archivePrefix = {arXiv},
  eprint    = {1904.08847},
  timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1904-08847},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/NenziBCLM18,
  author    = {Laura Nenzi and
               Luca Bortolussi and
               Vincenzo Ciancia and
               Michele Loreti and
               Mieke Massink},
  title     = {Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
               with {SSTL}},
  journal   = {Logical Methods in Computer Science},
  volume    = {14},
  number    = {4},
  year      = {2018},
  url       = {https://doi.org/10.23638/LMCS-14(4:2)2018},
  doi       = {10.23638/LMCS-14(4:2)2018},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lmcs/NenziBCLM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CianciaGGLLM18,
  author    = {Vincenzo Ciancia and
               Stephen Gilmore and
               Gianluca Grilletti and
               Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {Spatio-temporal model checking of vehicular movement in public transport
               systems},
  journal   = {{STTT}},
  volume    = {20},
  number    = {3},
  pages     = {289--311},
  year      = {2018},
  url       = {https://doi.org/10.1007/s10009-018-0483-8},
  doi       = {10.1007/s10009-018-0483-8},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/CianciaGGLLM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/BeekL18,
  author    = {Maurice H. ter Beek and
               Michele Loreti},
  title     = {Guest Editorial for the Special Issue on FORmal methods for the quantitative
               Evaluation of Collective Adaptive SysTems {(FORECAST)}},
  journal   = {{ACM} Trans. Model. Comput. Simul.},
  volume    = {28},
  number    = {2},
  pages     = {8:1--8:4},
  year      = {2018},
  url       = {https://doi.org/10.1145/3177772},
  doi       = {10.1145/3177772},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tomacs/BeekL18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/Loreti18,
  author    = {Michele Loreti},
  title     = {Replicated Computations Results {(RCR)} Report for "Mesoscopic
               Modelling of Pedestrian Movement using Carma and its Tools"},
  journal   = {{ACM} Trans. Model. Comput. Simul.},
  volume    = {28},
  number    = {2},
  pages     = {12:1--12:3},
  year      = {2018},
  url       = {https://doi.org/10.1145/3177773},
  doi       = {10.1145/3177773},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tomacs/Loreti18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AlrahmanNGL18,
  author    = {Yehia Abd Alrahman and
               Rocco {De Nicola} and
               Giulio Garbi and
               Michele Loreti},
  title     = {A Distributed Coordination Infrastructure for Attribute-Based Interaction},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 38th {IFIP} {WG} 6.1 International Conference, {FORTE} 2018, Held
               as Part of the 13th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018,
               Proceedings},
  pages     = {1--20},
  year      = {2018},
  crossref  = {DBLP:conf/forte/2018},
  url       = {https://doi.org/10.1007/978-3-319-92612-4\_1},
  doi       = {10.1007/978-3-319-92612-4\_1},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/AlrahmanNGL18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/GalpinGLV18,
  author    = {Vashti Galpin and
               Anastasis Georgoulas and
               Michele Loreti and
               Andrea Vandin},
  title     = {Statistical Analysis of {CARMA} Models: an Advanced Tutorial},
  booktitle = {2018 Winter Simulation Conference, {WSC} 2018, Gothenburg, Sweden,
               December 9-12, 2018},
  pages     = {395--409},
  year      = {2018},
  crossref  = {DBLP:conf/wsc/2018},
  url       = {https://doi.org/10.1109/WSC.2018.8632456},
  doi       = {10.1109/WSC.2018.8632456},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wsc/GalpinGLV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2018,
  editor    = {Giovanna Di Marzo Serugendo and
               Michele Loreti},
  title     = {Coordination Models and Languages - 20th {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 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    = {10852},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92408-3},
  doi       = {10.1007/978-3-319-92408-3},
  isbn      = {978-3-319-92407-6},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Lluch-LafuenteL16,
  author    = {Alberto Lluch{-}Lafuente and
               Michele Loreti and
               Ugo Montanari},
  title     = {Asynchronous Distributed Execution Of Fixpoint-Based Computational
               Fields},
  journal   = {Logical Methods in Computer Science},
  volume    = {13},
  number    = {1},
  year      = {2017},
  url       = {https://doi.org/10.23638/LMCS-13(1:13)2017},
  doi       = {10.23638/LMCS-13(1:13)2017},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Lluch-LafuenteL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LatellaLM17,
  author    = {Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {FlyFast: {A} Scalable Approach to Probabilistic Model-Checking Based
               on Mean-Field Approximation},
  booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
               Occasion of His 60th Birthday},
  pages     = {254--275},
  year      = {2017},
  crossref  = {DBLP:conf/birthday/2017brinksma},
  url       = {https://doi.org/10.1007/978-3-319-68270-9\_13},
  doi       = {10.1007/978-3-319-68270-9\_13},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/LatellaLM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BartocciBLN17,
  author    = {Ezio Bartocci and
               Luca Bortolussi and
               Michele Loreti and
               Laura Nenzi},
  title     = {Monitoring mobile and spatially distributed cyber-physical systems},
  booktitle = {Proceedings of the 15th {ACM-IEEE} International Conference on Formal
               Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria,
               September 29 - October 02, 2017},
  pages     = {146--155},
  year      = {2017},
  crossref  = {DBLP:conf/memocode/2017},
  url       = {https://doi.org/10.1145/3127041.3127050},
  doi       = {10.1145/3127041.3127050},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/memocode/BartocciBLN17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/VissatLNHM17,
  author    = {Ludovica Luisa Vissat and
               Michele Loreti and
               Laura Nenzi and
               Jane Hillston and
               Glenn Marion},
  title     = {Three-Valued Spatio-Temporal Logic: {A} Further Analysis on Spatio-Temporal
               Properties of Stochastic Systems},
  booktitle = {Quantitative Evaluation of Systems - 14th International Conference,
               {QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
  pages     = {317--332},
  year      = {2017},
  crossref  = {DBLP:conf/qest/2017},
  url       = {https://doi.org/10.1007/978-3-319-66335-7\_22},
  doi       = {10.1007/978-3-319-66335-7\_22},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/VissatLNHM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LatellaLM17,
  author    = {Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {FlyFast: {A} Mean Field Model Checker},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 23rd International Conference, {TACAS} 2017, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
  pages     = {303--309},
  year      = {2017},
  crossref  = {DBLP:conf/tacas/2017-2},
  url       = {https://doi.org/10.1007/978-3-662-54580-5\_18},
  doi       = {10.1007/978-3-662-54580-5\_18},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/LatellaLM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/VissatHLN17,
  author    = {Ludovica Luisa Vissat and
               Jane Hillston and
               Michele Loreti and
               Laura Nenzi},
  title     = {Automatic verification of reliability requirements of spatio-temporal
               analysis using Three-Valued Spatio-Temporal Logic},
  booktitle = {Proceedings of the 11th {EAI} International Conference on Performance
               Evaluation Methodologies and Tools, {VALUETOOLS} 2017, Venice, Italy,
               December 05-07, 2017},
  pages     = {225--226},
  year      = {2017},
  crossref  = {DBLP:conf/valuetools/2017},
  url       = {https://doi.org/10.1145/3150928.3150961},
  doi       = {10.1145/3150928.3150961},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/valuetools/VissatHLN17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NenziBCLM17,
  author    = {Laura Nenzi and
               Luca Bortolussi and
               Vincenzo Ciancia and
               Michele Loreti and
               Mieke Massink},
  title     = {Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
               with {SSTL}},
  journal   = {CoRR},
  volume    = {abs/1706.09334},
  year      = {2017},
  url       = {http://arxiv.org/abs/1706.09334},
  archivePrefix = {arXiv},
  eprint    = {1706.09334},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/NenziBCLM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-06092,
  author    = {Yehia Abd Alrahman and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {Programming the Interactions of Collective Adaptive Systems by Relying
               on Attribute-based Communication},
  journal   = {CoRR},
  volume    = {abs/1711.06092},
  year      = {2017},
  url       = {http://arxiv.org/abs/1711.06092},
  archivePrefix = {arXiv},
  eprint    = {1711.06092},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1711-06092},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-09762,
  author    = {Yehia Abd Alrahman and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {A Behavioural Theory for Interactions in Collective-Adaptive Systems},
  journal   = {CoRR},
  volume    = {abs/1711.09762},
  year      = {2017},
  url       = {http://arxiv.org/abs/1711.09762},
  archivePrefix = {arXiv},
  eprint    = {1711.09762},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1711-09762},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CianciaLLM16,
  author    = {Vincenzo Ciancia and
               Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {Model Checking Spatial Logics for Closure Spaces},
  journal   = {Logical Methods in Computer Science},
  volume    = {12},
  number    = {4},
  year      = {2016},
  url       = {https://doi.org/10.2168/LMCS-12(4:2)2016},
  doi       = {10.2168/LMCS-12(4:2)2016},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/CianciaLLM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CrescenziL16,
  author    = {Pierluigi Crescenzi and
               Michele Loreti},
  title     = {Preface},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {322},
  pages     = {1--2},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.entcs.2016.03.001},
  doi       = {10.1016/j.entcs.2016.03.001},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/CrescenziL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wc/ChitiFLP16,
  author    = {Francesco Chiti and
               Romano Fantacci and
               Michele Loreti and
               Rosario Pugliese},
  title     = {Context-aware wireless mobile autonomic computing and communications:
               research trends and emerging applications},
  journal   = {{IEEE} Wireless Commun.},
  volume    = {23},
  number    = {2},
  pages     = {86--92},
  year      = {2016},
  url       = {https://doi.org/10.1109/MWC.2016.7462489},
  doi       = {10.1109/MWC.2016.7462489},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/wc/ChitiFLP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AlrahmanNL16,
  author    = {Yehia Abd Alrahman and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {On the Power of Attribute-Based Communication},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held
               as Part of the 11th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June
               6-9, 2016, Proceedings},
  pages     = {1--18},
  year      = {2016},
  crossref  = {DBLP:conf/forte/2016},
  url       = {https://doi.org/10.1007/978-3-319-39570-8\_1},
  doi       = {10.1007/978-3-319-39570-8\_1},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/AlrahmanNL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AlrahmanNL16,
  author    = {Yehia Abd Alrahman and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {Programming of {CAS} Systems by Relying on Attribute-Based Communication},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  pages     = {539--553},
  year      = {2016},
  crossref  = {DBLP:conf/isola/2016-1},
  url       = {https://doi.org/10.1007/978-3-319-47166-2\_38},
  doi       = {10.1007/978-3-319-47166-2\_38},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/AlrahmanNL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/HillstonL16,
  author    = {Jane Hillston and
               Michele Loreti},
  title     = {{CARMA} Eclipse Plug-in: {A} Tool Supporting Design and Analysis of
               Collective Adaptive Systems},
  booktitle = {Quantitative Evaluation of Systems - 13th International Conference,
               {QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings},
  pages     = {167--171},
  year      = {2016},
  crossref  = {DBLP:conf/qest/2016},
  url       = {https://doi.org/10.1007/978-3-319-43425-4\_12},
  doi       = {10.1007/978-3-319-43425-4\_12},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/HillstonL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/LoretiH16,
  author    = {Michele Loreti and
               Jane Hillston},
  title     = {Modelling and Analysis of Collective Adaptive Systems with {CARMA}
               and its Tools},
  booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
               Systems - 16th International School on Formal Methods for the Design
               of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
               Italy, June 20-24, 2016, Advanced Lectures},
  pages     = {83--119},
  year      = {2016},
  crossref  = {DBLP:conf/sfm/2016},
  url       = {https://doi.org/10.1007/978-3-319-34096-8\_4},
  doi       = {10.1007/978-3-319-34096-8\_4},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/LoretiH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CianciaLLM16,
  author    = {Vincenzo Ciancia and
               Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {Spatial Logic and Spatial Model Checking for Closure Spaces},
  booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
               Systems - 16th International School on Formal Methods for the Design
               of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
               Italy, June 20-24, 2016, Advanced Lectures},
  pages     = {156--201},
  year      = {2016},
  crossref  = {DBLP:conf/sfm/2016},
  url       = {https://doi.org/10.1007/978-3-319-34096-8\_6},
  doi       = {10.1007/978-3-319-34096-8\_6},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/CianciaLLM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/NenziBL16,
  author    = {Laura Nenzi and
               Luca Bortolussi and
               Michele Loreti},
  title     = {jSSTL - {A} Tool to Monitor Spatio-Temporal Properties},
  booktitle = {10th {EAI} International Conference on Performance Evaluation Methodologies
               and Tools, {VALUETOOLS} 2016, Taormina, Italy, 25th-28th Oct 2016},
  year      = {2016},
  crossref  = {DBLP:conf/valuetools/2016},
  url       = {https://doi.org/10.4108/eai.25-10-2016.2266978},
  doi       = {10.4108/eai.25-10-2016.2266978},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/valuetools/NenziBL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2015,
  editor    = {Pierre Ganty and
               Michele Loreti},
  title     = {Trustworthy Global Computing - 10th International Symposium, {TGC}
               2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9533},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-28766-9},
  doi       = {10.1007/978-3-319-28766-9},
  isbn      = {978-3-319-28765-2},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BeekL16,
  editor    = {Maurice H. ter Beek and
               Michele Loreti},
  title     = {Proceedings of the Workshop on FORmal methods for the quantitative
               Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna,
               Austria, 8 July 2016},
  series    = {{EPTCS}},
  volume    = {217},
  year      = {2016},
  url       = {https://doi.org/10.4204/EPTCS.217},
  doi       = {10.4204/EPTCS.217},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BeekL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlrahmanNL16,
  author    = {Yehia Abd Alrahman and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {On the Power of Attribute-based Communication},
  journal   = {CoRR},
  volume    = {abs/1602.05635},
  year      = {2016},
  url       = {http://arxiv.org/abs/1602.05635},
  archivePrefix = {arXiv},
  eprint    = {1602.05635},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AlrahmanNL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BernardoNL15,
  author    = {Marco Bernardo and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {Revisiting bisimilarity and its modal logic for nondeterministic and
               probabilistic processes},
  journal   = {Acta Inf.},
  volume    = {52},
  number    = {1},
  pages     = {61--106},
  year      = {2015},
  url       = {https://doi.org/10.1007/s00236-014-0210-1},
  doi       = {10.1007/s00236-014-0210-1},
  timestamp = {Wed, 25 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/acta/BernardoNL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BernardoGL15,
  author    = {Marco Bernardo and
               Daniel Gebler and
               Michele Loreti},
  title     = {Editorial for the Special Issue on Open Problems in Concurrency Theory},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {84},
  number    = {6},
  pages     = {731},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.jlamp.2015.10.002},
  doi       = {10.1016/j.jlamp.2015.10.002},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/BernardoGL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BorealeBNL15,
  author    = {Michele Boreale and
               Roberto Bruni and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {CaSPiS: a calculus of sessions, pipelines and services},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {25},
  number    = {3},
  pages     = {666--709},
  year      = {2015},
  url       = {https://doi.org/10.1017/S0960129512000953},
  doi       = {10.1017/S0960129512000953},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/BorealeBNL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LatellaLM15,
  author    = {Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {On-the-fly {PCTL} fast mean-field approximated model-checking for
               self-organising coordination},
  journal   = {Sci. Comput. Program.},
  volume    = {110},
  pages     = {23--50},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2015.06.009},
  doi       = {10.1016/j.scico.2015.06.009},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/LatellaLM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LatellaLMS15,
  author    = {Diego Latella and
               Michele Loreti and
               Mieke Massink and
               Valerio Senni},
  title     = {On StocS: {A} Stochastic Extension of {SCEL}},
  booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
               on the Occasion of His Retirement from the Chair of Programming and
               Software Engineering},
  pages     = {619--640},
  year      = {2015},
  crossref  = {DBLP:conf/birthday/2015wirsing},
  url       = {https://doi.org/10.1007/978-3-319-15545-6\_35},
  doi       = {10.1007/978-3-319-15545-6\_35},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/LatellaLMS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/LatellaLM15,
  author    = {Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process
               Languages for Collective Adaptive Systems},
  booktitle = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2015, Held as Part of the 10th International
               Federated Conference on Distributed Computing Techniques, DisCoTec
               2015, Grenoble, France, June 2-4, 2015, Proceedings},
  pages     = {19--34},
  year      = {2015},
  crossref  = {DBLP:conf/coordination/2015},
  url       = {https://doi.org/10.1007/978-3-319-19282-6\_2},
  doi       = {10.1007/978-3-319-19282-6\_2},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/LatellaLM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Lluch-LafuenteL15,
  author    = {Alberto Lluch{-}Lafuente and
               Michele Loreti and
               Ugo Montanari},
  title     = {A Fixpoint-Based Calculus for Graph-Shaped Computational Fields},
  booktitle = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2015, Held as Part of the 10th International
               Federated Conference on Distributed Computing Techniques, DisCoTec
               2015, Grenoble, France, June 2-4, 2015, Proceedings},
  pages     = {101--116},
  year      = {2015},
  crossref  = {DBLP:conf/coordination/2015},
  url       = {https://doi.org/10.1007/978-3-319-19282-6\_7},
  doi       = {10.1007/978-3-319-19282-6\_7},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/Lluch-LafuenteL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/LatellaLM15,
  author    = {Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {On-the-fly Fluid Model Checking via Discrete Time Population Models},
  booktitle = {Computer Performance Engineering - 12th European Workshop, {EPEW}
               2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings},
  pages     = {193--207},
  year      = {2015},
  crossref  = {DBLP:conf/epew/2015},
  url       = {https://doi.org/10.1007/978-3-319-23267-6\_13},
  doi       = {10.1007/978-3-319-23267-6\_13},
  timestamp = {Sat, 19 Oct 2019 19:59:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/epew/LatellaLM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/NenziBCLM15,
  author    = {Laura Nenzi and
               Luca Bortolussi and
               Vincenzo Ciancia and
               Michele Loreti and
               Mieke Massink},
  title     = {Qualitative and Quantitative Monitoring of Spatio-Temporal Properties},
  booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
               Austria, September 22-25, 2015. Proceedings},
  pages     = {21--37},
  year      = {2015},
  crossref  = {DBLP:conf/rv/2015},
  url       = {https://doi.org/10.1007/978-3-319-23820-3\_2},
  doi       = {10.1007/978-3-319-23820-3\_2},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/NenziBCLM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AlrahmanNLTV15,
  author    = {Yehia Abd Alrahman and
               Rocco {De Nicola} and
               Michele Loreti and
               Francesco Tiezzi and
               Roberto Vigo},
  title     = {A calculus for attribute-based communication},
  booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
               Salamanca, Spain, April 13-17, 2015},
  pages     = {1840--1845},
  year      = {2015},
  crossref  = {DBLP:conf/sac/2015},
  url       = {https://doi.org/10.1145/2695664.2695668},
  doi       = {10.1145/2695664.2695668},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sac/AlrahmanNLTV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AbeywickramaSL15,
  author    = {Dhaminda B. Abeywickrama and
               Nikola B. Serbedzija and
               Michele Loreti},
  title     = {Monitoring and visualizing adaptation of autonomic systems at runtime},
  booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
               Salamanca, Spain, April 13-17, 2015},
  pages     = {1857--1860},
  year      = {2015},
  crossref  = {DBLP:conf/sac/2015},
  url       = {https://doi.org/10.1145/2695664.2695983},
  doi       = {10.1145/2695664.2695983},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sac/AbeywickramaSL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CianciaGLLM15,
  author    = {Vincenzo Ciancia and
               Gianluca Grilletti and
               Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {An Experimental Spatio-Temporal Model Checker},
  booktitle = {Software Engineering and Formal Methods - {SEFM} 2015 Collocated Workshops:
               ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015,
               Revised Selected Papers},
  pages     = {297--311},
  year      = {2015},
  crossref  = {DBLP:conf/sefm/2015w},
  url       = {https://doi.org/10.1007/978-3-662-49224-6\_24},
  doi       = {10.1007/978-3-662-49224-6\_24},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/CianciaGLLM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BortolussiNGGHL15,
  author    = {Luca Bortolussi and
               Rocco {De Nicola} and
               Vashti Galpin and
               Stephen Gilmore and
               Jane Hillston and
               Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {{CARMA:} Collective Adaptive Resource-sharing Markovian Agents},
  booktitle = {Proceedings Thirteenth Workshop on Quantitative Aspects of Programming
               Languages and Systems, {QAPL} 2015, London, UK, 11th-12th April 2015.},
  pages     = {16--31},
  year      = {2015},
  crossref  = {DBLP:journals/corr/BertrandT15},
  url       = {https://doi.org/10.4204/EPTCS.194.2},
  doi       = {10.4204/EPTCS.194.2},
  timestamp = {Mon, 16 Sep 2019 14:48:18 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BortolussiNGGHL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/NicolaLLLMMMPTV15,
  author    = {Rocco {De Nicola} and
               Diego Latella and
               Alberto Lluch{-}Lafuente and
               Michele Loreti and
               Andrea Margheri and
               Mieke Massink and
               Andrea Morichetta and
               Rosario Pugliese and
               Francesco Tiezzi and
               Andrea Vandin},
  title     = {The {SCEL} Language: Design, Implementation, Verification},
  booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
               Approach},
  pages     = {3--71},
  year      = {2015},
  crossref  = {DBLP:series/lncs/8998},
  url       = {https://doi.org/10.1007/978-3-319-16310-9\_1},
  doi       = {10.1007/978-3-319-16310-9\_1},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/series/lncs/NicolaLLLMMMPTV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/AbeywickramaCHKKLLMMMMPTVV15,
  author    = {Dhaminda B. Abeywickrama and
               Jacques Combaz and
               Vojtech Hork{\'{y}} and
               Jaroslav Keznikl and
               Jan Kofron and
               Alberto Lluch{-}Lafuente and
               Michele Loreti and
               Andrea Margheri and
               Philip Mayer and
               Giacoma Valentina Monreale and
               Ugo Montanari and
               Carlo Pinciroli and
               Petr Tuma and
               Andrea Vandin and
               Emil Vassev},
  title     = {Tools for Ensemble Design and Runtime},
  booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
               Approach},
  pages     = {429--448},
  year      = {2015},
  crossref  = {DBLP:series/lncs/8998},
  url       = {https://doi.org/10.1007/978-3-319-16310-9\_13},
  doi       = {10.1007/978-3-319-16310-9\_13},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/series/lncs/AbeywickramaCHKKLLMMMMPTVV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BernardoNL14,
  author    = {Marco Bernardo and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {Revisiting Trace and Testing Equivalences for Nondeterministic and
               Probabilistic Processes},
  journal   = {Logical Methods in Computer Science},
  volume    = {10},
  number    = {1},
  year      = {2014},
  url       = {https://doi.org/10.2168/LMCS-10(1:16)2014},
  doi       = {10.2168/LMCS-10(1:16)2014},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BernardoNL14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BernardoGL14,
  author    = {Marco Bernardo and
               Daniel Gebler and
               Michele Loreti},
  title     = {Report on {OPCT} 2014},
  journal   = {Bulletin of the {EATCS}},
  volume    = {114},
  year      = {2014},
  url       = {http://eatcs.org/beatcs/index.php/beatcs/article/view/289},
  timestamp = {Fri, 10 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eatcs/BernardoGL14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/NicolaLPT14,
  author    = {Rocco {De Nicola} and
               Michele Loreti and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {A Formal Approach to Autonomic Systems Programming: The {SCEL} Language},
  journal   = {{TAAS}},
  volume    = {9},
  number    = {2},
  pages     = {7:1--7:29},
  year      = {2014},
  url       = {https://doi.org/10.1145/2619998},
  doi       = {10.1145/2619998},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/taas/NicolaLPT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BernardoNL14,
  author    = {Marco Bernardo and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {Relating strong behavioral equivalences for processes with nondeterminism
               and probabilities},
  journal   = {Theor. Comput. Sci.},
  volume    = {546},
  pages     = {63--92},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.tcs.2014.03.001},
  doi       = {10.1016/j.tcs.2014.03.001},
  timestamp = {Wed, 25 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/BernardoNL14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/e4mas/HillstonL14,
  author    = {Jane Hillston and
               Michele Loreti},
  title     = {Specification and Analysis of Open-Ended Systems with {CARMA}},
  booktitle = {Agent Environments for Multi-Agent Systems {IV} - 4th International
               Workshop, {E4MAS} 2014 - 10 Years Later, Paris, France, May 6, 2014,
               Revised Selected and Invited Papers},
  pages     = {95--116},
  year      = {2014},
  crossref  = {DBLP:conf/e4mas/2014},
  url       = {https://doi.org/10.1007/978-3-319-23850-0\_7},
  doi       = {10.1007/978-3-319-23850-0\_7},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/e4mas/HillstonL14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/NicolaLLMPST14,
  author    = {Rocco {De Nicola} and
               Alberto Lluch{-}Lafuente and
               Michele Loreti and
               Andrea Morichetta and
               Rosario Pugliese and
               Valerio Senni and
               Francesco Tiezzi},
  title     = {Programming and Verifying Component Ensembles},
  booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
               Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
               April 6, 2014. Proceedings},
  pages     = {69--83},
  year      = {2014},
  crossref  = {DBLP:conf/etaps/2014fps},
  url       = {https://doi.org/10.1007/978-3-642-54848-2\_5},
  doi       = {10.1007/978-3-642-54848-2\_5},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/etaps/NicolaLLMPST14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/CianciaLLM14,
  author    = {Vincenzo Ciancia and
               Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {Specifying and Verifying Properties of Space},
  booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International
               Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings},
  pages     = {222--235},
  year      = {2014},
  crossref  = {DBLP:conf/ifipTCS/2014},
  url       = {https://doi.org/10.1007/978-3-662-44602-7\_18},
  doi       = {10.1007/978-3-662-44602-7\_18},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifipTCS/CianciaLLM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LoretiMPT14,
  author    = {Michele Loreti and
               Andrea Margheri and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {On Programming and Policing Autonomic Computing Systems},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Technologies for Mastering Change - 6th International Symposium, ISoLA
               2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
               {I}},
  pages     = {164--183},
  year      = {2014},
  crossref  = {DBLP:conf/isola/2014-1},
  url       = {https://doi.org/10.1007/978-3-662-45234-9\_12},
  doi       = {10.1007/978-3-662-45234-9\_12},
  timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/LoretiMPT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/CianciaGLLM14,
  author    = {Vincenzo Ciancia and
               Stephen Gilmore and
               Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {Data Verification for Collective Adaptive Systems: Spatial Model-Checking
               of Vehicle Location Data},
  booktitle = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
               Systems Workshops, {SASOW} 2014, London, United Kingdom, September
               8-12, 2014},
  pages     = {32--37},
  year      = {2014},
  crossref  = {DBLP:conf/saso/2014w},
  url       = {https://doi.org/10.1109/SASOW.2014.16},
  doi       = {10.1109/SASOW.2014.16},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saso/CianciaGLLM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LatellaLMS14,
  author    = {Diego Latella and
               Michele Loreti and
               Mieke Massink and
               Valerio Senni},
  title     = {Stochastically timed predicate-based communication primitives for
               autonomic computing},
  booktitle = {Proceedings Twelfth International Workshop on Quantitative Aspects
               of Programming Languages and Systems, {QAPL} 2014, Grenoble, France,
               12-13 April 2014.},
  pages     = {1--16},
  year      = {2014},
  crossref  = {DBLP:journals/corr/BertrandB14},
  url       = {https://doi.org/10.4204/EPTCS.154.1},
  doi       = {10.4204/EPTCS.154.1},
  timestamp = {Mon, 16 Sep 2019 14:48:18 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/LatellaLMS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LatellaLM14,
  author    = {Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {On-the-fly Probabilistic Model Checking},
  booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
               Berlin, Germany, 6th June 2014.},
  pages     = {45--59},
  year      = {2014},
  crossref  = {DBLP:journals/corr/LaneseLSV14},
  url       = {https://doi.org/10.4204/EPTCS.166.6},
  doi       = {10.4204/EPTCS.166.6},
  timestamp = {Wed, 14 Nov 2018 10:31:26 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/LatellaLM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CianciaLLM14,
  author    = {Vincenzo Ciancia and
               Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {Specifying and Verifying Properties of Space - Extended Version},
  journal   = {CoRR},
  volume    = {abs/1406.6393},
  year      = {2014},
  url       = {http://arxiv.org/abs/1406.6393},
  archivePrefix = {arXiv},
  eprint    = {1406.6393},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/CianciaLLM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/NicolaLLM13,
  author    = {Rocco {De Nicola} and
               Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {A uniform definition of stochastic process calculi},
  journal   = {{ACM} Comput. Surv.},
  volume    = {46},
  number    = {1},
  pages     = {5:1--5:35},
  year      = {2013},
  url       = {https://doi.org/10.1145/2522968.2522973},
  doi       = {10.1145/2522968.2522973},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/csur/NicolaLLM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BernardoNL13,
  author    = {Marco Bernardo and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {A uniform framework for modeling nondeterministic, probabilistic,
               stochastic, or mixed processes and their behavioral equivalences},
  journal   = {Inf. Comput.},
  volume    = {225},
  pages     = {29--82},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.ic.2013.02.004},
  doi       = {10.1016/j.ic.2013.02.004},
  timestamp = {Wed, 25 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/BernardoNL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/LatellaLM13,
  author    = {Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {On-the-fly Fast Mean-Field Model-Checking},
  booktitle = {Trustworthy Global Computing - 8th International Symposium, {TGC}
               2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
               Papers},
  pages     = {297--314},
  year      = {2013},
  crossref  = {DBLP:conf/tgc/2013},
  url       = {https://doi.org/10.1007/978-3-319-05119-2\_17},
  doi       = {10.1007/978-3-319-05119-2\_17},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/LatellaLM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BernardoNL13,
  author    = {Marco Bernardo and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations},
  booktitle = {Trustworthy Global Computing - 8th International Symposium, {TGC}
               2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
               Papers},
  pages     = {315--330},
  year      = {2013},
  crossref  = {DBLP:conf/tgc/2013},
  url       = {https://doi.org/10.1007/978-3-319-05119-2\_18},
  doi       = {10.1007/978-3-319-05119-2\_18},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/BernardoNL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BernardoNL13,
  author    = {Marco Bernardo and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {The Spectrum of Strong Behavioral Equivalences for Nondeterministic
               and Probabilistic Processes},
  booktitle = {Proceedings 11th International Workshop on Quantitative Aspects of
               Programming Languages and Systems, {QAPL} 2013, Rome, Italy, March
               23-24, 2013.},
  pages     = {81--96},
  year      = {2013},
  crossref  = {DBLP:journals/corr/BortolussiW13},
  url       = {https://doi.org/10.4204/EPTCS.117.6},
  doi       = {10.4204/EPTCS.117.6},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BernardoNL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-0538,
  author    = {Marco Bernardo and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {A Companion of "Relating Strong Behavioral Equivalences for Processes
               with Nondeterminism and Probabilities"},
  journal   = {CoRR},
  volume    = {abs/1305.0538},
  year      = {2013},
  url       = {http://arxiv.org/abs/1305.0538},
  archivePrefix = {arXiv},
  eprint    = {1305.0538},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1305-0538},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LatellaLM13,
  author    = {Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {On-the-fly Fast Mean-Field Model-Checking: Extended Version},
  journal   = {CoRR},
  volume    = {abs/1312.3416},
  year      = {2013},
  url       = {http://arxiv.org/abs/1312.3416},
  archivePrefix = {arXiv},
  eprint    = {1312.3416},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/LatellaLM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BernardoNL12,
  author    = {Marco Bernardo and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {Revisiting Trace and Testing Equivalences for Nondeterministic and
               Probabilistic Processes},
  booktitle = {Foundations of Software Science and Computational Structures - 15th
               International Conference, {FOSSACS} 2012, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
               Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  pages     = {195--209},
  year      = {2012},
  crossref  = {DBLP:conf/fossacs/2012},
  url       = {https://doi.org/10.1007/978-3-642-28729-9\_13},
  doi       = {10.1007/978-3-642-28729-9\_13},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/BernardoNL12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/GjondrekajLPTPBBD12,
  author    = {Edmond Gjondrekaj and
               Michele Loreti and
               Rosario Pugliese and
               Francesco Tiezzi and
               Carlo Pinciroli and
               Manuele Brambilla and
               Mauro Birattari and
               Marco Dorigo},
  title     = {Towards a Formal Verification Methodology for Collective Robotic Systems},
  booktitle = {Formal Methods and Software Engineering - 14th International Conference
               on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
               12-16, 2012. Proceedings},
  pages     = {54--70},
  year      = {2012},
  crossref  = {DBLP:conf/icfem/2012},
  url       = {https://doi.org/10.1007/978-3-642-34281-3\_7},
  doi       = {10.1007/978-3-642-34281-3\_7},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/GjondrekajLPTPBBD12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GjondrekajLPT12,
  author    = {Edmond Gjondrekaj and
               Michele Loreti and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {Modeling adaptation with a tuple-based coordination language},
  booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
               Riva, Trento, Italy, March 26-30, 2012},
  pages     = {1522--1527},
  year      = {2012},
  crossref  = {DBLP:conf/sac/2012},
  url       = {https://doi.org/10.1145/2245276.2232019},
  doi       = {10.1145/2245276.2232019},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/GjondrekajLPT12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/NicolaFLP11,
  author    = {Rocco {De Nicola} and
               Gian Luigi Ferrari and
               Michele Loreti and
               Rosario Pugliese},
  title     = {A Language-Based Approach to Autonomic Computing},
  booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
               {FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
  pages     = {25--48},
  year      = {2011},
  crossref  = {DBLP:conf/fmco/2011},
  url       = {https://doi.org/10.1007/978-3-642-35887-6\_2},
  doi       = {10.1007/978-3-642-35887-6\_2},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/NicolaFLP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/DErricoL11,
  author    = {Liliana D'Errico and
               Michele Loreti},
  title     = {Context Aware Specification and Verification of Distributed Systems},
  booktitle = {Trustworthy Global Computing - 6th International Symposium, {TGC}
               2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  pages     = {142--159},
  year      = {2011},
  crossref  = {DBLP:conf/tgc/2011},
  url       = {https://doi.org/10.1007/978-3-642-30065-3\_9},
  doi       = {10.1007/978-3-642-30065-3\_9},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/DErricoL11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-1865,
  author    = {Marco Bernardo and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {Uniform Labeled Transition Systems for Nondeterministic, Probabilistic,
               and Stochastic Process Calculi},
  booktitle = {Proceedings First International Workshop on Process Algebra and Coordination,
               {PACO} 2011, Reykjavik, Iceland, 9th June 2011.},
  pages     = {66--75},
  year      = {2011},
  crossref  = {DBLP:journals/corr/abs-1108-1452},
  url       = {https://doi.org/10.4204/EPTCS.60.5},
  doi       = {10.4204/EPTCS.60.5},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1108-1865},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/NicolaLLM11,
  author    = {Rocco {De Nicola} and
               Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {SoSL: {A} Service-Oriented Stochastic Logic},
  booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
               of the {SENSORIA} Project on Software Engineering for Service-Oriented
               Computing},
  pages     = {447--466},
  year      = {2011},
  crossref  = {DBLP:books/sp/sensoria11},
  url       = {https://doi.org/10.1007/978-3-642-20401-2\_21},
  doi       = {10.1007/978-3-642-20401-2\_21},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/sensoria2011/NicolaLLM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/CappelloCGLLQS11,
  author    = {Igor Cappello and
               Allan Clark and
               Stephen Gilmore and
               Diego Latella and
               Michele Loreti and
               Paola Quaglia and
               Stefano Schivo},
  title     = {Quantitative Analysis of Services},
  booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
               of the {SENSORIA} Project on Software Engineering for Service-Oriented
               Computing},
  pages     = {522--540},
  year      = {2011},
  crossref  = {DBLP:books/sp/sensoria11},
  url       = {https://doi.org/10.1007/978-3-642-20401-2\_25},
  doi       = {10.1007/978-3-642-20401-2\_25},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/sensoria2011/CappelloCGLLQS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/BeekLLP11,
  author    = {Maurice H. ter Beek and
               Alessandro Lapadula and
               Michele Loreti and
               Claudio Palasciano},
  title     = {Analysing Robot Movement Using the Sensoria Methods},
  booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
               of the {SENSORIA} Project on Software Engineering for Service-Oriented
               Computing},
  pages     = {678--697},
  year      = {2011},
  crossref  = {DBLP:books/sp/sensoria11},
  url       = {https://doi.org/10.1007/978-3-642-20401-2\_33},
  doi       = {10.1007/978-3-642-20401-2\_33},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/sensoria2011/BeekLLP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CalzolaiL10,
  author    = {Francesco Calzolai and
               Michele Loreti},
  title     = {Simulation and Analysis of Distributed Systems in Klaim},
  booktitle = {Coordination Models and Languages, 12th International Conference,
               {COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
  pages     = {122--136},
  year      = {2010},
  crossref  = {DBLP:conf/coordination/2010},
  url       = {https://doi.org/10.1007/978-3-642-13414-2\_9},
  doi       = {10.1007/978-3-642-13414-2\_9},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/CalzolaiL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BernardoNL10,
  author    = {Marco Bernardo and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {Uniform Labeled Transition Systems for Nondeterministic, Probabilistic,
               and Stochastic Processes},
  booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC}
               2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
  pages     = {35--56},
  year      = {2010},
  crossref  = {DBLP:conf/tgc/2010},
  url       = {https://doi.org/10.1007/978-3-642-15640-3\_3},
  doi       = {10.1007/978-3-642-15640-3\_3},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/BernardoNL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/DErricoL10,
  author    = {Liliana D'Errico and
               Michele Loreti},
  title     = {Property-Preserving Refinement of Concurrent Systems},
  booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC}
               2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
  pages     = {222--236},
  year      = {2010},
  crossref  = {DBLP:conf/tgc/2010},
  url       = {https://doi.org/10.1007/978-3-642-15640-3\_15},
  doi       = {10.1007/978-3-642-15640-3\_15},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/DErricoL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/NicolaLLM09,
  author    = {Rocco {De Nicola} and
               Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {MarCaSPiS: a Markovian Extension of a Calculus for Services},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {229},
  number    = {4},
  pages     = {11--26},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.07.071},
  doi       = {10.1016/j.entcs.2009.07.071},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/NicolaLLM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/DErricoL09,
  author    = {Liliana D'Errico and
               Michele Loreti},
  title     = {Assume-Guarantee Verification of Concurrent Systems},
  booktitle = {Coordination Models and Languages, 11th International Conference,
               {COORDINATION} 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings},
  pages     = {288--305},
  year      = {2009},
  crossref  = {DBLP:conf/coordination/2009},
  url       = {https://doi.org/10.1007/978-3-642-02053-7\_15},
  doi       = {10.1007/978-3-642-02053-7\_15},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/DErricoL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/DErricoL09,
  author    = {Liliana D'Errico and
               Michele Loreti},
  title     = {A process Algebra Approach to Fuzzy Reasoning},
  booktitle = {Proceedings of the Joint 2009 International Fuzzy Systems Association
               World Congress and 2009 European Society of Fuzzy Logic and Technology
               Conference, Lisbon, Portugal, July 20-24, 2009},
  pages     = {1136--1141},
  year      = {2009},
  crossref  = {DBLP:conf/eusflat/2009},
  url       = {http://www.eusflat.org/proceedings/IFSA-EUSFLAT\_2009/pdf/tema\_1136.pdf},
  timestamp = {Thu, 18 Apr 2013 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eusflat/DErricoL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/NicolaLLM09,
  author    = {Rocco {De Nicola} and
               Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {On a Uniform Framework for the Definition of Stochastic Process Languages},
  booktitle = {Formal Methods for Industrial Critical Systems, 14th International
               Workshop, {FMICS} 2009, Eindhoven, The Netherlands, November 2-3,
               2009. Proceedings},
  pages     = {9--25},
  year      = {2009},
  crossref  = {DBLP:conf/fmics/2009},
  url       = {https://doi.org/10.1007/978-3-642-04570-7\_2},
  doi       = {10.1007/978-3-642-04570-7\_2},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/NicolaLLM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/NicolaLLM09,
  author    = {Rocco {De Nicola} and
               Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {Rate-Based Transition Systems for Stochastic Process Calculi},
  booktitle = {Automata, Languages and Programming, 36th Internatilonal Colloquium,
               {ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {II}},
  pages     = {435--446},
  year      = {2009},
  crossref  = {DBLP:conf/icalp/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-02930-1\_36},
  doi       = {10.1007/978-3-642-02930-1\_36},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/NicolaLLM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/NicolaL08,
  author    = {Rocco {De Nicola} and
               Michele Loreti},
  title     = {Multiple-Labelled Transition Systems for nominal calculi and their
               logics},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {18},
  number    = {1},
  pages     = {107--143},
  year      = {2008},
  url       = {https://doi.org/10.1017/S0960129507006585},
  doi       = {10.1017/S0960129507006585},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/NicolaL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/CalzolaiNLT08,
  author    = {Francesco Calzolai and
               Rocco {De Nicola} and
               Michele Loreti and
               Francesco Tiezzi},
  title     = {TAPAs: {A} Tool for the Analysis of Process Algebras},
  journal   = {Trans. Petri Nets and Other Models of Concurrency},
  volume    = {1},
  pages     = {54--70},
  year      = {2008},
  crossref  = {DBLP:journals/topnoc/2008-1},
  url       = {https://doi.org/10.1007/978-3-540-89287-8\_4},
  doi       = {10.1007/978-3-540-89287-8\_4},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/CalzolaiNLT08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BettiniNL08,
  author    = {Lorenzo Bettini and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {Implementing Session Centered Calculi},
  booktitle = {Coordination Models and Languages, 10th International Conference,
               {COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
  pages     = {17--32},
  year      = {2008},
  crossref  = {DBLP:conf/coordination/2008},
  url       = {https://doi.org/10.1007/978-3-540-68265-3\_2},
  doi       = {10.1007/978-3-540-68265-3\_2},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/BettiniNL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BorealeBNL08,
  author    = {Michele Boreale and
               Roberto Bruni and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {Sessions and Pipelines for Structured Service Programming},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June
               4-6, 2008, Proceedings},
  pages     = {19--38},
  year      = {2008},
  crossref  = {DBLP:conf/fmoods/2008},
  url       = {https://doi.org/10.1007/978-3-540-68863-1\_3},
  doi       = {10.1007/978-3-540-68863-1\_3},
  timestamp = {Sat, 19 Oct 2019 20:16:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/BorealeBNL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamodia/MassinkLBHL08,
  author    = {Mieke Massink and
               Diego Latella and
               Maurice H. ter Beek and
               Michael D. Harrison and
               Michele Loreti},
  title     = {A Fluid Flow Approach to Usability Analysis of Multi-user Systems},
  booktitle = {Engineering Interactive Systems, Second Conference on Human-Centered
               Software Engineering, {HCSE} 2008, and 7th International Workshop
               on Task Models and Diagrams, {TAMODIA} 2008, Pisa, Italy, September
               25-26, 2008. Proceedings},
  pages     = {166--180},
  year      = {2008},
  crossref  = {DBLP:conf/tamodia/2008},
  url       = {https://doi.org/10.1007/978-3-540-85992-5\_15},
  doi       = {10.1007/978-3-540-85992-5\_15},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tamodia/MassinkLBHL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BravettiLLMZ08,
  author    = {Mario Bravetti and
               Diego Latella and
               Michele Loreti and
               Mieke Massink and
               Gianluigi Zavattaro},
  title     = {Combining Timed Coordination Primitives and Probabilistic Tuple Spaces},
  booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008,
               Barcelona, Spain, November 3-4, 2008, Revised Selected Papers},
  pages     = {52--68},
  year      = {2008},
  crossref  = {DBLP:conf/tgc/2008},
  url       = {https://doi.org/10.1007/978-3-642-00945-7\_4},
  doi       = {10.1007/978-3-642-00945-7\_4},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/BravettiLLMZ08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BruniNLM08,
  author    = {Roberto Bruni and
               Rocco {De Nicola} and
               Michele Loreti and
               Leonardo Gaetano Mezzina},
  title     = {Provably Correct Implementations of Services},
  booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008,
               Barcelona, Spain, November 3-4, 2008, Revised Selected Papers},
  pages     = {69--86},
  year      = {2008},
  crossref  = {DBLP:conf/tgc/2008},
  url       = {https://doi.org/10.1007/978-3-642-00945-7\_5},
  doi       = {10.1007/978-3-642-00945-7\_5},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/BruniNLM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/NicolaL07,
  author    = {Rocco {De Nicola} and
               Michele Loreti},
  title     = {Multi Labelled Transition Systems: {A} Semantic Framework for Nominal
               Calculi},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {169},
  pages     = {133--146},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2007.05.019},
  doi       = {10.1016/j.entcs.2007.05.019},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/NicolaL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BettiniNFL07,
  author    = {Lorenzo Bettini and
               Rocco {De Nicola} and
               Daniele Falassi and
               Michele Loreti},
  title     = {Implementing a Distributed Mobile Calculus Using the {IMC} Framework},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {181},
  pages     = {63--79},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2007.01.054},
  doi       = {10.1016/j.entcs.2007.01.054},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BettiniNFL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NicolaKLLM07,
  author    = {Rocco {De Nicola} and
               Joost{-}Pieter Katoen and
               Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {Model checking mobile stochastic logic},
  journal   = {Theor. Comput. Sci.},
  volume    = {382},
  number    = {1},
  pages     = {42--70},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.tcs.2007.05.008},
  doi       = {10.1016/j.tcs.2007.05.008},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/NicolaKLLM07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/ManganaroKL07,
  author    = {Andrea Manganaro and
               Mingyur Koblensky and
               Michele Loreti},
  title     = {Design of a Password-Based {EAP} Method},
  booktitle = {E-business and Telecommunications - 4th International Conference,
               {ICETE} 2007, Barcelona, Spain, July 28-31, 2007, Revised Selected
               Papers},
  pages     = {343--355},
  year      = {2007},
  crossref  = {DBLP:conf/icete/2007s},
  url       = {https://doi.org/10.1007/978-3-540-88653-2\_26},
  doi       = {10.1007/978-3-540-88653-2\_26},
  timestamp = {Sat, 19 Oct 2019 20:35:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icete/ManganaroKL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/DErricoL07,
  author    = {Liliana D'Errico and
               Michele Loreti},
  title     = {Modeling Fuzzy Behaviours in Concurrent Systems},
  booktitle = {Theoretical Computer Science, 10th Italian Conference, {ICTCS} 2007,
               Rome, Italy, October 3-5, 2007, Proceedings},
  pages     = {94--105},
  year      = {2007},
  crossref  = {DBLP:conf/ictcs/2007},
  timestamp = {Wed, 11 Jun 2008 08:55:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictcs/DErricoL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/winsys/ManganaroKL07,
  author    = {Andrea Manganaro and
               Mingyur Koblensky and
               Michele Loreti},
  title     = {Design of a Password-based Authentication Method for Wireless Networks},
  booktitle = {{WINSYS} 2007 - Proceedings of the International Conference on Wireless
               Information Networks and Systems, Barcelona, Spain, July 28-31, 2007,
               {WINSYS} is part of {ICETE} - The International Joint Conference on
               e-Business and Telecommunications},
  pages     = {9--16},
  year      = {2007},
  crossref  = {DBLP:conf/winsys/2007},
  timestamp = {Wed, 09 Sep 2009 08:20:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/winsys/ManganaroKL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/BettiniNL06,
  author    = {Lorenzo Bettini and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {Implementing Mobile and Distributed Applications in X-Klaim},
  journal   = {Scalable Computing: Practice and Experience},
  volume    = {7},
  number    = {4},
  year      = {2006},
  url       = {http://www.scpe.org/index.php/scpe/article/view/384},
  timestamp = {Fri, 02 Mar 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/scpe/BettiniNL06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/CrescenziLP06,
  author    = {Pilu Crescenzi and
               Michele Loreti and
               Rosario Pugliese},
  title     = {Assessing {CS1} java skills: a three-year experience},
  booktitle = {Proceedings of the 11th Annual {SIGCSE} Conference on Innovation and
               Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy,
               June 26-28, 2006},
  pages     = {348},
  year      = {2006},
  crossref  = {DBLP:conf/iticse/2006},
  url       = {https://doi.org/10.1145/1140124.1140257},
  doi       = {10.1145/1140124.1140257},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iticse/CrescenziLP06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BorealeBCNLLMMRSVZ06,
  author    = {Michele Boreale and
               Roberto Bruni and
               Lu{\'{\i}}s Caires and
               Rocco {De Nicola} and
               Ivan Lanese and
               Michele Loreti and
               Francisco Martins and
               Ugo Montanari and
               Ant{\'{o}}nio Ravara and
               Davide Sangiorgi and
               Vasco Thudichum Vasconcelos and
               Gianluigi Zavattaro},
  title     = {{SCC:} {A} Service Centered Calculus},
  booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
               2006 Vienna, Austria, September 8-9, 2006, Proceedings},
  pages     = {38--57},
  year      = {2006},
  crossref  = {DBLP:conf/wsfm/2006},
  url       = {https://doi.org/10.1007/11841197\_3},
  doi       = {10.1007/11841197\_3},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wsfm/BorealeBCNLLMMRSVZ06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/BettiniNFLL05,
  author    = {Lorenzo Bettini and
               Rocco {De Nicola} and
               Daniele Falassi and
               Marc Lacoste and
               Michele Loreti},
  title     = {A Flexible and Modular Framework for Implementing Infrastructures
               for Global Computing},
  booktitle = {Distributed Applications and Interoperable Systems, 5th {IFIP} {WG}
               6.1 International Conference, {DAIS} 2005, Athens, Greece, June 15-17,
               2005, Proceedings},
  pages     = {181--193},
  year      = {2005},
  crossref  = {DBLP:conf/dais/2005},
  url       = {https://doi.org/10.1007/11498094\_17},
  doi       = {10.1007/11498094\_17},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dais/BettiniNFLL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/BettiniNL04,
  author    = {Lorenzo Bettini and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {Formulae Meet Programs Over the Net: {A} Framework for Correct Network
               Aware Programming},
  journal   = {Autom. Softw. Eng.},
  volume    = {11},
  number    = {3},
  pages     = {245--288},
  year      = {2004},
  url       = {https://doi.org/10.1023/B:AUSE.0000028536.34044.47},
  doi       = {10.1023/B:AUSE.0000028536.34044.47},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ase/BettiniNL04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/NicolaL04,
  author    = {Rocco {De Nicola} and
               Michele Loreti},
  title     = {A modal logic for mobile agents},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {5},
  number    = {1},
  pages     = {79--128},
  year      = {2004},
  url       = {https://doi.org/10.1145/963927.963930},
  doi       = {10.1145/963927.963930},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/NicolaL04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/NicolaL04,
  author    = {Rocco {De Nicola} and
               Michele Loreti},
  title     = {MoMo: {A} Modal Logic for Reasoning About Mobility},
  booktitle = {Formal Methods for Components and Objects, Third International Symposium,
               {FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
               Lectures},
  pages     = {95--119},
  year      = {2004},
  crossref  = {DBLP:conf/fmco/2004},
  url       = {https://doi.org/10.1007/11561163\_5},
  doi       = {10.1007/11561163\_5},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/NicolaL04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalt/BettiniCILC04,
  author    = {Lorenzo Bettini and
               Pilu Crescenzi and
               Gaia Innocenti and
               Michele Loreti and
               Leonardo Cecchi},
  title     = {An Environment for Self-Assessing Java Programming Skills in Undergraduate
               First Programming Courses},
  booktitle = {Proceedings of the {IEEE} International Conference on Advanced Learning
               Technologies, {ICALT} 2004, Joensuu, Finland, August 30 - September
               1, 2004},
  year      = {2004},
  crossref  = {DBLP:conf/icalt/2004},
  url       = {https://doi.org/10.1109/ICALT.2004.1357395},
  doi       = {10.1109/ICALT.2004.1357395},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalt/BettiniCILC04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/BettiniBNFGLMPTV03,
  author    = {Lorenzo Bettini and
               Viviana Bono and
               Rocco {De Nicola} and
               Gian Luigi Ferrari and
               Daniele Gorla and
               Michele Loreti and
               Eugenio Moggi and
               Rosario Pugliese and
               Emilio Tuosto and
               Betti Venneri},
  title     = {The Klaim Project: Theory and Practice},
  booktitle = {Global Computing. Programming Environments, Languages, Security, and
               Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
               Rovereto, Italy, February 9-14, 2003, Revised Papers},
  pages     = {88--150},
  year      = {2003},
  crossref  = {DBLP:conf/global/2003},
  url       = {https://doi.org/10.1007/978-3-540-40042-4\_4},
  doi       = {10.1007/978-3-540-40042-4\_4},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/global/BettiniBNFGLMPTV03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BettiniNL02,
  author    = {Lorenzo Bettini and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {Formalizing Properties of Mobile Agent Systems},
  booktitle = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
               2002, YORK, UK, April 8-11, 2002, Proceedings},
  pages     = {72--87},
  year      = {2002},
  crossref  = {DBLP:conf/coordination/2002},
  url       = {https://doi.org/10.1007/3-540-46000-4\_9},
  doi       = {10.1007/3-540-46000-4\_9},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/BettiniNL02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BettiniNL02,
  author    = {Lorenzo Bettini and
               Rocco {De Nicola} and
               Michele Loreti},
  title     = {Software update via mobile agent based programming},
  booktitle = {Proceedings of the 2002 {ACM} Symposium on Applied Computing (SAC),
               March 10-14, 2002, Madrid, Spain},
  pages     = {32--36},
  year      = {2002},
  crossref  = {DBLP:conf/sac/2002},
  url       = {https://doi.org/10.1145/508791.508800},
  doi       = {10.1145/508791.508800},
  timestamp = {Tue, 06 Nov 2018 11:06:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/BettiniNL02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BettiniLP02,
  author    = {Lorenzo Bettini and
               Michele Loreti and
               Rosario Pugliese},
  title     = {An infrastructure language for open nets},
  booktitle = {Proceedings of the 2002 {ACM} Symposium on Applied Computing (SAC),
               March 10-14, 2002, Madrid, Spain},
  pages     = {373--377},
  year      = {2002},
  crossref  = {DBLP:conf/sac/2002},
  url       = {https://doi.org/10.1145/508791.508862},
  doi       = {10.1145/508791.508862},
  timestamp = {Tue, 06 Nov 2018 11:06:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/BettiniLP02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02,
  author    = {Luis Filipe Andrade and
               Paolo Baldan and
               Hubert Baumeister and
               Roberto Bruni and
               Andrea Corradini and
               Rocco {De Nicola} and
               Jos{\'{e}} Luiz Fiadeiro and
               Fabio Gadducci and
               Stefania Gnesi and
               Piotr Hoffman and
               Nora Koch and
               Piotr Kosiuczenko and
               Alessandro Lapadula and
               Diego Latella and
               Ant{\'{o}}nia Lopes and
               Michele Loreti and
               Mieke Massink and
               Franco Mazzanti and
               Ugo Montanari and
               Crist{\'{o}}v{\~{a}}o Oliveira and
               Rosario Pugliese and
               Andrzej Tarlecki and
               Michel Wermelinger and
               Martin Wirsing and
               Artur Zawlocki},
  title     = {{AGILE:} Software Architecture for Mobility},
  booktitle = {Recent Trends in Algebraic Development Techniques, 16th International
               Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002,
               Revised Selected Papers},
  pages     = {1--33},
  year      = {2002},
  crossref  = {DBLP:conf/wadt/2002},
  url       = {https://doi.org/10.1007/978-3-540-40020-2\_1},
  doi       = {10.1007/978-3-540-40020-2\_1},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CapitaniLV01,
  author    = {Beatrice Capitani and
               Michele Loreti and
               Betti Venneri},
  title     = {Hyperformulae, Parallel Deductions and Intersection Types},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {50},
  number    = {2},
  pages     = {178--195},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1571-0661(04)00172-0},
  doi       = {10.1016/S1571-0661(04)00172-0},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/CapitaniLV01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BettiniLP01,
  author    = {Lorenzo Bettini and
               Michele Loreti and
               Rosario Pugliese},
  title     = {Modelling Node Connectivity in Dynamically Evolving Networks},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {54},
  pages     = {81--91},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1571-0661(04)00237-3},
  doi       = {10.1016/S1571-0661(04)00237-3},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BettiniLP01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/NicolaL00,
  author    = {Rocco {De Nicola} and
               Michele Loreti},
  title     = {A Modal Logic for {KLAIM}},
  booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
               {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
  pages     = {339--354},
  year      = {2000},
  crossref  = {DBLP:conf/amast/2000},
  url       = {https://doi.org/10.1007/3-540-45499-3\_25},
  doi       = {10.1007/3-540-45499-3\_25},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/NicolaL00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BettiniLP00,
  author    = {Lorenzo Bettini and
               Michele Loreti and
               Rosario Pugliese},
  title     = {Structured Nets in {KLAIM}},
  booktitle = {Applied Computing 2000, Proceedings of the 2000 {ACM} Symposium on
               Applied Computing, Villa Olmo, Via Cantoni 1, 22100 Como, Italy, March
               19-21, 2000. Volume 1},
  pages     = {174--180},
  year      = {2000},
  crossref  = {DBLP:conf/sac/2000-1},
  url       = {https://doi.org/10.1145/335603.335736},
  doi       = {10.1145/335603.335736},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sac/BettiniLP00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2019,
  editor    = {Hanne Riis Nielson and
               Emilio Tuosto},
  title     = {Coordination Models and Languages - 21st {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2019, Held as Part of the 14th International
               Federated Conference on Distributed Computing Techniques, DisCoTec
               2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11533},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-22397-7},
  doi       = {10.1007/978-3-030-22397-7},
  isbn      = {978-3-030-22396-0},
  timestamp = {Wed, 05 Jun 2019 11:19:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2019seams,
  editor    = {Marin Litoiu and
               Siobh{\'{a}}n Clarke and
               Kenji Tei},
  title     = {Proceedings of the 14th International Symposium on Software Engineering
               for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal,
               QC, Canada, May 25-31, 2019},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8778426/proceeding},
  isbn      = {978-1-7281-3368-3},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2019seams},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2018,
  editor    = {Christel Baier and
               Lu{\'{\i}}s Caires},
  title     = {Formal Techniques for Distributed Objects, Components, and Systems
               - 38th {IFIP} {WG} 6.1 International Conference, {FORTE} 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    = {10854},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92612-4},
  doi       = {10.1007/978-3-319-92612-4},
  isbn      = {978-3-319-92611-7},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsc/2018,
  editor    = {Bj{\"{o}}rn Johansson and
               Sanjay Jain},
  title     = {2018 Winter Simulation Conference, {WSC} 2018, Gothenburg, Sweden,
               December 9-12, 2018},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8625401/proceeding},
  isbn      = {978-1-5386-6572-5},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wsc/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2017brinksma,
  editor    = {Joost{-}Pieter Katoen and
               Rom Langerak and
               Arend Rensink},
  title     = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
               Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {10500},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-68270-9},
  doi       = {10.1007/978-3-319-68270-9},
  isbn      = {978-3-319-68269-3},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2017brinksma},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memocode/2017,
  editor    = {Jean{-}Pierre Talpin and
               Patricia Derler and
               Klaus Schneider},
  title     = {Proceedings of the 15th {ACM-IEEE} International Conference on Formal
               Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria,
               September 29 - October 02, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3127041},
  isbn      = {978-1-4503-5093-8},
  timestamp = {Fri, 29 Sep 2017 12:05:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/memocode/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2017,
  editor    = {Nathalie Bertrand and
               Luca Bortolussi},
  title     = {Quantitative Evaluation of Systems - 14th International Conference,
               {QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10503},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66335-7},
  doi       = {10.1007/978-3-319-66335-7},
  isbn      = {978-3-319-66334-0},
  timestamp = {Mon, 16 Sep 2019 15:31:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2017-2,
  editor    = {Axel Legay and
               Tiziana Margaria},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 23rd International Conference, {TACAS} 2017, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10206},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-662-54580-5},
  doi       = {10.1007/978-3-662-54580-5},
  isbn      = {978-3-662-54579-9},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2017-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/valuetools/2017,
  editor    = {Andrea Marin and
               Benny Van Houdt and
               Giuliano Casale and
               Dorina C. Petriu and
               Sabina Rossi},
  title     = {Proceedings of the 11th {EAI} International Conference on Performance
               Evaluation Methodologies and Tools, {VALUETOOLS} 2017, Venice, Italy,
               December 05-07, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3150928},
  timestamp = {Wed, 23 Jan 2019 13:28:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/valuetools/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2016,
  editor    = {Elvira Albert and
               Ivan Lanese},
  title     = {Formal Techniques for Distributed Objects, Components, and Systems
               - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held
               as Part of the 11th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June
               6-9, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9688},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-39570-8},
  doi       = {10.1007/978-3-319-39570-8},
  isbn      = {978-3-319-39569-2},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2016-1,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9952},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47166-2},
  doi       = {10.1007/978-3-319-47166-2},
  isbn      = {978-3-319-47165-5},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2016-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2016,
  editor    = {Gul Agha and
               Benny Van Houdt},
  title     = {Quantitative Evaluation of Systems - 13th International Conference,
               {QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9826},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-43425-4},
  doi       = {10.1007/978-3-319-43425-4},
  isbn      = {978-3-319-43424-7},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2016,
  editor    = {Marco Bernardo and
               Rocco {De Nicola} and
               Jane Hillston},
  title     = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
               Systems - 16th International School on Formal Methods for the Design
               of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
               Italy, June 20-24, 2016, Advanced Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {9700},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-34096-8},
  doi       = {10.1007/978-3-319-34096-8},
  isbn      = {978-3-319-34095-1},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/valuetools/2016,
  editor    = {Antonio Puliafito and
               Kishor S. Trivedi and
               Bruno Tuffin and
               Marco Scarpa and
               Fumio Machida and
               Javier Alonso},
  title     = {10th {EAI} International Conference on Performance Evaluation Methodologies
               and Tools, {VALUETOOLS} 2016, Taormina, Italy, 25th-28th Oct 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://eudl.eu/proceedings/VALUETOOLS/2016},
  isbn      = {978-1-63190-141-6},
  timestamp = {Fri, 03 Aug 2018 17:17:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/valuetools/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2015wirsing,
  editor    = {Rocco {De Nicola} and
               Rolf Hennicker},
  title     = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
               on the Occasion of His Retirement from the Chair of Programming and
               Software Engineering},
  series    = {Lecture Notes in Computer Science},
  volume    = {8950},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-15545-6},
  doi       = {10.1007/978-3-319-15545-6},
  isbn      = {978-3-319-15544-9},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2015wirsing},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2015,
  editor    = {Tom Holvoet and
               Mirko Viroli},
  title     = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2015, Held as Part of the 10th International
               Federated Conference on Distributed Computing Techniques, DisCoTec
               2015, Grenoble, France, June 2-4, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9037},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19282-6},
  doi       = {10.1007/978-3-319-19282-6},
  isbn      = {978-3-319-19281-9},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epew/2015,
  editor    = {Marta Beltr{\'{a}}n and
               William J. Knottenbelt and
               Jeremy T. Bradley},
  title     = {Computer Performance Engineering - 12th European Workshop, {EPEW}
               2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9272},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-23267-6},
  doi       = {10.1007/978-3-319-23267-6},
  isbn      = {978-3-319-23266-9},
  timestamp = {Sat, 19 Oct 2019 19:59:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/epew/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2015,
  editor    = {Ezio Bartocci and
               Rupak Majumdar},
  title     = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
               Austria, September 22-25, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9333},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-23820-3},
  doi       = {10.1007/978-3-319-23820-3},
  isbn      = {978-3-319-23819-7},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2015,
  editor    = {Roger L. Wainwright and
               Juan Manuel Corchado and
               Alessio Bechini and
               Jiman Hong},
  title     = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
               Salamanca, Spain, April 13-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2695664},
  isbn      = {978-1-4503-3196-8},
  timestamp = {Tue, 21 Jul 2015 14:16:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2015w,
  editor    = {Domenico Bianculli and
               Radu Calinescu and
               Bernhard Rumpe},
  title     = {Software Engineering and Formal Methods - {SEFM} 2015 Collocated Workshops:
               ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9509},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-49224-6},
  doi       = {10.1007/978-3-662-49224-6},
  isbn      = {978-3-662-49223-9},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2015w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BertrandT15,
  editor    = {Nathalie Bertrand and
               Mirco Tribastone},
  title     = {Proceedings Thirteenth Workshop on Quantitative Aspects of Programming
               Languages and Systems, {QAPL} 2015, London, UK, 11th-12th April 2015},
  series    = {{EPTCS}},
  volume    = {194},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.194},
  doi       = {10.4204/EPTCS.194},
  timestamp = {Mon, 16 Sep 2019 14:48:18 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BertrandT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/8998,
  editor    = {Martin Wirsing and
               Matthias M. H{\"{o}}lzl and
               Nora Koch and
               Philip Mayer},
  title     = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
               Approach},
  series    = {Lecture Notes in Computer Science},
  volume    = {8998},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-16310-9},
  doi       = {10.1007/978-3-319-16310-9},
  isbn      = {978-3-319-16309-3},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/series/lncs/8998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/e4mas/2014,
  editor    = {Danny Weyns and
               Fabien Michel},
  title     = {Agent Environments for Multi-Agent Systems {IV} - 4th International
               Workshop, {E4MAS} 2014 - 10 Years Later, Paris, France, May 6, 2014,
               Revised Selected and Invited Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9068},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-23850-0},
  doi       = {10.1007/978-3-319-23850-0},
  isbn      = {978-3-319-23849-4},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/e4mas/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/etaps/2014fps,
  editor    = {Saddek Bensalem and
               Yassine Lakhnech and
               Axel Legay},
  title     = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
               Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
               April 6, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8415},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54848-2},
  doi       = {10.1007/978-3-642-54848-2},
  isbn      = {978-3-642-54847-5},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/etaps/2014fps},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifipTCS/2014,
  editor    = {Josep D{\'{\i}}az and
               Ivan Lanese and
               Davide Sangiorgi},
  title     = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International
               Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8705},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-44602-7},
  doi       = {10.1007/978-3-662-44602-7},
  isbn      = {978-3-662-44601-0},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifipTCS/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2014-1,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation.
               Technologies for Mastering Change - 6th International Symposium, ISoLA
               2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
               {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8802},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-45234-9},
  doi       = {10.1007/978-3-662-45234-9},
  isbn      = {978-3-662-45233-2},
  timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2014-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/saso/2014w,
  title     = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
               Systems Workshops, {SASOW} 2014, London, United Kingdom, September
               8-12, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7055964/proceeding},
  isbn      = {978-1-4799-6378-2},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saso/2014w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BertrandB14,
  editor    = {Nathalie Bertrand and
               Luca Bortolussi},
  title     = {Proceedings Twelfth International Workshop on Quantitative Aspects
               of Programming Languages and Systems, {QAPL} 2014, Grenoble, France,
               12-13 April 2014},
  series    = {{EPTCS}},
  volume    = {154},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.154},
  doi       = {10.4204/EPTCS.154},
  timestamp = {Mon, 16 Sep 2019 14:48:18 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BertrandB14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/LaneseLSV14,
  editor    = {Ivan Lanese and
               Alberto Lluch{-}Lafuente and
               Ana Sokolova and
               Hugo Torres Vieira},
  title     = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
               Berlin, Germany, 6th June 2014},
  series    = {{EPTCS}},
  volume    = {166},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.166},
  doi       = {10.4204/EPTCS.166},
  timestamp = {Wed, 14 Nov 2018 10:31:26 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/LaneseLSV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2013,
  editor    = {Mart{\'{\i}}n Abadi and
               Alberto Lluch{-}Lafuente},
  title     = {Trustworthy Global Computing - 8th International Symposium, {TGC}
               2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8358},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-05119-2},
  doi       = {10.1007/978-3-319-05119-2},
  isbn      = {978-3-319-05118-5},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BortolussiW13,
  editor    = {Luca Bortolussi and
               Herbert Wiklicky},
  title     = {Proceedings 11th International Workshop on Quantitative Aspects of
               Programming Languages and Systems, {QAPL} 2013, Rome, Italy, March
               23-24, 2013},
  series    = {{EPTCS}},
  volume    = {117},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.117},
  doi       = {10.4204/EPTCS.117},
  timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BortolussiW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2012,
  editor    = {Lars Birkedal},
  title     = {Foundations of Software Science and Computational Structures - 15th
               International Conference, {FOSSACS} 2012, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
               Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7213},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28729-9},
  doi       = {10.1007/978-3-642-28729-9},
  isbn      = {978-3-642-28728-2},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2012,
  editor    = {Toshiaki Aoki and
               Kenji Taguchi},
  title     = {Formal Methods and Software Engineering - 14th International Conference
               on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
               12-16, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7635},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-34281-3},
  doi       = {10.1007/978-3-642-34281-3},
  isbn      = {978-3-642-34280-6},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2012,
  editor    = {Sascha Ossowski and
               Paola Lecca},
  title     = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
               Riva, Trento, Italy, March 26-30, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2245276},
  isbn      = {978-1-4503-0857-1},
  timestamp = {Fri, 08 Jun 2012 17:50:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2011,
  editor    = {Bernhard Beckert and
               Ferruccio Damiani and
               Frank S. de Boer and
               Marcello M. Bonsangue},
  title     = {Formal Methods for Components and Objects, 10th International Symposium,
               {FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7542},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-35887-6},
  doi       = {10.1007/978-3-642-35887-6},
  isbn      = {978-3-642-35886-9},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2011,
  editor    = {Roberto Bruni and
               Vladimiro Sassone},
  title     = {Trustworthy Global Computing - 6th International Symposium, {TGC}
               2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7173},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30065-3},
  doi       = {10.1007/978-3-642-30065-3},
  isbn      = {978-3-642-30064-6},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1108-1452,
  editor    = {Luca Aceto and
               Mohammad Reza Mousavi},
  title     = {Proceedings First International Workshop on Process Algebra and Coordination,
               {PACO} 2011, Reykjavik, Iceland, 9th June 2011},
  series    = {{EPTCS}},
  volume    = {60},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.60},
  doi       = {10.4204/EPTCS.60},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1108-1452},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/sensoria11,
  editor    = {Martin Wirsing and
               Matthias M. H{\"{o}}lzl},
  title     = {Rigorous Software Engineering for Service-Oriented Systems - Results
               of the {SENSORIA} Project on Software Engineering for Service-Oriented
               Computing},
  series    = {Lecture Notes in Computer Science},
  volume    = {6582},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20401-2},
  doi       = {10.1007/978-3-642-20401-2},
  isbn      = {978-3-642-20400-5},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/sensoria11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2010,
  editor    = {Dave Clarke and
               Gul A. Agha},
  title     = {Coordination Models and Languages, 12th International Conference,
               {COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6116},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13414-2},
  doi       = {10.1007/978-3-642-13414-2},
  isbn      = {978-3-642-13413-5},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2010,
  editor    = {Martin Wirsing and
               Martin Hofmann and
               Axel Rauschmayer},
  title     = {Trustworthly Global Computing - 5th International Symposium, {TGC}
               2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6084},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15640-3},
  doi       = {10.1007/978-3-642-15640-3},
  isbn      = {978-3-642-15639-7},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2009,
  editor    = {John Field and
               Vasco Thudichum Vasconcelos},
  title     = {Coordination Models and Languages, 11th International Conference,
               {COORDINATION} 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5521},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02053-7},
  doi       = {10.1007/978-3-642-02053-7},
  isbn      = {978-3-642-02052-0},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eusflat/2009,
  editor    = {Jo{\~{a}}o Paulo Carvalho and
               Didier Dubois and
               Uzay Kaymak and
               Jo{\~{a}}o Miguel da Costa Sousa},
  title     = {Proceedings of the Joint 2009 International Fuzzy Systems Association
               World Congress and 2009 European Society of Fuzzy Logic and Technology
               Conference, Lisbon, Portugal, July 20-24, 2009},
  year      = {2009},
  isbn      = {978-989-95079-6-8},
  timestamp = {Wed, 16 Dec 2009 10:36:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eusflat/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2009,
  editor    = {Mar{\'{\i}}a Alpuente and
               Byron Cook and
               Christophe Joubert},
  title     = {Formal Methods for Industrial Critical Systems, 14th International
               Workshop, {FMICS} 2009, Eindhoven, The Netherlands, November 2-3,
               2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5825},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04570-7},
  doi       = {10.1007/978-3-642-04570-7},
  isbn      = {978-3-642-04569-1},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2009-2,
  editor    = {Susanne Albers and
               Alberto Marchetti{-}Spaccamela and
               Yossi Matias and
               Sotiris E. Nikoletseas and
               Wolfgang Thomas},
  title     = {Automata, Languages and Programming, 36th Internatilonal Colloquium,
               {ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5556},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02930-1},
  doi       = {10.1007/978-3-642-02930-1},
  isbn      = {978-3-642-02929-5},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/2009-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2008-1,
  editor    = {Kurt Jensen and
               Wil M. P. van der Aalst and
               Jonathan Billington},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5100},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89287-8},
  doi       = {10.1007/978-3-540-89287-8},
  isbn      = {978-3-540-89286-1},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/2008-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2008,
  editor    = {Doug Lea and
               Gianluigi Zavattaro},
  title     = {Coordination Models and Languages, 10th International Conference,
               {COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5052},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68265-3},
  doi       = {10.1007/978-3-540-68265-3},
  isbn      = {978-3-540-68264-6},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2008,
  editor    = {Gilles Barthe and
               Frank S. de Boer},
  title     = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June
               4-6, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5051},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68863-1},
  doi       = {10.1007/978-3-540-68863-1},
  isbn      = {978-3-540-68862-4},
  timestamp = {Sat, 19 Oct 2019 20:16:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tamodia/2008,
  editor    = {Peter Forbrig and
               Fabio Patern{\`{o}}},
  title     = {Engineering Interactive Systems, Second Conference on Human-Centered
               Software Engineering, {HCSE} 2008, and 7th International Workshop
               on Task Models and Diagrams, {TAMODIA} 2008, Pisa, Italy, September
               25-26, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5247},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85992-5},
  doi       = {10.1007/978-3-540-85992-5},
  isbn      = {978-3-540-85991-8},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tamodia/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2008,
  editor    = {Christos Kaklamanis and
               Flemming Nielson},
  title     = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008,
               Barcelona, Spain, November 3-4, 2008, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5474},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00945-7},
  doi       = {10.1007/978-3-642-00945-7},
  isbn      = {978-3-642-00944-0},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icete/2007s,
  editor    = {Joaquim Filipe and
               Mohammad S. Obaidat},
  title     = {E-business and Telecommunications - 4th International Conference,
               {ICETE} 2007, Barcelona, Spain, July 28-31, 2007, Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {23},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-540-88653-2},
  doi       = {10.1007/978-3-540-88653-2},
  isbn      = {978-3-540-88652-5},
  timestamp = {Sat, 19 Oct 2019 20:35:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icete/2007s},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictcs/2007,
  editor    = {Giuseppe F. Italiano and
               Eugenio Moggi and
               Luigi Laura},
  title     = {Theoretical Computer Science, 10th Italian Conference, {ICTCS} 2007,
               Rome, Italy, October 3-5, 2007, Proceedings},
  publisher = {World Scientific},
  year      = {2007},
  isbn      = {981-277-098-4},
  timestamp = {Wed, 11 Jun 2008 08:55:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictcs/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/winsys/2007,
  editor    = {Mohammad S. Obaidat and
               Victor Peral Lecha and
               Rafael F. S. Caldeirinha},
  title     = {{WINSYS} 2007 - Proceedings of the International Conference on Wireless
               Information Networks and Systems, Barcelona, Spain, July 28-31, 2007,
               {WINSYS} is part of {ICETE} - The International Joint Conference on
               e-Business and Telecommunications},
  publisher = {{INSTICC} Press},
  year      = {2007},
  isbn      = {978-989-8111-14-2},
  timestamp = {Wed, 09 Sep 2009 08:20:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/winsys/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iticse/2006,
  editor    = {Renzo Davoli and
               Michael Goldweber and
               Paola Salomoni},
  title     = {Proceedings of the 11th Annual {SIGCSE} Conference on Innovation and
               Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy,
               June 26-28, 2006},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-055-8},
  timestamp = {Fri, 24 Aug 2007 13:36:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iticse/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2006,
  editor    = {Mario Bravetti and
               Manuel N{\'{u}}{\~{n}}ez and
               Gianluigi Zavattaro},
  title     = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
               2006 Vienna, Austria, September 8-9, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4184},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11841197},
  doi       = {10.1007/11841197},
  isbn      = {3-540-38862-1},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wsfm/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dais/2005,
  editor    = {Lea Kutvonen and
               Nancy Alonistioti},
  title     = {Distributed Applications and Interoperable Systems, 5th {IFIP} {WG}
               6.1 International Conference, {DAIS} 2005, Athens, Greece, June 15-17,
               2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3543},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b137217},
  doi       = {10.1007/b137217},
  isbn      = {3-540-26262-8},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dais/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2004,
  editor    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Susanne Graf and
               Willem P. de Roever},
  title     = {Formal Methods for Components and Objects, Third International Symposium,
               {FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
               Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {3657},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11561163},
  doi       = {10.1007/11561163},
  isbn      = {3-540-29131-8},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalt/2004,
  editor    = {Kinshuk and
               Chee{-}Kit Looi and
               Erkki Sutinen and
               Demetrios G. Sampson and
               Ignacio Aedo and
               Lorna Uden and
               Esko K{\"{a}}hk{\"{o}}nen},
  title     = {Proceedings of the {IEEE} International Conference on Advanced Learning
               Technologies, {ICALT} 2004, Joensuu, Finland, August 30 - September
               1, 2004},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/9382/proceeding},
  isbn      = {0-7695-2181-9},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalt/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/global/2003,
  editor    = {Corrado Priami},
  title     = {Global Computing. Programming Environments, Languages, Security, and
               Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
               Rovereto, Italy, February 9-14, 2003, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2874},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94264},
  doi       = {10.1007/b94264},
  isbn      = {3-540-20583-7},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/global/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2002,
  editor    = {Farhad Arbab and
               Carolyn L. Talcott},
  title     = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
               2002, YORK, UK, April 8-11, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2315},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-46000-4},
  doi       = {10.1007/3-540-46000-4},
  isbn      = {3-540-43410-0},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2002,
  editor    = {Gary B. Lamont and
               Hisham Haddad and
               George A. Papadopoulos and
               Brajendra Panda},
  title     = {Proceedings of the 2002 {ACM} Symposium on Applied Computing (SAC),
               March 10-14, 2002, Madrid, Spain},
  publisher = {{ACM}},
  year      = {2002},
  url       = {https://doi.org/10.1145/508791},
  doi       = {10.1145/508791},
  isbn      = {1-58113-445-2},
  timestamp = {Tue, 06 Nov 2018 11:06:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/2002,
  editor    = {Martin Wirsing and
               Dirk Pattinson and
               Rolf Hennicker},
  title     = {Recent Trends in Algebraic Development Techniques, 16th International
               Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2755},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94458},
  doi       = {10.1007/b94458},
  isbn      = {3-540-20537-3},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amast/2000,
  editor    = {Teodor Rus},
  title     = {Algebraic Methodology and Software Technology. 8th International Conference,
               {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1816},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-45499-3},
  doi       = {10.1007/3-540-45499-3},
  isbn      = {3-540-67530-2},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2000-1,
  editor    = {Barrett R. Bryant and
               Janice H. Carroll and
               Ernesto Damiani and
               Hisham Haddad and
               Dave Oppenheim},
  title     = {Applied Computing 2000, Proceedings of the 2000 {ACM} Symposium on
               Applied Computing, Villa Olmo, Via Cantoni 1, 22100 Como, Italy, March
               19-21, 2000. Volume 1},
  publisher = {{ACM}},
  year      = {2000},
  url       = {https://doi.org/10.1145/335603},
  doi       = {10.1145/335603},
  isbn      = {1-58113-240-9},
  timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2000-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics