Composing Reachability Analyses of Hybrid Systems for Safety and Stability. - Sergiy Bogomolov; Corina Mitrohin; Andreas Podelski (ATVA, 2010)

Shape-based Barrier Estimation for RNAs. - Sergiy Bogomolov; Martin Mann; Björn Voß; Andreas Podelski; Rolf Backofen (GCB, 2010)

A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. - Sergiy Bogomolov; Goran Frehse; Radu Grosu; Hamed Ladan; Andreas Podelski; Martin Wehrle (CAV, 2012)

Abstraction-Based Guided Search for Hybrid Systems. - Sergiy Bogomolov; Alexandre Donzé; Goran Frehse; Radu Grosu; Taylor T. Johnson; Hamed Ladan; Andreas Podelski; Martin Wehrle (SPIN, 2013)

Planning as Model Checking in Hybrid Domains. - Sergiy Bogomolov; Daniele Magazzeni; Andreas Podelski; Martin Wehrle (AAAI, 2014)

Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. - Sergiy Bogomolov; Goran Frehse; Marius Greitschus; Radu Grosu; Corina S. Pasareanu; Andreas Podelski; Thomas Strump (Haifa Verification Conference, 2014)

Quasi-dependent variables in hybrid automata. - Sergiy Bogomolov; Christian Herrera; Marco Muñiz; Bernd Westphal; Andreas Podelski (HSCC, 2014)

PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. - Sergiy Bogomolov; Daniele Magazzeni; Stefano Minopoli; Martin Wehrle (ICAPS, 2015)

Benchmark Generator for Stratified Controllers of Tank Networks. - Stanley Bak; Sergiy Bogomolov; Marius Greitschus; Taylor T. Johnson (ARCH@CPSWeek, 2015)

Abstraction-Based Parameter Synthesis for Multiaffine Systems. - Sergiy Bogomolov; Christian Schilling 001; Ezio Bartocci; Grégory Batt; Hui Kong 004; Radu Grosu (Haifa Verification Conference, 2015)

XSpeed: Accelerating Reachability Analysis on Multi-core Processors. - Rajarshi Ray 001; Amit Gurung; Binayak Das; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu (Haifa Verification Conference, 2015)

HYST: a source transformation and translation tool for hybrid automaton models. - Stanley Bak; Sergiy Bogomolov; Taylor T. Johnson (HSCC, 2015)

Eliminating spurious transitions in reachability with support functions. - Goran Frehse; Sergiy Bogomolov; Marius Greitschus; Thomas Strump; Andreas Podelski (HSCC, 2015)

HyRG: a random generation tool for affine hybrid automata. - Luan Viet Nguyen; Christian Schilling 001; Sergiy Bogomolov; Taylor T. Johnson (HSCC, 2015)

Runtime Verification for Hybrid Analysis Tools. - Luan Viet Nguyen; Christian Schilling 001; Sergiy Bogomolov; Taylor T. Johnson (RV, 2015)

Preface. - Sergiy Bogomolov; Matthieu Martel (NSV, 2015)

Abstraction-based analysis of hybrid automata = Abstraktions-basierte Analyse von Hybrid-Automaten. - Sergiy Bogomolov (2015)

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. - Parasara Sridhar Duggirala; Chuchu Fan; Matthew Potok; Bolun Qi; Sayan Mitra; Mahesh Viswanathan 001; Stanley Bak; Sergiy Bogomolov; Taylor T. Johnson; Luan Viet Nguyen; Christian Schilling 001; Andrew Sogokon; et al. (CCA, 2016)

High-level Hybrid Systems Analysis with Hypy. - Stanley Bak; Sergiy Bogomolov; Christian Schilling 001 (ARCH@CPSWeek, 2016)

Verification of Fault-Tolerant Clock Synchronization Algorithms. - Sergiy Bogomolov; Christian Herrera; Wilfried Steiner (ARCH@CPSWeek, 2016)

Discrete Abstraction of Multiaffine Systems. - Hui Kong 004; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu; Thomas A. Henzinger; Yu Jiang 001; Christian Schilling 001 (HSB, 2016)

Scalable Static Hybridization Methods for Analysis of Nonlinear Systems. - Stanley Bak; Sergiy Bogomolov; Thomas A. Henzinger; Taylor T. Johnson; Pradyot Prakash (HSCC, 2016)

Parallel reachability analysis for hybrid systems. - Amit Gurung; Arup Deka; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu; Rajarshi Ray 001 (MEMOCODE, 2016)

Adaptive moment closure for parameter inference of biochemical reaction networks. - Christian Schilling 001; Sergiy Bogomolov; Thomas A. Henzinger; Andreas Podelski; Jakob Ruess (Biosyst., 2016)

Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems. - Daniel Bryce; Sergiy Bogomolov; Alexander Heinz; Christian Schilling 001 (CoRR, 2016)

Invariant Clusters for Hybrid Systems. - Hui Kong 004; Sergiy Bogomolov; Christian Schilling 001; Yu Jiang 001; Thomas A. Henzinger (CoRR, 2016)

Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491). - Sergiy Bogomolov; Martin Fränzle; Kyoko Makino; Nacim Ramdani (Dagstuhl Reports, 2016)

Guided search for hybrid systems based on coarse-grained space abstractions. - Sergiy Bogomolov; Alexandre Donzé; Goran Frehse; Radu Grosu; Taylor T. Johnson; Hamed Ladan; Andreas Podelski; Martin Wehrle (Int. J. Softw. Tools Technol. Transf., 2016)

Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees. - Stanley Bak; Sergiy Bogomolov; Thomas A. Henzinger; Aviral Kumar (NSV@CAV, 2017)

Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata. - Stanley Bak; Sergiy Bogomolov; Matthias Althoff (FORMATS, 2017)

Conic Abstractions for Hybrid Systems. - Sergiy Bogomolov; Mirco Giacobbe; Thomas A. Henzinger; Hui Kong 004 (FORMATS, 2017)

Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters. - Hui Kong 004; Sergiy Bogomolov; Christian Schilling 001; Yu Jiang 001; Thomas A. Henzinger (HSCC, 2017)

Counterexample-Guided Refinement of Template Polyhedra. - Sergiy Bogomolov; Goran Frehse; Mirco Giacobbe; Thomas A. Henzinger (TACAS (1), 2017)

Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. - Sergiy Bogomolov; Marcelo Forets; Goran Frehse; Frédéric Viry; Andreas Podelski; Christian Schilling 001 (HSCC, 2018)

Effect-Abstraction Based Relaxation for Linear Numeric Planning. - Dongxu Li; Enrico Scala; Patrik Haslum; Sergiy Bogomolov (IJCAI, 2018)

Temporal Planning as Refinement-Based Model Checking. - Alexander Heinz; Martin Wehrle; Sergiy Bogomolov; Daniele Magazzeni; Marius Greitschus; Andreas Podelski (ICAPS, 2019)

JuliaReach: a toolbox for set-based reachability. - Sergiy Bogomolov; Marcelo Forets; Goran Frehse; Kostiantyn Potomkin; Christian Schilling 001 (HSCC, 2019)

Falsification of hybrid systems using symbolic reachability and trajectory splicing. - Sergiy Bogomolov; Goran Frehse; Amit Gurung; Dongxu Li; Georg Martius; Rajarshi Ray 001 (HSCC, 2019)

Hybrid automata: from verification to implementation. - Stanley Bak; Omar Ali Beg; Sergiy Bogomolov; Taylor T. Johnson; Luan Viet Nguyen; Christian Schilling 001 (Int. J. Softw. Tools Technol. Transf., 2019)

Parallel reachability analysis of hybrid systems in XSpeed. - Amit Gurung; Rajarshi Ray 001; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu (Int. J. Softw. Tools Technol. Transf., 2019)

Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling. - Dongxu Li; Stanley Bak; Sergiy Bogomolov (FORMATS, 2020)

Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model. - Sergiy Bogomolov; Marcelo Forets; Kostiantyn Potomkin (RP, 2020)

Reachability Analysis of Linear Hybrid Systems via Block Decomposition. - Sergiy Bogomolov; Marcelo Forets; Goran Frehse; Kostiantyn Potomkin; Christian Schilling 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Safety Verification for Random Ordinary Differential Equations. - Bai Xue 001; Martin Fränzle; Naijun Zhan; Sergiy Bogomolov; Bican Xia (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. - Stanley Bak; Sergiy Bogomolov; Parasara Sridhar Duggirala; Adam R. Gerlach; Kostiantyn Potomkin (ADHS, 2021)

Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement. - Stanley Bak; Sergiy Bogomolov; Brandon Hencey; Niklas Kochdumper; Ethan Lew; Kostiantyn Potomkin (CAV (1), 2022)

Reachability Analysis and Simulation for Hybridised Event-B Models. - Yamine Aït Ameur; Sergiy Bogomolov; Guillaume Dupont; Neeraj Kumar Singh 001; Paulius Stankaitis (IFM, 2022)

Data-Driven Reachability Analysis of Digital Twin FMI Models. - Sergiy Bogomolov; John S. Fitzgerald; Sadegh Soudjani; Paulius Stankaitis (ISoLA (4), 2022)

Runtime Assurance for Autonomous Driving with Neural Reachability. - Sergiy Bogomolov; Abdelrahman Hekal; Bardh Hoxha; Tomoya Yamaguchi 001 (ITSC, 2022)

Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version). - Sergiy Bogomolov; Marcelo Forets; Goran Frehse; Andreas Podelski; Christian Schilling 001 (Inf. Comput., 2022)

AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization. - Ethan Lew; Abdelrahman Hekal; Kostiantyn Potomkin; Niklas Kochdumper; Brandon Hencey; Stanley Bak; Sergiy Bogomolov (ATVA, 2023)

Online Reachability Analysis and Space Convexification for Autonomous Racing. - Sergiy Bogomolov; Taylor T. Johnson; Diego Manzanas Lopez; Patrick Musau; Paulius Stankaitis (FMAS@iFM, 2023)

A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. - Yamine Aït-Ameur; Sergiy Bogomolov; Guillaume Dupont; Alexei Iliasov; Alexander B. Romanovsky; Paulius Stankaitis (Formal Aspects Comput., 2023)

Safe Reach Set Computation via Neural Barrier Certificates. - Alessandro Abate; Sergiy Bogomolov; Alec Edwards; Kostiantyn Potomkin; Sadegh Soudjani; Paolo Zuliani (ADHS, 2024)

Falsification using Reachability of Surrogate Koopman Models. - Stanley Bak; Sergiy Bogomolov; Abdelrahman Hekal; Niklas Kochdumper; Ethan Lew; Andrew Mata; Amir Rahmati (HSCC, 2024)

Zero-One Attack: Degrading Closed-Loop Neural Network Control Systems using State-Time Perturbations. - Stanley Bak; Sergiy Bogomolov; Abdelrahman Hekal; Veena Krish; Andrew Mata; Amir Rahmati (ICCPS, 2024)

Reachability analysis of FMI models using data-driven dynamic sensitivity. - Sergiy Bogomolov; Cláudio Gomes 001; Carlos Ignacio Isasa Martin; Sadegh Soudjani; Paulius Stankaitis; Thomas Wright (Simul., 2025)

Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement. - Stanley Bak; Sergiy Bogomolov; Brandon Hencey; Niklas Kochdumper; Ethan Lew; Kostiantyn Potomkin (Formal Methods Syst. Des., 2025)