selected publications

• conference paper

  • Integrating the Security Aspect into Design Space Exploration of Embedded Systems.  . 2014
  • Contracts for evolving systems.  . 2013