My key scientific contributions are in the area of formal abstractions for distributed systems where, in the past years, I have developed formal frameworks based on choreographic approaches. In this area, I have contributed fundamental results in the directions listed below:
- Design-by-contract for message passing systems
- Bottom-up approaches
- Abstract semantics model
- Choreographic support to local-first software
Some papers (full list at ) |
- with Carlos G. Lopez Pombo and Agustín E. Martinez Suñé.
A tool implementing the stuff published at ICTAC 2023MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems
Submitted.
Available here
- with Carlos G. Lopez Pombo and Agustín E. Martinez Suñé.
Using choreographies to analyse QoS of communicating systemsA Dynamic Temporal Logic for Quality of Service in Choreographic Models
ICTAC 2023 (in print).
Available here
- with Hernán Melgratti and Roland Kuhn.
The title says it all.Behavioural Types for Local-First Software
ECOOP 2023 (an extended version is at https://doi.org/10.48550/arXiv.2305.04848).
Available here
- with Ivan Lanese and Franco Barbanera.
The extended version of our Coordination 2022 paperA Theory of Formal Choreographic Languages
LMCS 19(3) 2023.
Available here
- with Ivan Lanese and Franco Barbanera.
The extended version of our ICE 2022 paperComposition of Synchronous Communicating Systems
JLAMP 135:1000890 2023.
Available here
- More stuff here
|
|
Editorial boards
Edited volumes:
|
- Christian Bartolo Burlo’ (current student)
Co-supervised with A. Francalanza
- Alex Coto (viva held in February 2024)
Co-supervised with R. Guanciale
- Emerson Sales (current student)
Co-supervised with Omar Inverso
- Hao Zeng (viva held in December 2019)
Co-supervised with A. Kurz
- Yi Xiao (viva held in December 2019)
Co-supervised with A. Kurz
- Julien Lange (viva held in October 2013)
- Kyriakos Poyias (viva held in November 2013)
- Hyder Ali Nizamani (viva held in July 2011)
- Qurat Ul Ain Nizamani (viva held in July 2011)
- Daniele Strollo (viva held in June 2009)
Co-supervised with G. Ferrari
Suggested readings for MSc/PhD students |
- Alfred Tarski. Introduction to logic and to the methodology of deductive sciences. OUP.
- Graham Priest. Logic: A Very Short Introduction. OUP.
- Douglas R. Hofstadter. Gödel, Escher, Bach: An Eternal Golden Braid. Basic Books 1999 (First published in 1979).
- Strunk & White. The Elements of Style. Allyn & Bacon (1999)
|
|
- International Conference on Coordination Models and Languages
(COORDINATION,
01/06/2019 — to-date)
- Interaction and Concurrency Experience
(ICE 2008,
01/07/2008 — 19/07/2019)
|
- ECOOP 2024 (ECOOP24,
16/09/2024 — 20/09/2024)
- First International Workshop on Formal Methods for Business Process Management (FM-BPM,
11/09/2023 — 11/09/2023)
- 25nd International Conference on Coordination Models and Languages (COORDINATION 2023,
19/06/2023 — 23/06/2023)
- 19th International Conference on Formal Aspects of Component Software (FACS2023,
19/10/2023 — 23/10/2023)
- 14th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software (PLACES23,
22/04/2023 — 22/04/2023)
- FM2023 (FM2023,
6/03/2023 — 10/03/2023)
- 23rd Italian Conference on Theoretical Computer Science (ICTCS2022,
7/09/2022 — 9/09/2022)
- 18th International Conference on Formal Aspects of Component Software (FACS2022,
10/09/2022 — 11/09/2022)
- 24nd International Conference on Coordination Models and Languages (COORDINATION 2022,
13/06/2022 — 17/06/2022)
- International Workshop on Model-Driven Engineering for Software Architecture (MDE4SA2021,
15/5/2020 — 17/09/2021)
|
I have been the internal examiner of more than 5 PhD students at the University of Leicester and I have been the external examiner or on the evaluation committees of the following viva:
- Duncan Paul Attard Runtime Monitoring for Asynchronous Reactive Components, University of Malta (Malta)
(18/04/2023, of the committee)
- Aline Uwimbabazi Automated Replication of Tuple Spaces via Static Analysis and Transformation of Go Programs, Gran Sasso Science Institute (L’Aquila, Italy)
(7/09/2022, chair of the committee)
- Tala Najem Emerging Computing Models, Software Architectures and Intelligent Systems, University of L’Aquila (Italy)
(pending, of the committee)
- Carlo Taticchi Handling Dynamic Aspects of Argumentation, Gran Sasso Science Institute (L’Aquila, Italy)
(19/4/2021, member of the committee)
- Lorenzo Pagliari Performance Engineering of Cyber-Physical Systems, Gran Sasso Science Institute (L’Aquila, Italy)
(16/11/2020, chair of the committee)
- Luca Di Stefano Modelling and Analysis of Multi-Agent Systems via Sequential Emulation, Gran Sasso Science Institute (L’Aquila, Italy)
(13/10/2020, chair of the committee)
- Ahmed Abdelsalam Service Function Chaining with Segment Routing, Gran Sasso Science Institute (L’Aquila, Italy)
(22/9/2020, chair of the committee)
- Teerath Das Investigating Performance Issues in Mobile Apps, Gran Sasso Science Institute (L’Aquila, Italy)
(11/5/2020, chair of the committee)
- Joseph Richard Harrison Robust Communications in Erlang, University of Kent
(May 2020, of the committee)
- Ignacio Vissani Formal aspects of a service oriented execution model, Universidad de Buenos Aires
(July 2018, of the committee)
- Vitaly Buralev Improving the efficiency of tuple spaces, IMT Lucca
(June 2018, of the committee)
- Amala Vijaya Selvi Rajan Formal Semantics for LIPS (Language for Implementing Parallel/distributed Systems), Middlesex University
(May 2009, of the committee)
- Massimiliano Masi On Authentication and Authorisation Issues in E-Health Systems, Universita’ degli Studi di Firenze
(May 2012, of the committee)
- Ashley McNeil Protocol Modelling - Synchronous Composition of Data and Behaviour, Birkberk University
(June 2016, of the committee)
|