selected publications

• academic article

  • A Programmable Open Architecture Testbed for CPS Education.  IEEE design & test.  37:31-38. 2020

• conference paper

  • Extensibility-Driven Automotive In-Vehicle Architecture Design.  . 2017
  • Dynamic service switching for the medical IoT.  . 2016
  • Diagnosis-aware system design for automotive E/E architectures.  . 2014
  • AR-IVI — Implementation of In-Vehicle Augmented Reality.  . 2014
  • Fault-tolerant control synthesis and verification of distributed embedded systems.  Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014. 2014
  • Security Challenges in Automotive Hardware/Software Architecture Design.  Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013. 2013
  • Co-design of cyber-physical systems via controllers with flexible delay constraints.  . 2011