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: Donz=eacute=:Alexandre
Contributed to:
2013201120102017Wrote 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.