selected publications

• chapter

  • Contract-Based Compositional Scheduling Analysis for Evolving Systems.  Springer eBooks. 272-282. 2013

• conference paper

  • A Prototype for Lab-Based System Testing of Cyber Physical Systems for Smart Farming.  . 2023
  • Integrating the Security Aspect into Design Space Exploration of Embedded Systems.  . 2014
  • Contracts for evolving systems.  . 2013
  • Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite.  . 2009
  • Architecture-driven platform independent deterministic replay for distributed hard real-time systems.  . 2006