Goran Frehse

Goran Frehse

École Nationale Supérieure de Techniques Avancées - Palaiseau / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 1660753
National Graduate School for Advanced Technologies
person_outline Goran Frehse's MOST POPULAR ARTICLES
1-) SpaceEx: Scalable verification of hybrid systemsG Frehse, C Le Guernic, A Donzé, S Cotton, R Ray, O Lebeltel, R Ripado, ...Computer Aided Verification, 379-395, 201110632011
2-) PHAVer: algorithmic verification of hybrid systems past HyTechG FrehseInternational Journal on Software Tools for Technology Transfer (STTT) 10 (3 …, 20089492008
3-) Set propagation techniques for reachability analysisM Althoff, G Frehse, A GirardAnnual Review of Control, Robotics, and Autonomous Systems 4, 369-395, 20211442021
4-) Recent progress in continuous and hybrid reachability analysisE Asarin, T Dang, G Frehse, A Girard, C Le Guernic, O Maler2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE …, 20061502006
5-) JuliaReach: a toolbox for set-based reachabilityS Bogomolov, M Forets, G Frehse, K Potomkin, C SchillingProceedings of the 22nd ACM International Conference on Hybrid Systems …, 20191452019