2013

1. Managing run-time variability in robotics software by modeling functional and non-functional behavior

   Lecture Notes in Business Information Processing

2. Model-driven software systems engineering in robotics: Covering the complete life-cycle of a robot

   Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

3. Towards a formal approach for prototyping and verifying self-adaptive systems

   Lecture Notes in Business Information Processing