Michele Loreti

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)

Marco Bernardo, Rocco De Nicola, Michele Loreti: Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. FoSSaCS 2012: 195-209

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

Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi: Modeling adaptation with a tuple-based coordination language. SAC 2012: 1522-1527

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

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

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

Rocco De Nicola, Gian Luigi Ferrari, Michele Loreti, Rosario Pugliese: A Language-Based Approach to Autonomic Computing. FMCO 2011: 25-48

Liliana D'Errico, Michele Loreti: Context Aware Specification and Verification of Distributed Systems. TGC 2011: 142-159

Marco Bernardo, Rocco De Nicola, Michele Loreti: Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi. PACO 2011: 66-75

Francesco Calzolai, Michele Loreti: Simulation and Analysis of Distributed Systems in Klaim. COORDINATION 2010: 122-136

Marco Bernardo, Rocco De Nicola, Michele Loreti: Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. TGC 2010: 35-56

Liliana D'Errico, Michele Loreti: Property-Preserving Refinement of Concurrent Systems. TGC 2010: 222-236

Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: MarCaSPiS: a Markovian Extension of a Calculus for Services. Electr. Notes Theor. Comput. Sci. 229(4): 11-26 (2009)

Liliana D'Errico, Michele Loreti: Assume-Guarantee Verification of Concurrent Systems. COORDINATION 2009: 288-305

Liliana D'Errico, Michele Loreti: A process Algebra Approach to Fuzzy Reasoning. IFSA/EUSFLAT Conf. 2009: 1136-1141

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

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

Rocco De Nicola, Michele Loreti: Multiple-Labelled Transition Systems for nominal calculi and their logics. Mathematical Structures in Computer Science 18(1): 107-143 (2008)

Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi: TAPAs: A Tool for the Analysis of Process Algebras. T. Petri Nets and Other Models of Concurrency 1: 54-70 (2008)

Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Implementing Session Centered Calculi. COORDINATION 2008: 17-32

Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti: Sessions and Pipelines for Structured Service Programming. FMOODS 2008: 19-38

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

Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro: Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68

Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina: Provably Correct Implementations of Services. TGC 2008: 69-86

Rocco De Nicola, Michele Loreti: Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. Electr. Notes Theor. Comput. Sci. 169: 133-146 (2007)

Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti: Implementing a Distributed Mobile Calculus Using the IMC Framework. Electr. Notes Theor. Comput. Sci. 181: 63-79 (2007)

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)

Liliana D'Errico, Michele Loreti: Modeling Fuzzy Behaviours in Concurrent Systems. ICTCS 2007: 94-105

Andrea Manganaro, Mingyur Koblensky, Michele Loreti: Design of a Password-based Authentication Method for Wireless Networks. WINSYS 2007: 9-16

Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Implementing Mobile and Distributed Applications in X-Klaim. Scalable Computing: Practice and Experience 7(4) (2006)

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

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

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

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)

Rocco De Nicola, Michele Loreti: A modal logic for mobile agents. ACM Trans. Comput. Log. 5(1): 79-128 (2004)

Rocco De Nicola, Michele Loreti: MoMo: A Modal Logic for Reasoning About Mobility. FMCO 2004: 95-119

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: 0-

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

Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Formalizing Properties of Mobile Agent Systems. COORDINATION 2002: 72-87

Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Software update via mobile agent based programming. SAC 2002: 32-36

Lorenzo Bettini, Michele Loreti, Rosario Pugliese: An infrastructure language for open nets. SAC 2002: 373-377

Luis Filipe 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: AGILE: Software Architecture for Mobility. WADT 2002: 1-33

Beatrice Capitani, Michele Loreti, Betti Venneri: Hyperformulae, Parallel Deductions and Intersection Types. Electr. Notes Theor. Comput. Sci. 50(2): 178-195 (2001)

Lorenzo Bettini, Michele Loreti, Rosario Pugliese: Modelling Node Connectivity in Dynamically Evolving Networks. Electr. Notes Theor. Comput. Sci. 54: 81-91 (2001)

Rocco De Nicola, Michele Loreti: A Modal Logic for KLAIM. AMAST 2000: 339-354

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