BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mover:Sergio

Contributed to:

TACAS 20152015
CAV 20142014
TACAS 20142014
CAV 20112011
CIAA 20102010
ASE 20092009
CAV (1) 20162016
ECOOP 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.