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 × Russia
1 × USA
1 × United Kingdom
Collaborated with:
O.Maler T.Ferrère T.Dang A.S.Adimoolam J.Kapinski X.Jin G.Frehse C.L.Guernic S.Cotton R.Ray O.Lebeltel R.Ripado A.Girard
Talks about:
system (3) hybrid (2) verif (2) synthesi (1) toolbox (1) scalabl (1) paramet (1) monitor (1) coverag (1) control (1)

Person: Alexandre Donzé

DBLP DBLP: Donz=eacute=:Alexandre

Contributed to:

CAV 20132013
CAV 20112011
CAV 20102010
CAV (1) 20172017

Wrote 4 papers:

CAV-2013-DonzeFM #monitoring #performance #robust
Efficient Robust Monitoring for STL (AD, TF, OM), pp. 264–279.
CAV-2011-FrehseGDCRLRGDM #hybrid #named #scalability #verification
SpaceEx: Scalable Verification of Hybrid Systems (GF, CLG, AD, SC, RR, OL, RR, AG, TD, OM), pp. 379–395.
CAV-2010-Donze #hybrid #parametricity #synthesis #verification
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems (AD), pp. 167–170.
CAV-2017-AdimoolamDDKJ #classification #embedded
Classification and Coverage-Based Falsification for Embedded Control Systems (ASA, TD, AD, JK, XJ), pp. 483–503.

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.