Goran Frehse
From MaRDI portal
Person:2060883
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Symbolic analysis of linear hybrid automata -- 25 years later Lecture Notes in Computer Science | 2023-08-10 | Paper |
| Space-time interpolants Computer Aided Verification | 2023-05-26 | Paper |
| Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) Information and Computation | 2022-12-08 | Paper |
| Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing Nonlinear Analysis. Hybrid Systems | 2021-12-13 | Paper |
| Counterexample-Guided Refinement of Template Polyhedra Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
| JuliaReach Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
| Falsification of hybrid systems using symbolic reachability and trajectory splicing Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
| JuliaReach: a Toolbox for Set-Based Reachability (available as arXiv preprint) | 2019-01-30 | Paper |
| 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-12-06 | Paper |
| Verification of Hybrid Systems Handbook of Model Checking | 2018-07-20 | Paper |
| Eliminating spurious transitions in reachability with support functions Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
| From simulation models to hybrid automata using urgency and relaxation Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
| Flowpipe approximation and clustering in space-time Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
| Non-convex invariants and urgency conditions on linear hybrid automata Lecture Notes in Computer Science | 2015-08-06 | Paper |
| Efficient bounded reachability computation for rectangular automata Lecture Notes in Computer Science | 2011-10-07 | Paper |
| A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
| On Timed Simulation Relations for Hybrid Systems and Compositionality Lecture Notes in Computer Science | 2008-07-08 | Paper |
| Hybrid Systems: Computation and Control Lecture Notes in Computer Science | 2005-11-11 | Paper |
Research outcomes over time
This page was built for person: Goran Frehse
