Platform-independent modeling of explicitly parallel programs. - Christoph W. Kessler; Wladimir Schamai; Peter Fritzson (ARCS Workshops, 2010)

Execution of UMLState Machines Using Modelica. - Wladimir Schamai; Uwe Pohlmann; Peter Fritzson; Christiaan J. J. Paredis; Philipp Helle; Carsten Strobel (EOOLT, 2010)

Virtual Verification of System Designs against System Requirements. - Wladimir Schamai; Philipp Helle; Peter Fritzson; Christiaan J. J. Paredis (MoDELS (Workshops), 2010)

Model-Based Testing 2010: Short Abstracts. - Jan Tretmans; Florian Prester; Philipp Helle; Wladimir Schamai (MBT@ETAPS, 2010)

Comodeling Revisited: Execution of Behavior Trees in Modelica. - Toby Myers; Wladimir Schamai; Peter Fritzson (EOOLT, 2011)

ModelicaML value bindings for automated model composition. - Wladimir Schamai; Peter Fritzson; Christiaan J. J. Paredis; Philipp Helle (SpringSim (TMS-DEVS), 2012)

Translation of UML state machines to Modelica: Handling semantic issues. - Wladimir Schamai; Peter Fritzson; Christiaan J. J. Paredis (Simul., 2013)

Model-Based Verification of Dynamic System Behavior against Requirements : Method, Language, and Tool. - Wladimir Schamai (2013)

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 (ISSE, 2016)