Sergiy Bogomolov

Orcid: 0000-0002-0686-0365

Affiliations:

IST Austria, Klosterneuburg, Austria
University of Freiburg, Germany
Australian National University, Canberra

According to our database¹, Sergiy Bogomolov authored at least 56 papers between 2010 and 2024.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Safe Reach Set Computation via Neural Barrier Certificates.

[BibT_eX]

[DOI]

CoRR, 2024

Zero-One Attack: Degrading Closed-Loop Neural Network Control Systems using State-Time Perturbations.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

Falsification using Reachability of Surrogate Koopman Models.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

2023

A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems.

[BibT_eX]

[DOI]

Alexander B. Romanovsky

Paulius Stankaitis

Formal Aspects Comput., March, 2023

Online Reachability Analysis and Space Convexification for Autonomous Racing.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version).

[BibT_eX]

[DOI]

Inf. Comput., 2022

Runtime Assurance for Autonomous Driving with Neural Reachability.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Data-Driven Reachability Analysis of Digital Twin FMI Models.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Reachability Analysis and Simulation for Hybridised Event-B Models.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization.

[BibT_eX]

[DOI]

Stanley Bak

Sergiy Bogomolov

Parasara Sridhar Duggirala

Adam R. Gerlach

Kostiantyn Potomkin

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Safety Verification for Random Ordinary Differential Equations.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Reachability Analysis of Linear Hybrid Systems via Block Decomposition.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model.

[BibT_eX]

[DOI]

Sergiy Bogomolov

Marcelo Forets

Kostiantyn Potomkin

Proceedings of the Reachability Problems - 14th International Conference, 2020

Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling.

[BibT_eX]

[DOI]

Dongxu Li

Stanley Bak

Sergiy Bogomolov

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2019

Parallel reachability analysis of hybrid systems in XSpeed.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2019

Hybrid automata: from verification to implementation.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2019

Falsification of hybrid systems using symbolic reachability and trajectory splicing.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

JuliaReach: a toolbox for set-based reachability.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Temporal Planning as Refinement-Based Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

Effect-Abstraction Based Relaxation for Linear Numeric Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2017

Counterexample-Guided Refinement of Template Polyhedra.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Conic Abstractions for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata.

[BibT_eX]

[DOI]

Stanley Bak

Sergiy Bogomolov

Matthias Althoff

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees.

[BibT_eX]

[DOI]

Proceedings of the Numerical Software Verification - 10th International Workshop, 2017

2016

Guided search for hybrid systems based on coarse-grained space abstractions.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2016

Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2016

Invariant Clusters for Hybrid Systems.

[BibT_eX]

[DOI]

CoRR, 2016

Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems.

[BibT_eX]

[DOI]

CoRR, 2016

Adaptive moment closure for parameter inference of biochemical reaction networks.

[BibT_eX]

[DOI]

Biosyst., 2016

Parallel reachability analysis for hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Scalable Static Hybridization Methods for Analysis of Nonlinear Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Discrete Abstraction of Multiaffine Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Verification of Fault-Tolerant Clock Synchronization Algorithms.

[BibT_eX]

[DOI]

Sergiy Bogomolov

Christian Herrera

Wilfried Steiner

Proceedings of the ARCH@CPSWeek 2016, 2016

High-level Hybrid Systems Analysis with Hypy.

[BibT_eX]

[DOI]

Stanley Bak

Sergiy Bogomolov

Christian Schilling

Proceedings of the ARCH@CPSWeek 2016, 2016

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.

[BibT_eX]

[DOI]

Parasara Sridhar Duggirala

Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015

Abstraction-based analysis of hybrid automata = Abstraktions-basierte Analyse von Hybrid-Automaten.

[BibT_eX]

[DOI]

Sergiy Bogomolov

PhD thesis, 2015

Preface.

[BibT_eX]

[DOI]

Sergiy Bogomolov

Matthieu Martel

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015

Runtime Verification for Hybrid Analysis Tools.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 6th International Conference, 2015

HyRG: a random generation tool for affine hybrid automata.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Eliminating spurious transitions in reachability with support functions.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

HYST: a source transformation and translation tool for hybrid automaton models.

[BibT_eX]

[DOI]

Stanley Bak

Sergiy Bogomolov

Taylor T. Johnson

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

XSpeed: Accelerating Reachability Analysis on Multi-core Processors.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2015

Abstraction-Based Parameter Synthesis for Multiaffine Systems.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2015

Benchmark Generator for Stratified Controllers of Tank Networks.

[BibT_eX]

[DOI]

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

2014

Quasi-dependent variables in hybrid automata.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Assume-Guarantee Abstraction Refinement Meets Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2014

Planning as Model Checking in Hybrid Domains.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Abstraction-Based Guided Search for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 20th International Symposium, 2013

2012

A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2010

Shape-based Barrier Estimation for RNAs.

[BibT_eX]

[DOI]

Proceedings of the German Conference on Bioinformatics 2010, 2010

Composing Reachability Analyses of Hybrid Systems for Safety and Stability.

[BibT_eX]

[DOI]

Sergiy Bogomolov

Corina Mitrohin

Andreas Podelski

Proceedings of the Automated Technology for Verification and Analysis, 2010

Sergiy Bogomolov

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...