Goran Frehse

Set Propagation Techniques for Reachability Analysis

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

Reachability Analysis, Engineering, Reachability Problem +14

PHAVer: algorithmic verification of hybrid systems past HyTech

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

Engineering, Mechanical Verification, Verification +7

Recent progress in continuous and hybrid reachability analysis

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

Mathematical Programming, Engineering, Reachability Problem +17

Verifying analog oscillator circuits using forward/backward abstraction refinement

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

Analog Oscillator Circuits, Forward Reachability, Engineering +15

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

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

Real-time Control, Engineering, Real-time System Design +27