A Design Space Exploration Framework For Automotive Embedded Systems And Their Power Management. - Gregor Walla; Zaur Molotnikov; Hans-Ulrich Michel; Walter Stechele; Andreas Barthels; Andreas Herkersdorf (ECMS, 2013)

Automated domain-specific C verification with mbeddr. - Zaur Molotnikov; Markus Völter; Daniel Ratiu (ASE, 2014)

Towards improving software security using language engineering and mbeddr C. - Markus Voelter; Zaur Molotnikov; Bernd Kolb (DSM@SPLASH, 2015)

Textual model-based software/system architecture documentation using MPS. - Vincent Aravantinos; Kenji Miyamoto; Zaur Molotnikov; Nikolaus Regnat; Bernhard Schätz (Software Engineering & Management, 2015)