selected publications

• chapter

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

• conference paper

  • Integrating the Security Aspect into Design Space Exploration of Embedded Systems.  . 2014
  • Using contract-based component specifications for virtual integration testing and architecture design.  . 2011