BibTeX records: Sergiy Bogomolov

download as .bib file

@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 = {Thu, 02 Apr 2020 01:00:00 +0200},
  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 = {Thu, 02 Apr 2020 01:00:00 +0200},
  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} 2018, Berkeley, CA, USA, July 11-15,
               2019},
  pages     = {195--199},
  publisher = {{AAAI} Press},
  year      = {2019},
  url       = {https://aaai.org/ojs/index.php/ICAPS/article/view/3476},
  timestamp = {Tue, 19 Nov 2019 08:03:24 +0100},
  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 = {Fri, 27 Mar 2020 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 = {Fri, 27 Mar 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},
  archivePrefix = {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},
  archivePrefix = {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 = {Fri, 27 Mar 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 = {Wed, 27 May 2020 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},
  archivePrefix = {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 = {Fri, 27 Mar 2020 00:00:00 +0100},
  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 = {Sat, 04 Jan 2020 00:00:00 +0100},
  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 = {Sun, 02 Jun 2019 01:00:00 +0200},
  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 = {Thu, 02 Apr 2020 01:00:00 +0200},
  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 = {Sat, 04 Jan 2020 00:00:00 +0100},
  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://easychair.org/publications/paper/fdQv},
  timestamp = {Wed, 27 May 2020 16:02:02 +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://easychair.org/publications/paper/wgk},
  timestamp = {Wed, 27 May 2020 16:02:02 +0200},
  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 = {Sat, 04 Jan 2020 00:00:00 +0100},
  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 E. 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 = {Sun, 02 Jun 2019 01:00:00 +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},
  archivePrefix = {arXiv},
  eprint    = {1605.01450},
  timestamp = {Sat, 04 Jan 2020 00:00:00 +0100},
  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},
  archivePrefix = {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},
  archivePrefix = {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},
  timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/phd/dnb/Bogomolov15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BogomolovM15,
  author    = {Sergiy Bogomolov and
               Matthieu Martel},
  title     = {Preface},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {317},
  pages     = {1--2},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.entcs.2015.10.001},
  doi       = {10.1016/j.entcs.2015.10.001},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/BogomolovM15.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 = {Sat, 04 Jan 2020 00:00:00 +0100},
  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://easychair.org/publications/paper/sjv},
  timestamp = {Wed, 27 May 2020 16:02:02 +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 = {Sat, 04 Jan 2020 00:00:00 +0100},
  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 = {Fri, 06 Sep 2019 10:57:13 +0200},
  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 = {Sat, 04 Jan 2020 00:00:00 +0100},
  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}
}
@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 = {Wed, 27 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/2015snr.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       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8494},
  timestamp = {Thu, 31 Jul 2014 08:59:54 +0200},
  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, 14 May 2019 10:00:42 +0200},
  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 = {Tue, 14 May 2019 10:00:36 +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 = {Sun, 02 Jun 2019 01:00:00 +0200},
  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/20.500.12116/19671},
  timestamp = {Thu, 14 Nov 2019 16:35:28 +0100},
  biburl    = {https://dblp.org/rec/conf/gcb/BogomolovMVPB10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics