Sergio Mover

Cited by

	All	Since 2016
Citations	987	734
h-index	17	11
i10-index	18	13

180

135

2011201220132014201520162017201820192020202111 17 40 65 113 170 125 146 148 130 10

Co-authors

Alessandro CimattiHead of Unit, Fondazione Bruno KesslerVerified email at fbk.eu
Stefano TonettaFondazione Bruno KesslerVerified email at fbk.eu
Alberto GriggioResearcher, Fondazione Bruno KesslerVerified email at fbk.eu
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceVerified email at unitn.it
Andrea MicheliFondazione Bruno KesslerVerified email at fbk.eu
Cristian MattareiApple Inc.Verified email at cs.stanford.edu
Marco BozzanoFondazione Bruno KesslerVerified email at fbk.eu
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
Sriram SankaranarayananAssociate Professor of Computer Science, University of Colorado, BoulderVerified email at colorado.edu
Arjun RadhakrishnaMicrosoftVerified email at microsoft.com
Pavol CernyProfessor, TU WienVerified email at tuwien.ac.at
Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsVerified email at mpi-sws.org
Simon BliudzeComputer Science researcher, INRIA Lille - Nord EuropeVerified email at inria.fr
Wajeb SaabPhD candidate in Computer and Communications Sciences at EPFLVerified email at epfl.ch
Mohamad JaberSoftware Engineer @ GoogleVerified email at google.com
Lei BuNanjing UniversityVerified email at nju.edu.cn
Ashish TiwariComputer Scientist, SRI InternationalVerified email at csl.sri.com
Angelo SusiResearcher, Fondazione Bruno Kessler (FBK), ItalyVerified email at fbk.eu
Xin ChenUniversity of DaytonVerified email at udayton.edu
Aleksandar ChakarovUniversity of Colorado BoulderVerified email at colorado.edu

Sergio Mover

Assistant Professor of Computer Science, École Polytechnique

Verified email at polytechnique.edu - Homepage

Formal Methods Cyber-Physical Systems Program Analysis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	377	2014
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	96	2014
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	61	2015
Parameter synthesis with IC3 A Cimatti, A Griggio, S Mover, S Tonetta 2013 Formal Methods in Computer-Aided Design, 165-168, 2013	54	2013
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	34	2015
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	31	2015
SMT-based verification of hybrid systems A Cimatti, S Mover, S Tonetta Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 2012	29	2012
SMT-based scenario verification for hybrid systems A Cimatti, S Mover, S Tonetta Formal Methods in System Design 42 (1), 46-66, 2013	28	2013
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	28	2011
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	27	2014
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	24	2012
Time-aware relational abstractions for hybrid systems S Mover, A Cimatti, A Tiwari, S Tonetta 2013 Proceedings of the International Conference on Embedded Software …, 2013	22	2013
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	22	2010
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	21	2016
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	21	2012
Proving and explaining the unfeasibility of message sequence charts for hybrid systems A Cimatti, S Mover, S Tonetta 2011 Formal Methods in Computer-Aided Design (FMCAD), 54-62, 2011	19	2011
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	18	2009
Efficient scenario verification for hybrid automata A Cimatti, S Mover, S Tonetta International Conference on Computer Aided Verification, 317-332, 2011	13	2011
nuXmv 2.0 User Manual M Bozzano, R Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, ... Fondazione Bruno Kessler, Tech. Rept., Trento, Italy, 2019	8	2019
DroidStar: callback typestates for Android classes A Radhakrishna, NV Lewchenko, S Meier, S Mover, KC Sripada, ... Proceedings of the 40th International Conference on Software Engineering …, 2018	8	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors