Concepedia

Goran Frehse

GF

Statistics

Publications

24

Citations

1.2K

H-Index

18

Active since

2004

Affiliations

Université Grenoble Alpes(Current)

Technical University of Munich

École Nationale Supérieure de Techniques Avancées

Carnegie Mellon University

Goran Frehse is an author at Université Grenoble Alpes specializing in computer science, computing, and model checking.

Publications per year

2004–2025

24

Publications

24

Set Propagation Techniques for Reachability Analysis

Matthias Althoff, Goran Frehse, Antoine Girard · Annual Review of Control Robotics and Autonomous Systems · 2020 · 252 citations · Full text

Natural Sciences, Systems Engineering, Dynamical Systems +16

PHAVer: algorithmic verification of hybrid systems past HyTech

Goran Frehse · International Journal on Software Tools for Technology Transfer · 2008 · 233 citations

Computing, Computer Engineering, Computer Science +14

Recent progress in continuous and hybrid reachability analysis

Eugène Asarin, Thao Dang, Goran Frehse et al. · 2006 · 107 citations

Computing, Computer Science, Systems Engineering +17

Verifying analog oscillator circuits using forward/backward abstraction refinement

Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar · 2006 · 84 citations

Computing, Computer Science, Electrical Engineering +16

Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software

Goran Frehse, Arne Hamann, Sophie Quinton et al. · 2014 · 69 citations

Engineering, Computer Science, Systems Engineering +17

1–5 of 24