Goran Frehse

Orcid: 0000-0002-5441-0481

Affiliations:
  • Univ. Grenoble Alpes, Verimag, France


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
CLIP-QDA: An Explainable Concept Bottleneck Model.
Trans. Mach. Learn. Res., 2024

Robust Deterministic Abstractions for Supervising Discrete-Time Continuous Systems.
Proceedings of the Reachability Problems - 18th International Conference, 2024

On Double Descent in Reinforcement Learning with LSTD and Random Features.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023
Fourier Features in Reinforcement Learning with Neural Networks.
Trans. Mach. Learn. Res., 2023

Data-driven Reachability using Christoffel Functions and Conformal Prediction.
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).
Inf. Comput., 2022

Symbolic Analysis of Linear Hybrid Automata - 25 Years Later.
Proceedings of the Principles of Systems Design, 2022

ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021
Set Propagation Techniques for Reachability Analysis.
Annu. Rev. Control. Robotics Auton. Syst., 2021

ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
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.
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.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

ARCH-COMP 2020 Category Report: Falsification.
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.
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.
CoRR, 2019

Falsification of hybrid systems using symbolic reachability and trajectory splicing.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

JuliaReach: a toolbox for set-based reachability.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
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.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018
Verification of Hybrid Systems.
Proceedings of the Handbook of Model Checking., 2018

Formal Feature Interpretation of Hybrid Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Space-Time Interpolants.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates.
Proceedings of the 2018 Annual American Control Conference, 2018

Lane change maneuver for autonomous vehicles (Benchmark Proposal).
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.
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.
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.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017
Counterexample-Guided Refinement of Template Polyhedra.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Modeling the Wind Turbine Benchmark with PWA Hybrid Automata.
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.
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.
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.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016
Guided search for hybrid systems based on coarse-grained space abstractions.
Int. J. Softw. Tools Technol. Transf., 2016

Formal feature analysis of hybrid automata.
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.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

SL2SX Translator: From Simulink to SpaceEx Models.
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.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Scalable Verification of Hybrid Systems.
, 2016

2015
An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis.
Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015

A Benchmark Suite for Hybrid Systems Reachability Analysis.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Eliminating spurious transitions in reachability with support functions.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Reachability of hybrid systems in space-time.
Proceedings of the 2015 International Conference on Embedded Software, 2015

Current Challenges in the Verification of Hybrid Systems.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

Running SpaceEx on the ARCH14 Benchmarks.
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.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Assume-Guarantee Abstraction Refinement Meets Hybrid Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2014

Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

2013
Abstraction-Based Guided Search for Hybrid Systems.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

Flowpipe approximation and clustering in space-time.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Modular, hierarchical models of control systems in SpaceEx.
Proceedings of the 12th European Control Conference, 2013

Tools for the Analysis of Hybrid Models.
Proceedings of the Communicating Embedded Systems, 2013

2012
A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Flowpipe-Guard Intersection for Reachability Computations with Support Functions.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011
Efficient Bounded Reachability Computation for Rectangular Automata.
Proceedings of the Reachability Problems - 5th International Workshop, 2011

Monitoring Dynamical Signals While Testing Timed Aspects of a System.
Proceedings of the Testing Software and Systems, 2011

SpaceEx: Scalable Verification of Hybrid Systems.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2009
Design Principles for an Extendable Verification Tool for Hybrid Systems.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008
PHAVer: algorithmic verification of hybrid systems past HyTech.
Int. J. Softw. Tools Technol. Transf., 2008

A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2007
Reachability Analysis of a Switched Buffer Network.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

2006
On Timed Simulation Relations for Hybrid Systems and Compositionality.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

Verifying analog oscillator circuits using forward/backward abstraction refinement.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005
Time Domain Verification of Oscillator Circuit Properties.
Proceedings of the First Workshop on Formal Verification of Analog Circuits, 2005


  Loading...