C. Mitrohin

Dwell Time Refinement

Andreas Podelski, Silke Wagner, Corina Mitrohin, 2009 .

Synchronized extension systems

Erkki Mäkinen, Ferucio Laurentiu Tiplea, Corina Mitrohin, 2001, Acta Informatica.

Composing Reachability Analyses of Hybrid Systems for Safety and Stability

Sergiy Bogomolov, Andreas Podelski, Corina Mitrohin, 2010, ATVA.