|
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 |
|
|
|
Latest from eM |
March 14, 2024: Keep going with Antonio Ravara and Maurizio Murgia on our recent work on data-aware coordination
March 10, 2024: Just finished on intense period working on papers
March 07, 2024: End of the model checking course
March 02, 2024: ICTACT paper invited for the special issue
March 01, 2024: Still enjoing the visit of Antonio Ravara & Carlos Lopez Pombo!
February 16, 2024: Enjoying the visit of Nikos Tzevelekos
February 14, 2024: Alex's graduation!
February 10, 2024: Antonio Ravara & Carlos Lopez Pombo visiting GSSI!
February 06, 2024: Deliverables of my WP submitted!
February 03, 2024: Getting bored on sorting out project deliverables
|
|