Publications

• Article dans une revue
  • Claire Leclech
  • David Gonzalez-Rodriguez
  • Aurélien Villedieu
  • Thévy Lok
  • Anne-Marie Déplanche
  • Abdul Barakat
  Topography-induced large-scale antiparallel collective migration in vascular endothelium
  10.1038/s41467-022-30488-0132797Nature Communications
  Thu May 19 02:00:00 CEST 2022Plus d'informations
• Communication dans un congrès
  • Khaoula Boukir
  • Jean-Luc Béchennec
  • Anne-Marie Déplanche
  Requirement specification and model-checking of a real-time scheduler implementation
  10.1145/3394810.339481789-99
  Wed Jun 10 02:00:00 CEST 2020Plus d'informations
• Communication dans un congrès
  • Khaoula Boukir
  • Jean-Luc Béchennec
  • Anne-Marie Déplanche
  Formal approach for a verified implementation of Global EDF in Trampoline
  10.1145/3273905.327392626th International Conference on Real-Time Networks and Systems83-92
  Wed Oct 10 02:00:00 CEST 2018Plus d'informations
• Communication dans un congrès
  • Khaoula Boukir
  • Jean-Luc Béchennec
  • Anne-Marie Déplanche
  Reducing the gap between theory and practice: towards a proven implementation of Global-EDF in Trampoline
  Wed Oct 04 02:00:00 CEST 2017Plus d'informations
• Communication dans un congrès
  • Naeem M. Shehzad
  • Anne-Marie Déplanche
  • Yvon Trinquet
  Overhead control heuristics in Boundary Fair real-time multiprocessor scheduling
  10.1109/cse-euc.2017.207
  Sun Jul 23 02:00:00 CEST 2017Plus d'informations