Goran Frehse

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 42

Top Topics

Benchmark Suite

Reachability Analysis

Piecewise Constant

Bounded Model Checking

Top Venues

Publications

David Brellmann, Eloïse Berthier, David Filliat, Goran Frehse
On Double Descent in Reinforcement Learning with LSTD and Random Features. ICLR (2024)
Rémi Kazmierczak, Eloïse Berthier, Goran Frehse, Gianni Franchi
CLIP-QDA: An Explainable Concept Bottleneck Model. Trans. Mach. Learn. Res. 2024 (2024)
David Brellmann, David Filliat, Goran Frehse
Fourier Features in Reinforcement Learning with Neural Networks. Trans. Mach. Learn. Res. 2023 (2023)
Abdelmouaiz Tebjou, Goran Frehse, Faïcel Chamroukhi
Data-driven Reachability using Christoffel Functions and Conformal Prediction. COPA (2023)
Abdelmouaiz Tebjou, Goran Frehse, Faïcel Chamroukhi
Data-driven Reachability using Christoffel Functions and Conformal Prediction. CoRR (2023)
Rémi Kazmierczak, Eloïse Berthier, Goran Frehse, Gianni Franchi
CLIP-QDA: An Explainable Concept Bottleneck Model. CoRR (2023)
David Brellmann, Eloïse Berthier, David Filliat, Goran Frehse
On Double Descent in Reinforcement Learning with LSTD and Random Features. CoRR (2023)
Lei Bu, Goran Frehse, Atanu Kundu, Rajarshi Ray, Yuhui Shi, Enea Zaffanella
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. ARCH@SAFECOMP (2022)
Goran Frehse, Mirco Giacobbe, Enea Zaffanella
Symbolic Analysis of Linear Hybrid Automata - 25 Years Later. Principles of Systems Design (2022)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version). Inf. Comput. 289 (Part) (2022)
Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS (2021)
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
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS (2021)
Matthias Althoff, Goran Frehse, Antoine Girard
Set Propagation Techniques for Reachability Analysis. Annu. Rev. Control. Robotics Auton. Syst. 4 (2021)
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
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH (2020)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
Reachability Analysis of Linear Hybrid Systems via Block Decomposition. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
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
ARCH-COMP 2020 Category Report: Falsification. ARCH (2020)
Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@CPSIoTWeek (2019)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
JuliaReach: a toolbox for set-based reachability. HSCC (2019)
Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta
Flexible Mining of Prefix Sequences from Time-Series Traces. CoRR (2019)
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
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek (2019)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
Reachability analysis of linear hybrid systems via block decomposition. CoRR (2019)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
JuliaReach: a Toolbox for Set-Based Reachability. CoRR (2019)
Sergiy Bogomolov, Goran Frehse, Amit Gurung, Dongxu Li, Georg Martius, Rajarshi Ray
Falsification of hybrid systems using symbolic reachability and trajectory splicing. HSCC (2019)
Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger
Space-Time Interpolants. CAV (1) (2018)
Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS (2018)
Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS (2018)
Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates. ACC (2018)
Nikolaos Kekatos, Daniel Heß, Goran Frehse
Lane change maneuver for autonomous vehicles (Benchmark Proposal). ARCH@ADHS (2018)
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'ul Mufid, Enea Zaffanella
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@ADHS (2018)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling, Frédéric Viry
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. CoRR (2018)
Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta
Formal Feature Interpretation of Hybrid Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Frédéric Viry, Andreas Podelski, Christian Schilling
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. HSCC (2018)
Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger
Counterexample-Guided Refinement of Template Polyhedra. TACAS (1) (2017)
Nikolaos Kekatos, Marcelo Forets, Goran Frehse
Constructing verification models of nonlinear Simulink systems via syntactic hybridization. CDC (2017)
Nikolaos Kekatos, Marcelo Forets, Goran Frehse
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata. ARCH@CPSWeek (2017)
Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@CPSWeek (2017)
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSWeek (2017)
Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle
Guided search for hybrid systems based on coarse-grained space abstractions. Int. J. Softw. Tools Technol. Transf. 18 (4) (2016)
Stefano Minopoli, Goran Frehse
SL2SX Translator: From Simulink to SpaceEx Models. HSCC (2016)
Matthias Althoff, Goran Frehse
Combining zonotopes and support functions for efficient reachability analysis of linear systems. CDC (2016)
Stefano Minopoli, Goran Frehse
From Simulation Models to Hybrid Automata Using Urgency and Relaxation. HSCC (2016)
Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse
Formal feature analysis of hybrid automata. MEMOCODE (2016)
Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski
Current Challenges in the Verification of Hybrid Systems. CyPhy (2015)
Goran Frehse
Reachability of hybrid systems in space-time. EMSOFT (2015)
Goran Frehse
Computing maximizer trajectories of affine dynamics for reachability. CDC (2015)
Goran Frehse
An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis. SyDe Summer School (2015)
Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski
Eliminating spurious transitions in reachability with support functions. HSCC (2015)
Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski
A Benchmark Suite for Hybrid Systems Reachability Analysis. NFM (2015)
Stefano Minopoli, Goran Frehse
Running SpaceEx on the ARCH14 Benchmarks. ARCH@CPSWeek (2015)
Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Woehrle
Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. RTSS (2014)
Stefano Minopoli, Goran Frehse
Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata. FORMATS (2014)
Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump
Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. Haifa Verification Conference (2014)
Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle
Abstraction-Based Guided Search for Hybrid Systems. SPIN (2013)
Goran Frehse, Rajat Kateja, Colas Le Guernic
Flowpipe approximation and clustering in space-time. HSCC (2013)
Alexandre Donzé, Goran Frehse
Modular, hierarchical models of control systems in SpaceEx. ECC (2013)
Goran Frehse, Rajarshi Ray
Flowpipe-Guard Intersection for Reachability Computations with Support Functions. ADHS (2012)
Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle
A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. CAV (2012)
Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler
SpaceEx: Scalable Verification of Hybrid Systems. CAV (2011)
Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen
Monitoring Dynamical Signals While Testing Timed Aspects of a System. ICTSS (2011)
Xin Chen, Erika Ábrahám, Goran Frehse
Efficient Bounded Reachability Computation for Rectangular Automata. RP (2011)
Goran Frehse, Rajarshi Ray
Design Principles for an Extendable Verification Tool for Hybrid Systems. ADHS (2009)
Goran Frehse
PHAVer: algorithmic verification of hybrid systems past HyTech. Int. J. Softw. Tools Technol. Transf. 10 (3) (2008)
Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. HSCC (2008)
Goran Frehse, Oded Maler
Reachability Analysis of a Switched Buffer Network. HSCC (2007)
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler
Time Domain Verification of Oscillator Circuit Properties. Electron. Notes Theor. Comput. Sci. 153 (3) (2006)
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar
Verifying analog oscillator circuits using forward/backward abstraction refinement. DATE (2006)
Goran Frehse
On Timed Simulation Relations for Hybrid Systems and Compositionality. FORMATS (2006)
Goran Frehse
PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech. HSCC (2005)