default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sergiy Bogomolov
@article{DBLP:journals/simulation/BogomolovGMSSW25,
author = {Sergiy Bogomolov and
Cl{\'{a}}udio Gomes and
Carlos Ignacio Isasa Martin and
Sadegh Soudjani and
Paulius Stankaitis and
Thomas Wright},
title = {Reachability analysis of {FMI} models using data-driven dynamic sensitivity},
journal = {Simul.},
volume = {101},
number = {5},
pages = {575--596},
year = {2025},
url = {https://doi.org/10.1177/00375497241261409},
doi = {10.1177/00375497241261409},
timestamp = {Wed, 11 Jun 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simulation/BogomolovGMSSW25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/AbateBEPSZ24,
author = {Alessandro Abate and
Sergiy Bogomolov and
Alec Edwards and
Kostiantyn Potomkin and
Sadegh Soudjani and
Paolo Zuliani},
editor = {Abolfazl Lavaei and
Pavithra Prabhakar and
Luca Zaccarian and
Majid Zamani},
title = {Safe Reach Set Computation via Neural Barrier Certificates},
booktitle = {8th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2024, Boulder, CO, USA, July 1-3, 2024},
series = {IFAC-PapersOnLine},
volume = {58},
number = {11},
pages = {107--114},
publisher = {Elsevier},
year = {2024},
url = {https://doi.org/10.1016/j.ifacol.2024.07.433},
doi = {10.1016/J.IFACOL.2024.07.433},
timestamp = {Thu, 21 Aug 2025 15:36:42 +0200},
biburl = {https://dblp.org/rec/conf/adhs/AbateBEPSZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BakBHKLMR24,
author = {Stanley Bak and
Sergiy Bogomolov and
Abdelrahman Hekal and
Niklas Kochdumper and
Ethan Lew and
Andrew Mata and
Amir Rahmati},
editor = {Erika {\'{A}}brah{\'{a}}m and
Manuel Mazo Jr.},
title = {Falsification using Reachability of Surrogate Koopman Models},
booktitle = {Proceedings of the 27th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2024, Hong Kong SAR, China, May 14-16,
2024},
pages = {27:1--27:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3641513.3650141},
doi = {10.1145/3641513.3650141},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/BakBHKLMR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/BakBHKMR24,
author = {Stanley Bak and
Sergiy Bogomolov and
Abdelrahman Hekal and
Veena Krish and
Andrew Mata and
Amir Rahmati},
title = {Zero-One Attack: Degrading Closed-Loop Neural Network Control Systems
using State-Time Perturbations},
booktitle = {15th {ACM/IEEE} International Conference on Cyber-Physical Systems,
{ICCPS} 2024, Hong Kong, May 13-16, 2024},
pages = {12--22},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICCPS61052.2024.00008},
doi = {10.1109/ICCPS61052.2024.00008},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/BakBHKMR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-18813,
author = {Alessandro Abate and
Sergiy Bogomolov and
Alec Edwards and
Kostiantyn Potomkin and
Sadegh Soudjani and
Paolo Zuliani},
title = {Safe Reach Set Computation via Neural Barrier Certificates},
journal = {CoRR},
volume = {abs/2404.18813},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.18813},
doi = {10.48550/ARXIV.2404.18813},
eprinttype = {arXiv},
eprint = {2404.18813},
timestamp = {Mon, 27 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-18813.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AitAmeurBDIRS23,
author = {Yamine A{\"{\i}}t{-}Ameur and
Sergiy Bogomolov and
Guillaume Dupont and
Alexei Iliasov and
Alexander B. Romanovsky and
Paulius Stankaitis},
title = {A Refinement-based Formal Development of Cyber-physical Railway Signalling
Systems},
journal = {Formal Aspects Comput.},
volume = {35},
number = {1},
pages = {3:1},
year = {2023},
url = {https://doi.org/10.1145/3524052},
doi = {10.1145/3524052},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AitAmeurBDIRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LewHPKHBB23,
author = {Ethan Lew and
Abdelrahman Hekal and
Kostiantyn Potomkin and
Niklas Kochdumper and
Brandon Hencey and
Stanley Bak and
Sergiy Bogomolov},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {AutoKoopman: {A} Toolbox for Automated System Identification via Koopman
Operator Linearization},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14216},
pages = {237--250},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45332-8\_12},
doi = {10.1007/978-3-031-45332-8\_12},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/LewHPKHBB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-09781,
author = {Sergiy Bogomolov and
Taylor T. Johnson and
Diego Manzanas Lopez and
Patrick Musau and
Paulius Stankaitis},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Online Reachability Analysis and Space Convexification for Autonomous
Racing},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {95--112},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.7},
doi = {10.4204/EPTCS.395.7},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09781.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BogomolovFFPS22,
author = {Sergiy Bogomolov and
Marcelo Forets and
Goran Frehse and
Andreas Podelski and
Christian Schilling},
title = {Decomposing reach set computations with low-dimensional sets and high-dimensional
matrices (extended version)},
journal = {Inf. Comput.},
volume = {289},
number = {Part},
pages = {104937},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2022.104937},
doi = {10.1016/J.IC.2022.104937},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BogomolovFFPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BakBHKLP22,
author = {Stanley Bak and
Sergiy Bogomolov and
Brandon Hencey and
Niklas Kochdumper and
Ethan Lew and
Kostiantyn Potomkin},
editor = {Sharon Shoham and
Yakir Vizel},
title = {Reachability of Koopman Linearized Systems Using Random Fourier Feature
Observables and Polynomial Zonotope Refinement},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13371},
pages = {490--510},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13185-1\_24},
doi = {10.1007/978-3-031-13185-1\_24},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BakBHKLP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AmeurBDSS22,
author = {Yamine A{\"{\i}}t Ameur and
Sergiy Bogomolov and
Guillaume Dupont and
Neeraj Kumar Singh and
Paulius Stankaitis},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Reachability Analysis and Simulation for Hybridised Event-B Models},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {109--128},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_7},
doi = {10.1007/978-3-031-07727-2\_7},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/AmeurBDSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BogomolovFSS22,
author = {Sergiy Bogomolov and
John S. Fitzgerald and
Sadegh Soudjani and
Paulius Stankaitis},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Data-Driven Reachability Analysis of Digital Twin {FMI} Models},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
October 22-30, 2022, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {13704},
pages = {139--158},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19762-8\_10},
doi = {10.1007/978-3-031-19762-8\_10},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BogomolovFSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/BogomolovHHY22,
author = {Sergiy Bogomolov and
Abdelrahman Hekal and
Bardh Hoxha and
Tomoya Yamaguchi},
title = {Runtime Assurance for Autonomous Driving with Neural Reachability},
booktitle = {25th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
pages = {2634--2641},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ITSC55140.2022.9922294},
doi = {10.1109/ITSC55140.2022.9922294},
timestamp = {Thu, 10 Nov 2022 21:13:36 +0100},
biburl = {https://dblp.org/rec/conf/itsc/BogomolovHHY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2022,
editor = {Sergiy Bogomolov and
David Parker},
title = {Formal Modeling and Analysis of Timed Systems - 20th International
Conference, {FORMATS} 2022, Warsaw, Poland, September 13-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13465},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15839-1},
doi = {10.1007/978-3-031-15839-1},
isbn = {978-3-031-15838-4},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/BakBDGP21,
author = {Stanley Bak and
Sergiy Bogomolov and
Parasara Sridhar Duggirala and
Adam R. Gerlach and
Kostiantyn Potomkin},
editor = {Rapha{\"{e}}l M. Jungers and
Necmiye Ozay and
Alessandro Abate},
title = {Reachability of Black-Box Nonlinear Systems after Koopman Operator
Linearization},
booktitle = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2021, Brussels, Belgium, July 7-9, 2021},
series = {IFAC-PapersOnLine},
volume = {54},
number = {5},
pages = {253--258},
publisher = {Elsevier},
year = {2021},
url = {https://doi.org/10.1016/j.ifacol.2021.08.507},
doi = {10.1016/J.IFACOL.2021.08.507},
timestamp = {Tue, 14 Sep 2021 14:28:35 +0200},
biburl = {https://dblp.org/rec/conf/adhs/BakBDGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2021,
editor = {Sergiy Bogomolov and
Rapha{\"{e}}l M. Jungers},
title = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems:
Computation and Control, Nashville, Tennessee, May 19-21, 2021},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3447928},
doi = {10.1145/3447928},
isbn = {978-1-4503-8339-4},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icteri/2021,
editor = {Vadim Ermolayev and
David Esteban and
Heinrich C. Mayr and
Mykola Nikitchenko and
Sergiy Bogomolov and
Grygoriy Zholtkevych and
Vitaliy Yakovyna and
Aleksander Spivakovsky},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3013},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3013},
urn = {urn:nbn:de:0074-3013-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icteri/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-00886,
author = {Stanley Bak and
Sergiy Bogomolov and
Parasara Sridhar Duggirala and
Adam R. Gerlach and
Kostiantyn Potomkin},
title = {Reachability of Black-Box Nonlinear Systems after Koopman Operator
Linearization},
journal = {CoRR},
volume = {abs/2105.00886},
year = {2021},
url = {https://arxiv.org/abs/2105.00886},
eprinttype = {arXiv},
eprint = {2105.00886},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-00886.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/BogomolovFFPS20,
author = {Sergiy Bogomolov and
Marcelo Forets and
Goran Frehse and
Kostiantyn Potomkin and
Christian Schilling},
title = {Reachability Analysis of Linear Hybrid Systems via Block Decomposition},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {39},
number = {11},
pages = {4018--4029},
year = {2020},
url = {https://doi.org/10.1109/TCAD.2020.3012859},
doi = {10.1109/TCAD.2020.3012859},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/BogomolovFFPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/XueFZBX20,
author = {Bai Xue and
Martin Fr{\"{a}}nzle and
Naijun Zhan and
Sergiy Bogomolov and
Bican Xia},
title = {Safety Verification for Random Ordinary Differential Equations},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {39},
number = {11},
pages = {4090--4101},
year = {2020},
url = {https://doi.org/10.1109/TCAD.2020.3013135},
doi = {10.1109/TCAD.2020.3013135},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/XueFZBX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/LiBB20,
author = {Dongxu Li and
Stanley Bak and
Sergiy Bogomolov},
editor = {Nathalie Bertrand and
Nils Jansen},
title = {Reachability Analysis of Nonlinear Systems Using Hybridization and
Dynamics Scaling},
booktitle = {Formal Modeling and Analysis of Timed Systems - 18th International
Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12288},
pages = {265--282},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57628-8\_16},
doi = {10.1007/978-3-030-57628-8\_16},
timestamp = {Tue, 25 Aug 2020 15:25:25 +0200},
biburl = {https://dblp.org/rec/conf/formats/LiBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BogomolovFP20,
author = {Sergiy Bogomolov and
Marcelo Forets and
Kostiantyn Potomkin},
editor = {Sylvain Schmitz and
Igor Potapov},
title = {Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control
Model},
booktitle = {Reachability Problems - 14th International Conference, {RP} 2020,
Paris, France, October 19-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12448},
pages = {52--66},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61739-4\_4},
doi = {10.1007/978-3-030-61739-4\_4},
timestamp = {Thu, 22 Oct 2020 11:34:52 +0200},
biburl = {https://dblp.org/rec/conf/rp/BogomolovFP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BakBBJNS19,
author = {Stanley Bak and
Omar Ali Beg and
Sergiy Bogomolov and
Taylor T. Johnson and
Luan Viet Nguyen and
Christian Schilling},
title = {Hybrid automata: from verification to implementation},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {21},
number = {1},
pages = {87--104},
year = {2019},
url = {https://doi.org/10.1007/s10009-017-0458-1},
doi = {10.1007/S10009-017-0458-1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/BakBBJNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GurungRBBG19,
author = {Amit Gurung and
Rajarshi Ray and
Ezio Bartocci and
Sergiy Bogomolov and
Radu Grosu},
title = {Parallel reachability analysis of hybrid systems in XSpeed},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {21},
number = {4},
pages = {401--423},
year = {2019},
url = {https://doi.org/10.1007/s10009-018-0485-6},
doi = {10.1007/S10009-018-0485-6},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/GurungRBBG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HeinzWBMGP19,
author = {Alexander Heinz and
Martin Wehrle and
Sergiy Bogomolov and
Daniele Magazzeni and
Marius Greitschus and
Andreas Podelski},
editor = {J. Benton and
Nir Lipovetzky and
Eva Onaindia and
David E. Smith and
Siddharth Srivastava},
title = {Temporal Planning as Refinement-Based Model Checking},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
2019},
pages = {195--199},
publisher = {{AAAI} Press},
year = {2019},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/3476},
timestamp = {Tue, 20 Aug 2024 07:54:44 +0200},
biburl = {https://dblp.org/rec/conf/aips/HeinzWBMGP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BogomolovFGLM019,
author = {Sergiy Bogomolov and
Goran Frehse and
Amit Gurung and
Dongxu Li and
Georg Martius and
Rajarshi Ray},
editor = {Necmiye Ozay and
Pavithra Prabhakar},
title = {Falsification of hybrid systems using symbolic reachability and trajectory
splicing},
booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
16-18, 2019},
pages = {1--10},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302504.3311813},
doi = {10.1145/3302504.3311813},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/BogomolovFGLM019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BogomolovFFPS19,
author = {Sergiy Bogomolov and
Marcelo Forets and
Goran Frehse and
Kostiantyn Potomkin and
Christian Schilling},
editor = {Necmiye Ozay and
Pavithra Prabhakar},
title = {JuliaReach: a toolbox for set-based reachability},
booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
16-18, 2019},
pages = {39--44},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302504.3311804},
doi = {10.1145/3302504.3311804},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/BogomolovFFPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-10736,
author = {Sergiy Bogomolov and
Marcelo Forets and
Goran Frehse and
Kostiantyn Potomkin and
Christian Schilling},
title = {JuliaReach: a Toolbox for Set-Based Reachability},
journal = {CoRR},
volume = {abs/1901.10736},
year = {2019},
url = {http://arxiv.org/abs/1901.10736},
eprinttype = {arXiv},
eprint = {1901.10736},
timestamp = {Sat, 04 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-10736.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-02458,
author = {Sergiy Bogomolov and
Marcelo Forets and
Goran Frehse and
Kostiantyn Potomkin and
Christian Schilling},
title = {Reachability analysis of linear hybrid systems via block decomposition},
journal = {CoRR},
volume = {abs/1905.02458},
year = {2019},
url = {http://arxiv.org/abs/1905.02458},
eprinttype = {arXiv},
eprint = {1905.02458},
timestamp = {Sat, 04 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-02458.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BogomolovFFVPS18,
author = {Sergiy Bogomolov and
Marcelo Forets and
Goran Frehse and
Fr{\'{e}}d{\'{e}}ric Viry and
Andreas Podelski and
Christian Schilling},
editor = {Maria Prandini and
Jyotirmoy V. Deshmukh},
title = {Reach Set Approximation through Decomposition with Low-dimensional
Sets and High-dimensional Matrices},
booktitle = {Proceedings of the 21st International Conference on Hybrid Systems:
Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto,
Portugal, April 11-13, 2018},
pages = {41--50},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3178126.3178128},
doi = {10.1145/3178126.3178128},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/BogomolovFFVPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LiSHB18,
author = {Dongxu Li and
Enrico Scala and
Patrik Haslum and
Sergiy Bogomolov},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Effect-Abstraction Based Relaxation for Linear Numeric Planning},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {4787--4793},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/665},
doi = {10.24963/IJCAI.2018/665},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/LiSHB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adhs/2018arch,
editor = {Goran Frehse and
Matthias Althoff and
Sergiy Bogomolov and
Taylor T. Johnson},
title = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous
and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
series = {EPiC Series in Computing},
volume = {54},
publisher = {EasyChair},
year = {2018},
url = {https://easychair.org/publications/volume/ARCH18},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/2018arch.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-09526,
author = {Sergiy Bogomolov and
Marcelo Forets and
Goran Frehse and
Andreas Podelski and
Christian Schilling and
Fr{\'{e}}d{\'{e}}ric Viry},
title = {Reach Set Approximation through Decomposition with Low-dimensional
Sets and High-dimensional Matrices},
journal = {CoRR},
volume = {abs/1801.09526},
year = {2018},
url = {http://arxiv.org/abs/1801.09526},
eprinttype = {arXiv},
eprint = {1801.09526},
timestamp = {Sat, 04 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-09526.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BakBHK17,
author = {Stanley Bak and
Sergiy Bogomolov and
Thomas A. Henzinger and
Aviral Kumar},
editor = {Alessandro Abate and
Sylvie Boldo},
title = {Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random
Trees},
booktitle = {Numerical Software Verification - 10th International Workshop, {NSV}
2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated
with {CAV} 2017]},
series = {Lecture Notes in Computer Science},
volume = {10381},
pages = {83--89},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63501-9\_6},
doi = {10.1007/978-3-319-63501-9\_6},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BakBHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BogomolovGHK17,
author = {Sergiy Bogomolov and
Mirco Giacobbe and
Thomas A. Henzinger and
Hui Kong},
editor = {Alessandro Abate and
Gilles Geeraerts},
title = {Conic Abstractions for Hybrid Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 15th International
Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10419},
pages = {116--132},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65765-3\_7},
doi = {10.1007/978-3-319-65765-3\_7},
timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BogomolovGHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BakBA17,
author = {Stanley Bak and
Sergiy Bogomolov and
Matthias Althoff},
editor = {Alessandro Abate and
Gilles Geeraerts},
title = {Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid
Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 15th International
Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10419},
pages = {133--150},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65765-3\_8},
doi = {10.1007/978-3-319-65765-3\_8},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/BakBA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KongBSJH17,
author = {Hui Kong and
Sergiy Bogomolov and
Christian Schilling and
Yu Jiang and
Thomas A. Henzinger},
editor = {Goran Frehse and
Sayan Mitra},
title = {Safety Verification of Nonlinear Hybrid Systems Based on Invariant
Clusters},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {163--172},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049814},
doi = {10.1145/3049797.3049814},
timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KongBSJH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BogomolovFGH17,
author = {Sergiy Bogomolov and
Goran Frehse and
Mirco Giacobbe and
Thomas A. Henzinger},
editor = {Axel Legay and
Tiziana Margaria},
title = {Counterexample-Guided Refinement of Template Polyhedra},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {589--606},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_34},
doi = {10.1007/978-3-662-54577-5\_34},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BogomolovFGH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2016nsv,
editor = {Sergiy Bogomolov and
Matthieu Martel and
Pavithra Prabhakar},
title = {Numerical Software Verification - 9th International Workshop, {NSV}
2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV}
2016], Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10152},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-54292-8},
doi = {10.1007/978-3-319-54292-8},
isbn = {978-3-319-54291-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2016nsv.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/AbrahamB17,
editor = {Erika {\'{A}}brah{\'{a}}m and
Sergiy Bogomolov},
title = {Proceedings 3rd International Workshop on Symbolic and Numerical Methods
for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April
2017},
series = {{EPTCS}},
volume = {247},
year = {2017},
url = {http://arxiv.org/abs/1704.02421},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbrahamB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/SchillingBHPR16,
author = {Christian Schilling and
Sergiy Bogomolov and
Thomas A. Henzinger and
Andreas Podelski and
Jakob Ruess},
title = {Adaptive moment closure for parameter inference of biochemical reaction
networks},
journal = {Biosyst.},
volume = {149},
pages = {15--25},
year = {2016},
url = {https://doi.org/10.1016/j.biosystems.2016.07.005},
doi = {10.1016/J.BIOSYSTEMS.2016.07.005},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/biosystems/SchillingBHPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BogomolovDFGJLP16,
author = {Sergiy Bogomolov and
Alexandre Donz{\'{e}} and
Goran Frehse and
Radu Grosu and
Taylor T. Johnson and
Hamed Ladan and
Andreas Podelski and
Martin Wehrle},
title = {Guided search for hybrid systems based on coarse-grained space abstractions},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {18},
number = {4},
pages = {449--467},
year = {2016},
url = {https://doi.org/10.1007/s10009-015-0393-y},
doi = {10.1007/S10009-015-0393-Y},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/BogomolovDFGJLP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcca/DuggiralaFPQM0B16,
author = {Parasara Sridhar Duggirala and
Chuchu Fan and
Matthew Potok and
Bolun Qi and
Sayan Mitra and
Mahesh Viswanathan and
Stanley Bak and
Sergiy Bogomolov and
Taylor T. Johnson and
Luan Viet Nguyen and
Christian Schilling and
Andrew Sogokon and
Hoang{-}Dung Tran and
Weiming Xiang},
title = {Tutorial: Software tools for hybrid systems verification, transformation,
and synthesis: C2E2, HyST, and TuLiP},
booktitle = {2016 {IEEE} Conference on Control Applications, {CCA} 2016, Buenos
Aires, Argentina, September 19-22, 2016},
pages = {1024--1029},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CCA.2016.7587948},
doi = {10.1109/CCA.2016.7587948},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEcca/DuggiralaFPQM0B16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/BogomolovHS16,
author = {Sergiy Bogomolov and
Christian Herrera and
Wilfried Steiner},
editor = {Goran Frehse and
Matthias Althoff},
title = {Verification of Fault-Tolerant Clock Synchronization Algorithms},
booktitle = {ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification
for Continuous and Hybrid Systems, Vienna, Austria},
series = {EPiC Series in Computing},
volume = {43},
pages = {36--41},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/hq8s},
doi = {10.29007/HQ8S},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/BogomolovHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/BakBS16,
author = {Stanley Bak and
Sergiy Bogomolov and
Christian Schilling},
editor = {Goran Frehse and
Matthias Althoff},
title = {High-level Hybrid Systems Analysis with Hypy},
booktitle = {ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification
for Continuous and Hybrid Systems, Vienna, Austria},
series = {EPiC Series in Computing},
volume = {43},
pages = {80--90},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/4f3d},
doi = {10.29007/4F3D},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/BakBS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/KongBBGHJS16,
author = {Hui Kong and
Ezio Bartocci and
Sergiy Bogomolov and
Radu Grosu and
Thomas A. Henzinger and
Yu Jiang and
Christian Schilling},
editor = {Eugenio Cinquemani and
Alexandre Donz{\'{e}}},
title = {Discrete Abstraction of Multiaffine Systems},
booktitle = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
France, October 20-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9957},
pages = {128--144},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47151-8\_9},
doi = {10.1007/978-3-319-47151-8\_9},
timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hsb/KongBBGHJS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BakBHJP16,
author = {Stanley Bak and
Sergiy Bogomolov and
Thomas A. Henzinger and
Taylor T. Johnson and
Pradyot Prakash},
editor = {Alessandro Abate and
Georgios Fainekos},
title = {Scalable Static Hybridization Methods for Analysis of Nonlinear Systems},
booktitle = {Proceedings of the 19th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
2016},
pages = {155--164},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2883817.2883837},
doi = {10.1145/2883817.2883837},
timestamp = {Fri, 13 Aug 2021 11:37:40 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BakBHJP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/GurungDBBGR16,
author = {Amit Gurung and
Arup Deka and
Ezio Bartocci and
Sergiy Bogomolov and
Radu Grosu and
Rajarshi Ray},
title = {Parallel reachability analysis for hybrid systems},
booktitle = {2016 {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2016, Kanpur, India, November 18-20,
2016},
pages = {12--22},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/MEMCOD.2016.7797741},
doi = {10.1109/MEMCOD.2016.7797741},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/GurungDBBGR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KongBSJH16,
author = {Hui Kong and
Sergiy Bogomolov and
Christian Schilling and
Yu Jiang and
Thomas A. Henzinger},
title = {Invariant Clusters for Hybrid Systems},
journal = {CoRR},
volume = {abs/1605.01450},
year = {2016},
url = {http://arxiv.org/abs/1605.01450},
eprinttype = {arXiv},
eprint = {1605.01450},
timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KongBSJH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GurungDBBGR16,
author = {Amit Gurung and
Arup Deka and
Ezio Bartocci and
Sergiy Bogomolov and
Radu Grosu and
Rajarshi Ray},
title = {Parallel Reachability Analysis for Hybrid Systems},
journal = {CoRR},
volume = {abs/1606.05473},
year = {2016},
url = {http://arxiv.org/abs/1606.05473},
eprinttype = {arXiv},
eprint = {1606.05473},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GurungDBBGR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BryceBHS16,
author = {Daniel Bryce and
Sergiy Bogomolov and
Alexander Heinz and
Christian Schilling},
title = {Instrumenting an {SMT} Solver to Solve Hybrid Network Reachability
Problems},
journal = {CoRR},
volume = {abs/1609.03847},
year = {2016},
url = {http://arxiv.org/abs/1609.03847},
eprinttype = {arXiv},
eprint = {1609.03847},
timestamp = {Sat, 04 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BryceBHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BogomolovFMR16,
author = {Sergiy Bogomolov and
Martin Fr{\"{a}}nzle and
Kyoko Makino and
Nacim Ramdani},
title = {Symbolic-Numeric Methods for Problem Solving in {CPS} (Dagstuhl Seminar
16491)},
journal = {Dagstuhl Reports},
volume = {6},
number = {12},
pages = {1--28},
year = {2016},
url = {https://doi.org/10.4230/DagRep.6.12.1},
doi = {10.4230/DAGREP.6.12.1},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BogomolovFMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Bogomolov15,
author = {Sergiy Bogomolov},
title = {Abstraction-based analysis of hybrid automata = Abstraktions-basierte
Analyse von Hybrid-Automaten},
school = {University of Freiburg, Germany},
year = {2015},
url = {https://www.freidok.uni-freiburg.de/data/10016},
urn = {urn:nbn:de:bsz:25-opus-100161},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Bogomolov15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BogomolovMMW15,
author = {Sergiy Bogomolov and
Daniele Magazzeni and
Stefano Minopoli and
Martin Wehrle},
editor = {Ronen I. Brafman and
Carmel Domshlak and
Patrik Haslum and
Shlomo Zilberstein},
title = {{PDDL+} Planning with Hybrid Automata: Foundations of Translating
Must Behavior},
booktitle = {Proceedings of the Twenty-Fifth International Conference on Automated
Planning and Scheduling, {ICAPS} 2015, Jerusalem, Israel, June 7-11,
2015},
pages = {42--46},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10606},
timestamp = {Tue, 26 May 2015 21:03:02 +0200},
biburl = {https://dblp.org/rec/conf/aips/BogomolovMMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BogomolovHPRS15,
author = {Sergiy Bogomolov and
Thomas A. Henzinger and
Andreas Podelski and
Jakob Ruess and
Christian Schilling},
editor = {Olivier F. Roux and
J{\'{e}}r{\'{e}}mie Bourdon},
title = {Adaptive Moment Closure for Parameter Inference of Biochemical Reaction
Networks},
booktitle = {Computational Methods in Systems Biology - 13th International Conference,
{CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9308},
pages = {77--89},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23401-4\_8},
doi = {10.1007/978-3-319-23401-4\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/BogomolovHPRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/BakBGJ15,
author = {Stanley Bak and
Sergiy Bogomolov and
Marius Greitschus and
Taylor T. Johnson},
editor = {Goran Frehse and
Matthias Althoff},
title = {Benchmark Generator for Stratified Controllers of Tank Networks},
booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
series = {EPiC Series in Computing},
volume = {34},
pages = {73--79},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/2ljt},
doi = {10.29007/2LJT},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/BakBGJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/RayGDBBG15,
author = {Rajarshi Ray and
Amit Gurung and
Binayak Das and
Ezio Bartocci and
Sergiy Bogomolov and
Radu Grosu},
editor = {Nir Piterman},
title = {XSpeed: Accelerating Reachability Analysis on Multi-core Processors},
booktitle = {Hardware and Software: Verification and Testing - 11th International
Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9434},
pages = {3--18},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26287-1\_1},
doi = {10.1007/978-3-319-26287-1\_1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/RayGDBBG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BogomolovSBBKG15,
author = {Sergiy Bogomolov and
Christian Schilling and
Ezio Bartocci and
Gr{\'{e}}gory Batt and
Hui Kong and
Radu Grosu},
editor = {Nir Piterman},
title = {Abstraction-Based Parameter Synthesis for Multiaffine Systems},
booktitle = {Hardware and Software: Verification and Testing - 11th International
Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9434},
pages = {19--35},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26287-1\_2},
doi = {10.1007/978-3-319-26287-1\_2},
timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BogomolovSBBKG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BakBJ15,
author = {Stanley Bak and
Sergiy Bogomolov and
Taylor T. Johnson},
editor = {Antoine Girard and
Sriram Sankaranarayanan},
title = {{HYST:} a source transformation and translation tool for hybrid automaton
models},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems:
Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
pages = {128--133},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2728606.2728630},
doi = {10.1145/2728606.2728630},
timestamp = {Fri, 06 Sep 2019 10:57:13 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BakBJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/FrehseBGSP15,
author = {Goran Frehse and
Sergiy Bogomolov and
Marius Greitschus and
Thomas Strump and
Andreas Podelski},
editor = {Antoine Girard and
Sriram Sankaranarayanan},
title = {Eliminating spurious transitions in reachability with support functions},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems:
Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
pages = {149--158},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2728606.2728622},
doi = {10.1145/2728606.2728622},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/FrehseBGSP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NguyenSBJ15,
author = {Luan Viet Nguyen and
Christian Schilling and
Sergiy Bogomolov and
Taylor T. Johnson},
editor = {Antoine Girard and
Sriram Sankaranarayanan},
title = {HyRG: a random generation tool for affine hybrid automata},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems:
Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
pages = {289--290},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2728606.2728650},
doi = {10.1145/2728606.2728650},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/NguyenSBJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/NguyenSBJ15,
author = {Luan Viet Nguyen and
Christian Schilling and
Sergiy Bogomolov and
Taylor T. Johnson},
editor = {Ezio Bartocci and
Rupak Majumdar},
title = {Runtime Verification for Hybrid Analysis Tools},
booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
Austria, September 22-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9333},
pages = {281--286},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23820-3\_19},
doi = {10.1007/978-3-319-23820-3\_19},
timestamp = {Sat, 04 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/NguyenSBJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BogomolovM15,
author = {Sergiy Bogomolov and
Matthieu Martel},
editor = {Sergiy Bogomolov and
Matthieu Martel},
title = {Preface},
booktitle = {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},
series = {Electronic Notes in Theoretical Computer Science},
volume = {317},
pages = {1--2},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2015.10.001},
doi = {10.1016/J.ENTCS.2015.10.001},
timestamp = {Thu, 10 Nov 2022 15:22:15 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BogomolovM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2015snr,
editor = {Sergiy Bogomolov and
Ashish Tiwari},
title = {1st International Workshop on Symbolic and Numerical Methods for Reachability
Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015},
series = {EPiC Series in Computing},
volume = {37},
publisher = {EasyChair},
year = {2015},
url = {https://easychair.org/publications/volume/SNR\_2015},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2015snr.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nsv/2015,
editor = {Sergiy Bogomolov and
Matthieu Martel},
title = {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},
series = {Electronic Notes in Theoretical Computer Science},
volume = {317},
publisher = {Elsevier},
year = {2015},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/317/suppl/C},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsv/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BogomolovMPW14,
author = {Sergiy Bogomolov and
Daniele Magazzeni and
Andreas Podelski and
Martin Wehrle},
editor = {Carla E. Brodley and
Peter Stone},
title = {Planning as Model Checking in Hybrid Domains},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {2228--2234},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.9037},
doi = {10.1609/AAAI.V28I1.9037},
timestamp = {Tue, 19 Nov 2024 15:59:16 +0100},
biburl = {https://dblp.org/rec/conf/aaai/BogomolovMPW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BogomolovFGGPPS14,
author = {Sergiy Bogomolov and
Goran Frehse and
Marius Greitschus and
Radu Grosu and
Corina S. Pasareanu and
Andreas Podelski and
Thomas Strump},
editor = {Eran Yahav},
title = {Assume-Guarantee Abstraction Refinement Meets Hybrid Systems},
booktitle = {Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November
18-20, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8855},
pages = {116--131},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13338-6\_10},
doi = {10.1007/978-3-319-13338-6\_10},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/BogomolovFGGPPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BogomolovHMWP14,
author = {Sergiy Bogomolov and
Christian Herrera and
Marco Mu{\~{n}}iz and
Bernd Westphal and
Andreas Podelski},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Quasi-dependent variables in hybrid automata},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {93--102},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562142},
doi = {10.1145/2562059.2562142},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BogomolovHMWP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BogomolovDFGJLPW13,
author = {Sergiy Bogomolov and
Alexandre Donz{\'{e}} and
Goran Frehse and
Radu Grosu and
Taylor T. Johnson and
Hamed Ladan and
Andreas Podelski and
Martin Wehrle},
editor = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {Abstraction-Based Guided Search for Hybrid Systems},
booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7976},
pages = {117--134},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39176-7\_8},
doi = {10.1007/978-3-642-39176-7\_8},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/spin/BogomolovDFGJLPW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BogomolovFGLPW12,
author = {Sergiy Bogomolov and
Goran Frehse and
Radu Grosu and
Hamed Ladan and
Andreas Podelski and
Martin Wehrle},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {A Box-Based Distance between Regions for Guiding the Reachability
Analysis of SpaceEx},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {479--494},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_35},
doi = {10.1007/978-3-642-31424-7\_35},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BogomolovFGLPW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BogomolovMP10,
author = {Sergiy Bogomolov and
Corina Mitrohin and
Andreas Podelski},
editor = {Ahmed Bouajjani and
Wei{-}Ngan Chin},
title = {Composing Reachability Analyses of Hybrid Systems for Safety and Stability},
booktitle = {Automated Technology for Verification and Analysis - 8th International
Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {67--81},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15643-4\_7},
doi = {10.1007/978-3-642-15643-4\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BogomolovMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcb/BogomolovMVPB10,
author = {Sergiy Bogomolov and
Martin Mann and
Bj{\"{o}}rn Vo{\ss} and
Andreas Podelski and
Rolf Backofen},
editor = {Dietmar Schomburg and
Andreas Grote},
title = {Shape-based Barrier Estimation for RNAs},
booktitle = {German Conference on Bioinformatics 2010, September 20-22, 2010, Technische
Universit{\"{a}}t Carolo Wilhelmina zu Braunschweig, Germany},
series = {{LNI}},
volume = {{P-173}},
pages = {41--50},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/19671},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcb/BogomolovMVPB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2025-08-22 23:18 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:
