Sergio Mover
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
12
Active years
2010–2024
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICLR | Reconciling Spatial and Temporal Abstractions for Goal Representation. | Mehdi Zadem, Sergio Mover, Sao Mai Nguyen |
| 2023 | DSN | SMT-Based Stability Verification of an Industrial Switched PI Control Systems. | Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta, Vassilios A. Tsachouridis |
| 2021 | CAV | Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems. | Sergio Mover, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Stefano Tonetta |
| 2019 | ECOOP | Lifestate: Event-Driven Protocols and Callback Control Flow. | Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang |
| 2018 | FMCAD | Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks. | Roberto Cavada, Alessandro Cimatti, Sergio Mover, Mirko Sessa, Giuseppe Cadavero, Giuseppe Scaglione |
| 2018 | ICSE | DroidStar: callback typestates for Android classes. | Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cern |
| 2017 | FMCAD | SMT-based analysis of switching multi-domain linear Kirchhoff networks. | Alessandro Cimatti, Sergio Mover, Mirko Sessa |
| 2016 | CAV | Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. | Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover |
| 2016 | FM | From Electrical Switched Networks to Hybrid Automata. | Alessandro Cimatti, Sergio Mover, Mirko Sessa |
| 2015 | ATVA | Formal Verification of Infinite-State BIP Models. | Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang |
| 2015 | TACAS | HyComp: An SMT-Based Model Checker for Hybrid Systems. | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
| 2014 | CAV | The nuXmv Symbolic Model Checker. | Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta |
| 2014 | CAV | Verifying LTL Properties of Hybrid Systems with K-Liveness. | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
| 2014 | TACAS | IC3 Modulo Theories via Implicit Predicate Abstraction. | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
| 2013 | EMSOFT | Time-aware relational abstractions for hybrid systems. | Sergio Mover, Alessandro Cimatti, Ashish Tiwari, Stefano Tonetta |
| 2013 | FMCAD | Parameter synthesis with IC3. | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
| 2012 | AAAI | SMT-Based Verification of Hybrid Systems. | Alessandro Cimatti, Sergio Mover, Stefano Tonetta |
| 2012 | FMCAD | A quantifier-free SMT encoding of non-linear hybrid automata. | Alessandro Cimatti, Sergio Mover, Stefano Tonetta |
| 2011 | CAV | Efficient Scenario Verification for Hybrid Automata. | Alessandro Cimatti, Sergio Mover, Stefano Tonetta |
| 2011 | FMCAD | Proving and explaining the unfeasibility of message sequence charts for hybrid systems. | Alessandro Cimatti, Sergio Mover, Stefano Tonetta |
| 2010 | FORTE | Model Checking of Hybrid Systems Using Shallow Synchronization. | Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta |