Cikkek nyilvánosan hozzáférhető megbízással - Goran FrehseTovábbi információ
Valahol hozzáférhető: 23
JuliaReach: a toolbox for set-based reachability
S Bogomolov, M Forets, G Frehse, K Potomkin, C Schilling
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
Megbízások: US Department of Defense, Austrian Science Fund, European Commission
Assume-guarantee abstraction refinement meets hybrid systems
S Bogomolov, G Frehse, M Greitschus, R Grosu, C Pasareanu, A Podelski, ...
Hardware and Software: Verification and Testing: 10th International Haifa …, 2014
Megbízások: German Research Foundation
Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices
S Bogomolov, M Forets, G Frehse, F Viry, A Podelski, C Schilling
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
Megbízások: US Department of Defense
Arch-comp 2020 category report: Falsification
G Ernst, P Arcaini, I Bennani, A Donze, G Fainekos, G Frehse, L Mathesen, ...
EPiC Series in Computing, 2020
Megbízások: US National Science Foundation, European Commission
Current challenges in the verification of hybrid systems
S Schupp, E Ábrahám, X Chen, I Ben Makhlouf, G Frehse, ...
Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International …, 2015
Megbízások: German Research Foundation
A benchmark suite for hybrid systems reachability analysis
X Chen, S Schupp, IB Makhlouf, E Ábrahám, G Frehse, S Kowalewski
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015
Megbízások: German Research Foundation
ARCH-COMP19 category report: Continuous and hybrid systems with nonlinear dynamics
F Immler, M Althoff, L Benet, A Chapoutot, X Chen, M Forets, L Geretti, ...
EPiC Series in Computing 61, 2019
Megbízások: US Department of Defense
Counterexample-guided refinement of template polyhedra
S Bogomolov, G Frehse, M Giacobbe, TA Henzinger
International Conference on Tools and Algorithms for the Construction and …, 2017
Megbízások: Austrian Science Fund
ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
G Ernst, P Arcaini, I Bennani, A Chandratre, A Donzé, G Fainekos, ...
ARCH@ ADHS, 133-152, 2021
Megbízások: US National Science Foundation, US Department of Defense, European Commission
Guided search for hybrid systems based on coarse-grained space abstractions
S Bogomolov, A Donzé, G Frehse, R Grosu, TT Johnson, H Ladan, ...
International Journal on Software Tools for Technology Transfer 18, 449-467, 2016
Megbízások: Swiss National Science Foundation, Austrian Science Fund, German Research …
Eliminating spurious transitions in reachability with support functions
G Frehse, S Bogomolov, M Greitschus, T Strump, A Podelski
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
Megbízások: Austrian Science Fund, German Research Foundation, European Commission
Abstraction-based guided search for hybrid systems
S Bogomolov, A Donzé, G Frehse, R Grosu, TT Johnson, H Ladan, ...
Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013
Megbízások: Swiss National Science Foundation, German Research Foundation
A box-based distance between regions for guiding the reachability analysis of SpaceEx
S Bogomolov, G Frehse, R Grosu, H Ladan, A Podelski, M Wehrle
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
Megbízások: German Research Foundation
Falsification of hybrid systems using symbolic reachability and trajectory splicing
S Bogomolov, G Frehse, A Gurung, D Li, G Martius, R Ray
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
Megbízások: US Department of Defense, Department of Science & Technology, India
ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics
G Frehse, A Abate, D Adzkiya, A Becchi, L Bu, A Cimatti, M Giacobbe, ...
EasyChair, 2019
Megbízások: National Natural Science Foundation of China
Reachability analysis of linear hybrid systems via block decomposition
S Bogomolov, M Forets, G Frehse, K Potomkin, C Schilling
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
Megbízások: US Department of Defense, Austrian Science Fund, European Commission
ARCH-COMP20 category report: Continuous and hybrid systems with linear continuous dynamics
M Althoff, S Bak, Z Bao, M Forets, G Frehse, D Freire, N Kochdumper, Y Li, ...
Proc. of the 7th International Workshop on Applied Verification of …, 2020
Megbízások: US Department of Defense, Austrian Science Fund, Department of Science …
Space-time interpolants
G Frehse, M Giacobbe, TA Henzinger
International Conference on Computer Aided Verification, 468-486, 2018
Megbízások: Austrian Science Fund
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
S Bogomolov, M Forets, G Frehse, A Podelski, C Schilling
Information and Computation 289, 104937, 2022
Megbízások: US Department of Defense, Austrian Science Fund, European Commission
Arch-comp22 category report: Hybrid systems with piecewise constant dynamics and bounded model checking
L Bu, G Frehse, A Kundu, R Ray, Y Shi, E Zaffanella
Proceedings of 9th International Workshop on Applied Verification of …, 2022
Megbízások: National Natural Science Foundation of China
A publikációs és a finanszírozási adatokat számítógépes program határozza meg, automatikusan.