Articles with public access mandates - Sergiy BogomolovLearn more
Not available anywhere: 3
Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees
S Bak, S Bogomolov, TA Henzinger, A Kumar
International Workshop on Numerical Software Verification, 83-89, 2017
Mandates: Austrian Science Fund
Data-Driven Reachability Analysis of Digital Twin FMI Models
S Bogomolov, J Fitzgerald, S Soudjani, P Stankaitis
International Symposium on Leveraging Applications of Formal Methods, 139-158, 2022
Mandates: US Department of Defense
Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model
S Bogomolov, M Forets, K Potomkin
International Conference on Reachability Problems, 52-66, 2020
Mandates: US Department of Defense
Available somewhere: 42
JuliaReach: a Toolbox for Set-Based Reachability
S Bogomolov, M Forets, G Frehse, K Potomkin, C Schilling
arXiv preprint arXiv:1901.10736, 2019
Mandates: US Department of Defense, Austrian Science Fund, European Commission
HYST: A source transformation and translation tool for hybrid automaton models
S Bak, S Bogomolov, TT Johnson
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
Mandates: Austrian Science Fund, German Research Foundation, European Commission
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
S Bogomolov, M Forets, G Frehse, A Podelski, C Schilling, F Viry
arXiv preprint arXiv:1801.09526, 2018
Mandates: US Department of Defense
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, 116-131, 2014
Mandates: German Research Foundation
Planning as Model Checking in Hybrid Domains
S Bogomolov, D Magazzeni, A Podelski, M Wehrle
Mandates: German Research Foundation
XSpeed: Accelerating Reachability Analysis on Multi-core Processors
R Ray, A Gurung, B Das, E Bartocci, S Bogomolov, R Grosu
Hardware and Software: Verification and Testing, 3-18, 2015
Mandates: Austrian Science Fund, European Commission
PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior
S Bogomolov, D Magazzeni, S Minopoli, M Wehrle
Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015
Mandates: Swiss National Science Foundation, Austrian Science Fund, German Research …
Abstraction-Based Parameter Synthesis for Multiaffine Systems
S Bogomolov, C Schilling, E Bartocci, G Batt, H Kong, R Grosu
Hardware and Software: Verification and Testing, 19-35, 2015
Mandates: Austrian Science Fund, German Research Foundation, European Commission
Scalable static hybridization methods for analysis of nonlinear systems
S Bak, S Bogomolov, TA Henzinger, TT Johnson, P Prakash
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
Mandates: US National Science Foundation, Austrian Science Fund, European Commission
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
Mandates: Austrian Science Fund
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, 1-19, 2015
Mandates: Swiss National Science Foundation, Austrian Science Fund, German Research …
Hybrid automata: from verification to implementation
S Bak, OA Beg, S Bogomolov, TT Johnson, LV Nguyen, C Schilling
International Journal on Software Tools for Technology Transfer, 1-18, 2017
Mandates: US National Science Foundation, US Department of Defense
Co-Simulation of Hybrid Systems with SpaceEx and Uppaal
S Bogomolov, M Greitschus, PG Jensen, KG Larsen, M Mikucionis, ...
Proceedings of the 11th International Modelica Conference, 2015
Mandates: Austrian Science Fund, German Research Foundation, Danish Council for …
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
Mandates: 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, 117-134, 2013
Mandates: Swiss National Science Foundation, German Research Foundation
Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
H Kong, S Bogomolov, C Schilling, Y Jiang, TA Henzinger
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
Mandates: Austrian Science Fund, Australian Research Council
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, 479-494, 2012
Mandates: German Research Foundation
Publication and funding information is determined automatically by a computer program