Zaur Molotnikov

According to our database, Zaur Molotnikov authored at least 4 papers between 2013 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Textual model-based software/system architecture documentation using MPS.

Vincent Aravantinos, Kenji Miyamoto, Zaur Molotnikov, Nikolaus Regnat, Bernhard Schätz

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Towards improving software security using language engineering and mbeddr C.

Markus Voelter, Zaur Molotnikov, Bernd Kolb

Proceedings of the Workshop on Domain-Specific Modeling, 2015

2014

Automated domain-specific C verification with mbeddr.

Zaur Molotnikov, Markus Völter, Daniel Ratiu

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013

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

Proceedings of the 27th European Conference on Modelling and Simulation, 2013