Time Domain Verification of Oscillator Circuit Properties. - Goran Frehse; Bruce H. Krogh; Rob A. Rutenbar; Oded Maler (FAC, 2005)

Verifying analog oscillator circuits using forward/backward abstraction refinement. - Goran Frehse; Bruce H. Krogh; Rob A. Rutenbar (DATE, 2006)

On Timed Simulation Relations for Hybrid Systems and Compositionality. - Goran Frehse (FORMATS, 2006)

Reachability Analysis of a Switched Buffer Network. - Goran Frehse; Oded Maler (HSCC, 2007)

A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. - Goran Frehse; Sumit Kumar Jha 001; Bruce H. Krogh (HSCC, 2008)

PHAVer: algorithmic verification of hybrid systems past HyTech. - Goran Frehse (Int. J. Softw. Tools Technol. Transf., 2008)

Design Principles for an Extendable Verification Tool for Hybrid Systems. - Goran Frehse; Rajarshi Ray 001 (ADHS, 2009)

SpaceEx: Scalable Verification of Hybrid Systems. - Goran Frehse; Colas Le Guernic; Alexandre Donzé; Scott Cotton; Rajarshi Ray 001; Olivier Lebeltel; Rodolfo Ripado; Antoine Girard; Thao Dang 001; Oded Maler (CAV, 2011)

Monitoring Dynamical Signals While Testing Timed Aspects of a System. - Goran Frehse; Kim G. Larsen; Marius Mikucionis; Brian Nielsen (ICTSS, 2011)

Efficient Bounded Reachability Computation for Rectangular Automata. - Xin Chen 002; Erika Ábrahám; Goran Frehse (RP, 2011)

Flowpipe-Guard Intersection for Reachability Computations with Support Functions. - Goran Frehse; Rajarshi Ray 001 (ADHS, 2012)

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 (CAV, 2012)

Tools for the Analysis of Hybrid Models. - Thao Dang 001; Goran Frehse; Antoine Girard; Colas Le Guernic (Communicating Embedded Systems, 2013)

Modular, hierarchical models of control systems in SpaceEx. - Alexandre Donzé; Goran Frehse (ECC, 2013)

Flowpipe approximation and clustering in space-time. - Goran Frehse; Rajat Kateja; Colas Le Guernic (HSCC, 2013)

Abstraction-Based Guided Search for Hybrid Systems. - Sergiy Bogomolov; Alexandre Donzé; Goran Frehse; Radu Grosu; Taylor T. Johnson; Hamed Ladan; Andreas Podelski; Martin Wehrle (SPIN, 2013)

Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata. - Stefano Minopoli; Goran Frehse (FORMATS, 2014)

Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. - Sergiy Bogomolov; Goran Frehse; Marius Greitschus; Radu Grosu; Corina S. Pasareanu; Andreas Podelski; Thomas Strump (Haifa Verification Conference, 2014)

Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. - Goran Frehse; Arne Hamann 001; Sophie Quinton; Matthias Woehrle (RTSS, 2014)

Computing maximizer trajectories of affine dynamics for reachability. - Goran Frehse (CDC, 2015)

Running SpaceEx on the ARCH14 Benchmarks. - Stefano Minopoli; Goran Frehse (ARCH@CPSWeek, 2015)

Current Challenges in the Verification of Hybrid Systems. - Stefan Schupp; Erika Ábrahám; Xin Chen 002; Ibtissem Ben Makhlouf; Goran Frehse; Sriram Sankaranarayanan 001; Stefan Kowalewski (CyPhy, 2015)

Reachability of hybrid systems in space-time. - Goran Frehse (EMSOFT, 2015)

Eliminating spurious transitions in reachability with support functions. - Goran Frehse; Sergiy Bogomolov; Marius Greitschus; Thomas Strump; Andreas Podelski (HSCC, 2015)

A Benchmark Suite for Hybrid Systems Reachability Analysis. - Xin Chen 002; Stefan Schupp; Ibtissem Ben Makhlouf; Erika Ábrahám; Goran Frehse; Stefan Kowalewski (NFM, 2015)

An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis. - Goran Frehse (SyDe Summer School, 2015)

Scalable Verification of Hybrid Systems. - Goran Frehse (2016)

Combining zonotopes and support functions for efficient reachability analysis of linear systems. - Matthias Althoff; Goran Frehse (CDC, 2016)

SL2SX Translator: From Simulink to SpaceEx Models. - Stefano Minopoli; Goran Frehse (HSCC, 2016)

From Simulation Models to Hybrid Automata Using Urgency and Relaxation. - Stefano Minopoli; Goran Frehse (HSCC, 2016)

Formal feature analysis of hybrid automata. - Antonio Anastasio Bruto da Costa; Pallab Dasgupta; Goran Frehse (MEMOCODE, 2016)

Guided search for hybrid systems based on coarse-grained space abstractions. - Sergiy Bogomolov; Alexandre Donzé; Goran Frehse; Radu Grosu; Taylor T. Johnson; Hamed Ladan; Andreas Podelski; Martin Wehrle (Int. J. Softw. Tools Technol. Transf., 2016)

Constructing verification models of nonlinear Simulink systems via syntactic hybridization. - Nikolaos Kekatos; Marcelo Forets; Goran Frehse (CDC, 2017)

ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Dario Cattaruzza; Xin Chen 002; Goran Frehse; Rajarshi Ray 001; Stefan Schupp (ARCH@CPSWeek, 2017)

ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics. - Goran Frehse; Alessandro Abate; Dieky Adzkiya; Lei Bu; Mirco Giacobbe (ARCH@CPSWeek, 2017)

Modeling the Wind Turbine Benchmark with PWA Hybrid Automata. - Nikolaos Kekatos; Marcelo Forets; Goran Frehse (ARCH@CPSWeek, 2017)

Counterexample-Guided Refinement of Template Polyhedra. - Sergiy Bogomolov; Goran Frehse; Mirco Giacobbe; Thomas A. Henzinger (TACAS (1), 2017)

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Xin Chen 002; Chuchu Fan; Marcelo Forets; Goran Frehse; Niklas Kochdumper; Yangge Li; Sayan Mitra; Rajarshi Ray 001; Christian Schilling 001; Stefan Schupp (ARCH@ADHS, 2018)

ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. - Goran Frehse; Alessandro Abate; Dieky Adzkiya; Lei Bu; Mirco Giacobbe; Muhammad Syifa'ul Mufid; Enea Zaffanella (ARCH@ADHS, 2018)

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Fabian Immler; Matthias Althoff; Xin Chen 002; Chuchu Fan; Goran Frehse; Niklas Kochdumper; Yangge Li; Sayan Mitra; Mahendra Singh Tomar; Majid Zamani 001 (ARCH@ADHS, 2018)

Lane change maneuver for autonomous vehicles (Benchmark Proposal). - Nikolaos Kekatos; Daniel Heß; Goran Frehse (ARCH@ADHS, 2018)

A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates. - Goran Frehse; Nikolaos Kekatos; Dejan Nickovic; Jens Oehlerking; Simone Schuler; Alexander Walsch; Matthias Woehrle (ACC, 2018)

Space-Time Interpolants. - Goran Frehse; Mirco Giacobbe; Thomas A. Henzinger (CAV (1), 2018)

Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. - Sergiy Bogomolov; Marcelo Forets; Goran Frehse; Frédéric Viry; Andreas Podelski; Christian Schilling 001 (HSCC, 2018)

Formal Feature Interpretation of Hybrid Systems. - Antonio Anastasio Bruto da Costa; Goran Frehse; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Verification of Hybrid Systems. - Laurent Doyen 001; Goran Frehse; George J. Pappas; André Platzer (Handbook of Model Checking, 2018)

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Marcelo Forets; Goran Frehse; Niklas Kochdumper; Rajarshi Ray 001; Christian Schilling 001; Stefan Schupp (ARCH@CPSIoTWeek, 2019)

ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. - Goran Frehse; Alessandro Abate; Dieky Adzkiya; Anna Becchi; Lei Bu; Alessandro Cimatti; Mirco Giacobbe; Alberto Griggio; Sergio Mover; Muhammad Syifa'ul Mufid; Idriss Riouak; Stefano Tonetta; et al. (ARCH@CPSIoTWeek, 2019)

JuliaReach: a toolbox for set-based reachability. - Sergiy Bogomolov; Marcelo Forets; Goran Frehse; Kostiantyn Potomkin; Christian Schilling 001 (HSCC, 2019)

Falsification of hybrid systems using symbolic reachability and trajectory splicing. - Sergiy Bogomolov; Goran Frehse; Amit Gurung; Dongxu Li; Georg Martius; Rajarshi Ray 001 (HSCC, 2019)

Flexible Mining of Prefix Sequences from Time-Series Traces. - Antonio Anastasio Bruto da Costa; Goran Frehse; Pallab Dasgupta (CoRR, 2019)

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Zongnan Bao; Marcelo Forets; Goran Frehse; Daniel Freire; Niklas Kochdumper; Yangge Li; Sayan Mitra; Rajarshi Ray 001; Christian Schilling 001; Stefan Schupp; et al. (ARCH, 2020)

ARCH-COMP 2020 Category Report: Falsification. - Gidon Ernst; Paolo Arcaini; Ismail Bennani; Alexandre Donzé; Georgios Fainekos; Goran Frehse; Logan Mathesen; Claudio Menghi; Giulia Pedrielli; Marc Pouzet; Shakiba Yaghoubi; Yoriyuki Yamagata; et al. (ARCH, 2020)

Reachability Analysis of Linear Hybrid Systems via Block Decomposition. - Sergiy Bogomolov; Marcelo Forets; Goran Frehse; Kostiantyn Potomkin; Christian Schilling 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Erika Ábrahám; Marcelo Forets; Goran Frehse; Daniel Freire; Christian Schilling 001; Stefan Schupp; Mark Wetzlinger (ARCH@ADHS, 2021)

ARCH-COMP 2021 Category Report: Falsification with Validation of Results. - Gidon Ernst; Paolo Arcaini; Ismail Bennani; Aniruddh Chandratre; Alexandre Donzé; Georgios Fainekos; Goran Frehse; Khouloud Gaaloul; Jun Inoue 001; Tanmay Khandait; Logan Mathesen; Claudio Menghi; et al. (ARCH@ADHS, 2021)

Set Propagation Techniques for Reachability Analysis. - Matthias Althoff; Goran Frehse; Antoine Girard (Annu. Rev. Control. Robotics Auton. Syst., 2021)

ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. - Lei Bu; Goran Frehse; Atanu Kundu 002; Rajarshi Ray 001; Yuhui Shi; Enea Zaffanella (ARCH@SAFECOMP, 2022)

Symbolic Analysis of Linear Hybrid Automata - 25 Years Later. - Goran Frehse; Mirco Giacobbe; Enea Zaffanella (Principles of Systems Design, 2022)

Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version). - Sergiy Bogomolov; Marcelo Forets; Goran Frehse; Andreas Podelski; Christian Schilling 001 (Inf. Comput., 2022)

Data-driven Reachability using Christoffel Functions and Conformal Prediction. - Abdelmouaiz Tebjou; Goran Frehse; Faïcel Chamroukhi (COPA, 2023)

The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. - Alessandro Abate; Matthias Althoff; Lei Bu; Gidon Ernst; Goran Frehse; Luca Geretti; Taylor T. Johnson; Claudio Menghi; Stefan Mitsch; Stefan Schupp; Sadegh Soudjani (TOOLympics@ETAPS, 2023)

Fourier Features in Reinforcement Learning with Neural Networks. - David Brellmann; David Filliat; Goran Frehse (Trans. Mach. Learn. Res., 2023)

On Double Descent in Reinforcement Learning with LSTD and Random Features. - David Brellmann; Eloïse Berthier; David Filliat; Goran Frehse (ICLR, 2024)

Robust Deterministic Abstractions for Supervising Discrete-Time Continuous Systems. - Gwendal Priser; Elena Vanneaux; Goran Frehse (RP, 2024)

Benchmarking XAI Explanations with Human-Aligned Evaluations. - Rémi Kazmierczak; Steve Azzolin; Eloïse Berthier; Anna Hedström; Patricia Delhomme; Nicolas Bousquet 001; Goran Frehse; Massimiliano Mancini; Baptiste Caramiaux; Andrea Passerini; Gianni Franchi (CoRR, 2024)

CLIP-QDA: An Explainable Concept Bottleneck Model. - Rémi Kazmierczak; Eloïse Berthier; Goran Frehse; Gianni Franchi (Trans. Mach. Learn. Res., 2024)

Explainability and vision foundation models: A survey. - Rémi Kazmierczak; Eloïse Berthier; Goran Frehse; Gianni Franchi (Inf. Fusion, 2025)

Explainability for Vision Foundation Models: A Survey. - Rémi Kazmierczak; Eloïse Berthier; Goran Frehse; Gianni Franchi (CoRR, 2025)