Corina Mitrohin

According to our database1, Corina Mitrohin
  • authored at least 4 papers between 2001 and 2013.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2013
Compositional stability verification of hybrid systems.
PhD thesis, 2013

2011
Composing Stability Proofs for Hybrid Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

2010
Composing Reachability Analyses of Hybrid Systems for Safety and Stability.
Proceedings of the Automated Technology for Verification and Analysis, 2010

2001
Synchronized extension systems.
Acta Inf., 2001


  Loading...