| 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 | 1024 | 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 | 538 | 2010 |
| Breach, a toolbox for verification and parameter synthesis of hybrid systems A Donzé International Conference on Computer Aided Verification, 167-170, 2010 | 471 | 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 | 290 | 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 | 251 | 2015 |
| Mining requirements from closed-loop control models X Jin, A Donzé, JV Deshmukh, SA Seshia IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2015 | 250 | 2015 |
| Efficient robust monitoring for STL A Donzé, T Ferrere, O Maler International Conference on Computer Aided Verification, 264-279, 2013 | 216 | 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 | 214 | 2018 |
| Systematic simulation using sensitivity analysis A Donzé, O Maler International Workshop on Hybrid Systems: Computation and Control, 174-189, 2007 | 204 | 2007 |
| 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 | 195 | 2019 |
| 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 | 157 | 2004 |
| 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 | 156 | 2013 |
| Parametric identification of temporal properties E Asarin, A Donzé, O Maler, D Nickovic International Conference on Runtime Verification, 147-160, 2011 | 156 | 2011 |
| 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 | 138 | 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 | 98 | 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 | 98 | 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 | 72 | 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 | 64 | 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 | 58 | 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 | 57 | 2008 |
