Tonetta, Stefano

Tonetta, Stefano  

Informatica e Telecomunicazioni (cess.31/12/07)  

Mostra records
Risultati 1 - 20 di 38 (tempo di esecuzione: 0.031 secondi).
Titolo Anno di pubblicazione Autori Unitn File
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
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-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
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 1-gen-2021 Alessandro CimattiAlberto GriggioStefano Tonetta +
Infinite-state invariant checking with IC3 and predicate abstraction 1-gen-2016 Cimatti, AlessandroGriggio, AlbertoMover, SergioTonetta, Stefano
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 1-gen-2016 Cimatti, AlessandroGriggio, AlbertoTonetta, StefanoMover, Sergio +
Model Checking and Safety Assessment of Altarica models 1-gen-2011 A. CimattiC. MattareiS. MoverM. RoveriS. Tonetta +