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