Alexandre Donze
Alexandre Donze
Verified email at
Cited by
Cited by
SpaceEx: Scalable verification of hybrid systems
G Frehse, C Le Guernic, A Donzé, S Cotton, R Ray, O Lebeltel, R Ripado, ...
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
Robust satisfaction of temporal logic over real-valued signals
A Donzé, O Maler
Formal Modeling and Analysis of Timed Systems: 8th International Conference …, 2010
Breach, a toolbox for verification and parameter synthesis of hybrid systems.
A Donzé
CAV 10, 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: Introductory and Advanced Topics, 135-175, 2018
Efficient robust monitoring for STL
A Donzé, T Ferrere, O Maler
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
Compositional falsification of cyber-physical systems with machine learning components
T Dreossi, A Donzé, SA Seshia
Journal of Automated Reasoning 63, 1031-1053, 2019
Systematic simulation using sensitivity analysis
A Donzé, O Maler
Hybrid Systems: Computation and Control: 10th International Workshop, HSCC …, 2007
Parametric identification of temporal properties
E Asarin, A Donzé, O Maler, D Nickovic
Runtime Verification: Second International Conference, RV 2011, San …, 2012
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
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD …, 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, 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: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015
On temporal logic and signal processing
A Donzé, O Maler, E Bartocci, D Nickovic, R Grosu, S Smolka
Automated Technology for Verification and Analysis: 10th International …, 2012
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
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
Hybrid Systems: Computation and Control: 12th International Conference, HSCC …, 2009
Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Δ − Σ Modulator
E Clarke, A Donzé, A Legay
Hardware and Software: Verification and Testing: 4th International Haifa …, 2009
The system can't perform the operation now. Try again later.
Articles 1–20