Wladimir Schamai

According to our database1, Wladimir Schamai authored at least 8 papers between 2010 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
Model-Based Verification of Dynamic System Behavior against Requirements : Method, Language, and Tool.
PhD thesis, 2013

Translation of UML state machines to Modelica: Handling semantic issues.
Simul., 2013

2012
ModelicaML value bindings for automated model composition.
Proceedings of the 2012 Spring Simulation Multiconference, 2012

2011
Comodeling Revisited: Execution of Behavior Trees in Modelica.
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011

2010
Model-Based Testing 2010: Short Abstracts.
Electron. Notes Theor. Comput. Sci., 2010

Virtual Verification of System Designs against System Requirements.
Proceedings of the Models in Software Engineering, 2010

Execution of UMLState Machines Using Modelica.
Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2010

Platform-independent modeling of explicitly parallel programs.
Proceedings of the ARCS '10, 2010


  Loading...