|
|
| Contact |
|---|
Professor
GSSI
67100 L'Aquila (Italy)
 Viale Rendina, 28 Room P2-16
Office Hours: always keen to meet; just drop me an email to fix a meeting.
 email ['.'/'dot']
 +39 0862 428 0312
|
|
| Recent talks (full list here) |
Highlights |
- EMW 2026
 A talk at the ETAPS Mentoring Workshop about mentor - mentee relationship. April 11, 2026
- WACA 2025
 A talk about how to use our SEArch platform for architectural adaptation.. June 20, 2025
- FORTE 2025
 A tutorial on recent work on formal models of smart contracts. June 16, 2025
- COORDINATION 2025
 A platform for dynamic service composition based on contracts featuring (non-)functional and behavioural.. June 17, 2025
|
- BehAPI GSSI is almost in :)
- ChorGram One of my favourtie hobbies
- CIRC Clément Aubert new project on concurrency in reversible computing
- Formal Methods Europe Site about FM in Europe
- GSSI seminars I’m organising the seminars at GSSI: contact me if you are interested to give a talk
|
| Recent stuff |
Projects |
Tools |
- with Elvis Konjoh Selabi, Maurizio Murgia, and Antonio RavaraA coordination approach to distributed systems inspired by smart contractsData-aware coordination
- with Philipp Haller, Ayman Hussein, Hernán Melgratti, and Alceste ScalasAfter some discussion at Dagstuhl seminar n. 21372, we came up with promising ideas to implement join patternsAn new implementation of join patterns
- with Florian Wayan Aaron Furbach, Roland Kuhn, and Alceste ScalasWe are definition a compositional mechanism for the swarm protocols defined with Hernán and RolandCompositional swarm protocol
- We are using sequentialisation for precise race-detection in C-like programsData Races in C
- with Roland Kuhn and Hernán MelgrattiWe are defining a behavioural typing discipline grounded on local-first principles for P2P networks where peers communicate via event notificationBehavioural types for local-first principles
- with Agustín Martinez Suñé and Carlos Gustavo PomboWe are defining a dynamic logic indexed with choreographies for the analysis of non-functional properties of communicating systemsChoregraphies and QoS
- with Franco Barbanera and Ivan LaneseWe are setting an abstract framework for choreographies based on formal languagesChoregraphic automata and formal languages
- with Alex Coto and Roberto GuancialeModel-driven testing based on choreographies…a first step. We introduce admissible tests and show how to derive them from global specificationsChoregraphy-driven testing
- with Ugo de’Liguoro and Hernán MelgrattiWe want to equip choreographies with refinement mechanisms in order to enhance modular developmentRefinement of choreographies
- with Hernán MelgrattiWe advocate a different nature of behavioural specifications that concern more data- than control-flow of protocolsData-driven behavioural specifications
|
|
|
|
| Events |
Fun & not so fun stuff |
|
|
|
|
| Latest from eM |
|---|
April 29, 2026: I'm on the PC of SEFM 2026
April 29, 2026: SCP paper accepted
April 28, 2026: Corso on Cybersecurity at GSSI by Rocco De Nicola
April 24, 2026: First week of teaching in Pisa gone
April 23, 2026: Invited speaker at ICE!
April 19, 2026: ETAPS & APM over. Preparing for the course in Pisa!
April 11, 2026: Looking forward for the rest of the week!
April 11, 2026: Enjoying ETAPS in Turing!
March 13, 2026: Back to Italy
March 09, 2026: Seminar in a great building for the joint seminar series MISANU & Centre for Mathematics and Statistics FTN, UNS
|
|