Travelled to:1 × Austria
1 × Canada
1 × France
1 × New Zealand
1 × USA
1 × United Kingdom
Collaborated with:A.Cimatti S.Tonetta A.Griggio M.Roveri Shawn Meier B.E.Chang R.Cavada A.Mariotti A.Micheli J.Daniel M.Dorigatti C.Mattarei M.Pensallorto A.Susi
Talks about:hybrid (3) implicit (2) abstract (2) checker (2) system (2) symbol (2) model (2) live (2) sequenti (1) scenario (1)
Person: Sergio Mover
DBLP: Mover:Sergio
Contributed to:
2015
201420142011
2010
20092016
2019Wrote 9 papers:
- TACAS-2015-CimattiGMT #hybrid #model checking #named #smt
- HyComp: An SMT-Based Model Checker for Hybrid Systems (AC, AG, SM, ST), pp. 52–67.
- CAV-2014-CavadaCDGMMMRT #model checking
- The nuXmv Symbolic Model Checker (RC, AC, MD, AG, AM, AM, SM, MR, ST), pp. 334–342.
- CAV-2014-CimattiGMT #hybrid #ltl #verification
- Verifying LTL Properties of Hybrid Systems with K-Liveness (AC, AG, SM, ST), pp. 424–440.
- TACAS-2014-CimattiGMT #abstraction #modulo theories
- IC3 Modulo Theories via Implicit Predicate Abstraction (AC, AG, SM, ST), pp. 46–61.
- CAV-2011-CimattiMT #automaton #hybrid #performance #verification
- Efficient Scenario Verification for Hybrid Automata (AC, SM, ST), pp. 317–332.
- CIAA-2010-CimattiMRT #automaton #nondeterminism #regular expression
- From Sequential Extended Regular Expressions to NFA with Symbolic Labels (AC, SM, MR, ST), pp. 87–94.
- ASE-2009-CavadaCMMMMPRST #requirements #validation
- Supporting Requirements Validation: The EuRailCheck Tool (RC, AC, AM, CM, AM, SM, MP, MR, AS, ST), pp. 665–667.
- CAV-2016-DanielCGTM #abstraction #infinity
- Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations (JD, AC, AG, ST, SM), pp. 271–291.
- ECOOP-2019-MeierMC #control flow #named #protocol
- Lifestate: Event-Driven Protocols and Callback Control Flow (SM, SM, BYEC), p. 29.