From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain. - Marcus Mews; Jaroslav Svacina; Stephan Weißleder (ICST, 2012)

Towards Static Modular Software Verification. - Marcus Mews; Steffen Helke (Software Engineering (Workshops), 2012)

Kontrollflusssensible Quelltext-Umgestaltung mithilfe von Constraint-Programmierung. - Marcus Mews (2016)