Pubblicazioni

Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems

2023 - IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Mancini, T.; Melatti, I.; Tronci, E.

Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification

2021 - IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Mancini, T.; Melatti, I.; Tronci, E.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma