Alexandre Donze
Alexandre Donze
Verified email at
Cited by
Cited by
SpaceEx: Scalable verification of hybrid systems
G Frehse, CL Guernic, A Donzé, S Cotton, R Ray, O Lebeltel, R Ripado, ...
International Conference on Computer Aided Verification, 379-395, 2011
Robust satisfaction of temporal logic over real-valued signals
A Donzé, O Maler
International Conference on Formal Modeling and Analysis of Timed Systems …, 2010
Breach, a toolbox for verification and parameter synthesis of hybrid systems
A Donzé
International Conference on Computer Aided Verification, 167-170, 2010
Model predictive control with signal temporal logic specifications
V Raman, A Donzé, M Maasoumy, RM Murray, A Sangiovanni-Vincentelli, ...
53rd IEEE Conference on Decision and Control, 81-87, 2014
Reactive synthesis from signal temporal logic specifications
V Raman, A Donzé, D Sadigh, RM Murray, SA Seshia
Proceedings of the 18th international conference on hybrid systems …, 2015
Mining requirements from closed-loop control models
X Jin, A Donzé, JV Deshmukh, SA Seshia
Proceedings of the 16th international conference on Hybrid systems …, 2013
Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications
E Bartocci, J Deshmukh, A Donzé, G Fainekos, O Maler, D Ničković, ...
Lectures on Runtime Verification, 135-175, 2018
Efficient robust monitoring for STL
A Donzé, T Ferrere, O Maler
International Conference on Computer Aided Verification, 264-279, 2013
Compositional falsification of cyber-physical systems with machine learning components
T Dreossi, A Donzé, SA Seshia
Journal of Automated Reasoning 63 (4), 1031-1053, 2019
Systematic simulation using sensitivity analysis
A Donzé, O Maler
International Workshop on Hybrid Systems: Computation and Control, 174-189, 2007
Parametric identification of temporal properties
E Asarin, A Donzé, O Maler, D Nickovic
International Conference on Runtime Verification, 147-160, 2011
A contract-based methodology for aircraft electric power system design
P Nuzzo, H Xu, N Ozay, JB Finn, AL Sangiovanni-Vincentelli, RM Murray, ...
IEEE Access 2, 1-25, 2013
Verification of analog and mixed-signal circuits using hybrid system techniques
T Dang, A Donzé, O Maler
International Conference on Formal Methods in Computer-Aided Design, 21-36, 2004
Robust online monitoring of signal temporal logic
JV Deshmukh, A Donzé, S Ghosh, X Jin, G Juniwal, SA Seshia
Formal Methods in System Design 51 (1), 5-30, 2017
Efficient guiding strategies for testing of temporal properties of hybrid systems
T Dreossi, T Dang, A Donzé, J Kapinski, X Jin, JV Deshmukh
NASA Formal Methods Symposium, 127-142, 2015
On temporal logic and signal processing
A Donzé, O Maler, E Bartocci, D Nickovic, R Grosu, S Smolka
International Symposium on Automated Technology for Verification and …, 2012
Robustness analysis and behavior discrimination in enzymatic reaction networks
A Donzé, E Fanchon, LM Gattepaille, O Maler, P Tracqui
PloS one 6 (9), e24246, 2011
Parameter synthesis for hybrid systems with an application to simulink models
A Donzé, B Krogh, A Rajhans
International workshop on hybrid systems: Computation and control, 165-179, 2009
Parameter synthesis in nonlinear dynamical systems: Application to systems biology
A Donzé, G Clermont, CJ Langmead
Journal of Computational Biology 17 (3), 325-336, 2010
Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Δ − Σ Modulator
E Clarke, A Donzé, A Legay
Haifa Verification Conference, 149-163, 2008
The system can't perform the operation now. Try again later.
Articles 1–20