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