Sergiy Bogomolov

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 44

Top Venues

HSCC

CoRR

Int. J. Softw. Tools Technol. Transf.

FORMATS

University of Freiburg, Germany (PHD)

Education History

University of Freiburg, Germany

PHD

Publications

Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Veena Krish, Andrew Mata, Amir Rahmati
Zero-One Attack: Degrading Closed-Loop Neural Network Control Systems using State-Time Perturbations. ICCPS (2024)
Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
Safe Reach Set Computation via Neural Barrier Certificates. CoRR (2024)
Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati
Falsification using Reachability of Surrogate Koopman Models. HSCC (2024)
Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander B. Romanovsky, Paulius Stankaitis
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. Formal Aspects Comput. 35 (1) (2023)
Ethan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov
AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization. ATVA (2023)
Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Paulius Stankaitis
Online Reachability Analysis and Space Convexification for Autonomous Racing. CoRR (2023)
Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis
Reachability Analysis and Simulation for Hybridised Event-B Models. IFM (2022)
Sergiy Bogomolov, John Fitzgerald, Sadegh Soudjani, Paulius Stankaitis
Data-Driven Reachability Analysis of Digital Twin FMI Models. ISoLA (4) (2022)
Stanley Bak, Sergiy Bogomolov, Brandon Hencey, Niklas Kochdumper, Ethan Lew, Kostiantyn Potomkin
Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement. CAV (1) (2022)
Sergiy Bogomolov, Abdelrahman Hekal, Bardh Hoxha, Tomoya Yamaguchi
Runtime Assurance for Autonomous Driving with Neural Reachability. ITSC (2022)
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) (2022)
Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. ADHS (2021)
Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. CoRR (2021)
Dongxu Li, Stanley Bak, Sergiy Bogomolov
Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling. FORMATS (2020)
Sergiy Bogomolov, Marcelo Forets, Kostiantyn Potomkin
Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model. RP (2020)
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) (2020)
Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, Bican Xia
Safety Verification for Random Ordinary Differential Equations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus, Andreas Podelski
Temporal Planning as Refinement-Based Model Checking. ICAPS (2019)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
JuliaReach: a toolbox for set-based reachability. HSCC (2019)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
Reachability analysis of linear hybrid systems via block decomposition. CoRR (2019)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
JuliaReach: a Toolbox for Set-Based Reachability. CoRR (2019)
Sergiy Bogomolov, Goran Frehse, Amit Gurung, Dongxu Li, Georg Martius, Rajarshi Ray
Falsification of hybrid systems using symbolic reachability and trajectory splicing. HSCC (2019)
Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling
Hybrid automata: from verification to implementation. Int. J. Softw. Tools Technol. Transf. 21 (1) (2019)
Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
Parallel reachability analysis of hybrid systems in XSpeed. Int. J. Softw. Tools Technol. Transf. 21 (4) (2019)
Dongxu Li, Enrico Scala, Patrik Haslum, Sergiy Bogomolov
Effect-Abstraction Based Relaxation for Linear Numeric Planning. IJCAI (2018)
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 (2018)
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)
Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger
Counterexample-Guided Refinement of Template Polyhedra. TACAS (1) (2017)
Stanley Bak, Sergiy Bogomolov, Matthias Althoff
Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata. FORMATS (2017)
Sergiy Bogomolov, Mirco Giacobbe, Thomas A. Henzinger, Hui Kong
Conic Abstractions for Hybrid Systems. FORMATS (2017)
Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Aviral Kumar
Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees. NSV@CAV (2017)
Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger
Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters. HSCC (2017)
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) (2016)
Sergiy Bogomolov, Christian Herrera, Wilfried Steiner
Verification of Fault-Tolerant Clock Synchronization Algorithms. ARCH@CPSWeek (2016)
Christian Schilling, Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess
Adaptive moment closure for parameter inference of biochemical reaction networks. Biosyst. 149 (2016)
Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, Nacim Ramdani
Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491). Dagstuhl Reports 6 (12) (2016)
Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, Pradyot Prakash
Scalable Static Hybridization Methods for Analysis of Nonlinear Systems. HSCC (2016)
Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
Parallel Reachability Analysis for Hybrid Systems. CoRR (2016)
Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, Yu Jiang, Christian Schilling
Discrete Abstraction of Multiaffine Systems. HSB (2016)
Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA (2016)
Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger
Invariant Clusters for Hybrid Systems. CoRR (2016)
Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
Parallel reachability analysis for hybrid systems. MEMOCODE (2016)
Stanley Bak, Sergiy Bogomolov, Christian Schilling
High-level Hybrid Systems Analysis with Hypy. ARCH@CPSWeek (2016)
Daniel Bryce, Sergiy Bogomolov, Alexander Heinz, Christian Schilling
Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems. CoRR (2016)
Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson
HyRG: a random generation tool for affine hybrid automata. HSCC (2015)
Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson
Runtime Verification for Hybrid Analysis Tools. RV (2015)
Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli, Martin Wehrle
PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. ICAPS (2015)
Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, Radu Grosu
Abstraction-Based Parameter Synthesis for Multiaffine Systems. Haifa Verification Conference (2015)
Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
XSpeed: Accelerating Reachability Analysis on Multi-core Processors. Haifa Verification Conference (2015)
Sergiy Bogomolov, Matthieu Martel
Preface. Electron. Notes Theor. Comput. Sci. 317 (2015)
Stanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnson
Benchmark Generator for Stratified Controllers of Tank Networks. ARCH@CPSWeek (2015)
Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski
Eliminating spurious transitions in reachability with support functions. HSCC (2015)
Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson
HYST: a source transformation and translation tool for hybrid automaton models. HSCC (2015)
Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess, Christian Schilling
Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks. CMSB (2015)
Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle
Planning as Model Checking in Hybrid Domains. AAAI (2014)
Sergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal, Andreas Podelski
Quasi-dependent variables in hybrid automata. HSCC (2014)
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)
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)
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)
Sergiy Bogomolov, Corina Mitrohin, Andreas Podelski
Composing Reachability Analyses of Hybrid Systems for Safety and Stability. ATVA (2010)
Sergiy Bogomolov, Martin Mann, Björn Voß, Andreas Podelski, Rolf Backofen
Shape-based Barrier Estimation for RNAs. GCB (2010)

Sergiy Bogomolov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sergiy Bogomolov