According to our database1, Wladimir Schamai authored at least 8 papers between 2010 and 2013.
Legend:Book In proceedings Article PhD thesis Other
Model-Based Verification of Dynamic System Behavior against Requirements : Method, Language, and Tool.
PhD thesis, 2013
Proceedings of the 2012 Spring Simulation Multiconference, 2012
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011
Proceedings of the Models in Software Engineering, 2010
Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2010
Proceedings of the ARCS '10, 2010