selected publications

• chapter

  • Synthesis and Verification of Self-aware Computing Systems.  Springer eBooks. 337-373. 2017

• conference paper

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