Michele Loreti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
48
Venues
20
Active years
2000–2026
Best venue rank
A*
Where they publish
Papers
48 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | Coordination | Simulation and Analysis of Indoor-Air-Quality Measuring Devices with YODA. | Riccardo Petracci, Nicola Del Giudice, Diletta Romana Cacciagrano, Michele Loreti |
| 2026 | SEAMS | Ubi-AAL: A Self-Adaptive Ubiquitous Computing System Problem Exemplar in Ambient Assisted Living. | Javier Cmara, Ilias Gerostathopoulos, Livia Lestingi, Michele Loreti, Hiroyuki Nakagawa, Marjan Sirjani, Kenji Tei |
| 2025 | RV | Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter. | Simone Silvetti, Michele Loreti, Laura Nenzi |
| 2024 | CONCUR | RobTL: Robustness Temporal Logic for CPS. | Valentina Castiglioni, Michele Loreti, Simone Tini |
| 2024 | Coordination | Visualisation of Collective Systems with Sequit and Sibilla. | Nicola Del Giudice, Federico Maria Cruciani, Michele Loreti |
| 2024 | FMICS | Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations. | Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini |
| 2024 | ISoLA | Klaim in the Making. | Lorenzo Bettini, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Emilio Tuosto |
| 2024 | ISoLA | Monitoring Local and Global Properties of Collective Adaptive Systems. | Nicola Del Giudice, Michele Loreti, Michela Quadrini, Aniqa Rehman |
| 2023 | Coordination | Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. | Valentina Castiglioni, Michele Loreti, Simone Tini |
| 2023 | FORTE | Implementing a CTL Model Checker with μ | Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti |
| 2022 | Coordination | Sibilla: A Tool for Reasoning about Collective Systems. | Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti |
| 2021 | FORTE | How Adaptive and Reliable is Your Program? | Valentina Castiglioni, Michele Loreti, Simone Tini |
| 2021 | MEMOCODE | Online monitoring of spatio-temporal properties for imprecise signals. | Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi |
| 2020 | ISoLA | Measuring Adaptability and Reliability of Large Scale Systems. | Valentina Castiglioni, Michele Loreti, Simone Tini |
| 2020 | RV | MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. | Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti |
| 2020 | RV | Monitoring Spatio-Temporal Properties (Invited Tutorial). | Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti |
| 2019 | Coordination | ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. | Rocco De Nicola, Tan Duong, Michele Loreti |
| 2019 | ICSE | Modelling and analysing resilient cyber-physical systems. | 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. Mller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao |
| 2019 | ICSE | Inferring analyzable models from trajectories of spatially-distributed internet of things. | Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar, Carlo Ghezzi |
| 2018 | FORTE | A Distributed Coordination Infrastructure for Attribute-Based Interaction. | Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti |
| 2018 | WSC | Statistical Analysis of CARMA Models: an Advanced Tutorial. | Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin |
| 2017 | MEMOCODE | Monitoring mobile and spatially distributed cyber-physical systems. | Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi |
| 2017 | TACAS | FlyFast: A Mean Field Model Checker. | Diego Latella, Michele Loreti, Mieke Massink |
| 2016 | FORTE | On the Power of Attribute-Based Communication. | Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti |
| 2016 | ISoLA | Programming of CAS Systems by Relying on Attribute-Based Communication. | Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti |
| 2015 | Coordination | Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. | Diego Latella, Michele Loreti, Mieke Massink |
| 2015 | Coordination | A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. | Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari |
| 2015 | SAC | Monitoring and visualizing adaptation of autonomic systems at runtime. | Dhaminda B. Abeywickrama, Nikola B. Serbedzija, Michele Loreti |
| 2015 | SAC | A calculus for attribute-based communication. | Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo |
| 2015 | RV | Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. | Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink |
| 2015 | SEFM | An Experimental Spatio-Temporal Model Checker. | Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink |
| 2014 | ISoLA | On Programming and Policing Autonomic Computing Systems. | Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi |
| 2012 | FOSSACS | Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. | Marco Bernardo, Rocco De Nicola, Michele Loreti |
| 2012 | ICFEM | Towards a Formal Verification Methodology for Collective Robotic Systems. | Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo |
| 2012 | SAC | Modeling adaptation with a tuple-based coordination language. | Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi |
| 2010 | Coordination | Simulation and Analysis of Distributed Systems in Klaim. | Francesco Calzolai, Michele Loreti |
| 2009 | Coordination | Assume-Guarantee Verification of Concurrent Systems. | Liliana D'Errico, Michele Loreti |
| 2009 | EUSFLAT | A process Algebra Approach to Fuzzy Reasoning. | Liliana D'Errico, Michele Loreti |
| 2009 | FMICS | On a Uniform Framework for the Definition of Stochastic Process Languages. | Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink |
| 2009 | ICALP | Rate-Based Transition Systems for Stochastic Process Calculi. | Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink |
| 2008 | Coordination | Implementing Session Centered Calculi. | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
| 2006 | ITiCSE | Assessing CS1 java skills: a three-year experience. | Pilu Crescenzi, Michele Loreti, Rosario Pugliese |
| 2005 | DAIS | A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. | Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti |
| 2004 | ICALT | An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses. | Lorenzo Bettini, Pilu Crescenzi, Gaia Innocenti, Michele Loreti, Leonardo Cecchi |
| 2002 | Coordination | Formalizing Properties of Mobile Agent Systems. | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
| 2002 | SAC | An infrastructure language for open nets. | Lorenzo Bettini, Michele Loreti, Rosario Pugliese |
| 2002 | SAC | Software update via mobile agent based programming. | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
| 2000 | SAC | Structured Nets in KLAIM. | Lorenzo Bettini, Michele Loreti, Rosario Pugliese |