selected publications

• conference paper

  • Architecture models refinement for fine grain timing analysis of embedded systems.  . 44-50. 2014
  • Deterministic implementation of periodic-delayed communications and experimentation in AADL.  . 1-8. 2013
  • Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models.  . 67-76. 2012