Sergiy Bogomolov

73 papers A* 5B 4C 2Misc 1Journal 19Unranked 34

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Reachability analysis of FMI models using data-driven dynamic sensitivity. Simul. Sergiy Bogomolov, Cláudio Gomes, Carlos Ignacio Isasa Martin, Sadegh Soudjani, Paulius Stankaitis, Thomas Wright
2025	J	`jnl`	Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement. Formal Methods Syst. Des. Stanley Bak, Sergiy Bogomolov, Brandon Hencey, Niklas Kochdumper, Ethan Lew, Kostiantyn Potomkin
2024	—	`conf`	Falsification using Reachability of Surrogate Koopman Models. HSCC Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati
2024	—	`conf`	Safe Reach Set Computation via Neural Barrier Certificates. ADHS Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
2024	J	`jnl`	Safe Reach Set Computation via Neural Barrier Certificates. CoRR Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
2024	—	`conf`	Zero-One Attack: Degrading Closed-Loop Neural Network Control Systems using State-Time Perturbations. ICCPS Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Veena Krish, Andrew Mata, Amir Rahmati
2023	J	`jnl`	A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. Formal Aspects Comput. Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander B. Romanovsky, Paulius Stankaitis
2023	B	`conf`	AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization. ATVA Ethan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov
2023	—	`conf`	Online Reachability Analysis and Space Convexification for Autonomous Racing. FMAS@iFM Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Paulius Stankaitis
2022	—	`conf`	Data-Driven Reachability Analysis of Digital Twin FMI Models. ISoLA (4) Sergiy Bogomolov, John S. Fitzgerald, Sadegh Soudjani, Paulius Stankaitis
2022	J	`jnl`	Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version). Inf. Comput. Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling
2022	—	`ed.`	Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings FORMATS Sergiy Bogomolov, David Parker
2022	B	`conf`	Reachability Analysis and Simulation for Hybridised Event-B Models. IFM Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis
2022	—	`conf`	Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement. CAV (1) Stanley Bak, Sergiy Bogomolov, Brandon Hencey, Niklas Kochdumper, Ethan Lew, Kostiantyn Potomkin
2022	—	`conf`	Runtime Assurance for Autonomous Driving with Neural Reachability. ITSC Sergiy Bogomolov, Abdelrahman Hekal, Bardh Hoxha, Tomoya Yamaguchi
2021	—	`ed.`	HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021 HSCC Sergiy Bogomolov, Raphaël M. Jungers
2021	Misc	`ed.`	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. ICTERI Vadim Ermolayev, David Esteban, Heinrich C. Mayr, Mykola Nikitchenko, Sergiy Bogomolov, Grygoriy Zholtkevych, Vitaliy Yakovyna, Aleksander Spivakovsky
2021	—	`conf`	Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. ADHS Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin
2021	J	`jnl`	Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. CoRR Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin
2020	—	`conf`	Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model. RP Sergiy Bogomolov, Marcelo Forets, Kostiantyn Potomkin
2020	J	`jnl`	Reachability Analysis of Linear Hybrid Systems via Block Decomposition. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
2020	—	`conf`	Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling. FORMATS Dongxu Li, Stanley Bak, Sergiy Bogomolov
2020	J	`jnl`	Safety Verification for Random Ordinary Differential Equations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, Bican Xia
2019	—	`conf`	Falsification of hybrid systems using symbolic reachability and trajectory splicing. HSCC Sergiy Bogomolov, Goran Frehse, Amit Gurung, Dongxu Li, Georg Martius, Rajarshi Ray
2019	J	`jnl`	Hybrid automata: from verification to implementation. Int. J. Softw. Tools Technol. Transf. Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling
2019	J	`jnl`	JuliaReach: a Toolbox for Set-Based Reachability. CoRR Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
2019	—	`conf`	JuliaReach: a toolbox for set-based reachability. HSCC Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
2019	J	`jnl`	Parallel reachability analysis of hybrid systems in XSpeed. Int. J. Softw. Tools Technol. Transf. Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
2019	J	`jnl`	Reachability analysis of linear hybrid systems via block decomposition. CoRR Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
2019	A*	`conf`	Temporal Planning as Refinement-Based Model Checking. ICAPS Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus, Andreas Podelski
2018	—	`ed.`	ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018 ARCH@ADHS Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson
2018	A*	`conf`	Effect-Abstraction Based Relaxation for Linear Numeric Planning. IJCAI Dongxu Li, Enrico Scala, Patrik Haslum, Sergiy Bogomolov
2018	—	`conf`	Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. HSCC Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Frédéric Viry, Andreas Podelski, Christian Schilling
2018	J	`jnl`	Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. CoRR Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling, Frédéric Viry
2017	—	`conf`	Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees. NSV@CAV Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Aviral Kumar
2017	—	`conf`	Conic Abstractions for Hybrid Systems. FORMATS Sergiy Bogomolov, Mirco Giacobbe, Thomas A. Henzinger, Hui Kong
2017	—	`conf`	Counterexample-Guided Refinement of Template Polyhedra. TACAS (1) Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger
2017	—	`ed.`	Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with CAV 2016], Revised Selected Papers NSV@CAV Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
2017	—	`ed.`	Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April 2017. SNR@ETAPS Erika Ábrahám, Sergiy Bogomolov
2017	—	`conf`	Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters. HSCC Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger
2017	—	`conf`	Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata. FORMATS Stanley Bak, Sergiy Bogomolov, Matthias Althoff
2016	J	`jnl`	Adaptive moment closure for parameter inference of biochemical reaction networks. Biosyst. Christian Schilling, Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess
2016	—	`conf`	Discrete Abstraction of Multiaffine Systems. HSB Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, Yu Jiang, Christian Schilling
2016	J	`jnl`	Guided search for hybrid systems based on coarse-grained space abstractions. Int. J. Softw. Tools Technol. Transf. Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle
2016	—	`conf`	High-level Hybrid Systems Analysis with Hypy. ARCH@CPSWeek Stanley Bak, Sergiy Bogomolov, Christian Schilling
2016	J	`jnl`	Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems. CoRR Daniel Bryce, Sergiy Bogomolov, Alexander Heinz, Christian Schilling
2016	J	`jnl`	Invariant Clusters for Hybrid Systems. CoRR Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger
2016	J	`jnl`	Parallel Reachability Analysis for Hybrid Systems. CoRR Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
2016	C	`conf`	Parallel reachability analysis for hybrid systems. MEMOCODE Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
2016	—	`conf`	Scalable Static Hybridization Methods for Analysis of Nonlinear Systems. HSCC Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, Pradyot Prakash
2016	J	`jnl`	Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491). Dagstuhl Reports Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, Nacim Ramdani
2016	C	`conf`	Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA 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
2016	—	`conf`	Verification of Fault-Tolerant Clock Synchronization Algorithms. ARCH@CPSWeek Sergiy Bogomolov, Christian Herrera, Wilfried Steiner
2015	—	`ed.`	1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015 SNR@CAV Sergiy Bogomolov, Ashish Tiwari
2015	—	`conf`	Abstraction-Based Parameter Synthesis for Multiaffine Systems. Haifa Verification Conference Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, Radu Grosu
2015	—	`—`	Abstraction-based analysis of hybrid automata = Abstraktions-basierte Analyse von Hybrid-Automaten. Sergiy Bogomolov
2015	—	`conf`	Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks. CMSB Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess, Christian Schilling
2015	—	`conf`	Benchmark Generator for Stratified Controllers of Tank Networks. ARCH@CPSWeek Stanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnson
2015	—	`conf`	Eliminating spurious transitions in reachability with support functions. HSCC Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski
2015	—	`conf`	HYST: a source transformation and translation tool for hybrid automaton models. HSCC Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson
2015	—	`conf`	HyRG: a random generation tool for affine hybrid automata. HSCC Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson
2015	A*	`conf`	PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. ICAPS Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli, Martin Wehrle
2015	—	`conf`	Preface. NSV Sergiy Bogomolov, Matthieu Martel
2015	B	`conf`	Runtime Verification for Hybrid Analysis Tools. RV Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson
2015	—	`ed.`	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 NSV Sergiy Bogomolov, Matthieu Martel
2015	—	`conf`	XSpeed: Accelerating Reachability Analysis on Multi-core Processors. Haifa Verification Conference Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
2014	—	`conf`	Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. Haifa Verification Conference Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump
2014	A*	`conf`	Planning as Model Checking in Hybrid Domains. AAAI Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle
2014	—	`conf`	Quasi-dependent variables in hybrid automata. HSCC Sergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal, Andreas Podelski
2013	—	`conf`	Abstraction-Based Guided Search for Hybrid Systems. SPIN Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle
2012	A*	`conf`	A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. CAV Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle
2010	B	`conf`	Composing Reachability Analyses of Hybrid Systems for Safety and Stability. ATVA Sergiy Bogomolov, Corina Mitrohin, Andreas Podelski
2010	—	`conf`	Shape-based Barrier Estimation for RNAs. GCB Sergiy Bogomolov, Martin Mann, Björn Voß, Andreas Podelski, Rolf Backofen