Goran Frehse - Google Scholar

Cited by

	All	Since 2015
Citations	3064	1696
h-index	21	19
i10-index	34	28

360

180

270

2004200520062007200820092010201120122013201420152016201720182019202015 24 67 84 122 120 131 172 181 198 202 276 320 278 330 347 144

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 BogomolovLecturer / Assistant Professor, 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
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
Marcelo Alejandro Forets IrurtiaUniversidad de la RepúblicaVerified email at utec.edu.uy
Xin ChenUniversity of DaytonVerified email at udayton.edu
Stefan SchuppPostDoc at RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Matthias AlthoffAssociate Professor in Computer Science, Technische Universität MünchenVerified email at in.tum.de
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Christian SchillingIST AustriaVerified email at ist.ac.at
Rob A. RutenbarProfessor of Computer Science and Electrical and Computer Engineering, University of PittsburghVerified email at pitt.edu
Stefano MinopoliUnited Technologies Research CenterVerified email at utrc.utc.com
Martin WehrleVerified email at informatik.uni-freiburg.de
Nikolaos KekatosUniversity Grenoble Alpes, VERIMAG Laboratory, Grenoble, FranceVerified email at univ-grenoble-alpes.fr

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
PHAVer: algorithmic verification of hybrid systems past HyTech G Frehse International Journal on Software Tools for Technology Transfer (STTT) 10 (3 …, 2008	861	2008
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	853	2011
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	114	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	112	2006
Modelling, analysis, and design of hybrid systems S Engell, G Frehse, E Schnieder Springer Verlag, 2002	111	2002
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	108	2008
Flowpipe approximation and clustering in space-time G Frehse, R Kateja, C Le Guernic Proceedings of the 16th international conference on Hybrid systems …, 2013	65	2013
Compositional Verification of Hybrid Systems Using Simulation Relations G Frehse Radboud University Nijmegen, 2005	65	2005
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	61	2014
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	48	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	47	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 Symposium, 408-414, 2015	40	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	40	2006
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
Verification of hybrid systems L Doyen, G Frehse, GJ Pappas, A Platzer Handbook of Model Checking, 1047-1110, 2018	33	2018
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	29	2016
SL2SX translator: from Simulink to SpaceEx models S Minopoli, G Frehse Proceedings of the 19th International Conference on Hybrid Systems …, 2016	29	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
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	24	2018
Abstraction-based guided search for hybrid systems S Bogomolov, A Donzé, G Frehse, R Grosu, TT Johnson, H Ladan, ... International SPIN Workshop on Model Checking of Software, 117-134, 2013	24	2013

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

Upload PDF

Follow this author

Cited by

Co-authors