Wladimir Schamai

According to our database, Wladimir Schamai authored at least 9 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution.

Alfredo Garro, Andrea Tundis, Daniel Bouskela, Audrey Jardin, Nguyen Thuy, Martin Otter, Lena Buffoni, Peter Fritzson, Martin Sjölund, Wladimir Schamai, Hans Olsson

Proceedings of the IEEE International Symposium on Systems Engineering, 2016

2013

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

Wladimir Schamai

PhD thesis, 2013

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

Wladimir Schamai, Peter Fritzson, Christiaan J. J. Paredis

Simul., 2013

2012

ModelicaML value bindings for automated model composition.

Wladimir Schamai, Peter Fritzson, Christiaan J. J. Paredis, Philipp Helle

Proceedings of the 2012 Spring Simulation Multiconference, 2012

2011

Comodeling Revisited: Execution of Behavior Trees in Modelica.

Toby Myers, Wladimir Schamai, Peter Fritzson

Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011

2010

Model-Based Testing 2010: Short Abstracts.

Jan Tretmans, Florian Prester, Philipp Helle, Wladimir Schamai

Proceedings of the Sixth Workshop on Model-Based Testing, 2010

Virtual Verification of System Designs against System Requirements.

Wladimir Schamai, Philipp Helle, Peter Fritzson, Christiaan J. J. Paredis

Proceedings of the Models in Software Engineering, 2010

Execution of UMLState Machines Using Modelica.

Wladimir Schamai, Uwe Pohlmann, Peter Fritzson, Christiaan J. J. Paredis, Philipp Helle, Carsten Strobel

Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2010

Platform-independent modeling of explicitly parallel programs.

Christoph W. Kessler, Wladimir Schamai, Peter Fritzson

Proceedings of the ARCS '10, 2010