Tonetta, Stefano
Tonetta, Stefano
'More deterministic' vs. 'Smaller' Buechi Automata for Efficient LTL Model Checking
2003-01-01 Sebastiani, Roberto; Tonetta, Stefano
Assumption-Based Runtime Verification of Infinite-State Systems
2021-01-01 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
Assumption-based Runtime Verification with Partial Observability and Resets
2019-01-01 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
Asynchronous Composition of Local Interface LTL Properties
2022-01-01 Bombardelli, Alberto; Tonetta, Stefano
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems
2023-01-01 Goyal, Srajan; Griggio, Alberto; Kimblad, Jacob; Tonetta, Stefano
Boolean Abstraction for Temporal Logic Satisfiability
2007-01-01 Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tonetta, Stefano
Certifying Proofs for LTL Model Checking
2018-01-01 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties
2019-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano
Formalization and validation of a subset of the European Train Control System
2010-01-01 Chiappini, Angelo; Cimatti, Alessandro; Macchi, Luca; Rebollo, Oscar; Roveri, Marco; Susi, Angelo; Tonetta, Stefano; Vittorini, Berardino
Formalization and Validation of Safety-Critical Requirements
2010-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Formalizing requirements with object models and temporal constraints
2011-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
From Informal Requirements to Property-Driven Formal Validation
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
From PSL to NBA: a Modular Symbolic Encoding
2006-01-01 Cimatti, Alessandro; Roveri, Marco; Semprini, Simone; Tonetta, Stefano
From Sequential Extended Regular Expressions to NFA with Symbolic Labels
2011-01-01 Cimatti, Alessandro; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
GSTE is Partitioned Model Checking
2004-01-01 Sebastiani, Roberto; Y. Vardi, Moshe; Singerman, Eli; Tonetta, Stefano
GSTE is partitioned Model Checking
2007-01-01 Sebastiani, Roberto; E., Siengeman; Tonetta, Stefano; M., Vardi
GSTE is partitioned model checking
2004-01-01 Sebastiani, Roberto; E., Singerman; Tonetta, Stefano; M. Y., Vardi
HRELTL: A temporal logic for hybrid systems
2015-01-01 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
HYCOMP - an SMT-based model checker for hybrid systems
2015-01-01 Cimatti, A.; Griggio, A.; Mover, S.; Tonetta, S.
IC3 Modulo Theories via Implicit Predicate Abstraction
2014-01-01 Cimatti, A.; Griggio, A.; Mover, S.; Tonetta, S.