Sergio Mover
Sergio Mover
Assistant Professor of Computer Science, École Polytechnique
Email verificata su polytechnique.edu - Home page
TitoloCitata daAnno
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
2762014
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
732014
Parameter synthesis with IC3
A Cimatti, A Griggio, S Mover, S Tonetta
2013 Formal Methods in Computer-Aided Design, 165-168, 2013
432013
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
422015
SMT-based scenario verification for hybrid systems
A Cimatti, S Mover, S Tonetta
Formal Methods in System Design 42 (1), 46-66, 2013
262013
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
262011
SMT-based verification of hybrid systems
A Cimatti, S Mover, S Tonetta
Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
242012
Formal verification of infinite-state BIP models
S Bliudze, A Cimatti, M Jaber, S Mover, M Roveri, W Saab, Q Wang
International Symposium on Automated Technology for Verification and …, 2015
232015
Verifying LTL Properties of Hybrid Systems with K-Liveness
A Cimatti, A Griggio, S Mover, S Tonetta
International Conference on Computer Aided Verification, 424-440, 2014
212014
Time-aware relational abstractions for hybrid systems
S Mover, A Cimatti, A Tiwari, S Tonetta
Proceedings of the Eleventh ACM International Conference on Embedded …, 2013
202013
Model checking of hybrid systems using shallow synchronization
L Bu, A Cimatti, X Li, S Mover, S Tonetta
Formal Techniques for Distributed Systems, 155-169, 2010
202010
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
192015
Symbolic model checking and safety assessment of altarica models
M Bozzano, A Cimatti, O Lisagor, C Mattarei, S Mover, M Roveri, ...
Electronic Communications of the EASST 46, 2012
192012
Proving and explaining the unfeasibility of message sequence charts for hybrid systems
A Cimatti, S Mover, S Tonetta
Proceedings of the International Conference on Formal Methods in Computer …, 2011
192011
A quantifier-free SMT encoding of non-linear hybrid automata
A Cimatti, S Mover, S Tonetta
2012 Formal Methods in Computer-Aided Design (FMCAD), 187-195, 2012
182012
Supporting requirements validation: the EuRailCheck tool
R Cavada, A Cimatti, A Mariotti, C Mattarei, A Micheli, S Mover, ...
2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009
152009
Infinite-state invariant checking with IC3 and predicate abstraction
A Cimatti, A Griggio, S Mover, S Tonetta
Formal Methods in System Design 49 (3), 190-218, 2016
132016
Efficient scenario verification for hybrid automata
A Cimatti, S Mover, S Tonetta
International Conference on Computer Aided Verification, 317-332, 2011
122011
From electrical switched networks to hybrid automata
A Cimatti, S Mover, M Sessa
International Symposium on Formal Methods, 164-181, 2016
52016
Infinite-state liveness-to-safety via implicit abstraction and well-founded relations
J Daniel, A Cimatti, A Griggio, S Tonetta, S Mover
International Conference on Computer Aided Verification, 271-291, 2016
52016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20