| JuliaReach: a Toolbox for Set-Based Reachability S Bogomolov, M Forets, G Frehse, K Potomkin, C Schilling arXiv preprint arXiv:1901.10736, 2019 | 143 | 2019 |
| HYST: A source transformation and translation tool for hybrid automaton models S Bak, S Bogomolov, TT Johnson Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 114 | 2015 |
| Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices S Bogomolov, M Forets, G Frehse, A Podelski, C Schilling, F Viry arXiv preprint arXiv:1801.09526, 2018 | 62 | 2018 |
| Assume-Guarantee Abstraction Refinement Meets Hybrid Systems S Bogomolov, G Frehse, M Greitschus, R Grosu, C Pasareanu, A Podelski, ... Hardware and Software: Verification and Testing, 116-131, 2014 | 62 | 2014 |
| Planning as Model Checking in Hybrid Domains S Bogomolov, D Magazzeni, A Podelski, M Wehrle | 59 | 2014 |
| XSpeed: Accelerating Reachability Analysis on Multi-core Processors R Ray, A Gurung, B Das, E Bartocci, S Bogomolov, R Grosu Hardware and Software: Verification and Testing, 3-18, 2015 | 56 | 2015 |
| PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior S Bogomolov, D Magazzeni, S Minopoli, M Wehrle Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015 | 42 | 2015 |
| Abstraction-Based Parameter Synthesis for Multiaffine Systems S Bogomolov, C Schilling, E Bartocci, G Batt, H Kong, R Grosu Hardware and Software: Verification and Testing, 19-35, 2015 | 41 | 2015 |
| Scalable static hybridization methods for analysis of nonlinear systems S Bak, S Bogomolov, TA Henzinger, TT Johnson, P Prakash Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 39 | 2016 |
| Counterexample-Guided Refinement of Template Polyhedra S Bogomolov, G Frehse, M Giacobbe, TA Henzinger International Conference on Tools and Algorithms for the Construction and …, 2017 | 38 | 2017 |
| Guided search for hybrid systems based on coarse-grained space abstractions S Bogomolov, A Donzé, G Frehse, R Grosu, TT Johnson, H Ladan, ... International Journal on Software Tools for Technology Transfer, 1-19, 2015 | 35 | 2015 |
| Hybrid automata: from verification to implementation S Bak, OA Beg, S Bogomolov, TT Johnson, LV Nguyen, C Schilling International Journal on Software Tools for Technology Transfer, 1-18, 2017 | 28 | 2017 |
| Co-Simulation of Hybrid Systems with SpaceEx and Uppaal S Bogomolov, M Greitschus, PG Jensen, KG Larsen, M Mikucionis, ... Proceedings of the 11th International Modelica Conference, 2015 | 27 | 2015 |
| Eliminating spurious transitions in reachability with support functions G Frehse, S Bogomolov, M Greitschus, T Strump, A Podelski Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 25 | 2015 |
| Effect-Abstraction Based Relaxation for Linear Numeric Planning L Dongxu, E Scala, P Haslum, S Bogomolov | 23* | 2018 |
| Abstraction-Based Guided Search for Hybrid Systems S Bogomolov, A Donzé, G Frehse, R Grosu, TT Johnson, H Ladan, ... Model Checking Software, 117-134, 2013 | 23 | 2013 |
| Effect-Abstraction Based Relaxation for Linear Numeric Planning D Li, E Scala, P Haslum, S Bogomolov | 23* | |
| Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization S Bak, S Bogomolov, PS Duggirala, AR Gerlach, K Potomkin arXiv preprint arXiv:2105.00886, 2021 | 22 | 2021 |
| Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters H Kong, S Bogomolov, C Schilling, Y Jiang, TA Henzinger Proceedings of the 20th International Conference on Hybrid Systems …, 2017 | 22 | 2017 |
| A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx S Bogomolov, G Frehse, R Grosu, H Ladan, A Podelski, M Wehrle Computer Aided Verification, 479-494, 2012 | 22 | 2012 |
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityBestätigte E-Mail-Adresse bei informatik.uni-freiburg.de
