selected publications

• conference paper

  • Runtime safety analysis for safe reconfiguration.  . 2012
  • Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite.  . 2009