BibTeX records: Michele Loreti

download as .bib file

@article{DBLP:journals/fac/Loreti21,
  author    = {Michele Loreti},
  title     = {Semantics of the probabilistic Lambda Calculus By Dirk Draheim},
  journal   = {Formal Aspects Comput.},
  volume    = {33},
  number    = {3},
  pages     = {457--458},
  year      = {2021},
  url       = {https://doi.org/10.1007/s00165-021-00534-7},
  doi       = {10.1007/s00165-021-00534-7},
  timestamp = {Mon, 26 Jul 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fac/Loreti21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NicolaDL21,
  author    = {Rocco De Nicola and
               Tan Duong and
               Michele Loreti},
  title     = {Provably correct implementation of the \emph{AbC} calculus},
  journal   = {Sci. Comput. Program.},
  volume    = {202},
  pages     = {102567},
  year      = {2021},
  url       = {https://doi.org/10.1016/j.scico.2020.102567},
  doi       = {10.1016/j.scico.2020.102567},
  timestamp = {Fri, 14 May 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/scp/NicolaDL21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CastiglioniLT21,
  author    = {Valentina Castiglioni and
               Michele Loreti and
               Simone Tini},
  editor    = {Kirstin Peters and
               Tim A. C. Willemse},
  title     = {How Adaptive and Reliable is Your Program?},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
               as Part of the 16th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
               2021, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12719},
  pages     = {60--79},
  publisher = {Springer},
  year      = {2021},
  url       = {https://doi.org/10.1007/978-3-030-78089-0\_4},
  doi       = {10.1007/978-3-030-78089-0\_4},
  timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/CastiglioniLT21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-08708,
  author    = {Michele Loreti and
               Michela Quadrini},
  title     = {A Spatial Logic for a Simplicial Complex Model},
  journal   = {CoRR},
  volume    = {abs/2105.08708},
  year      = {2021},
  url       = {https://arxiv.org/abs/2105.08708},
  archivePrefix = {arXiv},
  eprint    = {2105.08708},
  timestamp = {Mon, 31 May 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2105-08708.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-11400,
  author    = {Ezio Bartocci and
               Luca Bortolussi and
               Laura Nenzi and
               Michele Loreti},
  title     = {A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical
               Systems},
  journal   = {CoRR},
  volume    = {abs/2105.11400},
  year      = {2021},
  url       = {https://arxiv.org/abs/2105.11400},
  archivePrefix = {arXiv},
  eprint    = {2105.11400},
  timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2105-11400.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AlrahmanNL20,
  author    = {Yehia Abd Alrahman and
               Rocco De Nicola and
               Michele Loreti},
  title     = {Programming interactions in collective adaptive systems by relying
               on attribute-based communication},
  journal   = {Sci. Comput. Program.},
  volume    = {192},
  pages     = {102428},
  year      = {2020},
  url       = {https://doi.org/10.1016/j.scico.2020.102428},
  doi       = {10.1016/j.scico.2020.102428},
  timestamp = {Sat, 30 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/scp/AlrahmanNL20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CastiglioniLT20,
  author    = {Valentina Castiglioni and
               Michele Loreti and
               Simone Tini},
  title     = {The metric linear-time branching-time spectrum on nondeterministic
               probabilistic processes},
  journal   = {Theor. Comput. Sci.},
  volume    = {813},
  pages     = {20--69},
  year      = {2020},
  url       = {https://doi.org/10.1016/j.tcs.2019.09.019},
  doi       = {10.1016/j.tcs.2019.09.019},
  timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcs/CastiglioniLT20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BortolussiHL20,
  author    = {Luca Bortolussi and
               Jane Hillston and
               Michele Loreti},
  title     = {Fluid approximation of broadcasting systems},
  journal   = {Theor. Comput. Sci.},
  volume    = {816},
  pages     = {221--248},
  year      = {2020},
  url       = {https://doi.org/10.1016/j.tcs.2020.02.020},
  doi       = {10.1016/j.tcs.2020.02.020},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcs/BortolussiHL20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CastiglioniLT20,
  author    = {Valentina Castiglioni and
               Michele Loreti and
               Simone Tini},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Measuring Adaptability and Reliability of Large Scale Systems},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
               Engineering Principles - 9th International Symposium on Leveraging
               Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
               20-30, 2020, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12477},
  pages     = {380--396},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-61470-6\_23},
  doi       = {10.1007/978-3-030-61470-6\_23},
  timestamp = {Wed, 28 Oct 2020 11:39:03 +0100},
  biburl    = {https://dblp.org/rec/conf/isola/CastiglioniLT20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/NenziBBLV20,
  author    = {Laura Nenzi and
               Ezio Bartocci and
               Luca Bortolussi and
               Michele Loreti and
               Ennio Visconti},
  editor    = {Jyotirmoy Deshmukh and
               Dejan Nickovic},
  title     = {Monitoring Spatio-Temporal Properties (Invited Tutorial)},
  booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los
               Angeles, CA, USA, October 6-9, 2020, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12399},
  pages     = {21--46},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-60508-7\_2},
  doi       = {10.1007/978-3-030-60508-7\_2},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/rv/NenziBBLV20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BartocciBLNS20,
  author    = {Ezio Bartocci and
               Luca Bortolussi and
               Michele Loreti and
               Laura Nenzi and
               Simone Silvetti},
  editor    = {Jyotirmoy Deshmukh and
               Dejan Nickovic},
  title     = {MoonLight: {A} Lightweight Tool for Monitoring Spatio-Temporal Properties},
  booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los
               Angeles, CA, USA, October 6-9, 2020, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12399},
  pages     = {417--428},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-60508-7\_23},
  doi       = {10.1007/978-3-030-60508-7\_23},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/rv/BartocciBLNS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itasec/2020,
  editor    = {Michele Loreti and
               Luca Spalazzi},
  title     = {Proceedings of the Fourth Italian Conference on Cyber Security, Ancona,
               Italy, February 4th to 7th, 2020},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2597},
  publisher = {CEUR-WS.org},
  year      = {2020},
  url       = {http://ceur-ws.org/Vol-2597},
  urn       = {urn:nbn:de:0074-2597-0},
  timestamp = {Mon, 27 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/itasec/2020.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Sat, 30 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iandc/AlrahmanNL19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/VissatLNHM19,
  author    = {Ludovica Luisa Vissat and
               Michele Loreti and
               Laura Nenzi and
               Jane Hillston and
               Glenn Marion},
  title     = {Analysis of Spatio-temporal Properties of Stochastic Systems Using
               {TSTL}},
  journal   = {{ACM} Trans. Model. Comput. Simul.},
  volume    = {29},
  number    = {4},
  pages     = {20:1--20:24},
  year      = {2019},
  url       = {https://doi.org/10.1145/3326168},
  doi       = {10.1145/3326168},
  timestamp = {Mon, 27 Jan 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tomacs/VissatLNHM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/Loreti19,
  author    = {Michele Loreti},
  title     = {Replicated Computations Results {(RCR)} Report for "Statistical
               Abstraction for Multi-scale Spatio-temporal Systems"},
  journal   = {{ACM} Trans. Model. Comput. Simul.},
  volume    = {29},
  number    = {4},
  pages     = {23:1--23:2},
  year      = {2019},
  url       = {https://doi.org/10.1145/3341094},
  doi       = {10.1145/3341094},
  timestamp = {Mon, 27 Jan 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tomacs/Loreti19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NicolaDL19,
  author    = {Rocco De Nicola and
               Tan Duong and
               Michele Loreti},
  editor    = {Hanne Riis Nielson and
               Emilio Tuosto},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {11533},
  pages     = {111--128},
  publisher = {Springer},
  year      = {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/conf/coordination/NicolaDL19.bib},
  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},
  editor    = {Marin Litoiu and
               Siobh{\'{a}}n Clarke and
               Kenji Tei},
  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},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1109/SEAMS.2019.00018},
  doi       = {10.1109/SEAMS.2019.00018},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/BennaceurGTKWCD19.bib},
  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},
  editor    = {Marin Litoiu and
               Siobh{\'{a}}n Clarke and
               Kenji Tei},
  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},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1109/SEAMS.2019.00021},
  doi       = {10.1109/SEAMS.2019.00021},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/TsigkanosNLGDG19.bib},
  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/conf/birthday/2019denicola.bib},
  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/journals/corr/abs-1904-08847.bib},
  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   = {Log. Methods Comput. Sci.},
  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 = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/lmcs/NenziBCLM18.bib},
  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   = {Int. J. Softw. Tools Technol. Transf.},
  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 = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sttt/CianciaGGLLM18.bib},
  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/journals/tomacs/BeekL18.bib},
  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/journals/tomacs/Loreti18.bib},
  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},
  editor    = {Christel Baier and
               Lu{\'{\i}}s Caires},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {10854},
  pages     = {1--20},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92612-4\_1},
  doi       = {10.1007/978-3-319-92612-4\_1},
  timestamp = {Sat, 30 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/AlrahmanNGL18.bib},
  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},
  editor    = {Bj{\"{o}}rn Johansson and
               Sanjay Jain},
  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},
  publisher = {{IEEE}},
  year      = {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/conf/wsc/GalpinGLV18.bib},
  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/conf/coordination/2018.bib},
  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   = {Log. Methods Comput. Sci.},
  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 = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/Lluch-LafuenteL16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LatellaLM17,
  author    = {Diego Latella and
               Michele Loreti and
               Mieke Massink},
  editor    = {Joost{-}Pieter Katoen and
               Rom Langerak and
               Arend Rensink},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {10500},
  pages     = {254--275},
  publisher = {Springer},
  year      = {2017},
  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/conf/birthday/LatellaLM17.bib},
  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},
  editor    = {Jean{-}Pierre Talpin and
               Patricia Derler and
               Klaus Schneider},
  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},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3127041.3127050},
  doi       = {10.1145/3127041.3127050},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/memocode/BartocciBLN17.bib},
  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},
  editor    = {Nathalie Bertrand and
               Luca Bortolussi},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {10503},
  pages     = {317--332},
  publisher = {Springer},
  year      = {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/conf/qest/VissatLNHM17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LatellaLM17,
  author    = {Diego Latella and
               Michele Loreti and
               Mieke Massink},
  editor    = {Axel Legay and
               Tiziana Margaria},
  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}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10206},
  pages     = {303--309},
  year      = {2017},
  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/conf/tacas/LatellaLM17.bib},
  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},
  editor    = {Andrea Marin and
               Benny Van Houdt and
               Giuliano Casale and
               Dorina C. Petriu and
               Sabina Rossi},
  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},
  publisher = {{ACM}},
  year      = {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/conf/valuetools/VissatHLN17.bib},
  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/journals/corr/NenziBCLM17.bib},
  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/journals/corr/abs-1711-06092.bib},
  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/journals/corr/abs-1711-09762.bib},
  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   = {Log. Methods Comput. Sci.},
  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 = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/CianciaLLM16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CrescenziL16,
  author    = {Pierluigi Crescenzi and
               Michele Loreti},
  title     = {Preface},
  journal   = {Electron. 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, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/CrescenziL16.bib},
  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} Wirel. 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 = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/wc/ChitiFLP16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AlrahmanNL16,
  author    = {Yehia Abd Alrahman and
               Rocco De Nicola and
               Michele Loreti},
  editor    = {Elvira Albert and
               Ivan Lanese},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {9688},
  pages     = {1--18},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-39570-8\_1},
  doi       = {10.1007/978-3-319-39570-8\_1},
  timestamp = {Sat, 30 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/AlrahmanNL16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AlrahmanNL16,
  author    = {Yehia Abd Alrahman and
               Rocco De Nicola and
               Michele Loreti},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  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}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9952},
  pages     = {539--553},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47166-2\_38},
  doi       = {10.1007/978-3-319-47166-2\_38},
  timestamp = {Sat, 30 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/isola/AlrahmanNL16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/HillstonL16,
  author    = {Jane Hillston and
               Michele Loreti},
  editor    = {Gul Agha and
               Benny Van Houdt},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {9826},
  pages     = {167--171},
  publisher = {Springer},
  year      = {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/conf/qest/HillstonL16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/LoretiH16,
  author    = {Michele Loreti and
               Jane Hillston},
  editor    = {Marco Bernardo and
               Rocco De Nicola 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},
  series    = {Lecture Notes in Computer Science},
  volume    = {9700},
  pages     = {83--119},
  publisher = {Springer},
  year      = {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/conf/sfm/LoretiH16.bib},
  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},
  editor    = {Marco Bernardo and
               Rocco De Nicola and
               Jane Hillston},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {9700},
  pages     = {156--201},
  publisher = {Springer},
  year      = {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/conf/sfm/CianciaLLM16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/NenziBL16,
  author    = {Laura Nenzi and
               Luca Bortolussi and
               Michele Loreti},
  editor    = {Antonio Puliafito and
               Kishor S. Trivedi and
               Bruno Tuffin and
               Marco Scarpa and
               Fumio Machida and
               Javier Alonso},
  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},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.4108/eai.25-10-2016.2266978},
  doi       = {10.4108/eai.25-10-2016.2266978},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/valuetools/NenziBL16.bib},
  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/conf/tgc/2015.bib},
  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/journals/corr/BeekL16.bib},
  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/journals/corr/AlrahmanNL16.bib},
  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 Informatica},
  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 = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/acta/BernardoNL15.bib},
  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. Algebraic Methods 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 = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jlp/BernardoGL15.bib},
  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   = {Math. Struct. Comput. Sci.},
  volume    = {25},
  number    = {3},
  pages     = {666--709},
  year      = {2015},
  url       = {https://doi.org/10.1017/S0960129512000953},
  doi       = {10.1017/S0960129512000953},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/mscs/BorealeBNL15.bib},
  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 = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/scp/LatellaLM15.bib},
  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},
  editor    = {Rocco De Nicola and
               Rolf Hennicker},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {8950},
  pages     = {619--640},
  publisher = {Springer},
  year      = {2015},
  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/conf/birthday/LatellaLMS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/LatellaLM15,
  author    = {Diego Latella and
               Michele Loreti and
               Mieke Massink},
  editor    = {Tom Holvoet and
               Mirko Viroli},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {9037},
  pages     = {19--34},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19282-6\_2},
  doi       = {10.1007/978-3-319-19282-6\_2},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/coordination/LatellaLM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Lluch-LafuenteL15,
  author    = {Alberto Lluch{-}Lafuente and
               Michele Loreti and
               Ugo Montanari},
  editor    = {Tom Holvoet and
               Mirko Viroli},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {9037},
  pages     = {101--116},
  publisher = {Springer},
  year      = {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/conf/coordination/Lluch-LafuenteL15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/LatellaLM15,
  author    = {Diego Latella and
               Michele Loreti and
               Mieke Massink},
  editor    = {Marta Beltr{\'{a}}n and
               William J. Knottenbelt and
               Jeremy T. Bradley},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {9272},
  pages     = {193--207},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-23267-6\_13},
  doi       = {10.1007/978-3-319-23267-6\_13},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/epew/LatellaLM15.bib},
  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},
  editor    = {Ezio Bartocci and
               Rupak Majumdar},
  title     = {Qualitative and Quantitative Monitoring of Spatio-Temporal Properties},
  booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
               Austria, September 22-25, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9333},
  pages     = {21--37},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-23820-3\_2},
  doi       = {10.1007/978-3-319-23820-3\_2},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/rv/NenziBCLM15.bib},
  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},
  editor    = {Roger L. Wainwright and
               Juan Manuel Corchado and
               Alessio Bechini and
               Jiman Hong},
  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},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2695664.2695668},
  doi       = {10.1145/2695664.2695668},
  timestamp = {Thu, 20 May 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sac/AlrahmanNLTV15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AbeywickramaSL15,
  author    = {Dhaminda B. Abeywickrama and
               Nikola B. Serbedzija and
               Michele Loreti},
  editor    = {Roger L. Wainwright and
               Juan Manuel Corchado and
               Alessio Bechini and
               Jiman Hong},
  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},
  publisher = {{ACM}},
  year      = {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/conf/sac/AbeywickramaSL15.bib},
  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},
  editor    = {Domenico Bianculli and
               Radu Calinescu and
               Bernhard Rumpe},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {9509},
  pages     = {297--311},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-49224-6\_24},
  doi       = {10.1007/978-3-662-49224-6\_24},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sefm/CianciaGLLM15.bib},
  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},
  editor    = {Nathalie Bertrand and
               Mirco Tribastone},
  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},
  series    = {{EPTCS}},
  volume    = {194},
  pages     = {16--31},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.194.2},
  doi       = {10.4204/EPTCS.194.2},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/BortolussiNGGHL15.bib},
  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},
  editor    = {Martin Wirsing and
               Matthias M. H{\"{o}}lzl and
               Nora Koch and
               Philip Mayer},
  title     = {The {SCEL} Language: Design, Implementation, Verification},
  booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
               Approach},
  series    = {Lecture Notes in Computer Science},
  volume    = {8998},
  pages     = {3--71},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-16310-9\_1},
  doi       = {10.1007/978-3-319-16310-9\_1},
  timestamp = {Thu, 20 May 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/lncs/NicolaLLLMMMPTV15.bib},
  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},
  editor    = {Martin Wirsing and
               Matthias M. H{\"{o}}lzl and
               Nora Koch and
               Philip Mayer},
  title     = {Tools for Ensemble Design and Runtime},
  booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
               Approach},
  series    = {Lecture Notes in Computer Science},
  volume    = {8998},
  pages     = {429--448},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-16310-9\_13},
  doi       = {10.1007/978-3-319-16310-9\_13},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/series/lncs/AbeywickramaCHKKLLMMMMPTVV15.bib},
  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   = {Log. Methods Comput. Sci.},
  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 = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BernardoNL14.bib},
  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   = {Bull. {EATCS}},
  volume    = {114},
  year      = {2014},
  url       = {http://eatcs.org/beatcs/index.php/beatcs/article/view/289},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/eatcs/BernardoGL14.bib},
  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   = {{ACM} Trans. Auton. Adapt. Syst.},
  volume    = {9},
  number    = {2},
  pages     = {7:1--7:29},
  year      = {2014},
  url       = {https://doi.org/10.1145/2619998},
  doi       = {10.1145/2619998},
  timestamp = {Thu, 20 May 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/taas/NicolaLPT14.bib},
  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, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcs/BernardoNL14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/e4mas/HillstonL14,
  author    = {Jane Hillston and
               Michele Loreti},
  editor    = {Danny Weyns and
               Fabien Michel},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {9068},
  pages     = {95--116},
  publisher = {Springer},
  year      = {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/conf/e4mas/HillstonL14.bib},
  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},
  editor    = {Saddek Bensalem and
               Yassine Lakhnech and
               Axel Legay},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {8415},
  pages     = {69--83},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54848-2\_5},
  doi       = {10.1007/978-3-642-54848-2\_5},
  timestamp = {Thu, 20 May 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/etaps/NicolaLLMPST14.bib},
  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},
  editor    = {Josep D{\'{\i}}az and
               Ivan Lanese and
               Davide Sangiorgi},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {8705},
  pages     = {222--235},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-44602-7\_18},
  doi       = {10.1007/978-3-662-44602-7\_18},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ifipTCS/CianciaLLM14.bib},
  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},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  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}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8802},
  pages     = {164--183},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-45234-9\_12},
  doi       = {10.1007/978-3-662-45234-9\_12},
  timestamp = {Thu, 20 May 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/isola/LoretiMPT14.bib},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {https://doi.org/10.1109/SASOW.2014.16},
  doi       = {10.1109/SASOW.2014.16},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/saso/CianciaGLLM14.bib},
  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},
  editor    = {Nathalie Bertrand and
               Luca Bortolussi},
  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},
  series    = {{EPTCS}},
  volume    = {154},
  pages     = {1--16},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.154.1},
  doi       = {10.4204/EPTCS.154.1},
  timestamp = {Tue, 29 Dec 2020 18:21:13 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/LatellaLMS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LatellaLM14,
  author    = {Diego Latella and
               Michele Loreti and
               Mieke Massink},
  editor    = {Ivan Lanese and
               Alberto Lluch{-}Lafuente and
               Ana Sokolova and
               Hugo Torres Vieira},
  title     = {On-the-fly Probabilistic Model Checking},
  booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
               Berlin, Germany, 6th June 2014},
  series    = {{EPTCS}},
  volume    = {166},
  pages     = {45--59},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.166.6},
  doi       = {10.4204/EPTCS.166.6},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/LatellaLM14.bib},
  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/journals/corr/CianciaLLM14.bib},
  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 = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/csur/NicolaLLM13.bib},
  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 = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/BernardoNL13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/LatellaLM13,
  author    = {Diego Latella and
               Michele Loreti and
               Mieke Massink},
  editor    = {Mart{\'{\i}}n Abadi and
               Alberto Lluch{-}Lafuente},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {8358},
  pages     = {297--314},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05119-2\_17},
  doi       = {10.1007/978-3-319-05119-2\_17},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tgc/LatellaLM13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BernardoNL13,
  author    = {Marco Bernardo and
               Rocco De Nicola and
               Michele Loreti},
  editor    = {Mart{\'{\i}}n Abadi and
               Alberto Lluch{-}Lafuente},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {8358},
  pages     = {315--330},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05119-2\_18},
  doi       = {10.1007/978-3-319-05119-2\_18},
  timestamp = {Wed, 25 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tgc/BernardoNL13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BernardoNL13,
  author    = {Marco Bernardo and
               Rocco De Nicola and
               Michele Loreti},
  editor    = {Luca Bortolussi and
               Herbert Wiklicky},
  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},
  series    = {{EPTCS}},
  volume    = {117},
  pages     = {81--96},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.117.6},
  doi       = {10.4204/EPTCS.117.6},
  timestamp = {Tue, 29 Dec 2020 18:21:21 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/BernardoNL13.bib},
  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/journals/corr/abs-1305-0538.bib},
  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/journals/corr/LatellaLM13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BernardoNL12,
  author    = {Marco Bernardo and
               Rocco De Nicola and
               Michele Loreti},
  editor    = {Lars Birkedal},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {7213},
  pages     = {195--209},
  publisher = {Springer},
  year      = {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/conf/fossacs/BernardoNL12.bib},
  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},
  editor    = {Toshiaki Aoki and
               Kenji Taguchi},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {7635},
  pages     = {54--70},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-34281-3\_7},
  doi       = {10.1007/978-3-642-34281-3\_7},
  timestamp = {Thu, 20 May 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icfem/GjondrekajLPTPBBD12.bib},
  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},
  editor    = {Sascha Ossowski and
               Paola Lecca},
  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},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2245276.2232019},
  doi       = {10.1145/2245276.2232019},
  timestamp = {Thu, 20 May 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sac/GjondrekajLPT12.bib},
  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},
  editor    = {Bernhard Beckert and
               Ferruccio Damiani and
               Frank S. de Boer and
               Marcello M. Bonsangue},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {7542},
  pages     = {25--48},
  publisher = {Springer},
  year      = {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/conf/fmco/NicolaFLP11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/DErricoL11,
  author    = {Liliana D'Errico and
               Michele Loreti},
  editor    = {Roberto Bruni and
               Vladimiro Sassone},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {7173},
  pages     = {142--159},
  publisher = {Springer},
  year      = {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/conf/tgc/DErricoL11.bib},
  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},
  editor    = {Luca Aceto and
               Mohammad Reza Mousavi},
  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},
  series    = {{EPTCS}},
  volume    = {60},
  pages     = {66--75},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.60.5},
  doi       = {10.4204/EPTCS.60.5},
  timestamp = {Sat, 11 Jul 2020 10:44:59 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1108-1865.bib},
  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},
  editor    = {Martin Wirsing and
               Matthias M. H{\"{o}}lzl},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {6582},
  pages     = {447--466},
  publisher = {Springer},
  year      = {2011},
  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/books/sp/sensoria2011/NicolaLLM11.bib},
  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},
  editor    = {Martin Wirsing and
               Matthias M. H{\"{o}}lzl},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {6582},
  pages     = {522--540},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20401-2\_25},
  doi       = {10.1007/978-3-642-20401-2\_25},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/books/sp/sensoria2011/CappelloCGLLQS11.bib},
  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},
  editor    = {Martin Wirsing and
               Matthias M. H{\"{o}}lzl},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {6582},
  pages     = {678--697},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20401-2\_33},
  doi       = {10.1007/978-3-642-20401-2\_33},
  timestamp = {Mon, 29 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/books/sp/sensoria2011/BeekLLP11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CalzolaiL10,
  author    = {Francesco Calzolai and
               Michele Loreti},
  editor    = {Dave Clarke and
               Gul A. Agha},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {6116},
  pages     = {122--136},
  publisher = {Springer},
  year      = {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/conf/coordination/CalzolaiL10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BernardoNL10,
  author    = {Marco Bernardo and
               Rocco De Nicola and
               Michele Loreti},
  editor    = {Martin Wirsing and
               Martin Hofmann and
               Axel Rauschmayer},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {6084},
  pages     = {35--56},
  publisher = {Springer},
  year      = {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/conf/tgc/BernardoNL10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/DErricoL10,
  author    = {Liliana D'Errico and
               Michele Loreti},
  editor    = {Martin Wirsing and
               Martin Hofmann and
               Axel Rauschmayer},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {6084},
  pages     = {222--236},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15640-3\_15},
  doi       = {10.1007/978-3-642-15640-3\_15},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tgc/DErricoL10.bib},
  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   = {Electron. 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 = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/NicolaLLM09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/DErricoL09,
  author    = {Liliana D'Errico and
               Michele Loreti},
  editor    = {John Field and
               Vasco Thudichum Vasconcelos},
  title     = {Assume-Guarantee Verification of Concurrent Systems},
  booktitle = {Coordination Models and Languages, 11th International Conference,
               {COORDINATION} 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5521},
  pages     = {288--305},
  publisher = {Springer},
  year      = {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/conf/coordination/DErricoL09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/DErricoL09,
  author    = {Liliana D'Errico and
               Michele Loreti},
  editor    = {Jo{\~{a}}o Paulo Carvalho and
               Didier Dubois and
               Uzay Kaymak and
               Jo{\~{a}}o Miguel da Costa Sousa},
  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},
  url       = {http://www.eusflat.org/proceedings/IFSA-EUSFLAT\_2009/pdf/tema\_1136.pdf},
  timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/eusflat/DErricoL09.bib},
  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},
  editor    = {Mar{\'{\i}}a Alpuente and
               Byron Cook and
               Christophe Joubert},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {5825},
  pages     = {9--25},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04570-7\_2},
  doi       = {10.1007/978-3-642-04570-7\_2},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/fmics/NicolaLLM09.bib},
  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},
  editor    = {Susanne Albers and
               Alberto Marchetti{-}Spaccamela and
               Yossi Matias and
               Sotiris E. Nikoletseas and
               Wolfgang Thomas},
  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}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5556},
  pages     = {435--446},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02930-1\_36},
  doi       = {10.1007/978-3-642-02930-1\_36},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icalp/NicolaLLM09.bib},
  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   = {Math. Struct. Comput. Sci.},
  volume    = {18},
  number    = {1},
  pages     = {107--143},
  year      = {2008},
  url       = {https://doi.org/10.1017/S0960129507006585},
  doi       = {10.1017/S0960129507006585},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/mscs/NicolaL08.bib},
  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 Other Model. Concurr.},
  volume    = {1},
  pages     = {54--70},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89287-8\_4},
  doi       = {10.1007/978-3-540-89287-8\_4},
  timestamp = {Thu, 20 May 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/CalzolaiNLT08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BettiniNL08,
  author    = {Lorenzo Bettini and
               Rocco De Nicola and
               Michele Loreti},
  editor    = {Doug Lea and
               Gianluigi Zavattaro},
  title     = {Implementing Session Centered Calculi},
  booktitle = {Coordination Models and Languages, 10th International Conference,
               {COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5052},
  pages     = {17--32},
  publisher = {Springer},
  year      = {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/conf/coordination/BettiniNL08.bib},
  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},
  editor    = {Gilles Barthe and
               Frank S. de Boer},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {5051},
  pages     = {19--38},
  publisher = {Springer},
  year      = {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/conf/fmoods/BorealeBNL08.bib},
  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},
  editor    = {Peter Forbrig and
               Fabio Patern{\`{o}}},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {5247},
  pages     = {166--180},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85992-5\_15},
  doi       = {10.1007/978-3-540-85992-5\_15},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tamodia/MassinkLBHL08.bib},
  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},
  editor    = {Christos Kaklamanis and
               Flemming Nielson},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {5474},
  pages     = {52--68},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-642-00945-7\_4},
  doi       = {10.1007/978-3-642-00945-7\_4},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tgc/BravettiLLMZ08.bib},
  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},
  editor    = {Christos Kaklamanis and
               Flemming Nielson},
  title     = {Provably Correct Implementations of Services},
  booktitle = {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},
  pages     = {69--86},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-642-00945-7\_5},
  doi       = {10.1007/978-3-642-00945-7\_5},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tgc/BruniNLM08.bib},
  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   = {Electron. 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 = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/NicolaL07.bib},
  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   = {Electron. 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 = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/BettiniNFL07.bib},
  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, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcs/NicolaKLLM07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/ManganaroKL07,
  author    = {Andrea Manganaro and
               Mingyur Koblensky and
               Michele Loreti},
  editor    = {Joaquim Filipe and
               Mohammad S. Obaidat},
  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},
  series    = {Communications in Computer and Information Science},
  volume    = {23},
  pages     = {343--355},
  publisher = {Springer},
  year      = {2007},
  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/conf/icete/ManganaroKL07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/DErricoL07,
  author    = {Liliana D'Errico and
               Michele Loreti},
  editor    = {Giuseppe F. Italiano and
               Eugenio Moggi and
               Luigi Laura},
  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},
  publisher = {World Scientific},
  year      = {2007},
  timestamp = {Wed, 11 Jun 2008 08:55:26 +0200},
  biburl    = {https://dblp.org/rec/conf/ictcs/DErricoL07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/winsys/ManganaroKL07,
  author    = {Andrea Manganaro and
               Mingyur Koblensky and
               Michele Loreti},
  editor    = {Mohammad S. Obaidat and
               Victor Peral Lecha and
               Rafael F. S. Caldeirinha},
  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},
  publisher = {{INSTICC} Press},
  year      = {2007},
  timestamp = {Wed, 09 Sep 2009 08:20:58 +0200},
  biburl    = {https://dblp.org/rec/conf/winsys/ManganaroKL07.bib},
  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 Comput. Pract. Exp.},
  volume    = {7},
  number    = {4},
  year      = {2006},
  url       = {http://www.scpe.org/index.php/scpe/article/view/384},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/scpe/BettiniNL06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/CrescenziLP06,
  author    = {Pilu Crescenzi and
               Michele Loreti and
               Rosario Pugliese},
  editor    = {Renzo Davoli and
               Michael Goldweber and
               Paola Salomoni},
  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},
  publisher = {{ACM}},
  year      = {2006},
  url       = {https://doi.org/10.1145/1140124.1140257},
  doi       = {10.1145/1140124.1140257},
  timestamp = {Tue, 09 Mar 2021 15:32:11 +0100},
  biburl    = {https://dblp.org/rec/conf/iticse/CrescenziLP06.bib},
  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},
  editor    = {Mario Bravetti and
               Manuel N{\'{u}}{\~{n}}ez 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},
  series    = {Lecture Notes in Computer Science},
  volume    = {4184},
  pages     = {38--57},
  publisher = {Springer},
  year      = {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/conf/wsfm/BorealeBCNLLMMRSVZ06.bib},
  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},
  editor    = {Lea Kutvonen and
               Nancy Alonistioti},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {3543},
  pages     = {181--193},
  publisher = {Springer},
  year      = {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/conf/dais/BettiniNFLL05.bib},
  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/journals/ase/BettiniNL04.bib},
  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/journals/tocl/NicolaL04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/NicolaL04,
  author    = {Rocco De Nicola and
               Michele Loreti},
  editor    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Susanne Graf and
               Willem P. de Roever},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {3657},
  pages     = {95--119},
  publisher = {Springer},
  year      = {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/conf/fmco/NicolaL04.bib},
  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},
  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     = {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},
  publisher = {{IEEE} Computer Society},
  year      = {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/conf/icalt/BettiniCILC04.bib},
  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},
  editor    = {Corrado Priami},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {2874},
  pages     = {88--150},
  publisher = {Springer},
  year      = {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/conf/global/BettiniBNFGLMPTV03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BettiniNL02,
  author    = {Lorenzo Bettini and
               Rocco De Nicola and
               Michele Loreti},
  editor    = {Farhad Arbab and
               Carolyn L. Talcott},
  title     = {Formalizing Properties of Mobile Agent Systems},
  booktitle = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
               2002, YORK, UK, April 8-11, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2315},
  pages     = {72--87},
  publisher = {Springer},
  year      = {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/conf/coordination/BettiniNL02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BettiniNL02,
  author    = {Lorenzo Bettini and
               Rocco De Nicola and
               Michele Loreti},
  editor    = {Gary B. Lamont and
               Hisham Haddad and
               George A. Papadopoulos and
               Brajendra Panda},
  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},
  publisher = {{ACM}},
  year      = {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/conf/sac/BettiniNL02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BettiniLP02,
  author    = {Lorenzo Bettini and
               Michele Loreti and
               Rosario Pugliese},
  editor    = {Gary B. Lamont and
               Hisham Haddad and
               George A. Papadopoulos and
               Brajendra Panda},
  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},
  publisher = {{ACM}},
  year      = {2002},
  url       = {https://doi.org/10.1145/508791.508862},
  doi       = {10.1145/508791.508862},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sac/BettiniLP02.bib},
  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},
  editor    = {Martin Wirsing and
               Dirk Pattinson and
               Rolf Hennicker},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {2755},
  pages     = {1--33},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/978-3-540-40020-2\_1},
  doi       = {10.1007/978-3-540-40020-2\_1},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02.bib},
  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   = {Electron. 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 = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/CapitaniLV01.bib},
  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   = {Electron. 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 = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/BettiniLP01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/NicolaL00,
  author    = {Rocco De Nicola and
               Michele Loreti},
  editor    = {Teodor Rus},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {1816},
  pages     = {339--354},
  publisher = {Springer},
  year      = {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/conf/amast/NicolaL00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BettiniLP00,
  author    = {Lorenzo Bettini and
               Michele Loreti and
               Rosario Pugliese},
  editor    = {Barrett R. Bryant and
               Janice H. Carroll and
               Ernesto Damiani and
               Hisham Haddad and
               Dave Oppenheim},
  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},
  publisher = {{ACM}},
  year      = {2000},
  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/conf/sac/BettiniLP00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics