Login / Signup
Zaur Molotnikov
Publication Activity (10 Years)
Years Active: 2013-2015
Publications (10 Years): 2
Top Topics
Java Platform
Power Management
Design Space Exploration
Intelligent Software
Top Venues
Software Engineering & Management
DSM@SPLASH
ASE
ECMS
</>
Publications
</>
Markus Voelter
,
Zaur Molotnikov
,
Bernd Kolb
Towards improving software security using language engineering and mbeddr C.
DSM@SPLASH
(2015)
Vincent Aravantinos
,
Kenji Miyamoto
,
Zaur Molotnikov
,
Nikolaus Regnat
,
Bernhard Schätz
Textual model-based software/system architecture documentation using MPS.
Software Engineering & Management
(2015)
Zaur Molotnikov
,
Markus Völter
,
Daniel Ratiu
Automated domain-specific C verification with mbeddr.
ASE
(2014)
Gregor Walla
,
Zaur Molotnikov
,
Hans-Ulrich Michel
,
Walter Stechele
,
Andreas Barthels
,
Andreas Herkersdorf
A Design Space Exploration Framework For Automotive Embedded Systems And Their Power Management.
ECMS
(2013)