- 2026-02-18: Our paper “A Compositional Semantics for Reconfigurable Multi-Mode Interaction in R-CHECK” has been accepted for publication in the International Journal of Software Tools for Technology Transfer (STTT).
[Read more]
- 2026-01-30: I have joined the ASQAP 2026 program committee.
[Read more]
- 2025-09-25: I have joined the VMCAI'26 artifact evaluation committee.
[Read more]
- 2025-08-15: On September 15, 2025 I will give a talk on “Full LTL Synthesis over Infinite-state Arenas” at the VASSAL Workshop in Graz, Austria.
[Read more]
- 2025-07-14: My paper “Execution and monitoring of HOA automata with HOAX” has been accepted to RV 2025 (tool track).
[Read more]
- 2025-07-07: I have joined the EMSOFT'25 Artifact Evaluation Committee.
[Read more]
- 2025-06-11: I have joined the RV'25 program committee.
[Read more]
- 2025-05-29: The final preprint of our CAV'25 paper is now available on ArXiv.
[Read more]
- 2025-04-03: Our paper “Full LTL Synthesis over Infinite-state Arenas” has been accepted to CAV 2025.
[Read more]
- 2025-01-28: I have joined the FMICS'25 Program Committee.
[Read more]
- 2024-11-07: On Dec 9, 2024 I will be giving an invited seminar at University of Parma, Italy.
[Read more]
- 2024-09-26: I have joined the ASQAP 2025 program committee.
[Read more]
- 2024-08-06: Omar Inverso confirmed as keynote speaker at FTfJP'24.
[Read more]
- 2024-07-22: I have joined the NSAD 2024 program committee.
[Read more]
- 2024-07-03: Papers “Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification” and “Attributed Point-to-point Communication in R-Check” accepted to ISoLA'24.
[Read more]
- 2024-06-17: Deadline extension for FTfJP'24.
[Read more]
- 2024-04-15: I will chair the FTfJP'24 workshop at ECOOP'24.
[Read more]
- 2024-02-16: From March 2024 I will join the Cyber Physical Systems research unit at TU Wien, Vienna, Austria.
[Read more]
- 2024-01-23: I have joined the FMICS'24 Program Committee.
[Return Home]