selected publications

• chapter

  • Towards Testing Self-organizing, Adaptive Systems.  Springer eBooks. 180-185. 2014
  • Developing Self-Organizing Robotic Cells Using Organic Computing Principles.  Springer eBooks. 253-273. 2011

• conference paper

  • Ensuring correct self-reconfiguration in safety-critical applications by verified result checking.  . 2011