Concepedia

Sergio Mover

SM

14

Publications

334

Citations

12

H-Index

2009

Active since

Affiliations

Fondazione Bruno Kessler(Current)

University of Colorado Boulder

University of York

Sergio Mover is an author at Fondazione Bruno Kessler specializing in automated reasoning, formal verification, and engineering.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsFormal VerificationAutomated ReasoningSystems EngineeringComputer EngineeringHybrid SystemsSoftware Analysis

Publications per year

2009–2024

14

Publications

14

Parameter synthesis with IC3

Alessandro Cimatti, Alberto Griggio, Sergio Mover et al. · 2013 · 56 citations

Infinite-state invariant checking with IC3 and predicate abstraction

Alessandro Cimatti, Alberto Griggio, Sergio Mover et al. · Formal Methods in System Design · 2016 · 49 citations

Infinite-state Invariant Checking, Engineering, Automated Reasoning +7

SMT-based scenario verification for hybrid systems

Alessandro Cimatti, Sergio Mover, Stefano Tonetta · Formal Methods in System Design · 2012 · 34 citations

Engineering, Automated Reasoning, System Specification +8

Safety assessment of AltaRica models via symbolic model checking

Marco Bozzano, Alessandro Cimatti, Oleg Lisagor et al. · Science of Computer Programming · 2014 · 29 citations

Reliability Engineering, Engineering, Automated Reasoning +10

HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction

Alessandro Cimatti, Sergio Mover, Stefano Tonetta · 2011 · 25 citations

Engineering, Symbolic Hybrid Systems, Verification +20

Rows per page

1–5 of 14