Goran Frehse

According to our database, Goran Frehse authored at least 65 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

CLIP-QDA: An Explainable Concept Bottleneck Model.

Rémi Kazmierczak, Eloïse Berthier, Goran Frehse, Gianni Franchi

Trans. Mach. Learn. Res., 2024

Robust Deterministic Abstractions for Supervising Discrete-Time Continuous Systems.

Gwendal Priser, Elena Vanneaux, Goran Frehse

Proceedings of the Reachability Problems - 18th International Conference, 2024

On Double Descent in Reinforcement Learning with LSTD and Random Features.

David Brellmann, Eloïse Berthier, David Filliat, Goran Frehse

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023

Fourier Features in Reinforcement Learning with Neural Networks.

David Brellmann, David Filliat, Goran Frehse

Trans. Mach. Learn. Res., 2023

Data-driven Reachability using Christoffel Functions and Conformal Prediction.

Abdelmouaiz Tebjou, Goran Frehse, Faïcel Chamroukhi

Proceedings of the Conformal and Probabilistic Prediction with Applications, 2023

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

Inf. Comput., 2022

Symbolic Analysis of Linear Hybrid Automata - 25 Years Later.

Goran Frehse, Mirco Giacobbe, Enea Zaffanella

Proceedings of the Principles of Systems Design, 2022

ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.

Lei Bu, Goran Frehse, Atanu Kundu, Rajarshi Ray, Yuhui Shi, Enea Zaffanella

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Set Propagation Techniques for Reachability Analysis.

Matthias Althoff, Goran Frehse, Antoine Girard

Annu. Rev. Control. Robotics Auton. Syst., 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, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

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, Stefan Schupp, Mark Wetzlinger

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Reachability Analysis of Linear Hybrid Systems via Block Decomposition.

Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 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, Zhenya Zhang

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

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, Christian Schilling, Stefan Schupp, Mark Wetzlinger

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Flexible Mining of Prefix Sequences from Time-Series Traces.

Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta

CoRR, 2019

Falsification of hybrid systems using symbolic reachability and trajectory splicing.

Sergiy Bogomolov, Goran Frehse, Amit Gurung, Dongxu Li, Georg Martius, Rajarshi Ray

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

JuliaReach: a toolbox for set-based reachability.

Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 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, Enea Zaffanella

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Verification of Hybrid Systems.

Laurent Doyen, Goran Frehse, George J. Pappas, André Platzer

Proceedings of the Handbook of Model Checking., 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

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

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Space-Time Interpolants.

Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger

Proceedings of the Computer Aided Verification - 30th International Conference, 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

Proceedings of the 2018 Annual American Control Conference, 2018

Lane change maneuver for autonomous vehicles (Benchmark Proposal).

Nikolaos Kekatos, Daniel Heß, Goran Frehse

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 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

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Counterexample-Guided Refinement of Template Polyhedra.

Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Modeling the Wind Turbine Benchmark with PWA Hybrid Automata.

Nikolaos Kekatos, Marcelo Forets, Goran Frehse

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics.

Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

Constructing verification models of nonlinear Simulink systems via syntactic hybridization.

Nikolaos Kekatos, Marcelo Forets, Goran Frehse

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

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

Formal feature analysis of hybrid automata.

Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

From Simulation Models to Hybrid Automata Using Urgency and Relaxation.

Stefano Minopoli, Goran Frehse

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

SL2SX Translator: From Simulink to SpaceEx Models.

Stefano Minopoli, Goran Frehse

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Combining zonotopes and support functions for efficient reachability analysis of linear systems.

Matthias Althoff, Goran Frehse

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Scalable Verification of Hybrid Systems.

Goran Frehse

, 2016

2015

An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis.

Goran Frehse

Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015

A Benchmark Suite for Hybrid Systems Reachability Analysis.

Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Eliminating spurious transitions in reachability with support functions.

Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Reachability of hybrid systems in space-time.

Goran Frehse

Proceedings of the 2015 International Conference on Embedded Software, 2015

Current Challenges in the Verification of Hybrid Systems.

Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

Running SpaceEx on the ARCH14 Benchmarks.

Stefano Minopoli, Goran Frehse

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Computing maximizer trajectories of affine dynamics for reachability.

Goran Frehse

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

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

Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Woehrle

Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Assume-Guarantee Abstraction Refinement Meets Hybrid Systems.

Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump

Proceedings of the Hardware and Software: Verification and Testing, 2014

Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata.

Stefano Minopoli, Goran Frehse

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

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

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Flowpipe approximation and clustering in space-time.

Goran Frehse, Rajat Kateja, Colas Le Guernic

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Modular, hierarchical models of control systems in SpaceEx.

Alexandre Donzé, Goran Frehse

Proceedings of the 12th European Control Conference, 2013

Tools for the Analysis of Hybrid Models.

Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic

Proceedings of the Communicating Embedded Systems, 2013

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

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Flowpipe-Guard Intersection for Reachability Computations with Support Functions.

Goran Frehse, Rajarshi Ray

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011

Efficient Bounded Reachability Computation for Rectangular Automata.

Xin Chen, Erika Ábrahám, Goran Frehse

Proceedings of the Reachability Problems - 5th International Workshop, 2011

Monitoring Dynamical Signals While Testing Timed Aspects of a System.

Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen

Proceedings of the Testing Software and Systems, 2011

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

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2009

Design Principles for an Extendable Verification Tool for Hybrid Systems.

Goran Frehse, Rajarshi Ray

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008

PHAVer: algorithmic verification of hybrid systems past HyTech.

Goran Frehse

Int. J. Softw. Tools Technol. Transf., 2008

A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata.

Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2007

Reachability Analysis of a Switched Buffer Network.

Goran Frehse, Oded Maler

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

2006

On Timed Simulation Relations for Hybrid Systems and Compositionality.

Goran Frehse

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

Verifying analog oscillator circuits using forward/backward abstraction refinement.

Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005

Time Domain Verification of Oscillator Circuit Properties.

Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler

Proceedings of the First Workshop on Formal Verification of Analog Circuits, 2005