Leonardo Picchiami

Joined

January 2023

Names

Leonardo Picchiami (Preferred)

Emails

****@di.uniroma1.it (Confirmed)

Personal Links

Career & Education History

PhD student

University of Roma "La Sapienza" (uniroma1.it)

2021 – 2024

Advisors, Relations & Conflicts

PhD Advisor

Enrico Tronci

2021 – 2024

Expertise

Statistical Model Checking

2021 – 2024

Publications

Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures
Toni Mancini, Leonardo Picchiami, Maxime Parmentier, Axel Legay, Enrico Tronci
- The Journal of Systems and Software, Elsevier
- Readers: Everyone
Simulation-Based Design of Industry-Size Control Systems with Formal Quality Guarantees
Toni Mancini, Marco Esposito, Leonardo Picchiami, Enrico Tronci, Alberto Leva
- IEEE Transactions on Industrial Informatics
- Readers: Everyone

Co-Authors