![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Goran Frehse
Person information
- affiliation: Univ. Grenoble Alpes, Verimag, France
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j8]Rémi Kazmierczak, Eloïse Berthier, Goran Frehse, Gianni Franchi:
CLIP-QDA: An Explainable Concept Bottleneck Model. Trans. Mach. Learn. Res. 2024 (2024) - [c53]David Brellmann, Eloïse Berthier, David Filliat, Goran Frehse:
On Double Descent in Reinforcement Learning with LSTD and Random Features. ICLR 2024 - 2023
- [j7]David Brellmann, David Filliat, Goran Frehse:
Fourier Features in Reinforcement Learning with Neural Networks. Trans. Mach. Learn. Res. 2023 (2023) - [c52]Abdelmouaiz Tebjou, Goran Frehse, Faïcel Chamroukhi:
Data-driven Reachability using Christoffel Functions and Conformal Prediction. COPA 2023: 194-213 - [e11]Goran Frehse, Matthias Althoff:
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), San Antonio, Texas, USA, May 9, 2023. EPiC Series in Computing 96, EasyChair 2023 [contents] - [i7]Abdelmouaiz Tebjou, Goran Frehse, Faïcel Chamroukhi:
Data-driven Reachability using Christoffel Functions and Conformal Prediction. CoRR abs/2309.08976 (2023) - [i6]David Brellmann, Eloïse Berthier, David Filliat, Goran Frehse:
On Double Descent in Reinforcement Learning with LSTD and Random Features. CoRR abs/2310.05518 (2023) - [i5]Rémi Kazmierczak, Eloïse Berthier, Goran Frehse, Gianni Franchi:
CLIP-QDA: An Explainable Concept Bottleneck Model. CoRR abs/2312.00110 (2023) - 2022
- [j6]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): 104937 (2022) - [c51]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: 44-57 - [c50]Goran Frehse
, Mirco Giacobbe
, Enea Zaffanella
:
Symbolic Analysis of Linear Hybrid Automata - 25 Years Later. Principles of Systems Design 2022: 39-60 - [e10]Goran Frehse, Matthias Althoff, Erwin Schoitsch, Jérémie Guiochet:
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Munich, Germany, September 2022. EPiC Series in Computing 90, EasyChair 2022 [contents] - 2021
- [j5]Matthias Althoff, Goran Frehse, Antoine Girard:
Set Propagation Techniques for Reachability Analysis. Annu. Rev. Control. Robotics Auton. Syst. 4: 369-395 (2021) - [c49]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: 1-31 - [c48]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: 133-152 - [e9]Goran Frehse, Matthias Althoff:
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021. EPiC Series in Computing 80, EasyChair 2021 [contents] - 2020
- [j4]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): 4018-4029 (2020) - [c47]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: 16-48 - [c46]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: 140-152
2010 – 2019
- 2019
- [c45]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: 1-13 - [c44]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: 14-40 - [c43]Sergiy Bogomolov
, Goran Frehse
, Amit Gurung, Dongxu Li, Georg Martius, Rajarshi Ray:
Falsification of hybrid systems using symbolic reachability and trajectory splicing. HSCC 2019: 1-10 - [c42]Sergiy Bogomolov
, Marcelo Forets, Goran Frehse
, Kostiantyn Potomkin, Christian Schilling
:
JuliaReach: a toolbox for set-based reachability. HSCC 2019: 39-44 - [e8]Goran Frehse, Matthias Althoff:
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019. EPiC Series in Computing 61, EasyChair 2019 [contents] - [i4]Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling:
JuliaReach: a Toolbox for Set-Based Reachability. CoRR abs/1901.10736 (2019) - [i3]Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling:
Reachability analysis of linear hybrid systems via block decomposition. CoRR abs/1905.02458 (2019) - [i2]Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta:
Flexible Mining of Prefix Sequences from Time-Series Traces. CoRR abs/1905.12262 (2019) - 2018
- [j3]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): 2474-2484 (2018) - [c41]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: 1-13 - [c40]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: 23-52 - [c39]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: 53-70 - [c38]Nikolaos Kekatos, Daniel Heß, Goran Frehse:
Lane change maneuver for autonomous vehicles (Benchmark Proposal). ARCH@ADHS 2018: 229-241 - [c37]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: 2384-2391 - [c36]Goran Frehse
, Mirco Giacobbe
, Thomas A. Henzinger:
Space-Time Interpolants. CAV (1) 2018: 468-486 - [c35]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: 41-50 - [p2]Laurent Doyen, Goran Frehse
, George J. Pappas, André Platzer
:
Verification of Hybrid Systems. Handbook of Model Checking 2018: 1047-1110 - [e7]Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson:
ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018. EPiC Series in Computing 54, EasyChair 2018 [contents] - [i1]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 abs/1801.09526 (2018) - 2017
- [c34]Nikolaos Kekatos, Marcelo Forets, Goran Frehse
:
Constructing verification models of nonlinear Simulink systems via syntactic hybridization. CDC 2017: 1788-1795 - [c33]Nikolaos Kekatos, Marcelo Forets, Goran Frehse:
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata. ARCH@CPSWeek 2017: 100-113 - [c32]Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe:
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSWeek 2017: 124-133 - [c31]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: 143-159 - [c30]Sergiy Bogomolov
, Goran Frehse
, Mirco Giacobbe
, Thomas A. Henzinger:
Counterexample-Guided Refinement of Template Polyhedra. TACAS (1) 2017: 589-606 - [e6]Goran Frehse, Matthias Althoff:
ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Vienna, Austria. EPiC Series in Computing 43, EasyChair 2017 [contents] - [e5]Goran Frehse, Matthias Althoff:
ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA. EPiC Series in Computing 48, EasyChair 2017 [contents] - [e4]Goran Frehse, Sayan Mitra:
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017. ACM 2017, ISBN 978-1-4503-4590-3 [contents] - 2016
- [b1]Goran Frehse:
Scalable Verification of Hybrid Systems. Univ. Grenoble Alpes, France, 2016 - [j2]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): 449-467 (2016) - [c29]Matthias Althoff, Goran Frehse
:
Combining zonotopes and support functions for efficient reachability analysis of linear systems. CDC 2016: 7439-7446 - [c28]Stefano Minopoli, Goran Frehse:
SL2SX Translator: From Simulink to SpaceEx Models. HSCC 2016: 93-98 - [c27]Stefano Minopoli, Goran Frehse
:
From Simulation Models to Hybrid Automata Using Urgency and Relaxation. HSCC 2016: 287-296 - [c26]Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse
:
Formal feature analysis of hybrid automata. MEMOCODE 2016: 2-11 - 2015
- [c25]Goran Frehse
:
Computing maximizer trajectories of affine dynamics for reachability. CDC 2015: 7454-7461 - [c24]Stefano Minopoli, Goran Frehse:
Running SpaceEx on the ARCH14 Benchmarks. ARCH@CPSWeek 2015: 196-206 - [c23]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: 8-24 - [c22]Goran Frehse
:
Reachability of hybrid systems in space-time. EMSOFT 2015: 41-50 - [c21]Goran Frehse
, Sergiy Bogomolov
, Marius Greitschus, Thomas Strump, Andreas Podelski:
Eliminating spurious transitions in reachability with support functions. HSCC 2015: 149-158 - [c20]Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám
, Goran Frehse
, Stefan Kowalewski:
A Benchmark Suite for Hybrid Systems Reachability Analysis. NFM 2015: 408-414 - [c19]Goran Frehse
:
An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis. SyDe Summer School 2015: 50-81 - [e3]Goran Frehse, Matthias Althoff:
1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015. EPiC Series in Computing 34, EasyChair 2015 [contents] - [e2]Étienne André, Goran Frehse:
2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015, April 11, 2015, London, United Kingdom. OASIcs 44, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-82-8 [contents] - 2014
- [c18]Stefano Minopoli, Goran Frehse
:
Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata. FORMATS 2014: 176-190 - [c17]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: 116-131 - [c16]Goran Frehse
, Arne Hamann, Sophie Quinton, Matthias Woehrle:
Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. RTSS 2014: 53-62 - [e1]Étienne André
, Goran Frehse
:
Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014. EPTCS 145, 2014 [contents] - 2013
- [c15]Alexandre Donzé, Goran Frehse
:
Modular, hierarchical models of control systems in SpaceEx. ECC 2013: 4244-4251 - [c14]Goran Frehse
, Rajat Kateja, Colas Le Guernic:
Flowpipe approximation and clustering in space-time. HSCC 2013: 203-212 - [c13]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: 117-134 - [p1]Thao Dang, Goran Frehse
, Antoine Girard
, Colas Le Guernic:
Tools for the Analysis of Hybrid Models. Communicating Embedded Systems 2013: 227-251 - 2012
- [c12]Goran Frehse
, Rajarshi Ray:
Flowpipe-Guard Intersection for Reachability Computations with Support Functions. ADHS 2012: 94-101 - [c11]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: 479-494 - 2011
- [c10]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: 379-395 - [c9]Goran Frehse
, Kim G. Larsen
, Marius Mikucionis
, Brian Nielsen
:
Monitoring Dynamical Signals While Testing Timed Aspects of a System. ICTSS 2011: 115-130 - [c8]Xin Chen, Erika Ábrahám
, Goran Frehse
:
Efficient Bounded Reachability Computation for Rectangular Automata. RP 2011: 139-152
2000 – 2009
- 2009
- [c7]Goran Frehse
, Rajarshi Ray:
Design Principles for an Extendable Verification Tool for Hybrid Systems. ADHS 2009: 244-249 - 2008
- [j1]Goran Frehse
:
PHAVer: algorithmic verification of hybrid systems past HyTech. Int. J. Softw. Tools Technol. Transf. 10(3): 263-279 (2008) - [c6]Goran Frehse, Sumit Kumar Jha
, Bruce H. Krogh:
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. HSCC 2008: 187-200 - 2007
- [c5]Goran Frehse
, Oded Maler:
Reachability Analysis of a Switched Buffer Network. HSCC 2007: 698-701 - 2006
- [c4]Goran Frehse
, Bruce H. Krogh, Rob A. Rutenbar
:
Verifying analog oscillator circuits using forward/backward abstraction refinement. DATE 2006: 257-262 - [c3]Goran Frehse
:
On Timed Simulation Relations for Hybrid Systems and Compositionality. FORMATS 2006: 200-214 - 2005
- [c2]Goran Frehse
:
PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech. HSCC 2005: 258-273 - [c1]Goran Frehse
, Bruce H. Krogh, Rob A. Rutenbar
, Oded Maler:
Time Domain Verification of Oscillator Circuit Properties. FAC 2005: 9-22
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 20:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint