Goran Frehse

90 papers A* 4A 2C 3Misc 1Journal 20Unranked 46
YearRankTypeTitle / Venue / Authors
2026 A* conf
Benchmarking XAI Explanations with Human-Aligned Evaluations.
AAAI
Rémi Kazmierczak, Steve Azzolin, Eloïse Berthier, Anna Hedström, Patricia Delhomme, David Filliat, Nicolas Bousquet, Goran Frehse, Massimiliano Mancini, Baptiste Caramiaux, Andrea Passerini, Gianni Franchi
2026 J jnl
Enhancing Concept Localization in CLIP-based Concept Bottleneck Models.
Trans. Mach. Learn. Res.
Rémi Kazmierczak, Steve Azzolin, Goran Frehse, Eloïse Berthier, Gianni Franchi
2025 J jnl
Enhancing Concept Localization in CLIP-based Concept Bottleneck Models.
CoRR
Rémi Kazmierczak, Steve Azzolin, Eloïse Berthier, Goran Frehse, Gianni Franchi
2025 J jnl
Explainability and vision foundation models: A survey.
Inf. Fusion
Rémi Kazmierczak, Eloïse Berthier, Goran Frehse, Gianni Franchi
2025 J jnl
Explainability for Vision Foundation Models: A Survey.
CoRR
Rémi Kazmierczak, Eloïse Berthier, Goran Frehse, Gianni Franchi
2024 J jnl
Benchmarking XAI Explanations with Human-Aligned Evaluations.
CoRR
Rémi Kazmierczak, Steve Azzolin, Eloïse Berthier, Anna Hedström, Patricia Delhomme, Nicolas Bousquet, Goran Frehse, Massimiliano Mancini, Baptiste Caramiaux, Andrea Passerini, Gianni Franchi
2024 J jnl
CLIP-QDA: An Explainable Concept Bottleneck Model.
Trans. Mach. Learn. Res.
Rémi Kazmierczak, Eloïse Berthier, Goran Frehse, Gianni Franchi
2024 A* conf
On Double Descent in Reinforcement Learning with LSTD and Random Features.
ICLR
David Brellmann, Eloïse Berthier, David Filliat, Goran Frehse
2024 — conf
Robust Deterministic Abstractions for Supervising Discrete-Time Continuous Systems.
RP
Gwendal Priser, Elena Vanneaux, Goran Frehse
2023 J jnl
CLIP-QDA: An Explainable Concept Bottleneck Model.
CoRR
Rémi Kazmierczak, Eloïse Berthier, Goran Frehse, Gianni Franchi
2023 — conf
Data-driven Reachability using Christoffel Functions and Conformal Prediction.
COPA
Abdelmouaiz Tebjou, Goran Frehse, Faïcel Chamroukhi
2023 J jnl
Data-driven Reachability using Christoffel Functions and Conformal Prediction.
CoRR
Abdelmouaiz Tebjou, Goran Frehse, Faïcel Chamroukhi
2023 J jnl
Fourier Features in Reinforcement Learning with Neural Networks.
Trans. Mach. Learn. Res.
David Brellmann, David Filliat, Goran Frehse
2023 J jnl
On Double Descent in Reinforcement Learning with LSTD and Random Features.
CoRR
David Brellmann, Eloïse Berthier, David Filliat, Goran Frehse
2023 — ed.
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), San Antonio, Texas, USA, May 9, 2023.
ARCH
Goran Frehse, Matthias Althoff
2023 — conf
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems.
TOOLympics@ETAPS
Alessandro Abate, Matthias Althoff, Lei Bu, Gidon Ernst, Goran Frehse, Luca Geretti, Taylor T. Johnson, Claudio Menghi, Stefan Mitsch, Stefan Schupp, Sadegh Soudjani
2022 — conf
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.
ARCH@SAFECOMP
Lei Bu, Goran Frehse, Atanu Kundu, Rajarshi Ray, Yuhui Shi, Enea Zaffanella
2022 J jnl
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version).
Inf. Comput.
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling
2022 — ed.
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Munich, Germany, September 2022
ARCH@SAFECOMP
Goran Frehse, Matthias Althoff, Erwin Schoitsch, Jérémie Guiochet
2022 — conf
Symbolic Analysis of Linear Hybrid Automata - 25 Years Later.
Principles of Systems Design
Goran Frehse, Mirco Giacobbe, Enea Zaffanella
2021 — ed.
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021.
ARCH@ADHS
Goran Frehse, Matthias Althoff
2021 — conf
ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
ARCH@ADHS
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
2021 — conf
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@ADHS
Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger
2021 J jnl
Set Propagation Techniques for Reachability Analysis.
Annu. Rev. Control. Robotics Auton. Syst.
Matthias Althoff, Goran Frehse, Antoine Girard
2020 — conf
ARCH-COMP 2020 Category Report: Falsification.
ARCH
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
2020 — conf
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH
Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, Mark Wetzlinger
2020 J jnl
Reachability Analysis of Linear Hybrid Systems via Block Decomposition.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
2019 — conf
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@CPSIoTWeek
Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp
2019 — conf
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
ARCH@CPSIoTWeek
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, Enea Zaffanella
2019 — ed.
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019.
ARCH@CPSIoTWeek
Goran Frehse, Matthias Althoff
2019 — conf
Falsification of hybrid systems using symbolic reachability and trajectory splicing.
HSCC
Sergiy Bogomolov, Goran Frehse, Amit Gurung, Dongxu Li, Georg Martius, Rajarshi Ray
2019 J jnl
Flexible Mining of Prefix Sequences from Time-Series Traces.
CoRR
Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta
2019 J jnl
JuliaReach: a Toolbox for Set-Based Reachability.
CoRR
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
2019 — conf
JuliaReach: a toolbox for set-based reachability.
HSCC
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
2019 J jnl
Reachability analysis of linear hybrid systems via block decomposition.
CoRR
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
2018 C conf
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates.
ACC
Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle
2018 — conf
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@ADHS
Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp
2018 — conf
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH@ADHS
Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani
2018 — conf
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
ARCH@ADHS
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'ul Mufid, Enea Zaffanella
2018 — ed.
ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018
ARCH@ADHS
Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson
2018 J jnl
Formal Feature Interpretation of Hybrid Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta
2018 — conf
Lane change maneuver for autonomous vehicles (Benchmark Proposal).
ARCH@ADHS
Nikolaos Kekatos, Daniel Heß, Goran Frehse
2018 — conf
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices.
HSCC
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Frédéric Viry, Andreas Podelski, Christian Schilling
2018 J jnl
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices.
CoRR
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling, Frédéric Viry
2018 — conf
Space-Time Interpolants.
CAV (1)
Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger
2018 — ch.
Verification of Hybrid Systems.
Handbook of Model Checking
Laurent Doyen, Goran Frehse, George J. Pappas, André Platzer
2017 — conf
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@CPSWeek
Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp
2017 — conf
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
ARCH@CPSWeek
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe
2017 — ed.
ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA
ARCH@CPSWeek
Goran Frehse, Matthias Althoff
2017 — ed.
ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Vienna, Austria
ARCH@CPSWeek
Goran Frehse, Matthias Althoff
2017 — conf
Constructing verification models of nonlinear Simulink systems via syntactic hybridization.
CDC
Nikolaos Kekatos, Marcelo Forets, Goran Frehse
2017 — conf
Counterexample-Guided Refinement of Template Polyhedra.
TACAS (1)
Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger
2017 — conf
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata.
ARCH@CPSWeek
Nikolaos Kekatos, Marcelo Forets, Goran Frehse
2017 — ed.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017
HSCC
Goran Frehse, Sayan Mitra
2016 — conf
Combining zonotopes and support functions for efficient reachability analysis of linear systems.
CDC
Matthias Althoff, Goran Frehse
2016 C conf
Formal feature analysis of hybrid automata.
MEMOCODE
Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse
2016 — conf
From Simulation Models to Hybrid Automata Using Urgency and Relaxation.
HSCC
Stefano Minopoli, Goran Frehse
2016 J jnl
Guided search for hybrid systems based on coarse-grained space abstractions.
Int. J. Softw. Tools Technol. Transf.
Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle
2016 — conf
SL2SX Translator: From Simulink to SpaceEx Models.
HSCC
Stefano Minopoli, Goran Frehse
2016 — book
Scalable Verification of Hybrid Systems.
Goran Frehse
2015 — ed.
1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015.
ARCH@CPSWeek
Goran Frehse, Matthias Althoff
2015 — ed.
2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015, London, United Kingdom, April 11, 2015
SynCoP
Étienne André, Goran Frehse
2015 — conf
A Benchmark Suite for Hybrid Systems Reachability Analysis.
NFM
Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski
2015 — conf
An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis.
SyDe Summer School
Goran Frehse
2015 — conf
Computing maximizer trajectories of affine dynamics for reachability.
CDC
Goran Frehse
2015 — conf
Current Challenges in the Verification of Hybrid Systems.
CyPhy
Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski
2015 — conf
Eliminating spurious transitions in reachability with support functions.
HSCC
Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski
2015 Misc conf
Reachability of hybrid systems in space-time.
EMSOFT
Goran Frehse
2015 — conf
Running SpaceEx on the ARCH14 Benchmarks.
ARCH@CPSWeek
Stefano Minopoli, Goran Frehse
2014 — conf
Assume-Guarantee Abstraction Refinement Meets Hybrid Systems.
Haifa Verification Conference
Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump
2014 A conf
Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software.
RTSS
Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Woehrle
2014 — conf
Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata.
FORMATS
Stefano Minopoli, Goran Frehse
2014 — ed.
Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014.
SynCoP
Étienne André, Goran Frehse
2013 — conf
Abstraction-Based Guided Search for Hybrid Systems.
SPIN
Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle
2013 — conf
Flowpipe approximation and clustering in space-time.
HSCC
Goran Frehse, Rajat Kateja, Colas Le Guernic
2013 — conf
Modular, hierarchical models of control systems in SpaceEx.
ECC
Alexandre Donzé, Goran Frehse
2013 — ch.
Tools for the Analysis of Hybrid Models.
Communicating Embedded Systems
Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic
2012 A* conf
A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx.
CAV
Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle
2012 — conf
Flowpipe-Guard Intersection for Reachability Computations with Support Functions.
ADHS
Goran Frehse, Rajarshi Ray
2011 — conf
Efficient Bounded Reachability Computation for Rectangular Automata.
RP
Xin Chen, Erika Ábrahám, Goran Frehse
2011 C conf
Monitoring Dynamical Signals While Testing Timed Aspects of a System.
ICTSS
Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen
2011 A* conf
SpaceEx: Scalable Verification of Hybrid Systems.
CAV
Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler
2009 — conf
Design Principles for an Extendable Verification Tool for Hybrid Systems.
ADHS
Goran Frehse, Rajarshi Ray
2008 — conf
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata.
HSCC
Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh
2008 J jnl
PHAVer: algorithmic verification of hybrid systems past HyTech.
Int. J. Softw. Tools Technol. Transf.
Goran Frehse
2007 — conf
Reachability Analysis of a Switched Buffer Network.
HSCC
Goran Frehse, Oded Maler
2006 — conf
On Timed Simulation Relations for Hybrid Systems and Compositionality.
FORMATS
Goran Frehse
2006 A conf
Verifying analog oscillator circuits using forward/backward abstraction refinement.
DATE
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar
2005 — conf
PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech.
HSCC
Goran Frehse
2005 — conf
Time Domain Verification of Oscillator Circuit Properties.
FAC
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler