selected publications

• chapter

  • Translating ATL Model Transformations to Algebraic Graph Transformations.  Lecture notes in computer science. 183-198. 2015
  • PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems.  Lecture notes in computer science. 149-165. 2014

• 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