Tonetta, Stefano

Tonetta, Stefano  

Mostra records
Risultati 1 - 20 di 43 (tempo di esecuzione: 0.062 secondi).
Titolo Anno di pubblicazione Autori Unitn File
'More deterministic' vs. 'Smaller' Buechi Automata for Efficient LTL Model Checking 1-gen-2003 Sebastiani, RobertoTonetta, Stefano
Assumption-Based Runtime Verification of Infinite-State Systems 1-gen-2021 Cimatti, AlessandroTian, ChunTonetta, Stefano
Assumption-based Runtime Verification with Partial Observability and Resets 1-gen-2019 Cimatti, AlessandroTian, ChunTonetta, Stefano
Asynchronous Composition of Local Interface LTL Properties 1-gen-2022 Alberto BombardelliStefano Tonetta
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 1-gen-2023 Srajan GoyalAlberto GriggioStefano Tonetta +
Boolean Abstraction for Temporal Logic Satisfiability 1-gen-2007 Roveri, MarcoTonetta, Stefano +
Certifying Proofs for LTL Model Checking 1-gen-2018 Alberto GriggioMarco RoveriStefano Tonetta
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 1-gen-2019 Cimatti, AlessandroGriggio, AlbertoMagnago, EnricoRoveri, MarcoTonetta, Stefano
Formalization and validation of a subset of the European Train Control System 1-gen-2010 Alessandro CimattiMarco RoveriAngelo SusiStefano Tonetta +
Formalization and Validation of Safety-Critical Requirements 1-gen-2010 Alessandro CimattiMarco RoveriAngelo SusiStefano Tonetta
Formalizing requirements with object models and temporal constraints 1-gen-2011 Roveri, MarcoTonetta, Stefano +
From Informal Requirements to Property-Driven Formal Validation 1-gen-2008 Alessandro CimattiMarco RoveriAngelo SusiStefano Tonetta
From PSL to NBA: a Modular Symbolic Encoding 1-gen-2006 Alessandro CimattiMarco RoveriStefano Tonetta +
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 1-gen-2011 Alessandro CimattiSergio MoverMarco RoveriStefano Tonetta
GSTE is Partitioned Model Checking 1-gen-2004 Sebastiani, RobertoTonetta, Stefano +
GSTE is partitioned Model Checking 1-gen-2007 Sebastiani, RobertoTonetta, Stefano +
GSTE is partitioned model checking 1-gen-2004 Sebastiani, RobertoTonetta, Stefano +
HRELTL: A temporal logic for hybrid systems 1-gen-2015 Cimatti AlessandroRoveri MarcoTonetta Stefano
HYCOMP - an SMT-based model checker for hybrid systems 1-gen-2015 Cimatti A.Griggio A.Mover S.Tonetta S.
IC3 Modulo Theories via Implicit Predicate Abstraction 1-gen-2014 A. CimattiA. GriggioS. MoverS. Tonetta