Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichele Loreti
Person information
- affiliation: University of Camerino, Italy
- affiliation (former): University of Florence, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2023
[j34]Valentina Castiglioni, Michele Loreti, Simone Tini:
A framework to measure the robustness of programs in the unpredictable environment. Log. Methods Comput. Sci. 19(3) (2023)- [j33]Michele Loreti, Michela Quadrini:
A Spatial Logic for Simplicial Models. Log. Methods Comput. Sci. 19(3) (2023) - 2022
- [j32]Laura Nenzi, Ezio Bartocci
, Luca Bortolussi, Michele Loreti:
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. Log. Methods Comput. Sci. 18(1) (2022) - 2021
- [j31]Michele Loreti:
Semantics of the probabilistic Lambda Calculus By Dirk Draheim. Formal Aspects Comput. 33(3): 457-458 (2021) - [j30]Rocco De Nicola, Tan Duong, Michele Loreti:
Provably correct implementation of the AbC calculus. Sci. Comput. Program. 202: 102567 (2021) - 2020
- [j29]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Program. 192: 102428 (2020) - [j28]Valentina Castiglioni, Michele Loreti, Simone Tini:
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. Theor. Comput. Sci. 813: 20-69 (2020) - [j27]Luca Bortolussi, Jane Hillston, Michele Loreti:
Fluid approximation of broadcasting systems. Theor. Comput. Sci. 816: 221-248 (2020) - 2019
- [j26]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268 (2019) - [j25]Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion:
Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL. ACM Trans. Model. Comput. Simul. 29(4): 20:1-20:24 (2019) - [j24]Michele Loreti:
Replicated Computations Results (RCR) Report for "Statistical Abstraction for Multi-scale Spatio-temporal Systems". ACM Trans. Model. Comput. Simul. 29(4): 23:1-23:2 (2019) - 2018
- [j23]Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. Log. Methods Comput. Sci. 14(4) (2018) - [j22]Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink:
Spatio-temporal model checking of vehicular movement in public transport systems. Int. J. Softw. Tools Technol. Transf. 20(3): 289-311 (2018) - [j21]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) - [j20]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
- [j19]Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari:
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields. Log. Methods Comput. Sci. 13(1) (2017) - 2016
- [j18]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Model Checking Spatial Logics for Closure Spaces. Log. Methods Comput. Sci. 12(4) (2016) - [j17]Francesco Chiti, Romano Fantacci, Michele Loreti, Rosario Pugliese:
Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications. IEEE Wirel. Commun. 23(2): 86-92 (2016) - 2015
- [j16]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica 52(1): 61-106 (2015) - [j15]Marco Bernardo, Daniel Gebler, Michele Loreti:
Editorial for the Special Issue on Open Problems in Concurrency Theory. J. Log. Algebraic Methods Program. 84(6): 731 (2015) - [j14]Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti:
CaSPiS: a calculus of sessions, pipelines and services. Math. Struct. Comput. Sci. 25(3): 666-709 (2015) - [j13]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) - 2014
- [j12]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Log. Methods Comput. Sci. 10(1) (2014) - [j11]Marco Bernardo, Daniel Gebler, Michele Loreti:
Report on OPCT 2014. Bull. EATCS 114 (2014) - [j10]Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi:
A Formal Approach to Autonomic Systems Programming: The SCEL Language. ACM Trans. Auton. Adapt. Syst. 9(2): 7:1-7:29 (2014) - [j9]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theor. Comput. Sci. 546: 63-92 (2014) - 2013
- [j8]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) - [j7]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) - 2008
- [j6]Rocco De Nicola, Michele Loreti:
Multiple-Labelled Transition Systems for nominal calculi and their logics. Math. Struct. Comput. Sci. 18(1): 107-143 (2008) - [j5]Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi:
TAPAs: A Tool for the Analysis of Process Algebras. Trans. Petri Nets Other Model. Concurr. 1: 54-70 (2008) - 2007
- [j4]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) - 2006
- [j3]Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Implementing Mobile and Distributed Applications in X-Klaim. Scalable Comput. Pract. Exp. 7(4) (2006) - 2004
- [j2]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) - [j1]Rocco De Nicola, Michele Loreti:
A modal logic for mobile agents. ACM Trans. Comput. Log. 5(1): 79-128 (2004)
Conference and Workshop Papers
- 2023
- [c84]Valentina Castiglioni, Michele Loreti, Simone Tini:
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. COORDINATION 2023: 115-132 - [c83]Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti:
Implementing a CTL Model Checker with μ G, a Language for Programming Graph Neural Networks. FORTE 2023: 37-54 - 2022
- [c82]Nicola Del Giudice, Michele Loreti:
YODA: Yet anOther agent Description lAnguage. ACSOS-C 2022: 82-87 - [c81]Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti:
Sibilla: A Tool for Reasoning about Collective Systems. COORDINATION 2022: 92-98 - [c80]Michele Loreti, Aniqa Rehman:
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems. QEST 2022: 133-149 - 2021
- [c79]Valentina Castiglioni, Michele Loreti, Simone Tini:
How Adaptive and Reliable is Your Program? FORTE 2021: 60-79 - [c78]Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi:
Online monitoring of spatio-temporal properties for imprecise signals. MEMOCODE 2021: 78-88 - 2020
- [c77]Valentina Castiglioni, Michele Loreti, Simone Tini:
Measuring Adaptability and Reliability of Large Scale Systems. ISoLA (2) 2020: 380-396 - [c76]Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti:
Monitoring Spatio-Temporal Properties (Invited Tutorial). RV 2020: 21-46 - [c75]Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti:
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. RV 2020: 417-428 - 2019
- [c74]Rocco De Nicola, Tan Duong, Michele Loreti:
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. COORDINATION 2019: 111-128 - [c73]Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao:
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE 2019: 70-76 - [c72]Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar, Carlo Ghezzi:
Inferring analyzable models from trajectories of spatially-distributed internet of things. SEAMS@ICSE 2019: 100-106 - 2018
- [c71]Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti:
A Distributed Coordination Infrastructure for Attribute-Based Interaction. FORTE 2018: 1-20 - [c70]Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin:
Statistical Analysis of CARMA Models: an Advanced Tutorial. WSC 2018: 395-409 - 2017
- [c69]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 - [c68]Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi:
Monitoring mobile and spatially distributed cyber-physical systems. MEMOCODE 2017: 146-155 - [c67]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 - [c66]Diego Latella, Michele Loreti, Mieke Massink:
FlyFast: A Mean Field Model Checker. TACAS (2) 2017: 303-309 - [c65]Ludovica Luisa Vissat, Jane Hillston, Michele Loreti, Laura Nenzi:
Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic. VALUETOOLS 2017: 225-226 - 2016
- [c64]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
On the Power of Attribute-Based Communication. FORTE 2016: 1-18 - [c63]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming of CAS Systems by Relying on Attribute-Based Communication. ISoLA (1) 2016: 539-553 - [c62]Jane Hillston, Michele Loreti:
CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems. QEST 2016: 167-171 - [c61]Michele Loreti, Jane Hillston:
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. SFM 2016: 83-119 - [c60]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Spatial Logic and Spatial Model Checking for Closure Spaces. SFM 2016: 156-201 - [c59]Laura Nenzi, Luca Bortolussi, Michele Loreti:
jSSTL - A Tool to Monitor Spatio-Temporal Properties. VALUETOOLS 2016 - 2015
- [c58]Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni:
On StocS: A Stochastic Extension of SCEL. Software, Services, and Systems 2015: 619-640 - [c57]Diego Latella, Michele Loreti, Mieke Massink:
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. COORDINATION 2015: 19-34 - [c56]Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari:
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. COORDINATION 2015: 101-116 - [c55]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fluid Model Checking via Discrete Time Population Models. EPEW 2015: 193-207 - [c54]Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. RV 2015: 21-37 - [c53]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo:
A calculus for attribute-based communication. SAC 2015: 1840-1845 - [c52]Dhaminda B. Abeywickrama, Nikola B. Serbedzija, Michele Loreti:
Monitoring and visualizing adaptation of autonomic systems at runtime. SAC 2015: 1857-1860 - [c51]Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink:
An Experimental Spatio-Temporal Model Checker. SEFM Workshops 2015: 297-311 - [c50]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 - [c49]Pierluigi Crescenzi, Michele Loreti:
Preface. ICTCS 2015: 1-2 - 2014
- [c48]Jane Hillston, Michele Loreti:
Specification and Analysis of Open-Ended Systems with CARMA. E4MAS 2014: 95-116 - [c47]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 - [c46]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Specifying and Verifying Properties of Space. IFIP TCS 2014: 222-235 - [c45]Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi:
On Programming and Policing Autonomic Computing Systems. ISoLA (1) 2014: 164-183 - [c44]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 - [c43]Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni:
Stochastically timed predicate-based communication primitives for autonomic computing. QAPL 2014: 1-16 - [c42]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Probabilistic Model Checking. ICE 2014: 45-59 - 2013
- [c41]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fast Mean-Field Model-Checking. TGC 2013: 297-314 - [c40]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. TGC 2013: 315-330 - [c39]Marco Bernardo, Rocco De Nicola, Michele Loreti:
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. QAPL 2013: 81-96 - 2012
- [c38]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. FoSSaCS 2012: 195-209 - [c37]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 - [c36]Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi:
Modeling adaptation with a tuple-based coordination language. SAC 2012: 1522-1527 - 2011
- [c35]Rocco De Nicola, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese:
A Language-Based Approach to Autonomic Computing. FMCO 2011: 25-48 - [c34]Liliana D'Errico, Michele Loreti:
Context Aware Specification and Verification of Distributed Systems. TGC 2011: 142-159 - [c33]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi. PACO 2011: 66-75 - 2010
- [c32]Francesco Calzolai, Michele Loreti:
Simulation and Analysis of Distributed Systems in Klaim. COORDINATION 2010: 122-136 - [c31]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. TGC 2010: 35-56 - [c30]Liliana D'Errico, Michele Loreti:
Property-Preserving Refinement of Concurrent Systems. TGC 2010: 222-236 - 2009
- [c29]Liliana D'Errico, Michele Loreti:
Assume-Guarantee Verification of Concurrent Systems. COORDINATION 2009: 288-305 - [c28]Liliana D'Errico, Michele Loreti:
A process Algebra Approach to Fuzzy Reasoning. IFSA/EUSFLAT Conf. 2009: 1136-1141 - [c27]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
On a Uniform Framework for the Definition of Stochastic Process Languages. FMICS 2009: 9-25 - [c26]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) 2009: 435-446 - 2008
- [c25]Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Implementing Session Centered Calculi. COORDINATION 2008: 17-32 - [c24]Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti:
Sessions and Pipelines for Structured Service Programming. FMOODS 2008: 19-38 - [c23]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 - [c22]Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro:
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68 - [c21]Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina:
Provably Correct Implementations of Services. TGC 2008: 69-86 - [c20]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
MarCaSPiS: a Markovian Extension of a Calculus for Services. SOS@ICALP 2008: 11-26 - 2007
- [c19]Andrea Manganaro, Mingyur Koblensky, Michele Loreti:
Design of a Password-Based EAP Method. ICETE (Selected Papers) 2007: 343-355 - [c18]Liliana D'Errico, Michele Loreti:
Modeling Fuzzy Behaviours in Concurrent Systems. ICTCS 2007: 94-105 - [c17]Andrea Manganaro, Mingyur Koblensky, Michele Loreti:
Design of a Password-based Authentication Method for Wireless Networks. WINSYS 2007: 9-16 - 2006
- [c16]Pilu Crescenzi, Michele Loreti, Rosario Pugliese:
Assessing CS1 java skills: a three-year experience. ITiCSE 2006: 348 - [c15]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 - [c14]Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti:
Implementing a Distributed Mobile Calculus Using the IMC Framework. CoOrg/MTCoord@COORDINATION 2006: 63-79 - [c13]Rocco De Nicola, Michele Loreti:
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. LMCS 2006: 133-146 - 2005
- [c12]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
- [c11]Rocco De Nicola, Michele Loreti:
MoMo: A Modal Logic for Reasoning About Mobility. FMCO 2004: 95-119 - [c10]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
- [c9]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
- [c8]Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Formalizing Properties of Mobile Agent Systems. COORDINATION 2002: 72-87 - [c7]Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Software update via mobile agent based programming. SAC 2002: 32-36 - [c6]Lorenzo Bettini, Michele Loreti, Rosario Pugliese:
An infrastructure language for open nets. SAC 2002: 373-377 - [c5]Luís Andrade