| SpaceEx: Scalable verification of hybrid systems G Frehse, C Le Guernic, A Donzé, S Cotton, R Ray, O Lebeltel, R Ripado, ... Computer Aided Verification, 379-395, 2011 | 1176 | 2011 |
| PHAVer: algorithmic verification of hybrid systems past HyTech G Frehse International Journal on Software Tools for Technology Transfer (STTT) 10 (3 …, 2008 | 983 | 2008 |
| Set propagation techniques for reachability analysis M Althoff, G Frehse, A Girard Annual Review of Control, Robotics, and Autonomous Systems 4 (1), 369-395, 2021 | 208 | 2021 |
| Recent progress in continuous and hybrid reachability analysis E Asarin, T Dang, G Frehse, A Girard, C Le Guernic, O Maler 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE …, 2006 | 148 | 2006 |
| JuliaReach: a toolbox for set-based reachability S Bogomolov, M Forets, G Frehse, K Potomkin, C Schilling Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 132 | 2019 |
| Modelling, analysis, and design of hybrid systems S Engell, G Frehse, E Schnieder Springer Verlag, 2002 | 132 | 2002 |
| Verifying analog oscillator circuits using forward/backward abstraction refinement G Frehse, BH Krogh, RA Rutenbar Proceedings of the Conference on Design, Automation and Test in Europe, 257-262, 2006 | 129 | 2006 |
| A counterexample-guided approach to parameter synthesis for linear hybrid automata G Frehse, SK Jha, BH Krogh Hybrid Systems: Computation and Control: 11th International Workshop, HSCC …, 2008 | 120 | 2008 |
| Formal analysis of timing effects on closed-loop properties of control software G Frehse, A Hamann, S Quinton, M Woehrle 2014 IEEE Real-Time Systems Symposium, 53-62, 2014 | 92 | 2014 |
| Verification of hybrid systems L Doyen, G Frehse, GJ Pappas, A Platzer Handbook of Model Checking, 1047-1110, 2018 | 87 | 2018 |
| Flowpipe approximation and clustering in space-time G Frehse, R Kateja, C Le Guernic Proceedings of the 16th international conference on Hybrid systems …, 2013 | 87 | 2013 |
| Compositional Verification of Hybrid Systems Using Simulation Relations G Frehse Radboud University Nijmegen, 2005 | 74 | 2005 |
| SL2SX translator: from Simulink to SpaceEx models S Minopoli, G Frehse Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 63 | 2016 |
| Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices S Bogomolov, M Forets, G Frehse, F Viry, A Podelski, C Schilling Proceedings of the 21st International Conference on Hybrid Systems …, 2018 | 61 | 2018 |
| Assume-guarantee abstraction refinement meets hybrid systems S Bogomolov, G Frehse, M Greitschus, R Grosu, C Pasareanu, A Podelski, ... Hardware and Software: Verification and Testing: 10th International Haifa …, 2014 | 61 | 2014 |
| Assume-guarantee reasoning for hybrid I/O-automata by over-approximation of continuous interaction G Frehse, Z Han, B Krogh 2004 43rd IEEE Conference on Decision and Control (CDC)(IEEE Cat. No …, 2004 | 57 | 2004 |
| A benchmark suite for hybrid systems reachability analysis X Chen, S Schupp, IB Makhlouf, E Ábrahám, G Frehse, S Kowalewski NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015 | 48 | 2015 |
| Current challenges in the verification of hybrid systems S Schupp, E Ábrahám, X Chen, I Ben Makhlouf, G Frehse, ... Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International …, 2015 | 47 | 2015 |
| Combining zonotopes and support functions for efficient reachability analysis of linear systems M Althoff, G Frehse 2016 IEEE 55th Conference on Decision and Control (CDC), 7439-7446, 2016 | 46 | 2016 |
| Arch-comp 2020 category report: Falsification G Ernst, P Arcaini, I Bennani, A Donze, G Fainekos, G Frehse, L Mathesen, ... EPiC Series in Computing, 2020 | 45 | 2020 |
Rajarshi RayIndian Association for the Cultivation of Science, Kolkata在 iacs.res.in 的电子邮件经过验证
