Pubblicazioni

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.

DeC and ADER: Similarities, Differences and a Unified Framework

2021 - JOURNAL OF SCIENTIFIC COMPUTING
Han Veiga, M; Öffner, P; Torlo, D

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