Sergiy Bogomolov
|
Sergiy Bogomolov
University of FreiburgGeorges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-018 |
Research Interests
Hybrid Systems, Verification, Software Engineering
Research
I am PhD student working under supervision of Prof. Dr. Andreas Podelski. My main research interest represent hybrid systems and their verification. In particular I have done research in two directions and namely the computation of additional constraints which can be used to refine the abstraction of hybrid systems and the application of directed model checking in the scope of hybrid system.
Publications
- A Box-based Distance between Regions for Guiding the Reachability Analysis of SpaceEx, accepted to CAV2012, together with
Radu Grosu, Goran Frehse, Hamed Ladan, Andreas Podelski and Martin Wehrle
- Shape-based barrier estimation for RNAs, GCB 2010, together with Martin Mann, Björn Voß, Andreas Podelski and Rolf Backofen
- Composing Reachability Analyses for Stability Analysis of Hybrid Systems, ATVA 2010, together with Corina Mitrohin and Andreas Podelski
- DBLP, Google Scholar
Teaching
- Cyber physical systems (Summer Term 2011)
- Model Checking (Summer Term 2011)
- Design and Analysis of Embedded Systems (Winter Term 2010/11)
- Theoretical Computer Science II (Winter Term 2010/11)
- Informatik III - Theoretische Informatik (Winter Term 2010/11)
- Abstraction Techniques for Hybrid Systems (Summer Term 2010)
- Design and Analysis of Cyber-Physical Systems (Winter Term 2009/2010)
- Model Checking (Summer Term 2009)