Stefano Tonetta
Titolo
Citata da
Citata da
Anno
The nuXmv symbolic model checker
R Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, A Micheli, S Mover, ...
International Conference on Computer Aided Verification, 334-342, 2014
3662014
OCRA: A tool for checking the refinement of temporal contracts
A Cimatti, M Dorigatti, S Tonetta
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
1002013
IC3 modulo theories via implicit predicate abstraction
A Cimatti, A Griggio, S Mover, S Tonetta
International Conference on Tools and Algorithms for the Construction and …, 2014
932014
“more deterministic” vs.“smaller” Büchi automata for efficient LTL model checking
R Sebastiani, S Tonetta
Advanced Research Working Conference on Correct Hardware Design and …, 2003
932003
A property-based proof system for contract-based design
A Cimatti, S Tonetta
2012 38th Euromicro Conference on Software Engineering and Advanced …, 2012
862012
Contracts-refinement proof system for component-based embedded systems
A Cimatti, S Tonetta
Science of computer programming 97, 333-348, 2015
652015
Requirements validation for hybrid systems
A Cimatti, M Roveri, S Tonetta
International Conference on Computer Aided Verification, 188-203, 2009
622009
HyComp: An SMT-Based Model Checker for Hybrid Systems
A Cimatti, A Griggio, S Mover, S Tonetta
International Conference on Tools and Algorithms for the Construction and …, 2015
582015
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking
R Sebastiani, S Tonetta, MY Vardi
International Conference on Computer Aided Verification, 350-363, 2005
572005
Parameter synthesis with IC3
A Cimatti, A Griggio, S Mover, S Tonetta
2013 Formal Methods in Computer-Aided Design, 165-168, 2013
542013
Loop summarization using abstract transformers
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
International Symposium on Automated Technology for Verification and …, 2008
522008
Formal design and safety analysis of AIR6110 wheel brake system
M Bozzano, A Cimatti, AF Pires, D Jones, G Kimberly, T Petri, R Robinson, ...
International Conference on Computer Aided Verification, 518-535, 2015
502015
Boolean abstraction for temporal logic satisfiability
A Cimatti, M Roveri, V Schuppan, S Tonetta
International Conference on Computer Aided Verification, 532-546, 2007
432007
Validation of requirements for hybrid systems: A formal approach
A Cimatti, M Roveri, A Susi, S Tonetta
ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (4), 1-34, 2013
422013
Formalization and validation of a subset of the European Train Control System
A Chiappini, A Cimatti, L Macchi, O Rebollo, M Roveri, A Susi, S Tonetta, ...
2010 ACM/IEEE 32nd International Conference on Software Engineering 2, 109-118, 2010
382010
From PSL to NBA: a modular symbolic encoding
A Cimatti, M Roveri, S Semprini, S Tonetta
2006 Formal Methods in Computer Aided Design, 125-133, 2006
372006
SMT-Based Verification of Hybrid Systems.
A Cimatti, S Mover, S Tonetta
AAAI, 2012
292012
Abstract model checking without computing the abstraction
S Tonetta
International Symposium on Formal Methods, 89-105, 2009
292009
Hydi: A language for symbolic hybrid systems with discrete interaction
A Cimatti, S Mover, S Tonetta
2011 37th EUROMICRO Conference on Software Engineering and Advanced …, 2011
282011
Formalizing requirements with object models and temporal constraints
A Cimatti, M Roveri, A Susi, S Tonetta
Software & Systems Modeling 10 (2), 147-160, 2011
282011
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20