Follow
Sergiy Bogomolov
Sergiy Bogomolov
Reader / Associate Professor in Cyber-Physical Systems, Newcastle University
Verified email at newcastle.ac.uk - Homepage
Title
Cited by
Cited by
Year
JuliaReach: a Toolbox for Set-Based Reachability
S Bogomolov, M Forets, G Frehse, K Potomkin, C Schilling
arXiv preprint arXiv:1901.10736, 2019
1522019
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
1182015
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
652018
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
642014
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
592015
Planning as Model Checking in Hybrid Domains
S Bogomolov, D Magazzeni, A Podelski, M Wehrle
592014
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
422015
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
412016
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
412015
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
402017
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
352015
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
282017
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
272015
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
262015
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization
S Bak, S Bogomolov, PS Duggirala, AR Gerlach, K Potomkin
arXiv preprint arXiv:2105.00886, 2021
252021
Effect-Abstraction Based Relaxation for Linear Numeric Planning
L Dongxu, E Scala, P Haslum, S Bogomolov
23*2018
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
232013
Effect-Abstraction Based Relaxation for Linear Numeric Planning
D Li, E Scala, P Haslum, S Bogomolov
23*
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
222017
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
222012
The system can't perform the operation now. Try again later.
Articles 1–20