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 | 198 | 2006 |
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 | 155 | 2008 |
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 | 131 | 2003 |
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), 7, 2014 | 117 | 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 | 85 | 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 | 68 | 2007 |
Qualitative and quantitative monitoring of spatio-temporal properties L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink Runtime Verification, 21-37, 2015 | 49 | 2015 |
A uniform definition of stochastic process calculi R Nicola, D Latella, M Loreti, M Massink ACM Computing Surveys (CSUR) 46 (1), 5, 2013 | 46 | 2013 |
A modal logic for mobile agents R De Nicola, M Loreti ACM Transactions on Computational Logic (TOCL) 5 (1), 79-128, 2004 | 46 | 2004 |
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, 3-71, 2015 | 44 | 2015 |
Rate-based transition systems for stochastic process calculi R De Nicola, D Latella, M Loreti, M Massink International Colloquium on Automata, Languages, and Programming, 435-446, 2009 | 43 | 2009 |
An infrastructure language for open nets L Bettini, M Loreti, R Pugliese Proceedings of the 2002 ACM symposium on Applied computing, 373-377, 2002 | 43 | 2002 |
On the power of attribute-based communication YA Alrahman, R De Nicola, M Loreti International Conference on Formal Techniques for Distributed Objects …, 2016 | 42 | 2016 |
Specifying and verifying properties of space V Ciancia, D Latella, M Loreti, M Massink IFIP International Conference on Theoretical Computer Science, 222-235, 2014 | 42 | 2014 |
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences M Bernardo, R De Nicola, M Loreti Information and Computation 225, 29-82, 2013 | 40 | 2013 |
Software update via mobile agent based programming L Bettini, R De Nicola, M Loreti Proceedings of the 2002 ACM symposium on Applied computing, 32-36, 2002 | 38 | 2002 |
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 | 36 | 2016 |
AGILE: Software architecture for mobility L Andrade, P Baldan, H Baumeister, R Bruni, A Corradini, R De Nicola, ... International Workshop on Algebraic Development Techniques, 1-33, 2002 | 36 | 2002 |
SCEL: a language for autonomic computing R De Nicola, M Loreti, R Pugliese, F Tiezzi Univ. Firenze, Tech. Rep 500 (1), 000, 2013 | 35 | 2013 |
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 | 32 | 2015 |