selected publications

• conference paper

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