|
Contact |
Associate 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 |
|
-
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 |
|
|
|
|