Uni-Logo
You are here: Home Team Corina Mitrohin
Document Actions

Corina Mitrohin

 

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

    Personal tools