selected publications

• conference paper

  • Automatic transformation of abstract AUTOSAR architectures to timed automata 2012
  • Model-driven architectural monitoring and adaptation for autonomic systems 2009