Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarMichele Loreti
Person information
- affiliation: University of Florence, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
[j27]Maurice H. ter Beek, Michele Loreti:
Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). ACM Trans. Model. Comput. Simul. 28(2): 8:1-8:4 (2018)- [j26]Michele Loreti:
Replicated Computations Results (RCR) Report for "Mesoscopic Modelling of Pedestrian Movement using Carma and its Tools". ACM Trans. Model. Comput. Simul. 28(2): 12:1-12:3 (2018) - 2017
- [j25]Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari:
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields. Logical Methods in Computer Science 13(1) (2017) - [c60]Diego Latella, Michele Loreti, Mieke Massink:
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation. ModelEd, TestEd, TrustEd 2017: 254-275 - [c59]Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi:
Monitoring mobile and spatially distributed cyber-physical systems. MEMOCODE 2017: 146-155 - [c58]Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion:
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems. QEST 2017: 317-332 - [c57]Diego Latella, Michele Loreti, Mieke Massink:
FlyFast: A Mean Field Model Checker. TACAS (2) 2017: 303-309 - [i7]Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. CoRR abs/1706.09334 (2017) - [i6]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. CoRR abs/1711.06092 (2017) - [i5]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
A Behavioural Theory for Interactions in Collective-Adaptive Systems. CoRR abs/1711.09762 (2017) - 2016
- [j24]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Model Checking Spatial Logics for Closure Spaces. Logical Methods in Computer Science 12(4) (2016) - [j23]
- [j22]Francesco Chiti, Romano Fantacci, Michele Loreti, Rosario Pugliese:
Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications. IEEE Wireless Commun. 23(2): 86-92 (2016) - [c56]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
On the Power of Attribute-Based Communication. FORTE 2016: 1-18 - [c55]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming of CAS Systems by Relying on Attribute-Based Communication. ISoLA (1) 2016: 539-553 - [c54]Jane Hillston, Michele Loreti:
CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems. QEST 2016: 167-171 - [c53]Michele Loreti, Jane Hillston:
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. SFM 2016: 83-119 - [c52]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Spatial Logic and Spatial Model Checking for Closure Spaces. SFM 2016: 156-201 - [e2]Pierre Ganty, Michele Loreti:
Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers. Lecture Notes in Computer Science 9533, Springer 2016, ISBN 978-3-319-28765-2 [contents] - [e1]Maurice H. ter Beek, Michele Loreti:
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. EPTCS 217, 2016 [contents] - [i4]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
On the Power of Attribute-based Communication. CoRR abs/1602.05635 (2016) - 2015
- [j21]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Inf. 52(1): 61-106 (2015) - [j20]Marco Bernardo, Daniel Gebler, Michele Loreti:
Editorial for the Special Issue on Open Problems in Concurrency Theory. J. Log. Algebr. Meth. Program. 84(6): 731 (2015) - [j19]Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti:
CaSPiS: a calculus of sessions, pipelines and services. Mathematical Structures in Computer Science 25(3): 666-709 (2015) - [j18]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination. Sci. Comput. Program. 110: 23-50 (2015) - [c51]Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni:
On StocS: A Stochastic Extension of SCEL. Software, Services, and Systems 2015: 619-640 - [c50]Diego Latella, Michele Loreti, Mieke Massink:
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. COORDINATION 2015: 19-34 - [c49]Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari:
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. COORDINATION 2015: 101-116 - [c48]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fluid Model Checking via Discrete Time Population Models. EPEW 2015: 193-207 - [c47]Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. RV 2015: 21-37 - [c46]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo:
A calculus for attribute-based communication. SAC 2015: 1840-1845 - [c45]Dhaminda B. Abeywickrama, Nikola B. Serbedzija, Michele Loreti:
Monitoring and visualizing adaptation of autonomic systems at runtime. SAC 2015: 1857-1860 - [c44]Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink:
An Experimental Spatio-Temporal Model Checker. SEFM Workshops 2015: 297-311 - [c43]Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink:
CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL 2015: 16-31 - [p5]Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin:
The SCEL Language: Design, Implementation, Verification. The ASCENS Approach 2015: 3-71 - [p4]Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Horký, Jaroslav Keznikl, Jan Kofron, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Giacoma Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma, Andrea Vandin, Emil Vassev:
Tools for Ensemble Design and Runtime. The ASCENS Approach 2015: 429-448 - 2014
- [j17]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Logical Methods in Computer Science 10(1) (2014) - [j16]Marco Bernardo, Daniel Gebler, Michele Loreti:
Report on OPCT 2014. Bulletin of the EATCS 114 (2014) - [j15]Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi:
A Formal Approach to Autonomic Systems Programming: The SCEL Language. TAAS 9(2): 7:1-7:29 (2014) - [j14]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theor. Comput. Sci. 546: 63-92 (2014) - [c42]Jane Hillston, Michele Loreti:
Specification and Analysis of Open-Ended Systems with CARMA. E4MAS 2014: 95-116 - [c41]Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi:
Programming and Verifying Component Ensembles. FPS@ETAPS 2014: 69-83 - [c40]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Specifying and Verifying Properties of Space. IFIP TCS 2014: 222-235 - [c39]Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi:
On Programming and Policing Autonomic Computing Systems. ISoLA (1) 2014: 164-183 - [c38]Vincenzo Ciancia, Stephen Gilmore, Diego Latella, Michele Loreti, Mieke Massink:
Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data. SASO Workshops 2014: 32-37 - [c37]Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni:
Stochastically timed predicate-based communication primitives for autonomic computing. QAPL 2014: 1-16 - [c36]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Probabilistic Model Checking. ICE 2014: 45-59 - [i3]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Specifying and Verifying Properties of Space - Extended Version. CoRR abs/1406.6393 (2014) - 2013
- [j13]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
A uniform definition of stochastic process calculi. ACM Comput. Surv. 46(1): 5:1-5:35 (2013) - [j12]Marco Bernardo, Rocco De Nicola, Michele Loreti:
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Inf. Comput. 225: 29-82 (2013) - [c35]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fast Mean-Field Model-Checking. TGC 2013: 297-314 - [c34]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. TGC 2013: 315-330 - [c33]Marco Bernardo, Rocco De Nicola, Michele Loreti:
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. QAPL 2013: 81-96 - [i2]Marco Bernardo, Rocco De Nicola, Michele Loreti:
A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities". CoRR abs/1305.0538 (2013) - [i1]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fast Mean-Field Model-Checking: Extended Version. CoRR abs/1312.3416 (2013) - 2012
- [c32]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. FoSSaCS 2012: 195-209 - [c31]Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo:
Towards a Formal Verification Methodology for Collective Robotic Systems. ICFEM 2012: 54-70 - [c30]Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi:
Modeling adaptation with a tuple-based coordination language. SAC 2012: 1522-1527 - 2011
- [c29]Rocco De Nicola, Gian Luigi Ferrari, Michele Loreti, Rosario Pugliese:
A Language-Based Approach to Autonomic Computing. FMCO 2011: 25-48 - [c28]Liliana D'Errico, Michele Loreti:
Context Aware Specification and Verification of Distributed Systems. TGC 2011: 142-159 - [c27]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi. PACO 2011: 66-75 - [p3]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
SoSL: A Service-Oriented Stochastic Logic. Results of the SENSORIA Project 2011: 447-466 - [p2]Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo:
Quantitative Analysis of Services. Results of the SENSORIA Project 2011: 522-540 - [p1]Maurice H. ter Beek, Alessandro Lapadula, Michele Loreti, Claudio Palasciano:
Analysing Robot Movement Using the Sensoria Methods. Results of the SENSORIA Project 2011: 678-697 - 2010
- [c26]Francesco Calzolai, Michele Loreti:
Simulation and Analysis of Distributed Systems in Klaim. COORDINATION 2010: 122-136 - [c25]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. TGC 2010: 35-56 - [c24]Liliana D'Errico, Michele Loreti:
Property-Preserving Refinement of Concurrent Systems. TGC 2010: 222-236
2000 – 2009
- 2009
- [j11]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
MarCaSPiS: a Markovian Extension of a Calculus for Services. Electr. Notes Theor. Comput. Sci. 229(4): 11-26 (2009) - [c23]Liliana D'Errico, Michele Loreti:
Assume-Guarantee Verification of Concurrent Systems. COORDINATION 2009: 288-305 - [c22]Liliana D'Errico, Michele Loreti:
A process Algebra Approach to Fuzzy Reasoning. IFSA/EUSFLAT Conf. 2009: 1136-1141 - [c21]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
On a Uniform Framework for the Definition of Stochastic Process Languages. FMICS 2009: 9-25 - [c20]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) 2009: 435-446 - 2008
- [j10]Rocco De Nicola, Michele Loreti:
Multiple-Labelled Transition Systems for nominal calculi and their logics. Mathematical Structures in Computer Science 18(1): 107-143 (2008) - [j9]Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi:
TAPAs: A Tool for the Analysis of Process Algebras. Trans. Petri Nets and Other Models of Concurrency 1: 54-70 (2008) - [c19]Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Implementing Session Centered Calculi. COORDINATION 2008: 17-32 - [c18]Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti:
Sessions and Pipelines for Structured Service Programming. FMOODS 2008: 19-38 - [c17]Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti:
A Fluid Flow Approach to Usability Analysis of Multi-user Systems. TAMODIA/HCSE 2008: 166-180 - [c16]Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro:
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68 - [c15]Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina:
Provably Correct Implementations of Services. TGC 2008: 69-86 - 2007
- [j8]Rocco De Nicola, Michele Loreti:
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. Electr. Notes Theor. Comput. Sci. 169: 133-146 (2007) - [j7]Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti:
Implementing a Distributed Mobile Calculus Using the IMC Framework. Electr. Notes Theor. Comput. Sci. 181: 63-79 (2007) - [j6]Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink:
Model checking mobile stochastic logic. Theor. Comput. Sci. 382(1): 42-70 (2007) - [c14]Liliana D'Errico, Michele Loreti:
Modeling Fuzzy Behaviours in Concurrent Systems. ICTCS 2007: 94-105 - [c13]Andrea Manganaro, Mingyur Koblensky, Michele Loreti:
Design of a Password-based Authentication Method for Wireless Networks. WINSYS 2007: 9-16 - 2006
- [j5]Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Implementing Mobile and Distributed Applications in X-Klaim. Scalable Computing: Practice and Experience 7(4) (2006) - [c12]Pilu Crescenzi, Michele Loreti, Rosario Pugliese:
Assessing CS1 java skills: a three-year experience. ITiCSE 2006: 348 - [c11]Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro:
SCC: A Service Centered Calculus. WS-FM 2006: 38-57 - 2005
- [c10]Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti:
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. DAIS 2005: 181-193 - 2004
- [j4]Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. Autom. Softw. Eng. 11(3): 245-288 (2004) - [j3]Rocco De Nicola, Michele Loreti:
A modal logic for mobile agents. ACM Trans. Comput. Log. 5(1): 79-128 (2004) - [c9]Rocco De Nicola, Michele Loreti:
MoMo: A Modal Logic for Reasoning About Mobility. FMCO 2004: 95-119 - [c8]Lorenzo Bettini, Pilu Crescenzi, Gaia Innocenti, Michele Loreti, Leonardo Cecchi:
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses. ICALT 2004 - 2003
- [c7]Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri:
The Klaim Project: Theory and Practice. Global Computing 2003: 88-150 - 2002
- [c6]Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Formalizing Properties of Mobile Agent Systems. COORDINATION 2002: 72-87 - [c5]Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Software update via mobile agent based programming. SAC 2002: 32-36 - [c4]Lorenzo Bettini, Michele Loreti, Rosario Pugliese:
An infrastructure language for open nets. SAC 2002: 373-377 - [c3]Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33 - 2001
- [j2]Beatrice Capitani, Michele Loreti, Betti Venneri:
Hyperformulae, Parallel Deductions and Intersection Types. Electr. Notes Theor. Comput. Sci. 50(2): 178-195 (2001) - [j1]Lorenzo Bettini, Michele Loreti, Rosario Pugliese:
Modelling Node Connectivity in Dynamically Evolving Networks. Electr. Notes Theor. Comput. Sci. 54: 81-91 (2001) - 2000
- [c2]
- [c1]
Coauthor Index
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-04-17 22:23 CEST by the dblp team