|
|
| 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 |
|
|
|
| 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 |
|---|
June 25, 2026: My 2 ECOOP 2026 papers published
June 14, 2026: Back from DisCoTec; it's been great as usual.
June 10, 2026: Still fiddling with the presentation of Coordination!
June 10, 2026: Almost ready for the talk @ Coordination
June 09, 2026: Enjoing DisCoTec!
June 06, 2026: I've joined the PC of ECOOP27!
June 06, 2026: Preparing for DisCoTec!
June 06, 2026: Just back from the SSV workshopw in Venice! Really cool!
June 01, 2026: Project submitted
May 16, 2026: Working on a project submission
|
|
