Sergio Mover

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