| 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 | 1178 | 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 | 786 | 2010 |
| Breach, a toolbox for verification and parameter synthesis of hybrid systems A Donzé Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 674 | 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 | 474 | 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 | 338 | 2015 |
| 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 | 323 | 2018 |
| Efficient robust monitoring for STL A Donzé, T Ferrere, O Maler Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 285 | 2013 |
| 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 | 277 | 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 | 275 | 2019 |
| Systematic simulation using sensitivity analysis A Donzé, O Maler International Workshop on Hybrid Systems: Computation and Control, 174-189, 2007 | 221 | 2007 |
| 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 | 214 | 2017 |
| Parametric identification of temporal properties E Asarin, A Donzé, O Maler, D Nickovic Runtime Verification: Second International Conference, RV 2011, San …, 2012 | 204 | 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 | 183 | 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 | 169 | 2004 |
| 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 | 124 | 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 | 113 | 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 | 79 | 2011 |
| 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 |
| 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 | 67 | 2009 |
| Diagnosis and repair for synthesis from signal temporal logic specifications S Ghosh, D Sadigh, P Nuzzo, V Raman, A Donzé, ... Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 60 | 2016 |
Oded MalerCNRS-VERIMAG, University of Grenoble在 imag.fr 的电子邮件经过验证
