According to our database1, Corina Mitrohin
Legend:Book In proceedings Article PhD thesis Other
Compositional stability verification of hybrid systems.
PhD thesis, 2013
Composing Stability Proofs for Hybrid Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011
Composing Reachability Analyses of Hybrid Systems for Safety and Stability.
Proceedings of the Automated Technology for Verification and Analysis, 2010
Synchronized extension systems.
Acta Inf., 2001