| SCC: a service centered calculus M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ... International Workshop on Web Services and Formal Methods, 38-57, 2006 | 211 | 2006 |
| A formal approach to autonomic systems programming: the SCEL language RD Nicola, M Loreti, R Pugliese, F Tiezzi ACM Transactions on Autonomous and Adaptive Systems (TAAS) 9 (2), 1-29, 2014 | 195 | 2014 |
| The klaim project: Theory and practice L Bettini, V Bono, R De Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ... International Workshop on Global Computing, 88-150, 2003 | 158 | 2003 |
| Sessions and pipelines for structured service programming M Boreale, R Bruni, R De Nicola, M Loreti International Conference on Formal Methods for Open Object-Based Distributed …, 2008 | 157 | 2008 |
| Specifying and verifying properties of space V Ciancia, D Latella, M Loreti, M Massink IFIP international conference on theoretical computer science, 222-235, 2014 | 104 | 2014 |
| A language-based approach to autonomic computing R De Nicola, G Ferrari, M Loreti, R Pugliese International Symposium on Formal Methods for Components and Objects, 25-48, 2011 | 99 | 2011 |
| Model checking mobile stochastic logic R De Nicola, JP Katoen, D Latella, M Loreti, M Massink Theoretical Computer Science 382 (1), 42-70, 2007 | 89 | 2007 |
| Monitoring mobile and spatially distributed cyber-physical systems E Bartocci, L Bortolussi, M Loreti, L Nenzi Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017 | 88 | 2017 |
| The SCEL language: design, implementation, verification R De Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ... Software Engineering for Collective Autonomic Systems: The ASCENS Approach, 3-71, 2015 | 86 | 2015 |
| Qualitative and quantitative monitoring of spatio-temporal properties L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015 | 85 | 2015 |
| Spatio-temporal model checking of vehicular movement in public transport systems V Ciancia, S Gilmore, G Grilletti, D Latella, M Loreti, M Massink International Journal on Software Tools for Technology Transfer 20 (3), 289-311, 2018 | 84 | 2018 |
| Model checking spatial logics for closure spaces V Ciancia, D Latella, M Loreti, M Massink Logical Methods in Computer Science 12, 2017 | 80 | 2017 |
| Qualitative and quantitative monitoring of spatio-temporal properties with SSTL L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink Logical Methods in Computer Science 14 (Modal and temporal logics), 2018 | 79 | 2018 |
| Modelling and analysis of collective adaptive systems with CARMA and its tools M Loreti, J Hillston International School on Formal Methods for the Design of Computer …, 2016 | 77 | 2016 |
| A uniform definition of stochastic process calculi R Nicola, D Latella, M Loreti, M Massink ACM Computing Surveys (CSUR) 46 (1), 1-35, 2013 | 68 | 2013 |
| Programming interactions in collective adaptive systems by relying on attribute-based communication Y Abd Alrahman, R De Nicola, M Loreti Science of Computer Programming 192, 102428, 2020 | 66 | 2020 |
| On the power of attribute-based communication Y Abd Alrahman, R De Nicola, M Loreti International Conference on Formal Techniques for Distributed Objects …, 2016 | 66 | 2016 |
| CARMA: collective adaptive resource-sharing Markovian agents L Bortolussi, R De Nicola, V Galpin, S Gilmore, J Hillston, D Latella, ... arXiv preprint arXiv:1509.08560, 2015 | 66 | 2015 |
| A calculus for attribute-based communication YA Alrahman, R De Nicola, M Loreti, F Tiezzi, R Vigo Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1840-1845, 2015 | 60 | 2015 |
| An experimental spatio-temporal model checker V Ciancia, G Grilletti, D Latella, M Loreti, M Massink SEFM 2015 collocated workshops, 297-311, 2015 | 54 | 2015 |
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Mieke MassinkCNR-ISTIVerified email at isti.cnr.itRosario PuglieseProfessor of Computer Science, University of FlorenceVerified email at unifi.it
Lorenzo BettiniAssociate Professor in Computer Science, Dipartimento di Statistica, Informatica e ApplicazioniVerified email at unifi.it
