Papers

A distributed coordination infrastructure for attribute-based interaction
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti,
Formal techniques for distributed objects, components, and systems - 38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, discotec 2018, madrid, spain, june 18-21, 2018, proceedings. Editors Christel Baier, Luìs Caires.
Lecture Notes in Computer Science, Volume 10854, 1-20, 2018.

Statistical model checking of carma models using multivesta: An advanced tutorial
Galpin Vashti, Anastasis Georgoulas, Michele Loreti, Andrea Vandin,
Proceedings of WSC 2018. Volume (to appear), 2018.

Replicated computations results (RCR) report for "mesoscopic modelling of pedestrian movement using carma and its tools"
Michele Loreti,
ACM Trans. Model. Comput. Simul.. Volume 28 (2), 12:1-12:3, 2018.

Spatio-temporal model checking of vehicular movement in public transport systems
Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink,
STTT. Volume 20 (3), 289-311, 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.. Volume 28 (2), 8:1-8:4, 2018.

Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink,
Logical Methods in Computer Science. Volume 14 (4), 2018.

Asynchronous distributed execution of fixpoint-based computational fields
Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari,
Logical Methods in Computer Science. Volume 13 (1), 2017.

FlyFast: A mean field model checker
Diego Latella, Michele Loreti, Mieke Massink,
Tools and algorithms for the construction and analysis of systems - 23rd international conference, TACAS 2017, held as part of the european joint conferences on theory and practice of software, ETAPS 2017, uppsala, sweden, april 22-29, 2017, proceedings, part II. Editors Axel Legay, Tiziana Margaria.
Lecture Notes in Computer Science, Volume 10206, 303-309, 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,
Quantitative evaluation of systems - 14th international conference, QEST 2017, berlin, germany, september 5-7, 2017, proceedings. Editors Nathalie Bertrand, Luca Bortolussi.
Lecture Notes in Computer Science, Volume 10503, 317-332, 2017.

Monitoring mobile and spatially distributed cyber-physical systems
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi,
Proceedings of the 15th ACM-IEEE international conference on formal methods and models for system design, MEMOCODE 2017, vienna, austria, september 29 - october 02, 2017. Editors Jean-Pierre Talpin, Patricia Derler, Klaus Schneider.
Volume , 146-155, 2017.

FlyFast: A scalable approach to probabilistic model-checking based on mean-field approximation
Diego Latella, Michele Loreti, Mieke Massink,
ModelEd, tested, trusted - essays dedicated to ed brinksma on the occasion of his 60th birthday. Editors Joost-Pieter Katoen, Rom Langerak, Arend Rensink.
Lecture Notes in Computer Science, Volume 10500, 254-275, 2017.

Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications
Francesco Chiti, Romano Fantacci, Michele Loreti, Rosario Pugliese,
IEEE Wireless Commun.. Volume 23 (2), 86-92, 2016.

Preface of Proceedings of ICTCS 2015
Pierluigi Crescenzi, Michele Loreti,
Electr. Notes Theor. Comput. Sci.. Volume 322, 1-2, 2016.

Model Checking Spatial Logics for Closure Spaces
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink,
Logical Methods in Computer Science. Volume 12, 2016.

Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers
Pierre Ganty, Michele Loreti,
Editors Pierre Ganty, Michele Loreti.
Lecture Notes in Computer Science, Volume 9533, 2016.

Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST\@STAF 2016, Vienna, Austria, 8 July 2016
Maurice H. ter Beek, Michele Loreti,
Editors Maurice H. ter Beek, Michele Loreti.
EPTCS, Volume 217, 2016.

Spatial Logic and Spatial Model Checking for Closure Spaces
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink,
Formal methods for the quantitative evaluation of collective adaptive systems - 16th international school on formal methods for the design of computer. Editors Marco Bernardo, Rocco De Nicola, Jane Hillston.
Lecture Notes in Computer Science, Volume 9700, 156-201, 2016.

Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools
Michele Loreti, Jane Hillston,
Formal methods for the quantitative evaluation of collective adaptive systems - 16th international school on formal methods for the design of computer. Editors Marco Bernardo, Rocco De Nicola, Jane Hillston.
Lecture Notes in Computer Science, Volume 9700, 83-119, 2016.

CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems
Jane Hillston, Michele Loreti,
Quantitative evaluation of systems - 13th international conference, qest 2016, quebec city, qc, canada, august 23-25, 2016, proceedings. Editors Gul Agha, Benny Van Houdt.
Lecture Notes in Computer Science, Volume 9826, 167-171, 2016.

On the Power of Attribute-Based Communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti,
Formal techniques for distributed objects, components, and systems - 36th ifip wg 6.1 international conference, forte 2016. Editors Elvira Albert, Ivan Lanese.
Lecture Notes in Computer Science, Volume 9688, 1-18, 2016.

Programming of CAS Systems by Relying on Attribute-Based Communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti,
Leveraging applications of formal methods, verification and validation: Foundational techniques - 7th international symposium, isola 2016, imperial, c. Editors Tiziana Margaria, Bernhard Steffen.
Lecture Notes in Computer Science, Volume 9952, 539-553, 2016.

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, Petr Tuma, Andrea Vandin, Emil Vassev,
Software engineering for collective autonomic systems - the ascens approach. Editors Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer.
Lecture Notes in Computer Science, Volume 8998, 429-448, 2015.

The SCEL Language: Design, Implementation, Verification
Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin,
Software engineering for collective autonomic systems - the ascens approach. Editors Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer.
Lecture Notes in Computer Science, Volume 8998, 3-71, 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,
Proceedings thirteenth workshop on quantitative aspects of programming languages and systems, qapl 2015, london, uk, 11th-12th april 2015.. Editors Nathalie Bertrand, Mirco Tribastone.
EPTCS, Volume 194, 16-31, 2015.

An Experimental Spatio-Temporal Model Checker
Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink,
Software engineering and formal methods - sefm 2015 collocated workshops: ATSE, hofm, mokmasd, and very\*SCART, york, uk, september 7-8, 2015, revised. Editors Domenico Bianculli, Radu Calinescu, Bernhard Rumpe.
Lecture Notes in Computer Science, Volume 9509, 297-311, 2015.

Monitoring and visualizing adaptation of autonomic systems at runtime
Dhaminda B. Abeywickrama, Nikola B. Serbedzija, Michele Loreti,
Proceedings of the 30th annual acm symposium on applied computing, salamanca, spain, april 13-17, 2015. Editors Roger L. Wainwright, Juan Manuel Corchado, Alessio Bechini, Jiman Hong.
Volume , 1857-1860, 2015.

A calculus for attribute-based communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo,
Proceedings of the 30th annual acm symposium on applied computing, salamanca, spain, april 13-17, 2015. Editors Roger L. Wainwright, Juan Manuel Corchado, Alessio Bechini, Jiman Hong.
Volume , 1840-1845, 2015.

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink,
Runtime verification - 6th international conference, rv 2015 vienna, austria, september 22-25, 2015. Proceedings. Editors Ezio Bartocci, Rupak Majumdar.
Lecture Notes in Computer Science, Volume 9333, 21-37, 2015.

On-the-fly Fluid Model Checking via Discrete Time Population Models
Diego Latella, Michele Loreti, Mieke Massink,
Computer performance engineering - 12th european workshop, epew 2015, madrid, spain, august 31 - september 1, 2015, proceedings. Editors Marta Beltrán, William J. Knottenbelt, Jeremy T. Bradley.
Lecture Notes in Computer Science, Volume 9272, 193-207, 2015.

A Fixpoint-Based Calculus for Graph-Shaped Computational Fields
Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari,
Coordination models and languages - 17th ifip wg 6.1 international conference, coordination 2015, held as part of the 10th international federated con. Editors Tom Holvoet, Mirko Viroli.
Lecture Notes in Computer Science, Volume 9037, 101-116, 2015.

Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems
Diego Latella, Michele Loreti, Mieke Massink,
Coordination models and languages - 17th ifip wg 6.1 international conference, coordination 2015, held as part of the 10th international federated con. Editors Tom Holvoet, Mirko Viroli.
Lecture Notes in Computer Science, Volume 9037, 19-34, 2015.

On StocS: A Stochastic Extension of SCEL
Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni,
Software, services, and systems - essays dedicated to martin wirsing on the occasion of his retirement from the chair of programming and software engi. Editors Rocco De Nicola, Rolf Hennicker.
Lecture Notes in Computer Science, Volume 8950, 619-640, 2015.

On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination
Diego Latella, Michele Loreti, Mieke Massink,
Sci. Comput. Program.. Volume 110, 23-50, 2015.

CaSPiS: a calculus of sessions, pipelines and services
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti,
Mathematical Structures in Computer Science. Volume 25 (3), 666-709, 2015.

Editorial for the Special Issue on Open Problems in Concurrency Theory
Marco Bernardo, Daniel Gebler, Michele Loreti,
J. Log. Algebr. Meth. Program.. Volume 84 (6), 731, 2015.

Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
Marco Bernardo, Rocco De Nicola, Michele Loreti,
Acta Inf.. Volume 52 (1), 61-106, 2015.

Quantitative Analysis of Distributed Systems in Stoklaim: A Tutorial
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink,
Quantitative assessments of distributed systems. Volume , 27-55, 2015.

On-the-fly Fast Mean-Field Model-Checking
Diego Latella, Michele Loreti, Mieke Massink,
Trustworthy global computing. Editors Martín Abadi, Alberto Lluch Lafuente.
Lecture Notes in Computer Science, Volume , 297-314, 2014.

Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations
Marco Bernardo, Rocco De Nicola, Michele Loreti,
Trustworthy global computing. Editors Martín Abadi, Alberto Lluch Lafuente.
Lecture Notes in Computer Science, Volume , 315-330, 2014.

On-the-fly Probabilistic Model Checking
Diego Latella, Michele Loreti, Mieke Massink,
Proc. Of 7th interaction and concurrency experience. Editors I. Lanese, A. Lluch Lafuente, A. Sokolova, H. Vieira.
Electronic proceedings in theoretical computer science, Volume , To appear., 2014.

Stochastically timed predicate-based communication primitives for autonomic computing
Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni,
Proceedings of 12th quantitative aspects of programming languages and systems (qapl). Editors N. Bertrand, L. Bortolussi.
Electronic proceedings in theoretical computer science, Volume 154, 1-16, 2014.

Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data
Vincenzo Ciancia, Stephen Gilmore, Diego Latella, Michele Loreti, Mieke Massink,
Eighth ieee international conference on self-adaptive and self-organizing systems workshops, sasow 2014, london, united kingdom, september 8-12, 2014. Volume , 32-37, 2014.

On Programming and Policing Autonomic Computing Systems
Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi,
Leveraging applications of formal methods, verification and validation. Technologies for mastering change - 6th international symposium, isola 2014, p. Editors Tiziana Margaria, Bernhard Steffen.
Lecture Notes in Computer Science, Volume 8802, 164-183, 2014.

Programming and Verifying Component Ensembles
Rocco De Nicola, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi, Luch-Lafuente Alberto,
From programs to systems. The systems perspective in computing - etaps workshop, fps 2014, in honor of joseph sifakis.. Editors S. Bensalem, Y. Lakhnech, A. Legay.
Lecture Notes in Computer Science, Volume 8415, 69-83, 2014.

Specifying and Verifying Properties of Space
Diego Latella, Michele Loreti, Mieke Massink, Vincenzo Ciancia,
Theoretical computer science - 8th IFIP TC 1/wg 2.2 international conference, TCS 2014, rome, italy, september 1-3, 2014. Proceed. Editors Josep Dı́az, Ivan Lanese, Davide Sangiorgi.
Lecture Notes in Computer Science, Volume 8705, 222-235, 2014.

Specification and Analysis of Open-Ended Systems with CARMA
Jane Hillston, Michele Loreti,
Agent environments for multi-agent systems iv - 4th international workshop, e4mas 2014 - 10 years later, paris, france, may 6, 2014, revised selected. Editors Danny Weyns, Fabien Michel.
Lecture Notes in Computer Science, Volume 9068, 95-116, 2014.

Relating strong behavioral equivalences for processes with nondeterminism and probabilities
Marco Bernardo, Rocco De Nicola, Michele Loreti,
Theoretical Computer Science. Volume 546, 63-92, 2014.

A formal approach to autonomic systems programming: The SCEL Language
Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi,
ACM Transactions on Autonomous and Adaptive Systems. Volume 9 (2), 7:1-7:29, 2014.

Report on OPCT 2014
Marco Bernardo, Daniel Gebler, Michele Loreti,
Bulletin of the EATCS. Volume 114, 2014.

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
Marco Bernardo, Rocco De Nicola, Michele Loreti,
Logical Methods in Computer Science. Volume 10 (1), 1-16, 2014.

A Language-Based Approach to Autonomic Computing
Rocco De Nicola, Gian Luigi Ferrari, Michele Loreti, Rosario Pugliese,
Formal methods for components and objects, 10th international symposium, fmco 2011. Editors Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue.
Lecture Notes in Computer Science, Volume 7542, 25-48, 2013.

The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
Marco Bernardo, Rocco De Nicola, Michele Loreti,
Proceedings 11th international workshop on quantitative aspects of programming languages and systems, qapl 2013. Editors Luca Bortolussi, Herbert Wiklicky.
Electronic proceedings in theoretical computer science, Volume 117, 81-96, 2013.

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

A uniform definition of stochastic process calculi
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink,
ACM Comput. Surv.. Volume 46 (1), 5:1-5:35, 2013.

A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities"
Marco Bernardo, Rocco De Nicola, Michele Loreti,
CoRR. Volume abs/1305.0, 2013.

On-the-fly Fast Mean-Field Model-Checking: Extended Version
Diego Latella, Michele Loreti, Mieke Massink,
CoRR. Volume abs/1312.3, 2013.

Modeling adaptation with a tuple-based coordination language
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi,
Proceedings of the acm symposium on applied computing, sac 2012. Editors Sascha Ossowski, Paola Lecca.
Volume , 1522-1527, 2012.

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,
Formal methods and software engineering - 14th international conference on formal engineering methods, icfem 2012. Editors Toshiaki Aoki, Kenji Taguchi.
Lecture Notes in Computer Science, Volume 7635, 54-70, 2012.

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
Marco Bernardo, Rocco De Nicola, Michele Loreti,
Foundations of software science and computational structures - 15th international conference, fossacs 2012. Editors Lars Birkedal.
Lecture Notes in Computer Science, Volume 7213, 195-209, 2012.

Analysing Robot Movement Using the Sensoria Methods
Maurice H. ter Beek, Alessandro Lapadula, Michele Loreti, Claudio Palasciano,
Results of the sensoria project. Editors Martin Wirsing, Matthias M. Hölzl.
Lecture Notes in Computer Science, Volume 6582, 678-697, 2011.

Quantitative Analysis of Services
Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo,
Results of the sensoria project. Editors Martin Wirsing, Matthias M. Hölzl.
Lecture Notes in Computer Science, Volume 6582, 522-540, 2011.

SoSL: A Service-Oriented Stochastic Logic
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink,
Results of the sensoria project. Editors Martin Wirsing, Matthias M. Hölzl.
Lecture Notes in Computer Science, Volume 6582, 447-466, 2011.

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
Marco Bernardo, Rocco De Nicola, Michele Loreti,
Proceedings first international workshop on process algebra and coordination, paco 2011. Editors Luca Aceto, Mohammad Reza Mousavi.
Electronic proceedings in theoretical computer science, Volume 60, 66-75, 2011.

Context Aware Specification and Verification of Distributed Systems
Liliana D’Errico, Michele Loreti,
Trustworthy global computing - 6th international symposium, tgc 2011. Editors Roberto Bruni, Vladimiro Sassone.
Lecture Notes in Computer Science, Volume 7173, 142-159, 2011.

Property-Preserving Refinement of Concurrent Systems
Liliana D’Errico, Michele Loreti,
Trustworthly global computing - 5th international symposium, tgc 2010. Editors Martin Wirsing, Martin Hofmann, Axel Rauschmayer.
Lecture Notes in Computer Science, Volume 6084, 222-236, 2010.

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes
Marco Bernardo, Rocco De Nicola, Michele Loreti,
Trustworthly global computing - 5th international symposium, tgc 2010. Editors Martin Wirsing, Martin Hofmann, Axel Rauschmayer.
Lecture Notes in Computer Science, Volume 6084, 35-56, 2010.

Simulation and Analysis of Distributed Systems in Klaim
Francesco Calzolai, Michele Loreti,
Coordination models and languages, 12th international conference, coordination 2010. Editors Dave Clarke, Gul A. Agha.
Lecture Notes in Computer Science, Volume 6116, 122-136, 2010.

Rate-Based Transition Systems for Stochastic Process Calculi
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink,
ICALP (2). Editors Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas.
Lecture Notes in Computer Science, Volume 5556, 435-446, 2009.

On a Uniform Framework for the Definition of Stochastic Process Languages
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink,
Formal methods for industrial critical systems, 14th international workshop, fmics 2009. Editors Mar\ia Alpuente, Byron Cook, Christophe Joubert.
Lecture Notes in Computer Science, Volume 5825, 9-25, 2009.

A process Algebra Approach to Fuzzy Reasoning
Liliana D’Errico, Michele Loreti,
Proceedings of the joint 2009 international fuzzy systems association world congress and 2009 european society of fuzzy logic and technology conferenc. Editors Jo ao Paulo Carvalho, Didier Dubois, Uzay Kaymak, Jo ao Miguel da Costa Sousa.
Volume , 1136-1141, 2009.

Assume-Guarantee Verification of Concurrent Systems
Liliana D’Errico, Michele Loreti,
Coordination models and languages, 11th international conference, coordination 2009. Editors John Field, Vasco Thudichum Vasconcelos.
Lecture Notes in Computer Science, Volume 5521, 288-305, 2009.

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

Provably Correct Implementations of Services
Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina,
Trustworthy global computing, 4th international symposium, tgc 2008. Editors Christos Kaklamanis, Flemming Nielson.
Lecture Notes in Computer Science, Volume 5474, 69-86, 2008.

Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro,
TGC. Editors Christos Kaklamanis, Flemming Nielson.
Lecture Notes in Computer Science, Volume 5474, 52-68, 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,
Engineering interactive systems, second conference on human-centered software engineering, hcse 2008, and 7th international workshop on task models an. Editors Peter Forbrig, Fabio Paternò.
Lecture Notes in Computer Science, Volume 5247, 166-180, 2008.

Sessions and Pipelines for Structured Service Programming
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti,
Formal methods for open object-based distributed systems, 10th ifip wg 6.1 international conference, fmoods 2008. Editors Gilles Barthe, Frank S. de Boer.
Lecture Notes in Computer Science, Volume 5051, 19-38, 2008.

Implementing Session Centered Calculi
Lorenzo Bettini, Rocco De Nicola, Michele Loreti,
Coordination models and languages, 10th international conference, coordination 2008. Editors Doug Lea, Gianluigi Zavattaro.
Lecture Notes in Computer Science, Volume 5052, 17-32, 2008.

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

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

Modelling global computations with Klaim
Rocco De Nicola, Michele Loreti,
Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences. Volume 366 (1881), 3737-3745, 2008.

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

Design of a Password-based Authentication Method for Wireless Networks
Andrea Manganaro, Mingyur Koblensky, Michele Loreti,
WINSYS 2007 - proceedings of the international conference on wireless information networks and systems. Editors Mohammad S. Obaidat, Victor Peral Lecha, Rafael F. S. Caldeirinha.
Volume , 9-16, 2007.

Modeling Fuzzy Behaviours in Concurrent Systems
Liliana D’Errico, Michele Loreti,
Theoretical computer science, 10th italian conference, ictcs 2007. Editors Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura.
Volume , 94-105, 2007.

Model checking mobile stochastic logic
Rocco De Nicola, Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink,
Theor. Comput. Sci.. Volume 382 (1), 42-70, 2007.

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

SCC: A Service Centered Calculus
Michele Boreale, Roberto Bruni, Rocco Caires, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro,
Web services and formal methods, third international workshop ws-fm 2006. Editors Mario Bravetti, Manuel Nú nez, Gianluigi Zavattaro.
Lecture Notes in Computer Science, Volume 4184, 38-57, 2006.

Assessing CS1 java skills: a three-year experience
Pilu Crescenzi, Michele Loreti, Rosario Pugliese,
Proceedings of the 11th annual sigcse conference on innovation and technology in computer science education, iticse 2006. Editors Renzo Davoli, Michael Goldweber, Paola Salomoni.
Volume , 348, 2006.

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

A Flexible and Modular Framework for Implementing Infrastructures for Global Computing
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti,
Distributed applications and interoperable systems, 5th ifip wg 6.1 international conference, dais 2005. Editors Lea Kutvonen, Nancy Alonistioti.
Lecture Notes in Computer Science, Volume 3543, 181-193, 2005.

An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses
Lorenzo Bettini, Pilu Crescenzi, Gaia Innocenti, Michele Loreti, Leonardo Cecchi,
Proceedings of the ieee international conference on advanced learning technologies, icalt 2004. Editors Kinshuk, Kit Looi, Erkki Sutinen, Demetrios G. Sampson, Ignacio Aedo, Lorna Uden, Esko Kähkönen.
Volume , 2004.

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

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

MoMo: A Modal Logic for Reasoning About Mobility
Rocco De Nicola, Michele Loreti,
Formal methods for components and objects, third international symposium, fmco 2004. Editors Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever.
Lecture Notes in Computer Science, Volume 3657, 95-119, 2004.

The Klaim Project: Theory and Practice
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri,
Global computing. Programming environments, languages, security, and analysis of systems, ist/fet international workshop, gc 2003. Editors Corrado Priami.
Volume 2874, 88-150, 2003.

AGILE: Software Architecture for Mobility
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 ao Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki,
Recent trends in algebraic development techniques, 16th international workshop, wadt 2002. Editors Martin Wirsing, Dirk Pattinson, Rolf Hennicker.
Volume 2755, 1-33, 2002.

An infrastructure language for open nets
Lorenzo Bettini, Michele Loreti, Rosario Pugliese,
Proceedings of the 2002 acm symposium on applied computing (sac). Volume , 373-377, 2002.

Software update via mobile agent based programming
Lorenzo Bettini, Rocco De Nicola, Michele Loreti,
Proceedings of the 2002 acm symposium on applied computing (sac). Volume , 32-36, 2002.

Formalizing Properties of Mobile Agent Systems
Lorenzo Bettini, Rocco De Nicola, Michele Loreti,
COORDINATION. Editors Farhad Arbab, Carolyn L. Talcott.
Lecture Notes in Computer Science, Volume 2315, 72-87, 2002.

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

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

Structured Nets in KLAIM
Lorenzo Bettini, Michele Loreti, Rosario Pugliese,
Applied computing 2000, proceedings of the 2000 acm symposium on applied computing. Volume 1, 174-180, 2000.

A Modal Logic for KLAIM
Rocco De Nicola, Michele Loreti,
Algebraic methodology and software technology. 8th international conference, amast 2000. Editors Teodor Rus.
Lecture Notes in Computer Science, Volume 1816, 339-354, 2000.