Corina Mitrohin
|
Corina Mitrohin
University of FreiburgGeorges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-017 |
Research Interests
Stability Verification of Hybrid Systems.Research
I'm a Ph.D. student at the Chair of Software Engineering, Institute of Computer Science, University of Freiburg. My research interests include Safety and Stability Verification for Hybrid Systems. I'm a member of the Transregional Collaborative Research Center AVACS.
Publications
- Composing Stability Proofs for Hybrid Systems, Corina Mitrohin and Andreas Podelski, FORMATS 2011.
- Composing Reachability Analyses for Stability Analysis of Hybrid Systems, Sergiy Bogomolov, Corina Mitrohin, and Andreas Podelski, ATVA 2010.
- Developing and Applying a Requirements Engineering Concept to automatic Detection of Conflicts, Corina Mitrohin, Master Thesis, Albert Ludwigs University, Freiburg, Germany, June 2007.
- Subset Based Properties of Partially Ordered Sets, F.L.Tiplea, S.Iftene, B.Ciurariu, C.Apachite; Technical Report 02-01, Faculty of Computer Science, "Al.I.Cuza" University of Iasi, Romania, February 2002.
- Codes with Synchronization, Corina Mitrohin, Bachelor Thesis, Al. I. Cuza University, Iasi, Romania, September 2000.
- Synchronized Extension Systems, F.L.Tiplea, E.Makinen, C.Apachite Acta Informatica 37, 6 (2001), 449-465. Technical Report A-2000-1, Department of Computer and Information Sciences, University of Tampere, Finland, January 2000, 19 pp.
Talks
Projects
- AVACS, where I participate in Subproject H4
Consultation Hours
- By appointment
Teaching
-
Seminar Hybrid Systems, Fall Term 2011/2012