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

  • Scheduling of mixed-criticality systems with RUN.  . 1-8. 2015
  • Architecture models refinement for fine grain timing analysis of embedded systems.  . 44-50. 2014
  • A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems.  . 99-108. 2013
  • 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
  • A Model-Based Transformation Process to Validate and Implement High-Integrity Systems.  . 67-74. 2011