Goran Frehse

According to our database1, Goran Frehse authored at least 50 papers between 2005 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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. on CAD of Integrated Circuits and Systems, 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.
STTT, 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 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
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
Time Domain Verification of Oscillator Circuit Properties.
Electr. Notes Theor. Comput. Sci., 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
PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005


  Loading...