### 2016

- Y. A. Alrahman, R. De Nicola, and M. Loreti, “Programming of CAS Systems by Relying on Attribute-Based Communication,” in Leveraging applications of formal methods, verification and validation: foundational techniques – 7th international symposium, isola 2016, imperial, c, 2016, pp. 539-553. doi:10.1007/978-3-319-47166-2_38

[BibTeX] [Download PDF]`@INPROCEEDINGS{C56, title = {{Programming of CAS Systems by Relying on Attribute-Based Communication}}, author = {Alrahman, Yehia Abd and De Nicola, Rocco and Loreti, Michele}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, C}, editor = {Tiziana Margaria and Bernhard Steffen}, pages = {539--553}, volume = {9952}, year = {2016}, url = {http://dx.doi.org/10.1007/978-3-319-47166-2_38}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-319-47166-2_38}, isbn = {978-3-319-47165-5}, }`

- Y. A. Alrahman, R. De Nicola, and M. Loreti, “On the Power of Attribute-Based Communication,” in Formal techniques for distributed objects, components, and systems – 36th ifip wg 6.1 international conference, forte 2016, 2016, pp. 1-18. doi:10.1007/978-3-319-39570-8

[BibTeX] [Download PDF]`@INPROCEEDINGS{C55, title = {{On the Power of Attribute-Based Communication}}, author = {Alrahman, Yehia Abd and De Nicola, Rocco and Loreti, Michele}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016}, editor = {Elvira Albert and Ivan Lanese}, pages = {1--18}, volume = {9688}, year = {2016}, url = {http://dx.doi.org/10.1007/978-3-319-39570-8}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-319-39570-8}, isbn = {978-3-319-39569-2}, }`

- J. Hillston and M. Loreti, “CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems,” in Quantitative evaluation of systems – 13th international conference, qest 2016, quebec city, qc, canada, august 23-25, 2016, proceedings, 2016, pp. 167-171. doi:10.1007/978-3-319-43425-4_12

[BibTeX] [Download PDF]`@INPROCEEDINGS{C54, title = {{CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems}}, author = {Hillston, Jane and Loreti, Michele}, booktitle = {Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings}, editor = {Gul Agha and Benny Van Houdt}, pages = {167--171}, volume = {9826}, year = {2016}, url = {http://dx.doi.org/10.1007/978-3-319-43425-4_12}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-319-43425-4_12}, isbn = {978-3-319-43424-7}, }`

- M. Loreti and J. Hillston, “Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools,” in Formal methods for the quantitative evaluation of collective adaptive systems – 16th international school on formal methods for the design of computer, 2016, pp. 83-119. doi:10.1007/978-3-319-34096-8

[BibTeX] [Download PDF]`@INPROCEEDINGS{C53, title = {{Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools}}, author = {Loreti, Michele and Hillston, Jane}, booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer}, editor = {Marco Bernardo and Rocco De Nicola and Jane Hillston}, pages = {83--119}, volume = {9700}, year = {2016}, url = {http://dx.doi.org/10.1007/978-3-319-34096-8}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-319-34096-8}, isbn = {978-3-319-34095-1}, }`

- V. Ciancia, D. Latella, M. Loreti, and M. Massink, “Spatial Logic and Spatial Model Checking for Closure Spaces,” in Formal methods for the quantitative evaluation of collective adaptive systems – 16th international school on formal methods for the design of computer, 2016, pp. 156-201.

[BibTeX] [Download PDF]`@INPROCEEDINGS{C52, title = {{Spatial Logic and Spatial Model Checking for Closure Spaces}}, author = {Ciancia, Vincenzo and Latella, Diego and Loreti, Michele and Massink, Mieke}, booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer}, editor = {Marco Bernardo and Rocco De Nicola and Jane Hillston}, pages = {156--201}, volume = {9700}, year = {2016}, url = {http://dx.doi.org/10.1007/978-3-319-34096-8}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

- M. H. ter Beek and M. Loreti, Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016, 2016. doi:10.4204/EPTCS.217

[BibTeX] [Download PDF]`@PROCEEDINGS{P2, title = {{Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016}}, author = {Beek, Maurice H. ter and Loreti, Michele}, editor = {Maurice H. ter Beek and Michele Loreti}, volume = {217}, year = {2016}, url = {http://dx.doi.org/10.4204/EPTCS.217}, series = {EPTCS}, doi = {10.4204/EPTCS.217}, }`

- P. Ganty and M. Loreti, Trustworthy Global Computing – 10th International Symposium, TGC 2015, Madrid, Spain, August 31 – September 1, 2015 Revised Selected PapersSpringer, 2016. doi:10.1007/978-3-319-28766-9

[BibTeX] [Download PDF]`@PROCEEDINGS{P1, title = {{Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers}}, author = {Ganty, Pierre and Loreti, Michele}, editor = {Pierre Ganty and Michele Loreti}, volume = {9533}, year = {2016}, url = {http://dx.doi.org/10.1007/978-3-319-28766-9}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-319-28766-9}, isbn = {978-3-319-28765-2}, }`

- V. Ciancia, D. Latella, M. Loreti, and M. Massink, “Model Checking Spatial Logics for Closure Spaces,” Logical methods in computer science, vol. Volume 12,, 2016. doi:10.2168/LMCS-12(4:2)2016

[BibTeX] [Download PDF]`@ARTICLE{J19, title = {{Model Checking Spatial Logics for Closure Spaces}}, author = {Ciancia, Vincenzo and Latella, Diego and Loreti, Michele and Massink, Mieke}, journal = {Logical Methods in Computer Science}, volume = {Volume 12,}, year = {2016}, url = {http://lmcs.episciences.org/2067}, doi = {10.2168/LMCS-12(4:2)2016}, }`

- P. Crescenzi and M. Loreti, “Preface of Proceedings of ICTCS 2015,” Electr. notes theor. comput. sci., vol. 322, pp. 1-2, 2016. doi:10.1016/j.entcs.2016.03.001

[BibTeX] [Download PDF]`@ARTICLE{J18, title = {{Preface of Proceedings of ICTCS 2015}}, author = {Crescenzi, Pierluigi and Loreti, Michele}, journal = {Electr. Notes Theor. Comput. Sci.}, pages = {1--2}, volume = {322}, year = {2016}, url = {http://dx.doi.org/10.1016/j.entcs.2016.03.001}, doi = {10.1016/j.entcs.2016.03.001}, }`

- F. Chiti, R. Fantacci, M. Loreti, and R. Pugliese, “Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications,” Ieee wireless commun., vol. 23, iss. 2, pp. 86-92, 2016. doi:10.1109/MWC.2016.7462489

[BibTeX] [Download PDF]`@ARTICLE{J17, title = {{Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications}}, author = {Chiti, Francesco and Fantacci, Romano and Loreti, Michele and Pugliese, Rosario}, journal = {IEEE Wireless Commun.}, pages = {86--92}, volume = {23}, number = {2}, year = {2016}, url = {http://dx.doi.org/10.1109/MWC.2016.7462489}, doi = {10.1109/MWC.2016.7462489}, }`

### 2015

- M. Bernardo, R. De Nicola, and M. Loreti, “Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes,” Acta inf., vol. 52, iss. 1, pp. 61-106, 2015. doi:10.1007/s00236-014-0210-1

[BibTeX] [Download PDF]`@ARTICLE{J16, title = {{Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes}}, author = {Bernardo, Marco and De Nicola, Rocco and Loreti, Michele}, journal = {Acta Inf.}, pages = {61--106}, volume = {52}, number = {1}, year = {2015}, url = {http://dx.doi.org/10.1007/s00236-014-0210-1}, doi = {10.1007/s00236-014-0210-1}, }`

- M. Bernardo, D. Gebler, and M. Loreti, “Editorial for the Special Issue on Open Problems in Concurrency Theory,” J. log. algebr. meth. program., vol. 84, iss. 6, p. 731, 2015. doi:10.1016/j.jlamp.2015.10.002

[BibTeX] [Download PDF]`@ARTICLE{J15, title = {{Editorial for the Special Issue on Open Problems in Concurrency Theory}}, author = {Bernardo, Marco and Gebler, Daniel and Loreti, Michele}, journal = {J. Log. Algebr. Meth. Program.}, pages = {731}, volume = {84}, number = {6}, year = {2015}, url = {http://dx.doi.org/10.1016/j.jlamp.2015.10.002}, doi = {10.1016/j.jlamp.2015.10.002}, }`

- M. Boreale, R. Bruni, R. De Nicola, and M. Loreti, “CaSPiS: a calculus of sessions, pipelines and services,” Mathematical structures in computer science, vol. 25, iss. 3, pp. 666-709, 2015. doi:10.1017/S0960129512000953

[BibTeX] [Download PDF]`@ARTICLE{J14, title = {{CaSPiS: a calculus of sessions, pipelines and services}}, author = {Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele}, journal = {Mathematical Structures in Computer Science}, pages = {666--709}, volume = {25}, number = {3}, year = {2015}, url = {http://dx.doi.org/10.1017/S0960129512000953}, doi = {10.1017/S0960129512000953}, }`

- D. Latella, M. Loreti, and M. Massink, “On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination,” Sci. comput. program., vol. 110, pp. 23-50, 2015. doi:10.1016/j.scico.2015.06.009

[BibTeX] [Download PDF]`@ARTICLE{J13, title = {{On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination}}, author = {Latella, Diego and Loreti, Michele and Massink, Mieke}, journal = {Sci. Comput. Program.}, pages = {23--50}, volume = {110}, year = {2015}, url = {http://dx.doi.org/10.1016/j.scico.2015.06.009}, doi = {10.1016/j.scico.2015.06.009}, }`

- D. Latella, M. Loreti, M. Massink, and V. Senni, “On StocS: A Stochastic Extension of SCEL,” in Software, services, and systems – essays dedicated to martin wirsing on the occasion of his retirement from the chair of programming and software engi, 2015, pp. 619-640. doi:10.1007/978-3-319-15545-6

[BibTeX] [Download PDF]`@INPROCEEDINGS{C51, title = {{On StocS: A Stochastic Extension of SCEL}}, author = {Latella, Diego and Loreti, Michele and Massink, Mieke and Senni, Valerio}, booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engi}, editor = {Rocco De Nicola and Rolf Hennicker}, pages = {619--640}, volume = {8950}, year = {2015}, url = {http://dx.doi.org/10.1007/978-3-319-15545-6}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-319-15545-6}, isbn = {978-3-319-15544-9}, }`

- D. Latella, M. Loreti, and M. Massink, “Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems,” in Coordination models and languages – 17th ifip wg 6.1 international conference, coordination 2015, held as part of the 10th international federated con, 2015, pp. 19-34. doi:10.1007/978-3-319-19282-6

[BibTeX] [Download PDF]`@INPROCEEDINGS{C50, title = {{Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems}}, author = {Latella, Diego and Loreti, Michele and Massink, Mieke}, booktitle = {Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Con}, editor = {Tom Holvoet and Mirko Viroli}, pages = {19--34}, volume = {9037}, year = {2015}, url = {http://dx.doi.org/10.1007/978-3-319-19282-6}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-319-19282-6}, isbn = {978-3-319-19281-9}, }`

- A. Lluch-Lafuente, M. Loreti, and U. Montanari, “A Fixpoint-Based Calculus for Graph-Shaped Computational Fields,” in Coordination models and languages – 17th ifip wg 6.1 international conference, coordination 2015, held as part of the 10th international federated con, 2015, pp. 101-116.

[BibTeX] [Download PDF]`@INPROCEEDINGS{C49, title = {{A Fixpoint-Based Calculus for Graph-Shaped Computational Fields}}, author = {Lluch-Lafuente, Alberto and Loreti, Michele and Montanari, Ugo}, booktitle = {Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Con}, editor = {Tom Holvoet and Mirko Viroli}, pages = {101--116}, volume = {9037}, year = {2015}, url = {http://dx.doi.org/10.1007/978-3-319-19282-6}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

- D. Latella, M. Loreti, and M. Massink, “On-the-fly Fluid Model Checking via Discrete Time Population Models,” in Computer performance engineering – 12th european workshop, epew 2015, madrid, spain, august 31 – september 1, 2015, proceedings, 2015, pp. 193-207. doi:10.1007/978-3-319-23267-6

[BibTeX] [Download PDF]`@INPROCEEDINGS{C48, title = {{On-the-fly Fluid Model Checking via Discrete Time Population Models}}, author = {Latella, Diego and Loreti, Michele and Massink, Mieke}, booktitle = {Computer Performance Engineering - 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings}, editor = {Marta Beltr\'an and William J. Knottenbelt and Jeremy T. Bradley}, pages = {193--207}, volume = {9272}, year = {2015}, url = {http://dx.doi.org/10.1007/978-3-319-23267-6}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-319-23267-6}, isbn = {978-3-319-23266-9}, }`

- L. Nenzi, L. Bortolussi, V. Ciancia, M. Loreti, and M. Massink, “Qualitative and Quantitative Monitoring of Spatio-Temporal Properties,” in Runtime verification – 6th international conference, rv 2015 vienna, austria, september 22-25, 2015. proceedings, 2015, pp. 21-37. doi:10.1007/978-3-319-23820-3

[BibTeX] [Download PDF]`@INPROCEEDINGS{C47, title = {{Qualitative and Quantitative Monitoring of Spatio-Temporal Properties}}, author = {Nenzi, Laura and Bortolussi, Luca and Ciancia, Vincenzo and Loreti, Michele and Massink, Mieke}, booktitle = {Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings}, editor = {Ezio Bartocci and Rupak Majumdar}, pages = {21--37}, volume = {9333}, year = {2015}, url = {http://dx.doi.org/10.1007/978-3-319-23820-3}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-319-23820-3}, isbn = {978-3-319-23819-7}, }`

- Y. A. Alrahman, R. De Nicola, M. Loreti, F. Tiezzi, and R. Vigo, “A calculus for attribute-based communication,” in Proceedings of the 30th annual acm symposium on applied computing, salamanca, spain, april 13-17, 2015, 2015, pp. 1840-1845. doi:10.1145/2695664.2695668

[BibTeX] [Download PDF]`@INPROCEEDINGS{C46, title = {{A calculus for attribute-based communication}}, author = {Alrahman, Yehia Abd and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco and Vigo, Roberto}, booktitle = {Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015}, editor = {Roger L. Wainwright and Juan Manuel Corchado and Alessio Bechini and Jiman Hong}, pages = {1840--1845}, year = {2015}, url = {http://dl.acm.org/citation.cfm?id=2695664}, publisher = {ACM}, doi = {10.1145/2695664.2695668}, isbn = {978-1-4503-3196-8}, }`

- D. B. Abeywickrama, N. B. Serbedzija, and M. Loreti, “Monitoring and visualizing adaptation of autonomic systems at runtime,” in Proceedings of the 30th annual acm symposium on applied computing, salamanca, spain, april 13-17, 2015, 2015, pp. 1857-1860. doi:10.1145/2695664.2695983

[BibTeX] [Download PDF]`@INPROCEEDINGS{C45, title = {{Monitoring and visualizing adaptation of autonomic systems at runtime}}, author = {Abeywickrama, Dhaminda B. and Serbedzija, Nikola B. and Loreti, Michele}, booktitle = {Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015}, editor = {Roger L. Wainwright and Juan Manuel Corchado and Alessio Bechini and Jiman Hong}, pages = {1857--1860}, year = {2015}, url = {http://dl.acm.org/citation.cfm?id=2695664}, publisher = {ACM}, doi = {10.1145/2695664.2695983}, }`

- V. Ciancia, G. Grilletti, D. Latella, M. Loreti, and M. Massink, “An Experimental Spatio-Temporal Model Checker,” in Software engineering and formal methods – sefm 2015 collocated workshops: atse, hofm, mokmasd, and very*scart, york, uk, september 7-8, 2015, revised, 2015, pp. 297-311. doi:10.1007/978-3-662-49224-6

[BibTeX] [Download PDF]`@INPROCEEDINGS{C44, title = {{An Experimental Spatio-Temporal Model Checker}}, author = {Ciancia, Vincenzo and Grilletti, Gianluca and Latella, Diego and Loreti, Michele and Massink, Mieke}, booktitle = {Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised }, editor = {Domenico Bianculli and Radu Calinescu and Bernhard Rumpe}, pages = {297--311}, volume = {9509}, year = {2015}, url = {http://dx.doi.org/10.1007/978-3-662-49224-6}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-662-49224-6}, isbn = {978-3-662-49223-9}, }`

- L. Bortolussi, R. De Nicola, V. Galpin, S. Gilmore, J. Hillston, D. Latella, M. Loreti, and M. Massink, “CARMA: Collective Adaptive Resource-sharing Markovian Agents,” in Proceedings thirteenth workshop on quantitative aspects of programming languages and systems, qapl 2015, london, uk, 11th-12th april 2015., 2015, pp. 16-31. doi:10.4204/EPTCS.194

[BibTeX] [Download PDF]`@INPROCEEDINGS{C43, title = {{CARMA: Collective Adaptive Resource-sharing Markovian Agents}}, author = {Bortolussi, Luca and De Nicola, Rocco and Galpin, Vashti and Gilmore, Stephen and Hillston, Jane and Latella, Diego and Loreti, Michele and Massink, Mieke}, booktitle = {Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015.}, editor = {Nathalie Bertrand and Mirco Tribastone}, pages = {16--31}, volume = {194}, year = {2015}, url = {http://dx.doi.org/10.4204/EPTCS.194}, series = {EPTCS}, doi = {10.4204/EPTCS.194}, }`

- R. De Nicola, D. Latella, A. Lluch-Lafuente, M. Loreti, A. Margheri, M. Massink, A. Morichetta, R. Pugliese, F. Tiezzi, and A. Vandin, “The SCEL Language: Design, Implementation, Verification,” in Software engineering for collective autonomic systems – the ascens approach, M. Wirsing, M. M. Hölzl, N. Koch, and P. Mayer, Eds., Springer, 2015, vol. 8998, pp. 3-71. doi:10.1007/978-3-319-16310-9

[BibTeX] [Download PDF]`@INCOLLECTION{BC6, title = {{The SCEL Language: Design, Implementation, Verification}}, author = {De Nicola, Rocco and Latella, Diego and Lluch-Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea}, booktitle = {Software Engineering for Collective Autonomic Systems - The ASCENS Approach}, editor = {Martin Wirsing and Matthias M. H\"olzl and Nora Koch and Philip Mayer}, pages = {3--71}, volume = {8998}, year = {2015}, url = {http://dx.doi.org/10.1007/978-3-319-16310-9}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-319-16310-9}, isbn = {978-3-319-16309-3}, }`

- D. B. Abeywickrama, J. Combaz, V. Horký, J. Keznikl, J. Kofron, A. Lluch-Lafuente, M. Loreti, A. Margheri, P. Mayer, G. V. Monreale, U. Montanari, C. Pinciroli, P. Tuma, A. Vandin, and E. Vassev, “Tools for Ensemble Design and Runtime,” in Software engineering for collective autonomic systems – the ascens approach, M. Wirsing, M. M. Hölzl, N. Koch, and P. Mayer, Eds., Springer, 2015, vol. 8998, pp. 429-448.

[BibTeX] [Download PDF]`@INCOLLECTION{BC5, title = {{Tools for Ensemble Design and Runtime}}, author = {Abeywickrama, Dhaminda B. and Combaz, Jacques and Hork\'y, Vojtech and Keznikl, Jaroslav and Kofron, Jan and Lluch-Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Mayer, Philip and Monreale, Giacoma Valentina and Montanari, Ugo and Pinciroli, Carlo and Tuma, Petr and Vandin, Andrea and Vassev, Emil}, booktitle = {Software Engineering for Collective Autonomic Systems - The ASCENS Approach}, editor = {Martin Wirsing and Matthias M. H\"olzl and Nora Koch and Philip Mayer}, pages = {429--448}, volume = {8998}, year = {2015}, url = {http://dx.doi.org/10.1007/978-3-319-16310-9}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

### 2014

- M. Bernardo, R. De Nicola, and M. Loreti, ” Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes,” Logical methods in computer science, vol. 10, iss. 1, pp. 1-16, 2014. doi:10.2168/LMCS-10(1:16)2014

[BibTeX] [Download PDF]`@ARTICLE{J12, title = {{ Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes}}, author = {Bernardo, Marco and De Nicola, Rocco and Loreti, Michele}, journal = {Logical Methods in Computer Science}, pages = {1-16}, volume = {10}, number = {1}, year = {2014}, url = {http://www.lmcs-online.org/ojs/viewarticle.php?id=1346&layout=abstract}, url = {http://arxiv.org/abs/1402.5365}, doi = {10.2168/LMCS-10(1:16)2014}, }`

- M. Bernardo, D. Gebler, and M. Loreti, “Report on OPCT 2014,” Bulletin of the eatcs, vol. 114, 2014.

[BibTeX] [Download PDF]`@ARTICLE{J11, title = {{Report on OPCT 2014}}, author = {Bernardo, Marco and Gebler, Daniel and Loreti, Michele}, journal = {Bulletin of the EATCS}, volume = {114}, year = {2014}, url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/289}, }`

- R. De Nicola, M. Loreti, R. Pugliese, and F. Tiezzi, “A formal approach to autonomic systems programming: The SCEL Language ,” Acm transactions on autonomous and adaptive systems, vol. 9, iss. 2, p. 7:1–7:29, 2014.

[BibTeX] [Download PDF]`@ARTICLE{J10, title = {{A formal approach to autonomic systems programming: The SCEL Language }}, author = {De Nicola, Rocco and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco}, journal = {ACM Transactions on Autonomous and Adaptive Systems}, pages = {7:1--7:29}, volume = {9}, number = {2}, year = {2014}, url = {http://dl.acm.org/citation.cfm?id=2619998&CFID=390351528&CFTOKEN=91161148}, publisher = {ACM}, isbn = {1556-4665}, }`

- M. Bernardo, R. De Nicola, and M. Loreti, “Relating strong behavioral equivalences for processes with nondeterminism and probabilities,” Theoretical computer science, vol. 546, pp. 63-92, 2014. doi:http://dx.doi.org/10.1016/j.tcs.2014.03.001

[BibTeX] [Download PDF]`@ARTICLE{J9, title = {{Relating strong behavioral equivalences for processes with nondeterminism and probabilities}}, author = {Bernardo, Marco and De Nicola, Rocco and Loreti, Michele}, journal = {Theoretical Computer Science}, pages = {63-92}, volume = {546}, year = {2014}, url = {http://www.sciencedirect.com/science/article/pii/S0304397514001765}, doi = {http://dx.doi.org/10.1016/j.tcs.2014.03.001}, }`

- J. Hillston and M. Loreti, “Specification and Analysis of Open-Ended Systems with CARMA,” in Agent environments for multi-agent systems iv – 4th international workshop, e4mas 2014 – 10 years later, paris, france, may 6, 2014, revised selected, 2014, pp. 95-116. doi:10.1007/978-3-319-23850-0_7

[BibTeX] [Download PDF]`@INPROCEEDINGS{C42, title = {{Specification and Analysis of Open-Ended Systems with CARMA}}, author = {Hillston, Jane and Loreti, Michele}, booktitle = {Agent Environments for Multi-Agent Systems IV - 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected }, editor = {Danny Weyns and Fabien Michel}, pages = {95--116}, volume = {9068}, year = {2014}, url = {http://dx.doi.org/10.1007/978-3-319-23850-0_7}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-319-23850-0_7}, isbn = {978-3-319-23849-4}, }`

- D. Latella, M. Loreti, M. Massink, and V. Ciancia, “Specifying and Verifying Properties of Space,” in Theoretical computer science – 8th IFIP TC 1/wg 2.2 international conference, TCS 2014, rome, italy, september 1-3, 2014. proceed, 2014, pp. 222-235. doi:10.1007/978-3-662-44602-7_18

[BibTeX] [Download PDF]`@INPROCEEDINGS{C40, title = {{Specifying and Verifying Properties of Space}}, author = {Latella, Diego and Loreti, Michele and Massink, Mieke and Ciancia, Vincenzo}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceed}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, pages = {222--235}, volume = {8705}, year = {2014}, url = {http://dx.doi.org/10.1007/978-3-662-44602-7_18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-662-44602-7_18}, isbn = {978-3-662-44601-0}, }`

- R. De Nicola, M. Loreti, A. Morichetta, R. Pugliese, V. Senni, F. Tiezzi, and L. Alberto, “Programming and Verifying Component Ensembles,” in From programs to systems. the systems perspective in computing – etaps workshop, fps 2014, in honor of joseph sifakis., 2014, pp. 69-83. doi:10.1007/978-3-642-54848-2

[BibTeX]`@INPROCEEDINGS{C41, title = {{Programming and Verifying Component Ensembles}}, author = {De Nicola, Rocco and Loreti, Michele and Morichetta, Andrea and Pugliese, Rosario and Senni, Valerio and Tiezzi, Francesco and Alberto, Luch-Lafuente}, booktitle = {From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis.}, editor = {S. Bensalem and Y. Lakhnech and A. Legay}, pages = {69-83}, volume = {8415}, year = {2014}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-642-54848-2}, isbn = {978-3-642-54847-5}, }`

- M. Loreti, A. Margheri, R. Pugliese, and F. Tiezzi, “On Programming and Policing Autonomic Computing Systems,” in Leveraging applications of formal methods, verification and validation. technologies for mastering change – 6th international symposium, isola 2014, p, 2014, pp. 164-183. doi:10.1007/978-3-662-45234-9_12

[BibTeX] [Download PDF]`@INPROCEEDINGS{C39, title = {{On Programming and Policing Autonomic Computing Systems}}, author = {Loreti, Michele and Margheri, Andrea and Pugliese, Rosario and Tiezzi, Francesco}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, P}, editor = {Tiziana Margaria and Bernhard Steffen}, pages = {164--183}, volume = {8802}, year = {2014}, url = {http://dx.doi.org/10.1007/978-3-662-45234-9_12}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-662-45234-9_12}, isbn = {978-3-662-45233-2}, }`

- V. Ciancia, S. Gilmore, D. Latella, M. Loreti, and M. Massink, “Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data,” in Eighth ieee international conference on self-adaptive and self-organizing systems workshops, sasow 2014, london, united kingdom, september 8-12, 2014, 2014, pp. 32-37. doi:10.1109/SASOW.2014.16

[BibTeX] [Download PDF]`@INPROCEEDINGS{C38, title = {{Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data}}, author = {Ciancia, Vincenzo and Gilmore, Stephen and Latella, Diego and Loreti, Michele and Massink, Mieke}, booktitle = {Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014, London, United Kingdom, September 8-12, 2014}, pages = {32--37}, year = {2014}, url = {http://dx.doi.org/10.1109/SASOW.2014.16}, publisher = {IEEE Computer Society}, doi = {10.1109/SASOW.2014.16}, isbn = {978-1-4799-6378-2}, }`

- D. Latella, M. Loreti, M. Massink, and V. Senni, “Stochastically timed predicate-based communication primitives for autonomic computing,” in Proceedings of 12th quantitative aspects of programming languages and systems (qapl), 2014, pp. 1-16. doi:10.4204/EPTCS.154.1

[BibTeX]`@INPROCEEDINGS{C37, title = {{Stochastically timed predicate-based communication primitives for autonomic computing}}, author = {Latella, Diego and Loreti, Michele and Massink, Mieke and Senni, Valerio}, booktitle = {Proceedings of 12th Quantitative Aspects of Programming Languages and Systems (QAPL)}, editor = {N. Bertrand and L. Bortolussi}, pages = {1-16}, volume = {154}, year = {2014}, series = {Electronic Proceedings in Theoretical Computer Science}, publisher = {Open Publishing Association}, doi = {10.4204/EPTCS.154.1}, }`

- D. Latella, M. Loreti, and M. Massink, “On-the-fly Probabilistic Model Checking,” in Proc. of 7th interaction and concurrency experience, 2014, p. To appear..

[BibTeX]`@INPROCEEDINGS{C36, title = {{On-the-fly Probabilistic Model Checking}}, author = {Latella, Diego and Loreti, Michele and Massink, Mieke}, booktitle = {Proc. of 7th Interaction and Concurrency Experience}, editor = {I. Lanese and A. Lluch Lafuente and A. Sokolova and H. Vieira}, pages = {To appear.}, year = {2014}, series = {Electronic Proceedings in Theoretical Computer Science}, }`

- M. Bernardo, R. De Nicola, and M. Loreti, “Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations,” in Trustworthy global computing, M. Abadi and A. L. Lafuente, Eds., Springer International Publishing, 2014, pp. 315-330. doi:10.1007/978-3-319-05119-2_18

[BibTeX] [Download PDF]`@INCOLLECTION{C34, title = {{Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations}}, author = {Bernardo, Marco and De Nicola, Rocco and Loreti, Michele}, booktitle = {Trustworthy Global Computing}, editor = {Martín Abadi and Alberto Lluch Lafuente}, pages = {315-330}, year = {2014}, url = {http://dx.doi.org/10.1007/978-3-319-05119-2_18}, series = {Lecture Notes in Computer Science}, publisher = {Springer International Publishing}, doi = {10.1007/978-3-319-05119-2_18}, isbn = {978-3-319-05118-5}, }`

- D. Latella, M. Loreti, and M. Massink, “On-the-fly Fast Mean-Field Model-Checking,” in Trustworthy global computing, M. Abadi and A. L. Lafuente, Eds., Springer International Publishing, 2014, pp. 297-314. doi:10.1007/978-3-319-05119-2_17

[BibTeX] [Download PDF]`@INCOLLECTION{C35, title = {{On-the-fly Fast Mean-Field Model-Checking}}, author = {Latella, Diego and Loreti, Michele and Massink, Mieke}, booktitle = {Trustworthy Global Computing}, editor = {Martín Abadi and Alberto Lluch Lafuente}, pages = {297-314}, year = {2014}, url = {http://dx.doi.org/10.1007/978-3-319-05119-2_17}, series = {Lecture Notes in Computer Science}, publisher = {Springer International Publishing}, doi = {10.1007/978-3-319-05119-2_17}, }`

- M. Bernardo, R. De Nicola, and M. Loreti, “Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes,” Acta informatica, pp. 1-46, 2014.

[BibTeX] [Download PDF]`@ARTICLE{, title = {{Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes}}, author = {Bernardo, Marco and De Nicola, Rocco and Loreti, Michele}, journal = {Acta Informatica}, pages = {1-46}, year = {2014}, url = {http://dx.doi.org/10.1007/s00236-014-0210-1}, publisher = {Springer Berlin Heidelberg}, }`

- M. Boreale, R. Bruni, R. De Nicola, and M. Loreti, “CaSPiS: A Calculus of Sessions, Pipelines and Services,” Mathematical structures in computer science, p. To appear., 2014.

[BibTeX] [Download PDF]`@ARTICLE{, title = {{CaSPiS: A Calculus of Sessions, Pipelines and Services}}, author = {Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele}, journal = {Mathematical Structures in Computer Science}, pages = {To appear.}, year = {2014}, url = {http://eprints.imtlucca.it/1493/1/CSA_TR_2013_3.pdf}, }`

### 2013

- D. Latella, M. Loreti, and M. Massink, “On-the-fly Fast Mean-Field Model-Checking: Extended Version,” Corr, vol. abs/1312.3, 2013.

[BibTeX] [Download PDF]`@ARTICLE{TR2, title = {{On-the-fly Fast Mean-Field Model-Checking: Extended Version}}, author = {Latella, Diego and Loreti, Michele and Massink, Mieke}, journal = {CoRR}, volume = {abs/1312.3}, year = {2013}, url = {http://arxiv.org/pdf/1312.3416v1}, }`

- M. Bernardo, R. De Nicola, and M. Loreti, “A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities",” Corr, vol. abs/1305.0, 2013.

[BibTeX] [Download PDF]`@ARTICLE{TR1, title = {{A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities"}}, author = {Bernardo, Marco and De Nicola, Rocco and Loreti, Michele}, journal = {CoRR}, volume = {abs/1305.0}, year = {2013}, url = {http://arxiv.org/pdf/1305.0538v3}, }`

- R. De Nicola, D. Latella, M. Loreti, and M. Massink, “A uniform definition of stochastic process calculi,” Acm comput. surv., vol. 46, iss. 1, p. 5, 2013. doi:10.1145/2522968.2522973

[BibTeX]`@ARTICLE{J9, title = {{A uniform definition of stochastic process calculi}}, author = {De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke}, journal = {ACM Comput. Surv.}, pages = {5}, volume = {46}, number = {1}, year = {2013}, doi = {10.1145/2522968.2522973}, }`

- M. Bernardo, R. De Nicola, and M. Loreti, “A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences,” Inf. comput., vol. 225, iss. 1, pp. 29-82, 2013. doi:10.1016/j.ic.2013.02.004

[BibTeX]`@ARTICLE{J8, title = {{A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences}}, author = {Bernardo, Marco and De Nicola, Rocco and Loreti, Michele}, journal = {Inf. Comput.}, pages = {29-82}, volume = {225}, number = {1}, year = {2013}, doi = {10.1016/j.ic.2013.02.004}, }`

- M. Bernardo, R. De Nicola, and M. Loreti, “The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes,” in Proceedings 11th international workshop on quantitative aspects of programming languages and systems, qapl 2013, 2013, pp. 81-96. doi:10.4204/EPTCS.117.6

[BibTeX] [Download PDF]`@INPROCEEDINGS{C33, title = {{The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes}}, author = {Bernardo, Marco and De Nicola, Rocco and Loreti, Michele}, booktitle = {Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013}, editor = {Luca Bortolussi and Herbert Wiklicky}, pages = {81-96}, volume = {117}, year = {2013}, url = {http://arxiv.org/pdf/1306.2696v1.pdf}, series = {Electronic Proceedings in Theoretical Computer Science}, doi = {10.4204/EPTCS.117.6}, }`

- R. De Nicola, G. L. Ferrari, M. Loreti, and R. Pugliese, “A Language-Based Approach to Autonomic Computing,” in Formal methods for components and objects, 10th international symposium, fmco 2011, 2013, pp. 25-48. doi:10.1007/978-3-642-35887-6_2

[BibTeX] [Download PDF]`@INPROCEEDINGS{C32, title = {{A Language-Based Approach to Autonomic Computing}}, author = {De Nicola, Rocco and Ferrari, Gian Luigi and Loreti, Michele and Pugliese, Rosario}, booktitle = {Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011}, editor = {Bernhard Beckert and Ferruccio Damiani and Frank S. de Boer and Marcello M. Bonsangue}, pages = {25-48}, volume = {7542}, year = {2013}, url = {http://rap.dsi.unifi.it/scel/pdf/LNCS-SCEL-FMCO11.pdf}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-642-35887-6_2}, }`

### 2012

- M. Bernardo, R. De Nicola, and M. Loreti, “Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes,” in Foundations of software science and computational structures – 15th international conference, fossacs 2012, 2012, pp. 195-209. doi:10.1007/978-3-642-28729-9_13

[BibTeX]`@INPROCEEDINGS{C31, title = {{Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes}}, author = {Bernardo, Marco and De Nicola, Rocco and Loreti, Michele}, booktitle = {Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012}, editor = {Lars Birkedal}, pages = {195-209}, volume = {7213}, year = {2012}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-642-28729-9_13}, }`

- E. Gjondrekaj, M. Loreti, R. Pugliese, F. Tiezzi, C. Pinciroli, M. Brambilla, M. Birattari, and M. Dorigo, “Towards a Formal Verification Methodology for Collective Robotic Systems,” in Formal methods and software engineering – 14th international conference on formal engineering methods, icfem 2012, 2012, pp. 54-70. doi:10.1007/978-3-642-34281-3_7

[BibTeX]`@INPROCEEDINGS{C30, title = {{Towards a Formal Verification Methodology for Collective Robotic Systems}}, author = {Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco and Pinciroli, Carlo and Brambilla, Manuele and Birattari, Mauro and Dorigo, Marco}, booktitle = {Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012}, editor = {Toshiaki Aoki and Kenji Taguchi}, pages = {54-70}, volume = {7635}, year = {2012}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-642-34281-3_7}, }`

- E. Gjondrekaj, M. Loreti, R. Pugliese, and F. Tiezzi, “Modeling adaptation with a tuple-based coordination language,” in Proceedings of the acm symposium on applied computing, sac 2012, 2012, pp. 1522-1527. doi:10.1145/2245276.2232019

[BibTeX]`@INPROCEEDINGS{C29, title = {{Modeling adaptation with a tuple-based coordination language}}, author = {Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco}, booktitle = {Proceedings of the ACM Symposium on Applied Computing, SAC 2012}, editor = {Sascha Ossowski and Paola Lecca}, pages = {1522-1527}, year = {2012}, publisher = {ACM}, doi = {10.1145/2245276.2232019}, }`

### 2011

- L. D’Errico and M. Loreti, “Context Aware Specification and Verification of Distributed Systems,” in Trustworthy global computing – 6th international symposium, tgc 2011, 2011, pp. 142-159. doi:10.1007/978-3-642-30065-3_9

[BibTeX]`@INPROCEEDINGS{C28, title = {{Context Aware Specification and Verification of Distributed Systems}}, author = {D'Errico, Liliana and Loreti, Michele}, booktitle = {Trustworthy Global Computing - 6th International Symposium, TGC 2011}, editor = {Roberto Bruni and Vladimiro Sassone}, pages = {142-159}, volume = {7173}, year = {2011}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-642-30065-3_9}, }`

- M. Bernardo, R. De Nicola, and M. Loreti, “Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi,” in Proceedings first international workshop on process algebra and coordination, paco 2011, 2011, pp. 66-75. doi:10.4204/EPTCS.60.5

[BibTeX]`@INPROCEEDINGS{C27, title = {{Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi}}, author = {Bernardo, Marco and De Nicola, Rocco and Loreti, Michele}, booktitle = {Proceedings First International Workshop on Process Algebra and Coordination, PACO 2011}, editor = {Luca Aceto and Mohammad Reza Mousavi}, pages = {66-75}, volume = {60}, year = {2011}, series = {Electronic Proceedings in Theoretical Computer Science}, doi = {10.4204/EPTCS.60.5}, }`

- R. De Nicola, D. Latella, M. Loreti, and M. Massink, “SoSL: A Service-Oriented Stochastic Logic,” in Results of the sensoria project, M. Wirsing and M. M. Hölzl, Eds., Springer, 2011, vol. 6582, pp. 447-466. doi:10.1007/978-3-642-20401-2_21

[BibTeX]`@INCOLLECTION{BC3, title = {{SoSL: A Service-Oriented Stochastic Logic}}, author = {De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke}, booktitle = {Results of the SENSORIA Project}, editor = {Martin Wirsing and Matthias M. H\"olzl}, pages = {447-466}, volume = {6582}, year = {2011}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-642-20401-2_21}, }`

- I. Cappello, A. Clark, S. Gilmore, D. Latella, M. Loreti, P. Quaglia, and S. Schivo, “Quantitative Analysis of Services,” in Results of the sensoria project, M. Wirsing and M. M. Hölzl, Eds., Springer, 2011, vol. 6582, pp. 522-540. doi:10.1007/978-3-642-20401-2_25

[BibTeX]`@INCOLLECTION{BC2, title = {{Quantitative Analysis of Services}}, author = {Cappello, Igor and Clark, Allan and Gilmore, Stephen and Latella, Diego and Loreti, Michele and Quaglia, Paola and Schivo, Stefano}, booktitle = {Results of the SENSORIA Project}, editor = {Martin Wirsing and Matthias M. H\"olzl}, pages = {522-540}, volume = {6582}, year = {2011}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, doi = {10.1007/978-3-642-20401-2_25}, }`

- M. H. ter Beek, A. Lapadula, M. Loreti, and C. Palasciano, “Analysing Robot Movement Using the Sensoria Methods,” in Results of the sensoria project, M. Wirsing and M. M. Hölzl, Eds., Springer, 2011, vol. 6582, pp. 678-697.

[BibTeX]`@INCOLLECTION{BC1, title = {{Analysing Robot Movement Using the Sensoria Methods}}, author = {Beek, Maurice H. ter and Lapadula, Alessandro and Loreti, Michele and Palasciano, Claudio}, booktitle = {Results of the SENSORIA Project}, editor = {Martin Wirsing and Matthias M. H\"olzl}, pages = {678-697}, volume = {6582}, year = {2011}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

### 2010

- F. Calzolai and M. Loreti, “Simulation and Analysis of Distributed Systems in Klaim,” in Coordination models and languages, 12th international conference, coordination 2010, 2010, pp. 122-136.

[BibTeX]`@INPROCEEDINGS{C26, title = {{Simulation and Analysis of Distributed Systems in Klaim}}, author = {Calzolai, Francesco and Loreti, Michele}, booktitle = {Coordination Models and Languages, 12th International Conference, COORDINATION 2010}, editor = {Dave Clarke and Gul A. Agha}, pages = {122-136}, volume = {6116}, year = {2010}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

- M. Bernardo, R. De Nicola, and M. Loreti, “Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes,” in Trustworthly global computing – 5th international symposium, tgc 2010, 2010, pp. 35-56.

[BibTeX]`@INPROCEEDINGS{C25, title = {{Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes}}, author = {Bernardo, Marco and De Nicola, Rocco and Loreti, Michele}, booktitle = {Trustworthly Global Computing - 5th International Symposium, TGC 2010}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, pages = {35-56}, volume = {6084}, year = {2010}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

- L. D’Errico and M. Loreti, “Property-Preserving Refinement of Concurrent Systems,” in Trustworthly global computing – 5th international symposium, tgc 2010, 2010, pp. 222-236.

[BibTeX]`@INPROCEEDINGS{C24, title = {{Property-Preserving Refinement of Concurrent Systems}}, author = {D'Errico, Liliana and Loreti, Michele}, booktitle = {Trustworthly Global Computing - 5th International Symposium, TGC 2010}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, pages = {222-236}, volume = {6084}, year = {2010}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

### 2009

- R. De Nicola, D. Latella, M. Loreti, and M. Massink, “MarCaSPiS: a Markovian Extension of a Calculus for Services,” Electr. notes theor. comput. sci., vol. 229, iss. 4, pp. 11-26, 2009.

[BibTeX]`@ARTICLE{EJ5, title = {{MarCaSPiS: a Markovian Extension of a Calculus for Services}}, author = {De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke}, journal = {Electr. Notes Theor. Comput. Sci.}, pages = {11-26}, volume = {229}, number = {4}, year = {2009}, }`

- L. D’Errico and M. Loreti, “Assume-Guarantee Verification of Concurrent Systems,” in Coordination models and languages, 11th international conference, coordination 2009, 2009, pp. 288-305.

[BibTeX]`@INPROCEEDINGS{C23, title = {{Assume-Guarantee Verification of Concurrent Systems}}, author = {D'Errico, Liliana and Loreti, Michele}, booktitle = {Coordination Models and Languages, 11th International Conference, COORDINATION 2009}, editor = {John Field and Vasco Thudichum Vasconcelos}, pages = {288-305}, volume = {5521}, year = {2009}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

- L. D’Errico and M. Loreti, “A process Algebra Approach to Fuzzy Reasoning,” in Proceedings of the joint 2009 international fuzzy systems association world congress and 2009 european society of fuzzy logic and technology conferenc, 2009, pp. 1136-1141.

[BibTeX]`@INPROCEEDINGS{C22, title = {{A process Algebra Approach to Fuzzy Reasoning}}, author = {D'Errico, Liliana and Loreti, Michele}, booktitle = {Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conferenc}, editor = {Jo\ ao Paulo Carvalho and Didier Dubois and Uzay Kaymak and Jo\ ao Miguel da Costa Sousa}, pages = {1136-1141}, year = {2009}, }`

- R. De Nicola, D. Latella, M. Loreti, and M. Massink, “On a Uniform Framework for the Definition of Stochastic Process Languages,” in Formal methods for industrial critical systems, 14th international workshop, fmics 2009, 2009, pp. 9-25.

[BibTeX]`@INPROCEEDINGS{C21, title = {{On a Uniform Framework for the Definition of Stochastic Process Languages}}, author = {De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke}, booktitle = {Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009}, editor = {Mar\'\ia Alpuente and Byron Cook and Christophe Joubert}, pages = {9-25}, volume = {5825}, year = {2009}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

- R. De Nicola, D. Latella, M. Loreti, and M. Massink, “Rate-Based Transition Systems for Stochastic Process Calculi,” in Icalp (2), 2009, pp. 435-446.

[BibTeX]`@INPROCEEDINGS{C20, title = {{Rate-Based Transition Systems for Stochastic Process Calculi}}, author = {De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke}, booktitle = {ICALP (2)}, editor = {Susanne Albers and Alberto Marchetti-Spaccamela and Yossi Matias and Sotiris E. Nikoletseas and Wolfgang Thomas}, pages = {435-446}, volume = {5556}, year = {2009}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

### 2008

- R. De Nicola and M. Loreti, “Modelling global computations with Klaim,” Philosophical transactions of the royal society of london a: mathematical, physical and engineering sciences, vol. 366, iss. 1881, pp. 3737-3745, 2008. doi:10.1098/rsta.2008.0148

[BibTeX] [Abstract] [Download PDF]

A new area of research, known as Global Computing, is by now well established. It aims at defining new models of computation based on code and data mobility over wide-area networks with highly dynamic topologies, and at providing infrastructures to support coordination and control of components originating from different, possibly untrusted, fault-prone, malicious or selfish sources. In this paper, we present our contribution to the field of Global Computing that is centred on Kernel Language for Agents Interaction and Mobility (Klaim). Klaim is an experimental language specifically designed to programme distributed systems consisting of several mobile components that interact through multiple distributed tuple spaces. We present some of the key notions of the language and discuss how its formal semantics can be exploited to reason about qualitative and quantitative aspects of the specified systems.

`@ARTICLE{J7, title = {{Modelling global computations with Klaim}}, author = {De Nicola, Rocco and Loreti, Michele}, journal = {Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences}, pages = {3737--3745}, abstract = {A new area of research, known as Global Computing, is by now well established. It aims at defining new models of computation based on code and data mobility over wide-area networks with highly dynamic topologies, and at providing infrastructures to support coordination and control of components originating from different, possibly untrusted, fault-prone, malicious or selfish sources. In this paper, we present our contribution to the field of Global Computing that is centred on Kernel Language for Agents Interaction and Mobility (Klaim). Klaim is an experimental language specifically designed to programme distributed systems consisting of several mobile components that interact through multiple distributed tuple spaces. We present some of the key notions of the language and discuss how its formal semantics can be exploited to reason about qualitative and quantitative aspects of the specified systems.}, volume = {366}, number = {1881}, year = {2008}, url = {http://rsta.royalsocietypublishing.org/content/366/1881/3737}, publisher = {The Royal Society}, doi = {10.1098/rsta.2008.0148}, }`

- R. De Nicola and M. Loreti, “Multiple-Labelled Transition Systems for nominal calculi and their logics,” Mathematical structures in computer science, vol. 18, iss. 1, pp. 107-143, 2008.

[BibTeX]`@ARTICLE{J6, title = {{Multiple-Labelled Transition Systems for nominal calculi and their logics}}, author = {De Nicola, Rocco and Loreti, Michele}, journal = {Mathematical Structures in Computer Science}, pages = {107-143}, volume = {18}, number = {1}, year = {2008}, }`

- F. Calzolai, R. De Nicola, M. Loreti, and F. Tiezzi, “TAPAs: A Tool for the Analysis of Process Algebras,” T. petri nets and other models of concurrency, vol. 1, pp. 54-70, 2008.

[BibTeX]`@ARTICLE{J5, title = {{TAPAs: A Tool for the Analysis of Process Algebras}}, author = {Calzolai, Francesco and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco}, journal = {T. Petri Nets and Other Models of Concurrency}, pages = {54-70}, volume = {1}, year = {2008}, }`

- L. Bettini, R. De Nicola, and M. Loreti, “Implementing Session Centered Calculi,” in Coordination models and languages, 10th international conference, coordination 2008, 2008, pp. 17-32.

[BibTeX]`@INPROCEEDINGS{C19, title = {{Implementing Session Centered Calculi}}, author = {Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele}, booktitle = {Coordination Models and Languages, 10th International Conference, COORDINATION 2008}, editor = {Doug Lea and Gianluigi Zavattaro}, pages = {17-32}, volume = {5052}, year = {2008}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

- M. Boreale, R. Bruni, R. De Nicola, and M. Loreti, “Sessions and Pipelines for Structured Service Programming,” in Formal methods for open object-based distributed systems, 10th ifip wg 6.1 international conference, fmoods 2008, 2008, pp. 19-38.

[BibTeX]`@INPROCEEDINGS{C18, title = {{Sessions and Pipelines for Structured Service Programming}}, author = {Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele}, booktitle = {Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008}, editor = {Gilles Barthe and Frank S. de Boer}, pages = {19-38}, volume = {5051}, year = {2008}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

- M. Massink, D. Latella, M. H. ter Beek, M. D. Harrison, and M. Loreti, “A Fluid Flow Approach to Usability Analysis of Multi-user Systems,” in Engineering interactive systems, second conference on human-centered software engineering, hcse 2008, and 7th international workshop on task models an, 2008, pp. 166-180.

[BibTeX]`@INPROCEEDINGS{C17, title = {{A Fluid Flow Approach to Usability Analysis of Multi-user Systems}}, author = {Massink, Mieke and Latella, Diego and Beek, Maurice H. ter and Harrison, Michael D. and Loreti, Michele}, booktitle = {Engineering Interactive Systems, Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models an}, editor = {Peter Forbrig and Fabio Patern\`o}, pages = {166-180}, volume = {5247}, year = {2008}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

- M. Bravetti, D. Latella, M. Loreti, M. Massink, and G. Zavattaro, “Combining Timed Coordination Primitives and Probabilistic Tuple Spaces,” in Tgc, 2008, pp. 52-68.

[BibTeX]`@INPROCEEDINGS{C16, title = {{Combining Timed Coordination Primitives and Probabilistic Tuple Spaces}}, author = {Bravetti, Mario and Latella, Diego and Loreti, Michele and Massink, Mieke and Zavattaro, Gianluigi}, booktitle = {TGC}, editor = {Christos Kaklamanis and Flemming Nielson}, pages = {52-68}, volume = {5474}, year = {2008}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

- R. Bruni, R. De Nicola, M. Loreti, and L. G. Mezzina, “Provably Correct Implementations of Services,” in Trustworthy global computing, 4th international symposium, tgc 2008, 2008, pp. 69-86.

[BibTeX]`@INPROCEEDINGS{C15, title = {{Provably Correct Implementations of Services}}, author = {Bruni, Roberto and De Nicola, Rocco and Loreti, Michele and Mezzina, Leonardo Gaetano}, booktitle = {Trustworthy Global Computing, 4th International Symposium, TGC 2008}, editor = {Christos Kaklamanis and Flemming Nielson}, pages = {69-86}, volume = {5474}, year = {2008}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

### 2007

- L. Bettini, R. De Nicola, D. Falassi, and M. Loreti, “Implementing a Distributed Mobile Calculus Using the IMC Framework,” Electr. notes theor. comput. sci., vol. 181, pp. 63-79, 2007.

[BibTeX]`@ARTICLE{EJ4, title = {{Implementing a Distributed Mobile Calculus Using the IMC Framework}}, author = {Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Loreti, Michele}, journal = {Electr. Notes Theor. Comput. Sci.}, pages = {63-79}, volume = {181}, year = {2007}, }`

- R. De Nicola, P. Katoen, D. Latella, M. Loreti, and M. Massink, “Model checking mobile stochastic logic,” Theor. comput. sci., vol. 382, iss. 1, pp. 42-70, 2007.

[BibTeX]`@ARTICLE{J4, title = {{Model checking mobile stochastic logic}}, author = {De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Loreti, Michele and Massink, Mieke}, journal = {Theor. Comput. Sci.}, pages = {42-70}, volume = {382}, number = {1}, year = {2007}, }`

- L. D’Errico and M. Loreti, “Modeling Fuzzy Behaviours in Concurrent Systems,” in Theoretical computer science, 10th italian conference, ictcs 2007, 2007, pp. 94-105.

[BibTeX]`@INPROCEEDINGS{C14, title = {{Modeling Fuzzy Behaviours in Concurrent Systems}}, author = {D'Errico, Liliana and Loreti, Michele}, booktitle = {Theoretical Computer Science, 10th Italian Conference, ICTCS 2007}, editor = {Giuseppe F. Italiano and Eugenio Moggi and Luigi Laura}, pages = {94-105}, year = {2007}, publisher = {World Scientific}, }`

- A. Manganaro, M. Koblensky, and M. Loreti, “Design of a Password-based Authentication Method for Wireless Networks,” in Winsys 2007 – proceedings of the international conference on wireless information networks and systems, 2007, pp. 9-16.

[BibTeX]`@INPROCEEDINGS{C13, title = {{Design of a Password-based Authentication Method for Wireless Networks}}, author = {Manganaro, Andrea and Koblensky, Mingyur and Loreti, Michele}, booktitle = {WINSYS 2007 - Proceedings of the International Conference on Wireless Information Networks and Systems}, editor = {Mohammad S. Obaidat and Victor Peral Lecha and Rafael F. S. Caldeirinha}, pages = {9-16}, year = {2007}, publisher = {INSTICC Press}, }`

- R. De Nicola and M. Loreti, “Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi,” Electr. notes theor. comput. sci., vol. 169, pp. 133-146, 2007.

[BibTeX]`@ARTICLE{EJ3, title = {{Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi}}, author = {De Nicola, Rocco and Loreti, Michele}, journal = {Electr. Notes Theor. Comput. Sci.}, pages = {133-146}, volume = {169}, year = {2007}, }`

### 2006

- L. Bettini, R. De Nicola, and M. Loreti, “Implementing Mobile and Distributed Applications in X-Klaim,” Scalable computing: practice and experience, vol. 7, iss. 4, 2006.

[BibTeX]`@ARTICLE{J3, title = {{Implementing Mobile and Distributed Applications in X-Klaim}}, author = {Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele}, journal = {Scalable Computing: Practice and Experience}, volume = {7}, number = {4}, year = {2006}, }`

- P. Crescenzi, M. Loreti, and R. Pugliese, “Assessing CS1 java skills: a three-year experience,” in Proceedings of the 11th annual sigcse conference on innovation and technology in computer science education, iticse 2006, 2006, p. 348.

[BibTeX]`@INPROCEEDINGS{C12, title = {{Assessing CS1 java skills: a three-year experience}}, author = {Crescenzi, Pilu and Loreti, Michele and Pugliese, Rosario}, booktitle = {Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2006}, editor = {Renzo Davoli and Michael Goldweber and Paola Salomoni}, pages = {348}, year = {2006}, publisher = {ACM Press}, }`

- M. Boreale, R. Bruni, L. Caires, R. De Nicola, I. Lanese, M. Loreti, F. Martins, U. Montanari, A. Ravara, D. Sangiorgi, V. T. Vasconcelos, and G. Zavattaro, “SCC: A Service Centered Calculus,” in Web services and formal methods, third international workshop ws-fm 2006, 2006, pp. 38-57.

[BibTeX]`@INPROCEEDINGS{C11, title = {{SCC: A Service Centered Calculus}}, author = {Boreale, Michele and Bruni, Roberto and Caires, Lu\'\is and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Ant\'onio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi}, booktitle = {Web Services and Formal Methods, Third International Workshop WS-FM 2006}, editor = {Mario Bravetti and Manuel N\'u\ nez and Gianluigi Zavattaro}, pages = {38-57}, volume = {4184}, year = {2006}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

### 2005

- L. Bettini, R. De Nicola, D. Falassi, M. Lacoste, and M. Loreti, “A Flexible and Modular Framework for Implementing Infrastructures for Global Computing,” in Distributed applications and interoperable systems, 5th ifip wg 6.1 international conference, dais 2005, 2005, pp. 181-193.

[BibTeX]`@INPROCEEDINGS{C10, title = {{A Flexible and Modular Framework for Implementing Infrastructures for Global Computing}}, author = {Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Loreti, Michele}, booktitle = {Distributed Applications and Interoperable Systems, 5th IFIP WG 6.1 International Conference, DAIS 2005}, editor = {Lea Kutvonen and Nancy Alonistioti}, pages = {181-193}, volume = {3543}, year = {2005}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

### 2004

- R. De Nicola and M. Loreti, “MoMo: A Modal Logic for Reasoning About Mobility,” in Formal methods for components and objects, third international symposium, fmco 2004, 2004, pp. 95-119.

[BibTeX]`@INPROCEEDINGS{C9, title = {{MoMo: A Modal Logic for Reasoning About Mobility}}, author = {De Nicola, Rocco and Loreti, Michele}, booktitle = {Formal Methods for Components and Objects, Third International Symposium, FMCO 2004}, editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever}, pages = {95-119}, volume = {3657}, year = {2004}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

- L. Bettini, R. De Nicola, and M. Loreti, “Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming,” Autom. softw. eng., vol. 11, iss. 3, pp. 245-288, 2004.

[BibTeX]`@ARTICLE{J2, title = {{Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming}}, author = {Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele}, journal = {Autom. Softw. Eng.}, pages = {245-288}, volume = {11}, number = {3}, year = {2004}, }`

- R. De Nicola and M. Loreti, “A modal logic for mobile agents,” Acm trans. comput. log., vol. 5, iss. 1, pp. 79-128, 2004.

[BibTeX]`@ARTICLE{J1, title = {{A modal logic for mobile agents}}, author = {De Nicola, Rocco and Loreti, Michele}, journal = {ACM Trans. Comput. Log.}, pages = {79-128}, volume = {5}, number = {1}, year = {2004}, }`

- L. Bettini, P. Crescenzi, G. Innocenti, M. Loreti, and L. Cecchi, “An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses,” in Proceedings of the ieee international conference on advanced learning technologies, icalt 2004, 2004.

[BibTeX]`@INPROCEEDINGS{C8, title = {{An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses}}, author = {Bettini, Lorenzo and Crescenzi, Pilu and Innocenti, Gaia and Loreti, Michele and Cecchi, Leonardo}, booktitle = {Proceedings of the IEEE International Conference on Advanced Learning Technologies, ICALT 2004}, editor = {Kinshuk and Kit Looi and Erkki Sutinen and Demetrios G. Sampson and Ignacio Aedo and Lorna Uden and Esko K\"ahk\"onen}, year = {2004}, publisher = {IEEE Computer Society}, }`

### 2003

- L. Bettini, V. Bono, R. De Nicola, G. L. Ferrari, D. Gorla, M. Loreti, E. Moggi, R. Pugliese, E. Tuosto, and B. Venneri, “The Klaim Project: Theory and Practice,” in Global computing. programming environments, languages, security, and analysis of systems, ist/fet international workshop, gc 2003, 2003, pp. 88-150.

[BibTeX]`@INPROCEEDINGS{C7, title = {{The Klaim Project: Theory and Practice}}, author = {Bettini, Lorenzo and Bono, Viviana and De Nicola, Rocco and Ferrari, Gian Luigi and Gorla, Daniele and Loreti, Michele and Moggi, Eugenio and Pugliese, Rosario and Tuosto, Emilio and Venneri, Betti}, booktitle = {Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003}, editor = {Corrado Priami}, pages = {88-150}, volume = {2874}, year = {2003}, publisher = {Springer}, }`

### 2002

- L. Bettini, R. De Nicola, and M. Loreti, “Formalizing Properties of Mobile Agent Systems,” in Coordination, 2002, pp. 72-87.

[BibTeX]`@INPROCEEDINGS{C6, title = {{Formalizing Properties of Mobile Agent Systems}}, author = {Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele}, booktitle = {COORDINATION}, editor = {Farhad Arbab and Carolyn L. Talcott}, pages = {72-87}, volume = {2315}, year = {2002}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

- L. Bettini, R. De Nicola, and M. Loreti, “Software update via mobile agent based programming,” in Proceedings of the 2002 acm symposium on applied computing (sac), 2002, pp. 32-36.

[BibTeX]`@INPROCEEDINGS{C5, title = {{Software update via mobile agent based programming}}, author = {Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele}, booktitle = {Proceedings of the 2002 ACM Symposium on Applied Computing (SAC)}, pages = {32-36}, year = {2002}, publisher = {ACM Press}, }`

- L. Bettini, M. Loreti, and R. Pugliese, “An infrastructure language for open nets,” in Proceedings of the 2002 acm symposium on applied computing (sac), 2002, pp. 373-377.

[BibTeX]`@INPROCEEDINGS{C4, title = {{An infrastructure language for open nets}}, author = {Bettini, Lorenzo and Loreti, Michele and Pugliese, Rosario}, booktitle = {Proceedings of the 2002 ACM Symposium on Applied Computing (SAC)}, pages = {373-377}, year = {2002}, publisher = {ACM Press}, }`

- L. F. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola, J. L. Fiadeiro, F. Gadducci, S. Gnesi, P. Hoffman, N. Koch, P. Kosiuczenko, A. Lapadula, D. Latella, A. Lopes, M. Loreti, M. Massink, F. Mazzanti, U. Montanari, C. ao Oliveira, R. Pugliese, A. Tarlecki, M. Wermelinger, M. Wirsing, and A. Zawlocki, “AGILE: Software Architecture for Mobility,” in Recent trends in algebraic development techniques, 16th international workshop, wadt 2002, 2002, pp. 1-33.

[BibTeX]`@INPROCEEDINGS{C3, title = {{AGILE: Software Architecture for Mobility}}, author = {Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jos\'e Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Ant\'onia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Crist\'ov\ ao and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur}, booktitle = {Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002}, editor = {Martin Wirsing and Dirk Pattinson and Rolf Hennicker}, pages = {1-33}, volume = {2755}, year = {2002}, }`

### 2001

- L. Bettini, M. Loreti, and R. Pugliese, “Modelling Node Connectivity in Dynamically Evolving Networks,” Electr. notes theor. comput. sci., vol. 54, pp. 81-91, 2001.

[BibTeX]`@ARTICLE{EJ1, title = {{Modelling Node Connectivity in Dynamically Evolving Networks}}, author = {Bettini, Lorenzo and Loreti, Michele and Pugliese, Rosario}, journal = {Electr. Notes Theor. Comput. Sci.}, pages = {81-91}, volume = {54}, year = {2001}, }`

- B. Capitani, M. Loreti, and B. Venneri, “Hyperformulae, Parallel Deductions and Intersection Types,” Electr. notes theor. comput. sci., vol. 50, iss. 2, pp. 178-195, 2001.

[BibTeX]`@ARTICLE{EJ2, title = {{Hyperformulae, Parallel Deductions and Intersection Types}}, author = {Capitani, Beatrice and Loreti, Michele and Venneri, Betti}, journal = {Electr. Notes Theor. Comput. Sci.}, pages = {178-195}, volume = {50}, number = {2}, year = {2001}, }`

### 2000

- R. De Nicola and M. Loreti, “A Modal Logic for KLAIM,” in Algebraic methodology and software technology. 8th international conference, amast 2000, 2000, pp. 339-354.

[BibTeX]`@INPROCEEDINGS{C2, title = {{A Modal Logic for KLAIM}}, author = {De Nicola, Rocco and Loreti, Michele}, booktitle = {Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000}, editor = {Teodor Rus}, pages = {339-354}, volume = {1816}, year = {2000}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, }`

- L. Bettini, M. Loreti, and R. Pugliese, “Structured Nets in KLAIM,” in Applied computing 2000, proceedings of the 2000 acm symposium on applied computing, 2000, pp. 174-180.

[BibTeX]`@INPROCEEDINGS{C1, title = {{Structured Nets in KLAIM}}, author = {Bettini, Lorenzo and Loreti, Michele and Pugliese, Rosario}, booktitle = {Applied Computing 2000, Proceedings of the 2000 ACM Symposium on Applied Computing}, pages = {174-180}, volume = {1}, year = {2000}, publisher = {ACM Press}, }`

- Y. A. Alrahman, R. De Nicola, and M. Loreti, “On the Power of Attribute-Based Communication,” in Formal techniques for distributed objects, components, and systems – 36th ifip wg 6.1 international conference, forte 2016, held as part of the 11th i, .

[BibTeX]`@INPROCEEDINGS{DBLP:conf/forte/AlrahmanNL16, title = {{On the Power of Attribute-Based Communication}}, author = {Alrahman, Yehia Abd and De Nicola, Rocco and Loreti, Michele}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th I}, editor = {Elvira Albert and Ivan Lanese} and and }`