Goran Frehse

Cited by

	All	Since 2020
Citations	4790	1810
h-index	28	18
i10-index	49	32

420

210

105

315

200420052006200720082009201020112012201320142015201620172018201920202021202220232024202515 27 68 91 124 123 136 173 182 209 208 272 334 283 328 324 314 312 414 373 353 43

Public access

View all

23 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Rajarshi RayIndian Association for the Cultivation of Science, KolkataVerified email at iacs.res.in
Alexandre DonzeDecyphirVerified email at decyphir.com
Colas Le GuernicINRIA (external collaborator)Verified email at inria.fr
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityVerified email at newcastle.ac.uk
Antoine GirardSenior Researcher, L2S, CNRSVerified email at l2s.centralesupelec.fr
Marcelo Alejandro Forets IrurtiaUniversidad de la RepúblicaVerified email at utec.edu.uy
Thao DangCNRS Research Director, Laboratory VERIMAG, Grenoble, FranceVerified email at imag.fr
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Matthias AlthoffAssociate Professor in Computer Science, Technische Universität MünchenVerified email at in.tum.de
Olivier LebeltelEngineer CNRS / Grenoble university & Verimag LabVerified email at imag.fr
Christian SchillingAssociate Professor at Aalborg UniversityVerified email at cs.aau.dk
Bruce H. KroghProfessor of Electrical and Computer Engineering, Carnegie Mellon UniversityVerified email at ece.cmu.edu
Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Xin ChenUniversity of New MexicoVerified email at unm.edu
Stefano MinopoliCollins Aerospace - Applied Research and TechnologyVerified email at collins.com
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Rob A. RutenbarProfessor of Computer Science and Electrical and Computer Engineering, University of PittsburghVerified email at pitt.edu
Mirco GiacobbeUniversity of BirminghamVerified email at bham.ac.uk

Goran Frehse

Professor of Computer Science, ENSTA Paris

Verified email at ensta-paris.fr - Homepage

hybrid systems modelling verification reachability set-based simulation


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	1236	2011
PHAVer: algorithmic verification of hybrid systems past HyTech G Frehse International Journal on Software Tools for Technology Transfer (STTT) 10 (3 …, 2008	1007	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	261	2021
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	159	2019
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	154	2006
Modelling, analysis, and design of hybrid systems S Engell, G Frehse, E Schnieder Springer Verlag, 2002	138	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	130	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	123	2008
Verification of hybrid systems L Doyen, G Frehse, GJ Pappas, A Platzer Handbook of Model Checking, 1047-1110, 2018	98	2018
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	97	2014
Flowpipe approximation and clustering in space-time G Frehse, R Kateja, C Le Guernic Proceedings of the 16th international conference on Hybrid systems …, 2013	90	2013
Compositional Verification of Hybrid Systems Using Simulation Relations G Frehse Radboud University Nijmegen, 2005	76	2005
SL2SX translator: from Simulink to SpaceEx models S Minopoli, G Frehse Proceedings of the 19th International Conference on Hybrid Systems …, 2016	69	2016
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	65	2014
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	60	2018
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	59	2004
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	52	2020
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	51	2015
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	50	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	49	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors