| 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 | 1082 | 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 | 616 | 2010 |
| Breach, a toolbox for verification and parameter synthesis of hybrid systems. A Donzé CAV 10, 167-170, 2010 | 503 | 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 | 351 | 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 | 279 | 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 | 260 | 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 | 253 | 2018 |
| Efficient robust monitoring for STL A Donzé, T Ferrere, O Maler Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 232 | 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 | 223 | 2019 |
| Systematic simulation using sensitivity analysis A Donzé, O Maler Hybrid Systems: Computation and Control: 10th International Workshop, HSCC …, 2007 | 211 | 2007 |
| Parametric identification of temporal properties E Asarin, A Donzé, O Maler, D Nickovic Runtime Verification: Second International Conference, RV 2011, San …, 2012 | 170 | 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 | 165 | 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 | 164 | 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 | 159 | 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 | 103 | 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 | 102 | 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 | 76 | 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 | 74 | 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 | 65 | 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 | 57 | 2009 |
