selected publications

• chapter

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

• conference paper

  • State-Based Real-Time Analysis for Function Networks and Marte.  . 2015
  • Contracts for evolving systems.  . 2013