selected publications

• conference paper

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