Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSergiy Bogomolov
Person information
- affiliation: IST Austria, Klosterneuburg, Austria
- affiliation: University of Freiburg, Germany
- affiliation: Australian National University, Canberra
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2015
[b1]Sergiy Bogomolov:
Abstraction-based analysis of hybrid automata = Abstraktions-basierte Analyse von Hybrid-Automaten. University of Freiburg, Germany, 2015
Journal Articles
- 2023
- [j8]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): 3:1 (2023) - 2022
- [j7]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): 104937 (2022) - 2020
- [j6]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): 4018-4029 (2020) - [j5]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): 4090-4101 (2020) - 2019
- [j4]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): 87-104 (2019) - [j3]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): 401-423 (2019) - 2016
- [j2]Christian Schilling, Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess:
Adaptive moment closure for parameter inference of biochemical reaction networks. Biosyst. 149: 15-25 (2016) - [j1]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): 449-467 (2016)
Conference and Workshop Papers
- 2024
- [c43]Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati:
Falsification using Reachability of Surrogate Koopman Models. HSCC 2024: 27:1-27:13 - 2023
- [c42]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: 237-250 - [c41]Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Paulius Stankaitis:
Online Reachability Analysis and Space Convexification for Autonomous Racing. FMAS@iFM 2023: 95-112 - 2022
- [c40]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: 490-510 - [c39]Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis:
Reachability Analysis and Simulation for Hybridised Event-B Models. IFM 2022: 109-128 - [c38]Sergiy Bogomolov, John S. Fitzgerald, Sadegh Soudjani, Paulius Stankaitis:
Data-Driven Reachability Analysis of Digital Twin FMI Models. ISoLA (4) 2022: 139-158 - [c37]Sergiy Bogomolov, Abdelrahman Hekal, Bardh Hoxha, Tomoya Yamaguchi:
Runtime Assurance for Autonomous Driving with Neural Reachability. ITSC 2022: 2634-2641 - 2021
- [c36]Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin:
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. ADHS 2021: 253-258 - 2020
- [c35]Dongxu Li, Stanley Bak, Sergiy Bogomolov:
Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling. FORMATS 2020: 265-282 - [c34]Sergiy Bogomolov, Marcelo Forets, Kostiantyn Potomkin:
Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model. RP 2020: 52-66 - 2019
- [c33]Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus, Andreas Podelski:
Temporal Planning as Refinement-Based Model Checking. ICAPS 2019: 195-199 - [c32]Sergiy Bogomolov, Goran Frehse, Amit Gurung, Dongxu Li, Georg Martius, Rajarshi Ray:
Falsification of hybrid systems using symbolic reachability and trajectory splicing. HSCC 2019: 1-10 - [c31]Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling:
JuliaReach: a toolbox for set-based reachability. HSCC 2019: 39-44 - 2018
- [c30]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: 41-50 - [c29]Dongxu Li, Enrico Scala, Patrik Haslum, Sergiy Bogomolov:
Effect-Abstraction Based Relaxation for Linear Numeric Planning. IJCAI 2018: 4787-4793 - 2017
- [c28]Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Aviral Kumar:
Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees. NSV@CAV 2017: 83-89 - [c27]Sergiy Bogomolov, Mirco Giacobbe, Thomas A. Henzinger, Hui Kong:
Conic Abstractions for Hybrid Systems. FORMATS 2017: 116-132 - [c26]Stanley Bak, Sergiy Bogomolov, Matthias Althoff:
Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata. FORMATS 2017: 133-150 - [c25]Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger:
Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters. HSCC 2017: 163-172 - [c24]Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger:
Counterexample-Guided Refinement of Template Polyhedra. TACAS (1) 2017: 589-606 - 2016
- [c23]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: 1024-1029 - [c22]Sergiy Bogomolov, Christian Herrera, Wilfried Steiner:
Verification of Fault-Tolerant Clock Synchronization Algorithms. ARCH@CPSWeek 2016: 36-41 - [c21]Stanley Bak, Sergiy Bogomolov, Christian Schilling:
High-level Hybrid Systems Analysis with Hypy. ARCH@CPSWeek 2016: 80-90 - [c20]Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, Yu Jiang, Christian Schilling:
Discrete Abstraction of Multiaffine Systems. HSB 2016: 128-144 - [c19]Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, Pradyot Prakash:
Scalable Static Hybridization Methods for Analysis of Nonlinear Systems. HSCC 2016: 155-164 - [c18]Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray:
Parallel reachability analysis for hybrid systems. MEMOCODE 2016: 12-22 - 2015
- [c17]Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli, Martin Wehrle:
PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. ICAPS 2015: 42-46 - [c16]Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess, Christian Schilling:
Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks. CMSB 2015: 77-89 - [c15]Stanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnson:
Benchmark Generator for Stratified Controllers of Tank Networks. ARCH@CPSWeek 2015: 73-79 - [c14]Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu:
XSpeed: Accelerating Reachability Analysis on Multi-core Processors. Haifa Verification Conference 2015: 3-18 - [c13]Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, Radu Grosu:
Abstraction-Based Parameter Synthesis for Multiaffine Systems. Haifa Verification Conference 2015: 19-35 - [c12]Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson:
HYST: a source transformation and translation tool for hybrid automaton models. HSCC 2015: 128-133 - [c11]Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski:
Eliminating spurious transitions in reachability with support functions. HSCC 2015: 149-158 - [c10]Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson:
HyRG: a random generation tool for affine hybrid automata. HSCC 2015: 289-290 - [c9]Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson:
Runtime Verification for Hybrid Analysis Tools. RV 2015: 281-286 - [c8]Sergiy Bogomolov, Matthieu Martel:
Preface. NSV 2015: 1-2 - 2014
- [c7]Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle:
Planning as Model Checking in Hybrid Domains. AAAI 2014: 2228-2234 - [c6]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: 116-131 - [c5]Sergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal, Andreas Podelski:
Quasi-dependent variables in hybrid automata. HSCC 2014: 93-102 - 2013
- [c4]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: 117-134 - 2012
- [c3]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: 479-494 - 2010
- [c2]Sergiy Bogomolov, Corina Mitrohin, Andreas Podelski:
Composing Reachability Analyses of Hybrid Systems for Safety and Stability. ATVA 2010: 67-81 - [c1]Sergiy Bogomolov, Martin Mann, Björn Voß, Andreas Podelski, Rolf Backofen:
Shape-based Barrier Estimation for RNAs. GCB 2010: 41-50
Editorship
- 2022
- [e8]Sergiy Bogomolov, David Parker:
Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings. Lecture Notes in Computer Science 13465, Springer 2022, ISBN 978-3-031-15838-4 [contents] - 2021
- [e7]Sergiy Bogomolov, Raphaël M. Jungers:
HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021. ACM 2021, ISBN 978-1-4503-8339-4 [contents] - [e6]Vadim Ermolayev, David Esteban, Heinrich C. Mayr, Mykola Nikitchenko, Sergiy Bogomolov, Grygoriy Zholtkevych, Vitaliy Yakovyna, Aleksander Spivakovsky:
Proceedings of the 17th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume I: Main Conference, PhD Symposium, and Posters, Kherson, Ukraine, September 28 - October 2, 2021. CEUR Workshop Proceedings 3013, CEUR-WS.org 2021 [contents] - 2018
- [e5]Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson:
ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018. EPiC Series in Computing 54, EasyChair 2018 [contents] - 2017
- [e4]Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar:
Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with CAV 2016], Revised Selected Papers. Lecture Notes in Computer Science 10152, 2017, ISBN 978-3-319-54291-1 [contents] - [e3]Erika Ábrahám, Sergiy Bogomolov:
Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April 2017. EPTCS 247, 2017 [contents] - 2015
- [e2]Sergiy Bogomolov, Ashish Tiwari:
1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015. EPiC Series in Computing 37, EasyChair 2015 [contents] - [e1]Sergiy Bogomolov, Matthieu Martel:
Seventh and Eighth International Workshops on Numerical Software Verification, NSV 2014, Vienna, Austria, July 17-18, 2014 & NSV 2015, Seattle, WA, USA, April 13, 2015. Electronic Notes in Theoretical Computer Science 317, Elsevier 2015 [contents]
Informal and Other Publications
- 2021
- [i8]Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin:
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. CoRR abs/2105.00886 (2021) - 2019
- [i7]Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling:
JuliaReach: a Toolbox for Set-Based Reachability. CoRR abs/1901.10736 (2019) - [i6]Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling:
Reachability analysis of linear hybrid systems via block decomposition. CoRR abs/1905.02458 (2019) - 2018
- [i5]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 abs/1801.09526 (2018) - 2016
- [i4]Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger:
Invariant Clusters for Hybrid Systems. CoRR abs/1605.01450 (2016) - [i3]Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray:
Parallel Reachability Analysis for Hybrid Systems. CoRR abs/1606.05473 (2016) - [i2]Daniel Bryce, Sergiy Bogomolov, Alexander Heinz, Christian Schilling:
Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems. CoRR abs/1609.03847 (2016) - [i1]Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, Nacim Ramdani:
Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491). Dagstuhl Reports 6(12): 1-28 (2016)
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 20:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
