Prof. Michele Loreti
Prof. Michele Loreti
School of Science and Technology, University of Camerino
Email verificata su unicam.it - Home page
TitoloCitata daAnno
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
1962006
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
1532008
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
1302003
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
1122014
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
852011
Model checking mobile stochastic logic
R De Nicola, JP Katoen, D Latella, M Loreti, M Massink
Theoretical Computer Science 382 (1), 42-70, 2007
682007
Qualitative and quantitative monitoring of spatio-temporal properties
L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink
Runtime Verification, 21-37, 2015
462015
A uniform definition of stochastic process calculi
R Nicola, D Latella, M Loreti, M Massink
ACM Computing Surveys (CSUR) 46 (1), 5, 2013
452013
A modal logic for mobile agents
R De Nicola, M Loreti
ACM Transactions on Computational Logic (TOCL) 5 (1), 79-128, 2004
452004
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
432015
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
432009
An infrastructure language for open nets
L Bettini, M Loreti, R Pugliese
Proceedings of the 2002 ACM symposium on Applied computing, 373-377, 2002
432002
Specifying and verifying properties of space
V Ciancia, D Latella, M Loreti, M Massink
IFIP International Conference on Theoretical Computer Science, 222-235, 2014
422014
On the power of attribute-based communication
YA Alrahman, R De Nicola, M Loreti
International Conference on Formal Techniques for Distributed Objectsá…, 2016
412016
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
392013
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
382002
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
352016
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
352002
SCEL: a language for autonomic computing
R De Nicola, M Loreti, R Pugliese, F Tiezzi
Univ. Firenze, Tech. Rep 500 (1), 000, 2013
342013
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
312015
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20