Tonetta, Stefano
Tonetta, Stefano
Informatica e Telecomunicazioni (cess.31/12/07)
'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
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
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.
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems
2021-01-01 Mover, Sergio; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Tonetta, Stefano
Infinite-state invariant checking with IC3 and predicate abstraction
2016-01-01 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations
2016-01-01 Jakub, Daniel; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio