Folgen
Stefano Tonetta
Titel
Zitiert von
Zitiert von
Jahr
The nuXmv Symbolic Model Checker
R Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, A Micheli, S Mover, ...
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
6682014
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
1622013
IC3 modulo theories via implicit predicate abstraction
A Cimatti, A Griggio, S Mover, S Tonetta
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
1402014
A property-based proof system for contract-based design
A Cimatti, S Tonetta
2012 38th Euromicro Conference on Software Engineering and Advanced …, 2012
1122012
Contracts-refinement proof system for component-based embedded systems
A Cimatti, S Tonetta
Science of computer programming 97, 333-348, 2015
1032015
“more deterministic” vs.“smaller” Büchi automata for efficient LTL model checking
R Sebastiani, S Tonetta
Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced …, 2003
972003
HyComp: An SMT-Based Model Checker for Hybrid Systems
A Cimatti, A Griggio, S Mover, S Tonetta
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
902015
Formal design and safety analysis of AIR6110 wheel brake system
M Bozzano, A Cimatti, A Fernandes Pires, D Jones, G Kimberly, T Petri, ...
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
792015
Requirements validation for hybrid systems
A Cimatti, M Roveri, S Tonetta
International Conference on Computer Aided Verification, 188-203, 2009
772009
Loop summarization using abstract transformers
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
International Symposium on Automated Technology for Verification and …, 2008
742008
Parameter synthesis with IC3
A Cimatti, A Griggio, S Mover, S Tonetta
2013 Formal Methods in Computer-Aided Design, 165-168, 2013
692013
Infinite-state invariant checking with IC3 and predicate abstraction
A Cimatti, A Griggio, S Mover, S Tonetta
Formal Methods in System Design 49, 190-218, 2016
642016
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
632013
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking
R Sebastiani, S Tonetta, MY Vardi
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
582005
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, ...
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
502010
Model checking at scale: Automated air traffic control design space exploration
M Gario, A Cimatti, C Mattarei, S Tonetta, KY Rozier
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
492016
Abstract model checking without computing the abstraction
S Tonetta
International Symposium on Formal Methods, 89-105, 2009
492009
Boolean abstraction for temporal logic satisfiability
A Cimatti, M Roveri, V Schuppan, S Tonetta
International Conference on Computer Aided Verification, 532-546, 2007
492007
From system specification to anomaly detection (and back)
D Fauri, DR dos Santos, E Costante, J den Hartog, S Etalle, S Tonetta
Proceedings of the 2017 workshop on cyber-physical systems security and …, 2017
442017
Safety assessment of AltaRica models via symbolic model checking
M Bozzano, A Cimatti, O Lisagor, C Mattarei, S Mover, M Roveri, ...
Science of Computer Programming 98, 464-483, 2015
432015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20