Goran Frehse

Cited by

	All	Since 2016
Citations	3401	1728
h-index	22	19
i10-index	40	32

340

170

255

20042005200620072008200920102011201220132014201520162017201820192020202113 25 68 85 124 118 129 176 185 203 205 272 320 293 332 331 296 155

Public access

View all

18 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
Colas Le GuernicINRIA (external collaborator)Verified email at inria.fr
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
Antoine GirardSenior Researcher, L2S, CNRSVerified email at l2s.centralesupelec.fr
Thao DangCNRS Research Director, Laboratory VERIMAG, Grenoble, FranceVerified email at imag.fr
Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityVerified email at newcastle.ac.uk
Olivier LebeltelEngineer CNRS / Grenoble university & Verimag LabVerified email at imag.fr
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Marcelo Alejandro Forets IrurtiaUniversidad de la RepúblicaVerified email at utec.edu.uy
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
Stefan SchuppUniversity Assistant at TU WienVerified email at tuwien.ac.at
Matthias AlthoffAssociate Professor in Computer Science, Technische Universität MünchenVerified email at in.tum.de
Xin ChenUniversity of DaytonVerified email at udayton.edu
Christian SchillingUniversity of KonstanzVerified email at uni-konstanz.de
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Stefano MinopoliRaytheon Technologies Research CenterVerified email at rtx.com
Rob A. RutenbarProfessor of Computer Science and Electrical and Computer Engineering, University of PittsburghVerified email at pitt.edu
Nikolaos KekatosUniversity Grenoble Alpes, VERIMAG Laboratory, Grenoble, FranceVerified email at univ-grenoble-alpes.fr
Martin WehrleVerified email at informatik.uni-freiburg.de

Goran Frehse

Associate 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	951	2011
PHAVer: algorithmic verification of hybrid systems past HyTech G Frehse International Journal on Software Tools for Technology Transfer (STTT) 10 (3 …, 2008	910	2008
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	123	2006
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	118	2006
A counterexample-guided approach to parameter synthesis for linear hybrid automata G Frehse, SK Jha, BH Krogh International Workshop on Hybrid Systems: Computation and Control, 187-200, 2008	112	2008
Modelling, analysis, and design of hybrid systems S Engell, G Frehse, E Schnieder Springer Verlag, 2002	112	2002
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	73	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	71	2013
Compositional Verification of Hybrid Systems Using Simulation Relations G Frehse Radboud University Nijmegen, 2005	67	2005
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	53	2004
Assume-guarantee abstraction refinement meets hybrid systems S Bogomolov, G Frehse, M Greitschus, R Grosu, C Pasareanu, A Podelski, ... Haifa verification conference, 116-131, 2014	51	2014
Verification of hybrid systems L Doyen, G Frehse, GJ Pappas, A Platzer Handbook of Model Checking, 1047-1110, 2018	49	2018
A benchmark suite for hybrid systems reachability analysis X Chen, S Schupp, IB Makhlouf, E Ábrahám, G Frehse, S Kowalewski NASA Formal Methods Symposium, 408-414, 2015	44	2015
Time domain verification of oscillator circuit properties G Frehse, BH Krogh, RA Rutenbar, O Maler Electronic Notes in Theoretical Computer Science 153 (3), 9-22, 2006	41	2006
SL2SX translator: from Simulink to SpaceEx models S Minopoli, G Frehse Proceedings of the 19th International Conference on Hybrid Systems …, 2016	37	2016
Current challenges in the verification of hybrid systems S Schupp, E Ábrahám, X Chen, IB Makhlouf, G Frehse, ... International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2015	36	2015
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	34	2018
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	31	2019
Guided search for hybrid systems based on coarse-grained space abstractions S Bogomolov, A Donzé, G Frehse, R Grosu, TT Johnson, H Ladan, ... International Journal on Software Tools for Technology Transfer 18 (4), 449-467, 2016	31	2016
Flowpipe-Guard Intersection for Reachability Computations with Support Functions G Frehse, R Ray Analysis and Design of Hybrid Systems (ADHS), 94-101, 2012	27	2012

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 this author

Cited by

Co-authors