עקוב אחר
Goran Frehse
Goran Frehse
Professor of Computer Science, ENSTA Paris
כתובת אימייל מאומתת בדומיין ensta-paris.fr - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
12302011
PHAVer: algorithmic verification of hybrid systems past HyTech‏
G Frehse‏
International Journal on Software Tools for Technology Transfer (STTT) 10 (3 …, 2008‏
10062008
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‏
2542021
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‏
1582019
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‏
1542006
Modelling, analysis, and design of hybrid systems‏
S Engell, G Frehse, E Schnieder‏
Springer Verlag, 2002‏
1382002
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‏
1302006
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‏
1232008
Verification of hybrid systems‏
L Doyen, G Frehse, GJ Pappas, A Platzer‏
Handbook of Model Checking, 1047-1110, 2018‏
962018
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‏
962014
Flowpipe approximation and clustering in space-time‏
G Frehse, R Kateja, C Le Guernic‏
Proceedings of the 16th international conference on Hybrid systems …, 2013‏
902013
Compositional Verification of Hybrid Systems Using Simulation Relations‏
G Frehse‏
Radboud University Nijmegen, 2005‏
762005
SL2SX translator: from Simulink to SpaceEx models‏
S Minopoli, G Frehse‏
Proceedings of the 19th International Conference on Hybrid Systems …, 2016‏
672016
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‏
652014
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‏
602018
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‏
592004
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‏
522020
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‏
512015
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‏
502015
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‏
492016
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20