Michele Loreti

169 papers B 8C 21Misc 6Journal 57Unranked 67
YearRankTypeTitle / Venue / Authors
2026 — conf
Scalable Verification of Local and Global Properties of Collective Systems.
Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Michele Loreti, Michela Quadrini, Aniqa Rehman
2025 — conf
A Formal Approach to Identify Structural Patterns in RNA.
CMSB
Michele Loreti, Michela Quadrini, Matteo Scoccia, Luca Tesei
2025 — conf
A comparative study of speech-to-text for Italian.
Ital-IA
Michela Quadrini, Michele Loreti, Mattia Luciani, Ivano Corradetti, Carboni Matteo, Stefano Vagnoni
2025 J jnl
DT-Stark: a tool for evaluating the effectiveness of digital twins through feedback and perturbations.
Int. J. Softw. Tools Technol. Transf.
Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini
2025 B conf
Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter.
RV
Simone Silvetti, Michele Loreti, Laura Nenzi
2025 — conf
Towards a Methodology for Using EEG Motor Imagery to Control Video Games.
SeGAH
Francesco Moschella, Nicola Del Giudice, Michele Loreti, Hannes Högni Vilhjálmsson
2024 — conf
Bio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems.
CMSB
Valentina Castiglioni, Michele Loreti, Simone Tini
2024 J jnl
Building Call Graph of WebAssembly Programs via Abstract Semantics.
CoRR
Mattia Paccamiccio, Franco Raimondi, Michele Loreti
2024 — conf
Building call graph of WebAssembly programs via abstract semantics.
ITASEC
Mattia Paccamiccio, Franco Raimondi, Michele Loreti
2024 — conf
Encoding Methods Comparison for Stress Detection.
HC@AIxIA
Marco Serenelli, Michela Quadrini, Maria Óskarsdóttir, Michele Loreti
2024 C conf
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations.
FMICS
Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini
2024 — conf
Klaim in the Making.
ISoLA (1)
Lorenzo Bettini, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Emilio Tuosto
2024 — conf
Monitoring Local and Global Properties of Collective Adaptive Systems.
ISoLA (2)
Nicola Del Giudice, Michele Loreti, Michela Quadrini, Aniqa Rehman
2024 — conf
Real-Time Intrusion Detection via Machine Learning Approaches.
Ital-IA
Erik Murtaj, Michela Quadrini, Fausto Marcantoni, Michele Loreti, Hans Friedrich Witschel
2024 B conf
RobTL: Robustness Temporal Logic for CPS.
CONCUR
Valentina Castiglioni, Michele Loreti, Simone Tini
2024 J jnl
Robustness for biochemical networks: Step-by-step approach.
Theor. Comput. Sci.
Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Desiree Manicardi, Simone Tini
2024 J jnl
Sibilla: A tool for reasoning about collective systems.
Sci. Comput. Program.
Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti
2024 — conf
Sleep Apnea Detection using Mel-spectrograms Snoring and Convolutional Neural Networks.
BIBM
Michela Quadrini, Ereza Abdullah, Niccolò Francioni, Marco Quadrini, Matteo Scoccia, Michele Bellesi, Michele Loreti
2024 J jnl
Stark: A tool for the analysis of CPSs robustness.
Sci. Comput. Program.
Valentina Castiglioni, Michele Loreti, Simone Tini
2024 — conf
Synthesis Tool Suite for Large Stochastic Model.
VALUETOOLS
Lorenzo Matteucci, Michela Quadrini, Michele Loreti
2024 J jnl
The μG Language for Programming Graph Neural Networks.
CoRR
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
2024 C conf
Visualisation of Collective Systems with Sequit and Sibilla.
COORDINATION
Nicola Del Giudice, Federico Maria Cruciani, Michele Loreti
2024 J jnl
libmg: A Python library for programming graph neural networks in μG.
Sci. Comput. Program.
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
2023 J jnl
A Spatial Logic for Simplicial Models.
Log. Methods Comput. Sci.
Michele Loreti, Michela Quadrini
2023 J jnl
A framework to measure the robustness of programs in the unpredictable environment.
Log. Methods Comput. Sci.
Valentina Castiglioni, Michele Loreti, Simone Tini
2023 — conf
DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems.
ICTCS
Valentina Castiglioni, Michele Loreti, Simone Tini
2023 C conf
Implementing a CTL Model Checker with μ
FORTE
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
2023 J jnl
MoonLight: a lightweight tool for monitoring spatio-temporal properties.
Int. J. Softw. Tools Technol. Transf.
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti
2023 C conf
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment.
COORDINATION
Valentina Castiglioni, Michele Loreti, Simone Tini
2022 J jnl
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems.
Log. Methods Comput. Sci.
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti
2022 — conf
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems.
QEST
Michele Loreti, Aniqa Rehman
2022 J jnl
EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems.
CoRR
Valentina Castiglioni, Michele Loreti, Simone Tini
2022 J jnl
REPTILE: A Proactive Real-Time Deep Reinforcement Learning Self-adaptive Framework.
CoRR
Flavio Corradini, Michele Loreti, Marco Piangerelli, Giacomo Rocchetti
2022 J jnl
RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems.
CoRR
Valentina Castiglioni, Michele Loreti, Simone Tini
2022 C conf
Sibilla: A Tool for Reasoning about Collective Systems.
COORDINATION
Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti
2022 — conf
YODA: Yet anOther agent Description lAnguage.
ACSOS-C
Nicola Del Giudice, Michele Loreti
2021 J jnl
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems.
CoRR
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Michele Loreti
2021 J jnl
A Spatial Logic for a Simplicial Complex Model.
CoRR
Michele Loreti, Michela Quadrini
2021 J jnl
A framework to measure the robustness of programs in the unpredictable environment.
CoRR
Valentina Castiglioni, Michele Loreti, Simone Tini
2021 C conf
How Adaptive and Reliable is Your Program?
FORTE
Valentina Castiglioni, Michele Loreti, Simone Tini
2021 J jnl
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals.
CoRR
Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi
2021 C conf
Online monitoring of spatio-temporal properties for imprecise signals.
MEMOCODE
Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi
2021 J jnl
Provably correct implementation of the
Sci. Comput. Program.
Rocco De Nicola, Tan Duong, Michele Loreti
2021 J jnl
Semantics of the probabilistic Lambda Calculus By Dirk Draheim.
Formal Aspects Comput.
Michele Loreti
2020 J jnl
Fluid approximation of broadcasting systems.
Theor. Comput. Sci.
Luca Bortolussi, Jane Hillston, Michele Loreti
2020 — conf
Measuring Adaptability and Reliability of Large Scale Systems.
ISoLA (2)
Valentina Castiglioni, Michele Loreti, Simone Tini
2020 B conf
Monitoring Spatio-Temporal Properties (Invited Tutorial).
RV
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti
2020 B conf
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties.
RV
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti
2020 — ed.
Proceedings of the Fourth Italian Conference on Cyber Security, Ancona, Italy, February 4th to 7th, 2020.
ITASEC
Michele Loreti, Luca Spalazzi
2020 J jnl
Programming interactions in collective adaptive systems by relying on attribute-based communication.
Sci. Comput. Program.
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
2020 J jnl
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes.
Theor. Comput. Sci.
Valentina Castiglioni, Michele Loreti, Simone Tini
2019 J jnl
A calculus for collective-adaptive systems and its behavioural theory.
Inf. Comput.
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
2019 C conf
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication.
COORDINATION
Rocco De Nicola, Tan Duong, Michele Loreti
2019 J jnl
Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL.
ACM Trans. Model. Comput. Simul.
Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion
2019 — conf
Inferring analyzable models from trajectories of spatially-distributed internet of things.
SEAMS@ICSE
Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar, Carlo Ghezzi
2019 — conf
Modelling and analysing resilient cyber-physical systems.
SEAMS@ICSE
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
2019 — ed.
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Models, Languages, and Tools for Concurrent and Distributed Programming
Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese
2019 J jnl
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems.
CoRR
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi
2019 J jnl
Replicated Computations Results (RCR) Report for "Statistical Abstraction for Multi-scale Spatio-temporal Systems".
ACM Trans. Model. Comput. Simul.
Michele Loreti
2018 C conf
A Distributed Coordination Infrastructure for Attribute-Based Interaction.
FORTE
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti
2018 C ed.
Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings
COORDINATION
Giovanna Di Marzo Serugendo, Michele Loreti
2018 J jnl
Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST).
ACM Trans. Model. Comput. Simul.
Maurice H. ter Beek, Michele Loreti
2018 J jnl
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL.
Log. Methods Comput. Sci.
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
2018 J jnl
Replicated Computations Results (RCR) Report for "Mesoscopic Modelling of Pedestrian Movement using Carma and its Tools".
ACM Trans. Model. Comput. Simul.
Michele Loreti
2018 J jnl
Spatio-temporal model checking of vehicular movement in public transport systems.
Int. J. Softw. Tools Technol. Transf.
Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink
2018 Misc conf
Statistical Analysis of CARMA Models: an Advanced Tutorial.
WSC
Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin
2017 J jnl
A Behavioural Theory for Interactions in Collective-Adaptive Systems.
CoRR
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
2017 J jnl
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields.
Log. Methods Comput. Sci.
Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari
2017 — conf
Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic.
VALUETOOLS
Ludovica Luisa Vissat, Jane Hillston, Michele Loreti, Laura Nenzi
2017 — conf
FlyFast: A Mean Field Model Checker.
TACAS (2)
Diego Latella, Michele Loreti, Mieke Massink
2017 — conf
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation.
ModelEd, TestEd, TrustEd
Diego Latella, Michele Loreti, Mieke Massink
2017 C conf
Monitoring mobile and spatially distributed cyber-physical systems.
MEMOCODE
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi
2017 J jnl
Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication.
CoRR
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
2017 J jnl
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL.
CoRR
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
2017 — conf
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems.
QEST
Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion
2016 — conf
CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems.
QEST
Jane Hillston, Michele Loreti
2016 J jnl
Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications.
IEEE Wirel. Commun.
Francesco Chiti, Romano Fantacci, Michele Loreti, Rosario Pugliese
2016 J jnl
Model Checking Spatial Logics for Closure Spaces.
Log. Methods Comput. Sci.
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
2016 — conf
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools.
SFM
Michele Loreti, Jane Hillston
2016 C conf
On the Power of Attribute-Based Communication.
FORTE
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
2016 J jnl
On the Power of Attribute-based Communication.
CoRR
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
2016 — ed.
Proceedings of the 16th Italian Conference on Theoretical Computer Science, ICTCS 2015, Firenze, Italy, September 9-11, 2015
ICTCS
Pierluigi Crescenzi, Michele Loreti
2016 — ed.
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016.
FORECAST@STAF
Maurice H. ter Beek, Michele Loreti
2016 — conf
Programming of CAS Systems by Relying on Attribute-Based Communication.
ISoLA (1)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
2016 — conf
Spatial Logic and Spatial Model Checking for Closure Spaces.
SFM
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
2016 — ed.
Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers
TGC
Pierre Ganty, Michele Loreti
2016 — conf
jSSTL - A Tool to Monitor Spatio-Temporal Properties.
VALUETOOLS
Laura Nenzi, Luca Bortolussi, Michele Loreti
2015 C conf
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields.
COORDINATION
Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari
2015 Misc conf
A calculus for attribute-based communication.
SAC
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo
2015 — conf
An Experimental Spatio-Temporal Model Checker.
SEFM Workshops
Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink
2015 — conf
CARMA: Collective Adaptive Resource-sharing Markovian Agents.
QAPL
Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
2015 J jnl
CaSPiS: a calculus of sessions, pipelines and services.
Math. Struct. Comput. Sci.
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
2015 J jnl
Editorial for the Special Issue on Open Problems in Concurrency Theory.
J. Log. Algebraic Methods Program.
Marco Bernardo, Daniel Gebler, Michele Loreti
2015 C conf
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems.
COORDINATION
Diego Latella, Michele Loreti, Mieke Massink
2015 Misc conf
Monitoring and visualizing adaptation of autonomic systems at runtime.
SAC
Dhaminda B. Abeywickrama, Nikola B. Serbedzija, Michele Loreti
2015 — conf
On StocS: A Stochastic Extension of SCEL.
Software, Services, and Systems
Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
2015 — conf
On-the-fly Fluid Model Checking via Discrete Time Population Models.
EPEW
Diego Latella, Michele Loreti, Mieke Massink
2015 J jnl
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination.
Sci. Comput. Program.
Diego Latella, Michele Loreti, Mieke Massink
2015 — conf
Preface.
ICTCS
Pierluigi Crescenzi, Michele Loreti
2015 B conf
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties.
RV
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
2015 J jnl
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes.
Acta Informatica
Marco Bernardo, Rocco De Nicola, Michele Loreti
2015 — ch.
The SCEL Language: Design, Implementation, Verification.
The ASCENS Approach
Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin
2015 — ch.
Tools for Ensemble Design and Runtime.
The ASCENS Approach
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
2014 J jnl
A Formal Approach to Autonomic Systems Programming: The SCEL Language.
ACM Trans. Auton. Adapt. Syst.
Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi
2014 — conf
Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data.
SASO Workshops
Vincenzo Ciancia, Stephen Gilmore, Diego Latella, Michele Loreti, Mieke Massink
2014 — conf
On Programming and Policing Autonomic Computing Systems.
ISoLA (1)
Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
2014 — conf
On-the-fly Probabilistic Model Checking.
ICE
Diego Latella, Michele Loreti, Mieke Massink
2014 — conf
Programming and Verifying Component Ensembles.
FPS@ETAPS
Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi
2014 J jnl
Relating strong behavioral equivalences for processes with nondeterminism and probabilities.
Theor. Comput. Sci.
Marco Bernardo, Rocco De Nicola, Michele Loreti
2014 J jnl
Report on OPCT 2014.
Bull. EATCS
Marco Bernardo, Daniel Gebler, Michele Loreti
2014 J jnl
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.
Log. Methods Comput. Sci.
Marco Bernardo, Rocco De Nicola, Michele Loreti
2014 — conf
Specification and Analysis of Open-Ended Systems with CARMA.
E4MAS
Jane Hillston, Michele Loreti
2014 J jnl
Specifying and Verifying Properties of Space - Extended Version.
CoRR
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
2014 — conf
Specifying and Verifying Properties of Space.
IFIP TCS
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
2014 — conf
Stochastically timed predicate-based communication primitives for autonomic computing.
QAPL
Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
2013 J jnl
A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities"
CoRR
Marco Bernardo, Rocco De Nicola, Michele Loreti
2013 J jnl
A uniform definition of stochastic process calculi.
ACM Comput. Surv.
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2013 J jnl
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences.
Inf. Comput.
Marco Bernardo, Rocco De Nicola, Michele Loreti
2013 — conf
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations.
TGC
Marco Bernardo, Rocco De Nicola, Michele Loreti
2013 — conf
On-the-fly Fast Mean-Field Model-Checking.
TGC
Diego Latella, Michele Loreti, Mieke Massink
2013 J jnl
On-the-fly Fast Mean-Field Model-Checking: Extended Version.
CoRR
Diego Latella, Michele Loreti, Mieke Massink
2013 — conf
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes.
QAPL
Marco Bernardo, Rocco De Nicola, Michele Loreti
2012 Misc conf
Modeling adaptation with a tuple-based coordination language.
SAC
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi
2012 B conf
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.
FoSSaCS
Marco Bernardo, Rocco De Nicola, Michele Loreti
2012 C conf
Towards a Formal Verification Methodology for Collective Robotic Systems.
ICFEM
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo
2011 — conf
A Language-Based Approach to Autonomic Computing.
FMCO
Rocco De Nicola, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese
2011 — ch.
Analysing Robot Movement Using the Sensoria Methods.
Results of the SENSORIA Project
Maurice H. ter Beek, Alessandro Lapadula, Michele Loreti, Claudio Palasciano
2011 — conf
Context Aware Specification and Verification of Distributed Systems.
TGC
Liliana D'Errico, Michele Loreti
2011 — ch.
Quantitative Analysis of Services.
Results of the SENSORIA Project
Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo
2011 — ch.
SoSL: A Service-Oriented Stochastic Logic.
Results of the SENSORIA Project
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2011 — conf
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
PACO
Marco Bernardo, Rocco De Nicola, Michele Loreti
2010 — conf
Property-Preserving Refinement of Concurrent Systems.
TGC
Liliana D'Errico, Michele Loreti
2010 C conf
Simulation and Analysis of Distributed Systems in Klaim.
COORDINATION
Francesco Calzolai, Michele Loreti
2010 — conf
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes.
TGC
Marco Bernardo, Rocco De Nicola, Michele Loreti
2009 — conf
A process Algebra Approach to Fuzzy Reasoning.
IFSA/EUSFLAT Conf.
Liliana D'Errico, Michele Loreti
2009 C conf
Assume-Guarantee Verification of Concurrent Systems.
COORDINATION
Liliana D'Errico, Michele Loreti
2009 C conf
On a Uniform Framework for the Definition of Stochastic Process Languages.
FMICS
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2009 — conf
Rate-Based Transition Systems for Stochastic Process Calculi.
ICALP (2)
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2008 — conf
A Fluid Flow Approach to Usability Analysis of Multi-user Systems.
TAMODIA/HCSE
Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti
2008 — conf
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces.
TGC
Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
2008 C conf
Implementing Session Centered Calculi.
COORDINATION
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
2008 — conf
MarCaSPiS: a Markovian Extension of a Calculus for Services.
SOS@ICALP
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2008 J jnl
Multiple-Labelled Transition Systems for nominal calculi and their logics.
Math. Struct. Comput. Sci.
Rocco De Nicola, Michele Loreti
2008 — conf
Provably Correct Implementations of Services.
TGC
Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina
2008 — conf
Sessions and Pipelines for Structured Service Programming.
FMOODS
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
2008 J jnl
TAPAs: A Tool for the Analysis of Process Algebras.
Trans. Petri Nets Other Model. Concurr.
Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi
2007 — conf
Design of a Password-Based EAP Method.
ICETE (Selected Papers)
Andrea Manganaro, Mingyur Koblensky, Michele Loreti
2007 — conf
Design of a Password-based Authentication Method for Wireless Networks.
WINSYS
Andrea Manganaro, Mingyur Koblensky, Michele Loreti
2007 J jnl
Model checking mobile stochastic logic.
Theor. Comput. Sci.
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink
2007 — conf
Modeling Fuzzy Behaviours in Concurrent Systems.
ICTCS
Liliana D'Errico, Michele Loreti
2006 B conf
Assessing CS1 java skills: a three-year experience.
ITiCSE
Pilu Crescenzi, Michele Loreti, Rosario Pugliese
2006 J jnl
Implementing Mobile and Distributed Applications in X-Klaim.
Scalable Comput. Pract. Exp.
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
2006 — conf
Implementing a Distributed Mobile Calculus Using the IMC Framework.
CoOrg/MTCoord@COORDINATION
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti
2006 — conf
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi.
LMCS
Rocco De Nicola, Michele Loreti
2006 — conf
SCC: A Service Centered Calculus.
WS-FM
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
2005 C conf
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing.
DAIS
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti
2004 J jnl
A modal logic for mobile agents.
ACM Trans. Comput. Log.
Rocco De Nicola, Michele Loreti
2004 B conf
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses.
ICALT
Lorenzo Bettini, Pilu Crescenzi, Gaia Innocenti, Michele Loreti, Leonardo Cecchi
2004 J jnl
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming.
Autom. Softw. Eng.
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
2004 — conf
MoMo: A Modal Logic for Reasoning About Mobility.
FMCO
Rocco De Nicola, Michele Loreti
2003 — conf
The Klaim Project: Theory and Practice.
Global Computing
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian-Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
2002 — conf
AGILE: Software Architecture for Mobility.
WADT
Luís 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
2002 Misc conf
An infrastructure language for open nets.
SAC
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
2002 C conf
Formalizing Properties of Mobile Agent Systems.
COORDINATION
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
2002 Misc conf
Software update via mobile agent based programming.
SAC
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
2001 — conf
Hyperformulae, Parallel Deductions and Intersection Types.
BOTH
Beatrice Capitani, Michele Loreti, Betti Venneri
2001 — conf
Modelling Node Connectivity in Dynamically Evolving Networks.
ConCoord
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
2000 — conf
A Modal Logic for KLAIM.
AMAST
Rocco De Nicola, Michele Loreti
2000 — conf
Structured Nets in KLAIM.
SAC (1)
Lorenzo Bettini, Michele Loreti, Rosario Pugliese