selected publications

• conference paper

  • Software Architecture Methods and Mechanisms for Timing Error and Failure Detection According to ISO 26262: Deadline vs. Execution Time Monitoring.  SAE technical paper series. 2013
  • Modeling architecturally neutral realtime systems.  . 2007