selected publications

• conference paper

  • Hybrid automotive in-vehicle networks: Special session paper.  Networks-on-Chips. 2017
  • Fault-tolerant control synthesis and verification of distributed embedded systems.  Design, Automation, and Test in Europe. 56. 2014
  • Fault-tolerant control synthesis and verification of distributed embedded systems.  Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014. 2014
  • Fault-tolerant control synthesis and verification of distributed embedded systems.  Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014. 2014
  • Session details: Hot topic: security challenges in automotive hardware/software architecture design.  Design, Automation, and Test in Europe. 2013
  • Co-design of cyber-physical systems via controllers with flexible delay constraints.  Asia and South Pacific Design Automation Conference. 225-230. 2011