Sergio Mover

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 29

Top Venues

CoRR

Formal Methods Syst. Des.

TACAS

CAV

University of Trento, Italy (PHD)

Education History

University of Trento, Italy

PHD

Publications

Mehdi Zadem, Sergio Mover, Sao Mai Nguyen
Reconciling Spatial and Temporal Abstractions for Goal Representation. ICLR (2024)
Mehdi Zadem, Sergio Mover, Sao Mai Nguyen
Reconciling Spatial and Temporal Abstractions for Goal Representation. CoRR (2024)
Mehdi Zadem, Sergio Mover, Sao Mai Nguyen
Goal Space Abstraction in Hierarchical Reinforcement Learning via Set-Based Reachability Analysis. CoRR (2023)
Mehdi Zadem, Sergio Mover, Sao Mai Nguyen
Goal Space Abstraction in Hierarchical Reinforcement Learning via Reachability Analysis. CoRR (2023)
Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta, Vassilios A. Tsachouridis
SMT-Based Stability Verification of an Industrial Switched PI Control Systems. DSN-W (2023)
Mehdi Zadem, Sergio Mover, Sao Mai Nguyen
Goal Space Abstraction in Hierarchical Reinforcement Learning via Set-Based Reachability Analysis. ICDL (2023)
Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang
Historia: Refuting Callback Reachability with Message-History Logics. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang
Historia: Refuting Callback Reachability with Message-History Logics (Extended Version). CoRR (2023)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Marco Roveri, Stefano Tonetta
Verification modulo theories. Formal Methods Syst. Des. 60 (3) (2022)
Sergio Mover, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Stefano Tonetta
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems. CAV (1) (2021)
Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang
Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact). Dagstuhl Artifacts Ser. 5 (2) (2019)
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta, Enea Zaffanella
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek (2019)
Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang
Lifestate: Event-Driven Protocols and Callback Control Flow. ECOOP (2019)
Sriram Sankaranarayanan, Souradeep Dutta, Sergio Mover
Reaching Out Towards Fully Verified Autonomous Systems. RP (2019)
Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang
Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version). CoRR (2019)
Sergio Mover, Sriram Sankaranarayanan, Rhys Braginton Pettee Olsen, Bor-Yuh Evan Chang
Mining framework usage graphs from app corpora. SANER (2018)
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný
DroidStar: callback typestates for Android classes. ICSE (2018)
Roberto Cavada, Alessandro Cimatti, Sergio Mover, Mirko Sessa, Giuseppe Cadavero, Giuseppe Scaglione
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks. FMCAD (2018)
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný
Learning Asynchronous Typestates for Android Classes. CoRR (2017)
Alessandro Cimatti, Sergio Mover, Mirko Sessa
SMT-based analysis of switching multi-domain linear Kirchhoff networks. FMCAD (2017)
Shawn Meier, Aleksandar Chakarov, Maxwell Russek, Sergio Mover, Bor-Yuh Evan Chang
Abstracting Event-Driven Systems with Lifestate Rules. CoRR (2017)
Xin Chen, Sergio Mover, Sriram Sankaranarayanan
Compositional Relational Abstraction for Nonlinear Hybrid Systems. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
Infinite-state invariant checking with IC3 and predicate abstraction. Formal Methods Syst. Des. 49 (3) (2016)
Alessandro Cimatti, Sergio Mover, Mirko Sessa
From Electrical Switched Networks to Hybrid Automata. FM (2016)
Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. CAV (1) (2016)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
HyComp: An SMT-Based Model Checker for Hybrid Systems. TACAS (2015)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
Parameter Synthesis with IC3 (Informal Presentation). SynCoP (2015)
Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang
Formal Verification of Infinite-State BIP Models. ATVA (2015)
Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta
Safety assessment of AltaRica models via symbolic model checking. Sci. Comput. Program. 98 (2015)
Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta
The nuXmv Symbolic Model Checker. CAV (2014)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
IC3 Modulo Theories via Implicit Predicate Abstraction. TACAS (2014)
Alessandro Cimatti, Sergio Mover, Stefano Tonetta
Quantifier-free encoding of invariants for hybrid systems. Formal Methods Syst. Des. 45 (2) (2014)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
Verifying LTL Properties of Hybrid Systems with K-Liveness. CAV (2014)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
IC3 Modulo Theories via Implicit Predicate Abstraction. CoRR (2013)
Alessandro Cimatti, Sergio Mover, Stefano Tonetta
SMT-based scenario verification for hybrid systems. Formal Methods Syst. Des. 42 (1) (2013)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
Parameter synthesis with IC3. FMCAD (2013)
Sergio Mover, Alessandro Cimatti, Ashish Tiwari, Stefano Tonetta
Time-aware relational abstractions for hybrid systems. EMSOFT (2013)
Alessandro Cimatti, Sergio Mover, Stefano Tonetta
SMT-Based Verification of Hybrid Systems. AAAI (2012)
Alessandro Cimatti, Sergio Mover, Stefano Tonetta
A quantifier-free SMT encoding of non-linear hybrid automata. FMCAD (2012)
Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta
Symbolic Model Checking and Safety Assessment of Altarica models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Alessandro Cimatti, Sergio Mover, Stefano Tonetta
Efficient Scenario Verification for Hybrid Automata. CAV (2011)
Alessandro Cimatti, Sergio Mover, Stefano Tonetta
Proving and explaining the unfeasibility of message sequence charts for hybrid systems. FMCAD (2011)
Alessandro Cimatti, Sergio Mover, Stefano Tonetta
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction. EUROMICRO-SEAA (2011)
Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta
Model Checking of Hybrid Systems Using Shallow Synchronization. FMOODS/FORTE (2010)
Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta
From Sequential Extended Regular Expressions to NFA with Symbolic Labels. CIAA (2010)
Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta
Supporting Requirements Validation: The EuRailCheck Tool. ASE (2009)

Sergio Mover.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sergio Mover