Sergiy Bogomolov
Sergiy Bogomolov
Lecturer / Assistant Professor, Newcastle University
Bestätigte E-Mail-Adresse bei newcastle.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
792015
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
482014
Planning as Model Checking in Hybrid Domains
S Bogomolov, D Magazzeni, A Podelski, M Wehrle
422014
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
332015
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
312015
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
292015
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
282015
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
252016
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
242013
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
232018
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
212012
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
202015
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
182015
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
172017
Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks
S Bogomolov, TA Henzinger, A Podelski, J Ruess, C Schilling
Computational Methods in Systems Biology, 77-89, 2015
162015
JuliaReach: a Toolbox for Set-Based Reachability
S Bogomolov, M Forets, G Frehse, K Potomkin, C Schilling
arXiv preprint arXiv:1901.10736, 2019
142019
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
142017
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
132017
Adaptive moment closure for parameter inference of biochemical reaction networks
C Schilling, S Bogomolov, TA Henzinger, A Podelski, J Ruess
Biosystems, 2016
122016
Composing reachability analyses of hybrid systems for safety and stability
S Bogomolov, C Mitrohin, A Podelski
Automated Technology for Verification and Analysis, 67-81, 2010
122010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20