Goran Frehse

Cited by

	All	Since 2019
Citations	4698	2048
h-index	27	19
i10-index	49	36

420

210

105

315

20042005200620072008200920102011201220132014201520162017201820192020202120222023202415 27 68 91 124 122 132 171 182 208 201 273 320 296 333 329 307 308 410 388 303

Public access

View all

25 articles

1 article

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
Matthias AlthoffAssociate Professor in Computer Science, Technische Universität MünchenVerified email at in.tum.de
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
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
Xin ChenUniversity of New MexicoVerified email at unm.edu
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Stefano MinopoliCollins Aerospace - Applied Research and TechnologyVerified email at collins.com
Mirco GiacobbeUniversity of BirminghamVerified email at bham.ac.uk
Stanley BakStony Brook UniversityVerified email at stonybrook.edu
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov

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	1216	2011
PHAVer: algorithmic verification of hybrid systems past HyTech G Frehse International Journal on Software Tools for Technology Transfer (STTT) 10 (3 …, 2008	998	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	240	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	154	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	153	2006
Modelling, analysis, and design of hybrid systems S Engell, G Frehse, E Schnieder Springer Verlag, 2002	135	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	121	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	94	2014
Verification of hybrid systems L Doyen, G Frehse, GJ Pappas, A Platzer Handbook of Model Checking, 1047-1110, 2018	92	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	92	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
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	65	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	64	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	58	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	50	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	50	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	49	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	48	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