Zaur Molotnikov

A Design Space Exploration Framework For Automotive Embedded Systems And Their Power Management

Zaur Molotnikov, Walter Stechele, Andreas Herkersdorf, 2013, ECMS.

Implementing modular domain specific languages and analyses

Zaur Molotnikov, Daniel Ratiu, Markus Voelter, 2012, MoDeVVa '12.

Towards improving software security using language engineering and mbeddr C

Zaur Molotnikov, Markus Völter, Bernd Kolb, 2015, DSM@SPLASH.

Automated domain-specific C verification with mbeddr

Zaur Molotnikov, Markus Völter, Daniel Ratiu, 2014, ASE.