Anne-Marie Déplanche

20 papers A 1B 2C 4Misc 3Journal 1Unranked 8
YearRankTypeTitle / Venue / Authors
2020 Misc conf
Requirement specification and model-checking of a real-time scheduler implementation.
RTNS
Khaoula Boukir, Jean-Luc Béchennec, Anne-Marie Déplanche
2018 Misc conf
Formal approach for a verified implementation of Global EDF in Trampoline.
RTNS
Khaoula Boukir, Jean-Luc Béchennec, Anne-Marie Déplanche
2017 — conf
Overhead Control Heuristics in Boundary Fair Real-Time Multiprocessor Scheduling.
CSE/EUC (2)
Muhammad Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela
2013 — ch.
Overhead Control in DP-Fair Work Conserving Real-Time Multiprocessor Scheduling.
Modeling Approaches and Algorithms for Advanced Computer Applications
Muhammad Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela
2013 — conf
Simulation of Real-Time Multiprocessor Scheduling Using DES.
SIMULTECH (Selected Papers)
Maxime Chéramy, Anne-Marie Déplanche, Pierre-Emmanuel Hladik
2013 C conf
Simulation of Real-time Multiprocessor Scheduling with Overheads.
SIMULTECH
Maxime Chéramy, Anne-Marie Déplanche, Pierre-Emmanuel Hladik
2012 C conf
Efficiency evaluation of overhead control heuristics in DP-Fair multiprocessor scheduling.
ETFA
Muhammad Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela
2011 Misc conf
Overhead control in real-time global scheduling.
RTNS
Muhammad Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela
2010 C conf
STORM a simulation tool for real-time multiprocessor scheduling evaluation.
ETFA
Richard Urunuela, Anne-Marie Déplanche, Yvon Trinquet
2008 B conf
A Study of the AADL Mode Change Protocol.
ICECCS
Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux
2008 J jnl
Solving a real-time allocation problem with constraint programming.
J. Syst. Softw.
Pierre-Emmanuel Hladik, Hadrien Cambazard, Anne-Marie Déplanche, Narendra Jussien
2007 — conf
Adequacy between AUTOSAR OS specification and real-time scheduling theory.
SIES
Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Sébastien Faucou, Yvon Trinquet
2004 — conf
An ADL Centric Approach for the Formal Design of Real-Time Systems.
IFIP-WADL
Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet
2004 A conf
Decomposition and Learning for a Hard Real Time Task Allocation Problem.
CP
Hadrien Cambazard, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Narendra Jussien, Yvon Trinquet
2002 — conf
Timing fault detection for safety-critical real-time embedded systems.
ACM SIGOPS European Workshop
Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet
2001 — conf
Operative architecture design and modelling for the validation of real-time applications.
ETFA (2)
Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet
1999 B conf
Implementing a Semi-Active Replication Strategy in CHORUS/ClassiX, A Distributed Real-Time Executive.
SRDS
Anne-Marie Déplanche, Pierre-Yves Théaudière, Yvon Trinquet
1998 — conf
A Genetic Algorithm for Scheduling Tasks in a Real-Time Distributed System.
EUROMICRO
Yannick Monnier, Jean-Pierre Beauvais, Anne-Marie Déplanche
1994 C conf
The SCEPTRE2 Communication Service In A Fault Tolerance Context.
PDP
Soraya Bestaoui, Anne-Marie Déplanche, Yvon Trinquet
1993 — conf
A Task Allocation Algorithm in a Multiprocessor Real-Time System.
ICPP (2)
Jean-Pierre Beauvais, Anne-Marie Déplanche