selected publications

• chapter

  • Synthesis and Verification of Self-aware Computing Systems.  Springer eBooks. 337-373. 2017
  • Towards an Architecture for Runtime Interoperability.  Lecture Notes in Computer Science. 206-220. 2010

• conference paper

  • Message from the SAIP, NEMI, ECRF, Journal First, and Workshops Track Chairs.  . 2021