Goran Frehse
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Benchmarking XAI Explanations with Human-Aligned Evaluations. | Rmi Kazmierczak, Steve Azzolin, Elose Berthier, Anna Hedstrm, Patricia Delhomme, David Filliat, Nicolas Bousquet, Goran Frehse, Massimiliano Mancini, Baptiste Caramiaux, Andrea Passerini, Gianni Franchi |
| 2024 | ICLR | On Double Descent in Reinforcement Learning with LSTD and Random Features. | David Brellmann, Elose Berthier, David Filliat, Goran Frehse |
| 2018 | CAV | Space-Time Interpolants. | Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger |
| 2017 | TACAS | Counterexample-Guided Refinement of Template Polyhedra. | Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger |
| 2016 | MEMOCODE | Formal feature analysis of hybrid automata. | Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse |
| 2015 | EMSOFT | Reachability of hybrid systems in space-time. | Goran Frehse |
| 2014 | RTSS | Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. | Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Woehrle |
| 2012 | CAV | A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. | Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle |
| 2011 | CAV | SpaceEx: Scalable Verification of Hybrid Systems. | Goran Frehse, Colas Le Guernic, Alexandre Donz, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler |
| 2006 | DATE | Verifying analog oscillator circuits using forward/backward abstraction refinement. | Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar |