Lorenzo Matteucci

According to our database, Lorenzo Matteucci authored at least 2 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Synthesis Tool Suite for Large Stochastic Model.

Lorenzo Matteucci, Michela Quadrini, Michele Loreti

Proceedings of the Performance Evaluation Methodologies and Tools, 2024

2022

Sibilla: A Tool for Reasoning about Collective Systems.

Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti

Proceedings of the Coordination Models and Languages, 2022