A Modal Logic for KLAIM. - Rocco De Nicola; Michele Loreti (AMAST, 2000)

Structured Nets in KLAIM. - Lorenzo Bettini; Michele Loreti; Rosario Pugliese (SAC (1), 2000)

Modelling Node Connectivity in Dynamically Evolving Networks. - Lorenzo Bettini; Michele Loreti; Rosario Pugliese (ConCoord, 2001)

Hyperformulae, Parallel Deductions and Intersection Types. - Beatrice Capitani; Michele Loreti; Betti Venneri (BOTH, 2001)

Formalizing Properties of Mobile Agent Systems. - Lorenzo Bettini; Rocco De Nicola; Michele Loreti (COORDINATION, 2002)

An infrastructure language for open nets. - Lorenzo Bettini; Michele Loreti; Rosario Pugliese (SAC, 2002)

Software update via mobile agent based programming. - Lorenzo Bettini; Rocco De Nicola; Michele Loreti (SAC, 2002)

AGILE: Software Architecture for Mobility. - Luís Andrade 001; Paolo Baldan; Hubert Baumeister; Roberto Bruni 001; Andrea Corradini 001; Rocco De Nicola; José Luiz Fiadeiro; Fabio Gadducci; Stefania Gnesi; Piotr Hoffman; Nora Koch; Piotr Kosiuczenko; et al. (WADT, 2002)

The Klaim Project: Theory and Practice. - Lorenzo Bettini; Viviana Bono; Rocco De Nicola; Gian-Luigi Ferrari 002; Daniele Gorla; Michele Loreti; Eugenio Moggi; Rosario Pugliese; Emilio Tuosto; Betti Venneri (Global Computing, 2003)

MoMo: A Modal Logic for Reasoning About Mobility. - Rocco De Nicola; Michele Loreti (FMCO, 2004)

An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses. - Lorenzo Bettini; Pilu Crescenzi; Gaia Innocenti; Michele Loreti; Leonardo Cecchi (ICALT, 2004)

Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. - Lorenzo Bettini; Rocco De Nicola; Michele Loreti (Autom. Softw. Eng., 2004)

A modal logic for mobile agents. - Rocco De Nicola; Michele Loreti (ACM Trans. Comput. Log., 2004)

A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. - Lorenzo Bettini; Rocco De Nicola; Daniele Falassi; Marc Lacoste; Michele Loreti (DAIS, 2005)

Assessing CS1 java skills: a three-year experience. - Pilu Crescenzi; Michele Loreti; Rosario Pugliese (ITiCSE, 2006)

SCC: A Service Centered Calculus. - Michele Boreale; Roberto Bruni 001; Luís Caires; Rocco De Nicola; Ivan Lanese; Michele Loreti; Francisco Martins; Ugo Montanari; António Ravara; Davide Sangiorgi; Vasco Thudichum Vasconcelos; Gianluigi Zavattaro (WS-FM, 2006)

Implementing a Distributed Mobile Calculus Using the IMC Framework. - Lorenzo Bettini; Rocco De Nicola; Daniele Falassi; Michele Loreti (CoOrg/MTCoord@COORDINATION, 2006)

Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. - Rocco De Nicola; Michele Loreti (LMCS, 2006)

Implementing Mobile and Distributed Applications in X-Klaim. - Lorenzo Bettini; Rocco De Nicola; Michele Loreti (Scalable Comput. Pract. Exp., 2006)

Design of a Password-Based EAP Method. - Andrea Manganaro; Mingyur Koblensky; Michele Loreti (ICETE (Selected Papers), 2007)

Modeling Fuzzy Behaviours in Concurrent Systems. - Liliana D'Errico; Michele Loreti (ICTCS, 2007)

Design of a Password-based Authentication Method for Wireless Networks. - Andrea Manganaro; Mingyur Koblensky; Michele Loreti (WINSYS, 2007)

Model checking mobile stochastic logic. - Rocco De Nicola; Joost-Pieter Katoen; Diego Latella; Michele Loreti; Mieke Massink (Theor. Comput. Sci., 2007)

Implementing Session Centered Calculi. - Lorenzo Bettini; Rocco De Nicola; Michele Loreti (COORDINATION, 2008)

Sessions and Pipelines for Structured Service Programming. - Michele Boreale; Roberto Bruni 001; Rocco De Nicola; Michele Loreti (FMOODS, 2008)

A Fluid Flow Approach to Usability Analysis of Multi-user Systems. - Mieke Massink; Diego Latella; Maurice H. ter Beek; Michael D. Harrison; Michele Loreti (TAMODIA/HCSE, 2008)

Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. - Mario Bravetti; Diego Latella; Michele Loreti; Mieke Massink; Gianluigi Zavattaro (TGC, 2008)

Provably Correct Implementations of Services. - Roberto Bruni 001; Rocco De Nicola; Michele Loreti; Leonardo Gaetano Mezzina (TGC, 2008)

MarCaSPiS: a Markovian Extension of a Calculus for Services. - Rocco De Nicola; Diego Latella; Michele Loreti; Mieke Massink (SOS@ICALP, 2008)

Multiple-Labelled Transition Systems for nominal calculi and their logics. - Rocco De Nicola; Michele Loreti (Math. Struct. Comput. Sci., 2008)

TAPAs: A Tool for the Analysis of Process Algebras. - Francesco Calzolai; Rocco De Nicola; Michele Loreti; Francesco Tiezzi 001 (Trans. Petri Nets Other Model. Concurr., 2008)

Assume-Guarantee Verification of Concurrent Systems. - Liliana D'Errico; Michele Loreti (COORDINATION, 2009)

A process Algebra Approach to Fuzzy Reasoning. - Liliana D'Errico; Michele Loreti (IFSA/EUSFLAT Conf., 2009)

On a Uniform Framework for the Definition of Stochastic Process Languages. - Rocco De Nicola; Diego Latella; Michele Loreti; Mieke Massink (FMICS, 2009)

Rate-Based Transition Systems for Stochastic Process Calculi. - Rocco De Nicola; Diego Latella; Michele Loreti; Mieke Massink (ICALP (2), 2009)

Simulation and Analysis of Distributed Systems in Klaim. - Francesco Calzolai; Michele Loreti (COORDINATION, 2010)

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (TGC, 2010)

Property-Preserving Refinement of Concurrent Systems. - Liliana D'Errico; Michele Loreti (TGC, 2010)

Analysing Robot Movement Using the Sensoria Methods. - Maurice H. ter Beek; Alessandro Lapadula; Michele Loreti; Claudio Palasciano (Results of the SENSORIA Project, 2011)

Quantitative Analysis of Services. - Igor Cappello; Allan Clark; Stephen Gilmore; Diego Latella; Michele Loreti; Paola Quaglia; Stefano Schivo (Results of the SENSORIA Project, 2011)

SoSL: A Service-Oriented Stochastic Logic. - Rocco De Nicola; Diego Latella; Michele Loreti; Mieke Massink (Results of the SENSORIA Project, 2011)

A Language-Based Approach to Autonomic Computing. - Rocco De Nicola; Gian-Luigi Ferrari 002; Michele Loreti; Rosario Pugliese (FMCO, 2011)

Context Aware Specification and Verification of Distributed Systems. - Liliana D'Errico; Michele Loreti (TGC, 2011)

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (PACO, 2011)

Towards a Formal Verification Methodology for Collective Robotic Systems. - Edmond Gjondrekaj; Michele Loreti; Rosario Pugliese; Francesco Tiezzi 001; Carlo Pinciroli; Manuele Brambilla; Mauro Birattari; Marco Dorigo (ICFEM, 2012)

Modeling adaptation with a tuple-based coordination language. - Edmond Gjondrekaj; Michele Loreti; Rosario Pugliese; Francesco Tiezzi 001 (SAC, 2012)

Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (TGC, 2013)

On-the-fly Fast Mean-Field Model-Checking. - Diego Latella; Michele Loreti; Mieke Massink (TGC, 2013)

The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (QAPL, 2013)

On-the-fly Fast Mean-Field Model-Checking: Extended Version. - Diego Latella; Michele Loreti; Mieke Massink (CoRR, 2013)

A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities" - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (CoRR, 2013)

A uniform definition of stochastic process calculi. - Rocco De Nicola; Diego Latella; Michele Loreti; Mieke Massink (ACM Comput. Surv., 2013)

A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (Inf. Comput., 2013)

Specification and Analysis of Open-Ended Systems with CARMA. - Jane Hillston; Michele Loreti (E4MAS, 2014)

Programming and Verifying Component Ensembles. - Rocco De Nicola; Alberto Lluch-Lafuente; Michele Loreti; Andrea Morichetta 001; Rosario Pugliese; Valerio Senni; Francesco Tiezzi 001 (FPS@ETAPS, 2014)

Specifying and Verifying Properties of Space. - Vincenzo Ciancia; Diego Latella; Michele Loreti; Mieke Massink (IFIP TCS, 2014)

On Programming and Policing Autonomic Computing Systems. - Michele Loreti; Andrea Margheri; Rosario Pugliese; Francesco Tiezzi 001 (ISoLA (1), 2014)

Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data. - Vincenzo Ciancia; Stephen Gilmore; Diego Latella; Michele Loreti; Mieke Massink (SASO Workshops, 2014)

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (Log. Methods Comput. Sci., 2014)

Specifying and Verifying Properties of Space - Extended Version. - Vincenzo Ciancia; Diego Latella; Michele Loreti; Mieke Massink (CoRR, 2014)

On-the-fly Probabilistic Model Checking. - Diego Latella; Michele Loreti; Mieke Massink (ICE, 2014)

Stochastically timed predicate-based communication primitives for autonomic computing. - Diego Latella; Michele Loreti; Mieke Massink; Valerio Senni (QAPL, 2014)

Report on OPCT 2014. - Marco Bernardo 001; Daniel Gebler; Michele Loreti (Bull. EATCS, 2014)

A Formal Approach to Autonomic Systems Programming: The SCEL Language. - Rocco De Nicola; Michele Loreti; Rosario Pugliese; Francesco Tiezzi 001 (ACM Trans. Auton. Adapt. Syst., 2014)

Relating strong behavioral equivalences for processes with nondeterminism and probabilities. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (Theor. Comput. Sci., 2014)

On StocS: A Stochastic Extension of SCEL. - Diego Latella; Michele Loreti; Mieke Massink; Valerio Senni (Software, Services, and Systems, 2015)

Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. - Diego Latella; Michele Loreti; Mieke Massink (COORDINATION, 2015)

A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. - Alberto Lluch-Lafuente; Michele Loreti; Ugo Montanari (COORDINATION, 2015)

On-the-fly Fluid Model Checking via Discrete Time Population Models. - Diego Latella; Michele Loreti; Mieke Massink (EPEW, 2015)

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. - Laura Nenzi; Luca Bortolussi; Vincenzo Ciancia; Michele Loreti; Mieke Massink (RV, 2015)

Monitoring and visualizing adaptation of autonomic systems at runtime. - Dhaminda B. Abeywickrama; Nikola B. Serbedzija; Michele Loreti (SAC, 2015)

A calculus for attribute-based communication. - Yehia Abd Alrahman; Rocco De Nicola; Michele Loreti; Francesco Tiezzi 001; Roberto Vigo (SAC, 2015)

An Experimental Spatio-Temporal Model Checker. - Vincenzo Ciancia; Gianluca Grilletti; Diego Latella; Michele Loreti; Mieke Massink (SEFM Workshops, 2015)

Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (Acta Informatica, 2015)

CARMA: Collective Adaptive Resource-sharing Markovian Agents. - Luca Bortolussi; Rocco De Nicola; Vashti Galpin; Stephen Gilmore; Jane Hillston; Diego Latella; Michele Loreti; Mieke Massink (QAPL, 2015)

Preface. - Pierluigi Crescenzi; Michele Loreti (ICTCS, 2015)

Editorial for the Special Issue on Open Problems in Concurrency Theory. - Marco Bernardo 001; Daniel Gebler; Michele Loreti (J. Log. Algebraic Methods Program., 2015)

CaSPiS: a calculus of sessions, pipelines and services. - Michele Boreale; Roberto Bruni 001; Rocco De Nicola; Michele Loreti (Math. Struct. Comput. Sci., 2015)

On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination. - Diego Latella; Michele Loreti; Mieke Massink (Sci. Comput. Program., 2015)

Tools for Ensemble Design and Runtime. - 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; et al. (The ASCENS Approach, 2015)

The SCEL Language: Design, Implementation, Verification. - Rocco De Nicola; Diego Latella; Alberto Lluch-Lafuente; Michele Loreti; Andrea Margheri; Mieke Massink; Andrea Morichetta 001; Rosario Pugliese; Francesco Tiezzi 001; Andrea Vandin (The ASCENS Approach, 2015)

On the Power of Attribute-Based Communication. - Yehia Abd Alrahman; Rocco De Nicola; Michele Loreti (FORTE, 2016)

Programming of CAS Systems by Relying on Attribute-Based Communication. - Yehia Abd Alrahman; Rocco De Nicola; Michele Loreti (ISoLA (1), 2016)

CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems. - Jane Hillston; Michele Loreti (QEST, 2016)

Spatial Logic and Spatial Model Checking for Closure Spaces. - Vincenzo Ciancia; Diego Latella; Michele Loreti; Mieke Massink (SFM, 2016)

Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. - Michele Loreti; Jane Hillston (SFM, 2016)

jSSTL - A Tool to Monitor Spatio-Temporal Properties. - Laura Nenzi; Luca Bortolussi; Michele Loreti (VALUETOOLS, 2016)

Model Checking Spatial Logics for Closure Spaces. - Vincenzo Ciancia; Diego Latella; Michele Loreti; Mieke Massink (Log. Methods Comput. Sci., 2016)

Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications. - Francesco Chiti; Romano Fantacci; Michele Loreti; Rosario Pugliese (IEEE Wirel. Commun., 2016)

FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation. - Diego Latella; Michele Loreti; Mieke Massink (ModelEd, TestEd, TrustEd, 2017)

Monitoring mobile and spatially distributed cyber-physical systems. - Ezio Bartocci; Luca Bortolussi; Michele Loreti; Laura Nenzi (MEMOCODE, 2017)

Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems. - Ludovica Luisa Vissat; Michele Loreti; Laura Nenzi; Jane Hillston; Glenn Marion (QEST, 2017)

FlyFast: A Mean Field Model Checker. - Diego Latella; Michele Loreti; Mieke Massink (TACAS (2), 2017)

Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic. - Ludovica Luisa Vissat; Jane Hillston; Michele Loreti; Laura Nenzi (VALUETOOLS, 2017)

Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields. - Alberto Lluch-Lafuente; Michele Loreti; Ugo Montanari (Log. Methods Comput. Sci., 2017)

A Behavioural Theory for Interactions in Collective-Adaptive Systems. - Yehia Abd Alrahman; Rocco De Nicola; Michele Loreti (CoRR, 2017)

A Distributed Coordination Infrastructure for Attribute-Based Interaction. - Yehia Abd Alrahman; Rocco De Nicola; Giulio Garbi; Michele Loreti (FORTE, 2018)

Statistical Analysis of CARMA Models: an Advanced Tutorial. - Vashti Galpin; Anastasis Georgoulas; Michele Loreti; Andrea Vandin (WSC, 2018)

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. - Laura Nenzi; Luca Bortolussi; Vincenzo Ciancia; Michele Loreti; Mieke Massink (Log. Methods Comput. Sci., 2018)

Spatio-temporal model checking of vehicular movement in public transport systems. - Vincenzo Ciancia; Stephen Gilmore; Gianluca Grilletti; Diego Latella; Michele Loreti; Mieke Massink (Int. J. Softw. Tools Technol. Transf., 2018)

Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). - Maurice H. ter Beek; Michele Loreti (ACM Trans. Model. Comput. Simul., 2018)

Replicated Computations Results (RCR) Report for "Mesoscopic Modelling of Pedestrian Movement using Carma and its Tools". - Michele Loreti (ACM Trans. Model. Comput. Simul., 2018)

ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. - Rocco De Nicola; Tan Duong; Michele Loreti (COORDINATION, 2019)

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; et al. (SEAMS@ICSE, 2019)

Inferring analyzable models from trajectories of spatially-distributed internet of things. - Christos Tsigkanos; Laura Nenzi; Michele Loreti; Martin Garriga; Schahram Dustdar; Carlo Ghezzi (SEAMS@ICSE, 2019)

A calculus for collective-adaptive systems and its behavioural theory. - Yehia Abd Alrahman; Rocco De Nicola; Michele Loreti (Inf. Comput., 2019)

Replicated Computations Results (RCR) Report for "Statistical Abstraction for Multi-scale Spatio-temporal Systems". - Michele Loreti (ACM Trans. Model. Comput. Simul., 2019)

Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL. - Ludovica Luisa Vissat; Michele Loreti; Laura Nenzi; Jane Hillston; Glenn Marion (ACM Trans. Model. Comput. Simul., 2019)

Measuring Adaptability and Reliability of Large Scale Systems. - Valentina Castiglioni; Michele Loreti; Simone Tini (ISoLA (2), 2020)

Monitoring Spatio-Temporal Properties (Invited Tutorial). - Laura Nenzi; Ezio Bartocci; Luca Bortolussi; Michele Loreti; Ennio Visconti (RV, 2020)

Programming interactions in collective adaptive systems by relying on attribute-based communication. - Yehia Abd Alrahman; Rocco De Nicola; Michele Loreti (Sci. Comput. Program., 2020)

Fluid approximation of broadcasting systems. - Luca Bortolussi; Jane Hillston; Michele Loreti (Theor. Comput. Sci., 2020)

The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. - Valentina Castiglioni; Michele Loreti; Simone Tini (Theor. Comput. Sci., 2020)

How Adaptive and Reliable is Your Program? - Valentina Castiglioni; Michele Loreti; Simone Tini (FORTE, 2021)

Online monitoring of spatio-temporal properties for imprecise signals. - Ennio Visconti; Ezio Bartocci; Michele Loreti; Laura Nenzi (MEMOCODE, 2021)

A Spatial Logic for a Simplicial Complex Model. - Michele Loreti; Michela Quadrini (CoRR, 2021)

Semantics of the probabilistic Lambda Calculus By Dirk Draheim. - Michele Loreti (Formal Aspects Comput., 2021)

Provably correct implementation of the AbC calculus. - Rocco De Nicola; Tan Duong; Michele Loreti (Sci. Comput. Program., 2021)

YODA: Yet anOther agent Description lAnguage. - Nicola Del Giudice 002; Michele Loreti (ACSOS-C, 2022)

A Logical Framework for Reasoning About Local and Global Properties of Collective Systems. - Michele Loreti; Aniqa Rehman (QEST, 2022)

REPTILE: A Proactive Real-Time Deep Reinforcement Learning Self-adaptive Framework. - Flavio Corradini; Michele Loreti; Marco Piangerelli; Giacomo Rocchetti (CoRR, 2022)

EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems. - Valentina Castiglioni; Michele Loreti; Simone Tini (CoRR, 2022)

RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems. - Valentina Castiglioni; Michele Loreti; Simone Tini (CoRR, 2022)

A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. - Laura Nenzi; Ezio Bartocci; Luca Bortolussi; Michele Loreti (Log. Methods Comput. Sci., 2022)

Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. - Valentina Castiglioni; Michele Loreti; Simone Tini (COORDINATION, 2023)

Implementing a CTL Model Checker with μ G, a Language for Programming Graph Neural Networks. - Matteo Belenchia; Flavio Corradini; Michela Quadrini; Michele Loreti (FORTE, 2023)

DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems. - Valentina Castiglioni; Michele Loreti; Simone Tini (ICTCS, 2023)

A framework to measure the robustness of programs in the unpredictable environment. - Valentina Castiglioni; Michele Loreti; Simone Tini (Log. Methods Comput. Sci., 2023)

A Spatial Logic for Simplicial Models. - Michele Loreti; Michela Quadrini (Log. Methods Comput. Sci., 2023)

MoonLight: a lightweight tool for monitoring spatio-temporal properties. - Laura Nenzi; Ezio Bartocci; Luca Bortolussi; Simone Silvetti; Michele Loreti (Int. J. Softw. Tools Technol. Transf., 2023)

Sleep Apnea Detection using Mel-spectrograms Snoring and Convolutional Neural Networks. - Michela Quadrini; Ereza Abdullah; Niccolò Francioni; Marco Quadrini; Matteo Scoccia; Michele Bellesi; Michele Loreti (BIBM, 2024)

Bio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems. - Valentina Castiglioni; Michele Loreti; Simone Tini (CMSB, 2024)

RobTL: Robustness Temporal Logic for CPS. - Valentina Castiglioni; Michele Loreti; Simone Tini (CONCUR, 2024)

Visualisation of Collective Systems with Sequit and Sibilla. - Nicola Del Giudice 002; Federico Maria Cruciani; Michele Loreti (COORDINATION, 2024)

Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations. - Valentina Castiglioni; Ruggero Lanotte; Michele Loreti; Simone Tini (FMICS, 2024)

Encoding Methods Comparison for Stress Detection. - Marco Serenelli; Michela Quadrini; Maria Óskarsdóttir; Michele Loreti (HC@AIxIA, 2024)

Klaim in the Making. - Lorenzo Bettini; Gian-Luigi Ferrari 002; Michele Loreti; Rosario Pugliese; Francesco Tiezzi 001; Emilio Tuosto (ISoLA (1), 2024)

Monitoring Local and Global Properties of Collective Adaptive Systems. - Nicola Del Giudice 002; Michele Loreti; Michela Quadrini; Aniqa Rehman (ISoLA (2), 2024)

Real-Time Intrusion Detection via Machine Learning Approaches. - Erik Murtaj; Michela Quadrini; Fausto Marcantoni; Michele Loreti; Hans Friedrich Witschel (Ital-IA, 2024)

Building call graph of WebAssembly programs via abstract semantics. - Mattia Paccamiccio; Franco Raimondi; Michele Loreti (ITASEC, 2024)

The μG Language for Programming Graph Neural Networks. - Matteo Belenchia; Flavio Corradini; Michela Quadrini; Michele Loreti (CoRR, 2024)

libmg: A Python library for programming graph neural networks in μG. - Matteo Belenchia; Flavio Corradini; Michela Quadrini; Michele Loreti (Sci. Comput. Program., 2024)

Stark: A tool for the analysis of CPSs robustness. - Valentina Castiglioni; Michele Loreti; Simone Tini (Sci. Comput. Program., 2024)

Sibilla: A tool for reasoning about collective systems. - Nicola Del Giudice 002; Lorenzo Matteucci; Michela Quadrini; Aniqa Rehman; Michele Loreti (Sci. Comput. Program., 2024)

Robustness for biochemical networks: Step-by-step approach. - Valentina Castiglioni; Ruggero Lanotte; Michele Loreti; Desiree Manicardi; Simone Tini (Theor. Comput. Sci., 2024)

STARK: A Software Tool for the Analysis of Robustness in the unKnown environment. - Valentina Castiglioni; Michele Loreti; Simone Tini (DROPS Artifacts, 2024)

A Formal Approach to Identify Structural Patterns in RNA. - Michele Loreti; Michela Quadrini; Matteo Scoccia; Luca Tesei (CMSB, 2025)