Michele Loreti

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 68

Top Venues

CoRR

Log. Methods Comput. Sci.

Sci. Comput. Program.

COORDINATION

Publications

Mattia Paccamiccio, Franco Raimondi, Michele Loreti
Building call graph of WebAssembly programs via abstract semantics. ITASEC (2024)
Mattia Paccamiccio, Franco Raimondi, Michele Loreti
Building Call Graph of WebAssembly Programs via Abstract Semantics. CoRR (2024)
Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti
Sibilla: A tool for reasoning about collective systems. Sci. Comput. Program. 235 (2024)
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
libmg: A Python library for programming graph neural networks in μG. Sci. Comput. Program. 238 (2024)
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
The μG Language for Programming Graph Neural Networks. CoRR (2024)
Valentina Castiglioni, Michele Loreti, Simone Tini
RobTL: Robustness Temporal Logic for CPS. CONCUR (2024)
Valentina Castiglioni, Michele Loreti, Simone Tini
Stark: A tool for the analysis of CPSs robustness. Sci. Comput. Program. 236 (2024)
Nicola Del Giudice, Federico Maria Cruciani, Michele Loreti
Visualisation of Collective Systems with Sequit and Sibilla. COORDINATION (2024)
Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations. FMICS (2024)
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
, a Language for Programming Graph Neural Networks. FORTE (2023)
Valentina Castiglioni, Michele Loreti, Simone Tini
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. COORDINATION (2023)
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti
MoonLight: a lightweight tool for monitoring spatio-temporal properties. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Michele Loreti, Michela Quadrini
A Spatial Logic for Simplicial Models. Log. Methods Comput. Sci. 19 (3) (2023)
Valentina Castiglioni, Michele Loreti, Simone Tini
DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems. ICTCS (2023)
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)
Valentina Castiglioni, Michele Loreti, Simone Tini
RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems. CoRR (2022)
Valentina Castiglioni, Michele Loreti, Simone Tini
EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems. CoRR (2022)
Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti
Sibilla: A Tool for Reasoning about Collective Systems. COORDINATION (2022)
Nicola Del Giudice, Michele Loreti
YODA: Yet anOther agent Description lAnguage. ACSOS-C (2022)
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)
Michele Loreti, Aniqa Rehman
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems. QEST (2022)
Flavio Corradini, Michele Loreti, Marco Piangerelli, Giacomo Rocchetti
REPTILE: A Proactive Real-Time Deep Reinforcement Learning Self-adaptive Framework. CoRR (2022)
Valentina Castiglioni, Michele Loreti, Simone Tini
How Adaptive and Reliable is Your Program? FORTE (2021)
Valentina Castiglioni, Michele Loreti, Simone Tini
A framework to measure the robustness of programs in the unpredictable environment. CoRR (2021)
Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi
Online monitoring of spatio-temporal properties for imprecise signals. MEMOCODE (2021)
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Michele Loreti
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. CoRR (2021)
Rocco De Nicola, Tan Duong, Michele Loreti
calculus. Sci. Comput. Program. 202 (2021)
Michele Loreti, Michela Quadrini
A Spatial Logic for a Simplicial Complex Model. CoRR (2021)
Michele Loreti
Semantics of the probabilistic Lambda Calculus By Dirk Draheim. Formal Aspects Comput. 33 (3) (2021)
Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals. CoRR (2021)
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. RV (2020)
Luca Bortolussi, Jane Hillston, Michele Loreti
Fluid approximation of broadcasting systems. Theor. Comput. Sci. 816 (2020)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Program. 192 (2020)
Valentina Castiglioni, Michele Loreti, Simone Tini
Measuring Adaptability and Reliability of Large Scale Systems. ISoLA (2) (2020)
Valentina Castiglioni, Michele Loreti, Simone Tini
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. Theor. Comput. Sci. 813 (2020)
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti
Monitoring Spatio-Temporal Properties (Invited Tutorial). RV (2020)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268 (2019)
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) (2019)
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)
Rocco De Nicola, Tan Duong, Michele Loreti
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. COORDINATION (2019)
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems. CoRR (2019)
Michele Loreti
Replicated Computations Results (RCR) Report for "Statistical Abstraction for Multi-scale Spatio-temporal Systems". ACM Trans. Model. Comput. Simul. 29 (4) (2019)
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)
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) (2018)
Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin
Statistical Analysis of CARMA Models: an Advanced Tutorial. WSC (2018)
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti
A Distributed Coordination Infrastructure for Attribute-Based Interaction. FORTE (2018)
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) (2018)
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) (2018)
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)
Diego Latella, Michele Loreti, Mieke Massink
FlyFast: A Mean Field Model Checker. TACAS (2) (2017)
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)
Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields. Log. Methods Comput. Sci. 13 (1) (2017)
Diego Latella, Michele Loreti, Mieke Massink
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation. ModelEd, TestEd, TrustEd (2017)
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi
Monitoring mobile and spatially distributed cyber-physical systems. MEMOCODE (2017)
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. CoRR (2017)
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)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
A Behavioural Theory for Interactions in Collective-Adaptive Systems. CoRR (2017)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. CoRR (2017)
Jane Hillston, Michele Loreti
CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems. QEST (2016)
Pierluigi Crescenzi, Michele Loreti
Preface. Electron. Notes Theor. Comput. Sci. 322 (2016)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
On the Power of Attribute-based Communication. CoRR (2016)
Michele Loreti, Jane Hillston
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. SFM (2016)
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
Spatial Logic and Spatial Model Checking for Closure Spaces. SFM (2016)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
On the Power of Attribute-Based Communication. FORTE (2016)
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) (2016)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Programming of CAS Systems by Relying on Attribute-Based Communication. ISoLA (1) (2016)
Laura Nenzi, Luca Bortolussi, Michele Loreti
jSSTL - A Tool to Monitor Spatio-Temporal Properties. VALUETOOLS (2016)
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
Model Checking Spatial Logics for Closure Spaces. Log. Methods Comput. Sci. 12 (4) (2016)
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)
Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink
An Experimental Spatio-Temporal Model Checker. SEFM Workshops (2015)
Marco Bernardo, Rocco De Nicola, Michele Loreti
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica 52 (1) (2015)
Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
On StocS: A Stochastic Extension of SCEL. Software, Services, and Systems (2015)
Dhaminda B. Abeywickrama, Nikola B. Serbedzija, Michele Loreti
Monitoring and visualizing adaptation of autonomic systems at runtime. SAC (2015)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo
A calculus for attribute-based communication. SAC (2015)
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. RV (2015)
Diego Latella, Michele Loreti, Mieke Massink
On-the-fly Fluid Model Checking via Discrete Time Population Models. EPEW (2015)
Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. COORDINATION (2015)
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
CaSPiS: a calculus of sessions, pipelines and services. Math. Struct. Comput. Sci. 25 (3) (2015)
Diego Latella, Michele Loreti, Mieke Massink
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. COORDINATION (2015)
Marco Bernardo, Daniel Gebler, Michele Loreti
Editorial for the Special Issue on Open Problems in Concurrency Theory. J. Log. Algebraic Methods Program. 84 (6) (2015)
Diego Latella, Michele Loreti, Mieke Massink
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination. Sci. Comput. Program. 110 (2015)
Jane Hillston, Michele Loreti
Specification and Analysis of Open-Ended Systems with CARMA. E4MAS (2014)
Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
On Programming and Policing Autonomic Computing Systems. ISoLA (1) (2014)
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)
Diego Latella, Michele Loreti, Mieke Massink
On-the-fly Probabilistic Model Checking. ICE (2014)
Marco Bernardo, Daniel Gebler, Michele Loreti
Report on OPCT 2014. Bull. EATCS 114 (2014)
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) (2014)
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
Specifying and Verifying Properties of Space - Extended Version. CoRR (2014)
Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
Stochastically timed predicate-based communication primitives for autonomic computing. QAPL (2014)
Marco Bernardo, Rocco De Nicola, Michele Loreti
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theor. Comput. Sci. 546 (2014)
Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi
Programming and Verifying Component Ensembles. FPS@ETAPS (2014)
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
Specifying and Verifying Properties of Space. IFIP TCS (2014)
Marco Bernardo, Rocco De Nicola, Michele Loreti
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Log. Methods Comput. Sci. 10 (1) (2014)
Diego Latella, Michele Loreti, Mieke Massink
On-the-fly Fast Mean-Field Model-Checking. TGC (2013)
Marco Bernardo, Rocco De Nicola, Michele Loreti
A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities" CoRR (2013)
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 (2013)
Marco Bernardo, Rocco De Nicola, Michele Loreti
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. TGC (2013)
Marco Bernardo, Rocco De Nicola, Michele Loreti
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. QAPL (2013)
Diego Latella, Michele Loreti, Mieke Massink
On-the-fly Fast Mean-Field Model-Checking: Extended Version. CoRR (2013)
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
A uniform definition of stochastic process calculi. ACM Comput. Surv. 46 (1) (2013)

Michele Loreti.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michele Loreti