| 2020 | RTNS | Requirement specification and model-checking of a real-time scheduler implementation. | Khaoula Boukir, Jean-Luc Bchennec, Anne-Marie Dplanche |
| 2018 | RTNS | Formal approach for a verified implementation of Global EDF in Trampoline. | Khaoula Boukir, Jean-Luc Bchennec, Anne-Marie Dplanche |
| 2013 | SIMULTECH | Simulation of Real-time Multiprocessor Scheduling with Overheads. | Maxime Chramy, Anne-Marie Dplanche, Pierre-Emmanuel Hladik |
| 2013 | SIMULTECH | Simulation of Real-Time Multiprocessor Scheduling Using DES. | Maxime Chramy, Anne-Marie Dplanche, Pierre-Emmanuel Hladik |
| 2012 | ETFA | Efficiency evaluation of overhead control heuristics in DP-Fair multiprocessor scheduling. | Muhammad Naeem Shehzad, Anne-Marie Dplanche, Yvon Trinquet, Richard Urunuela |
| 2011 | RTNS | Overhead control in real-time global scheduling. | Muhammad Naeem Shehzad, Anne-Marie Dplanche, Yvon Trinquet, Richard Urunuela |
| 2010 | ETFA | STORM a simulation tool for real-time multiprocessor scheduling evaluation. | Richard Urunuela, Anne-Marie Dplanche, Yvon Trinquet |
| 2008 | ICECCS | A Study of the AADL Mode Change Protocol. | Dominique Bertrand, Anne-Marie Dplanche, Sbastien Faucou, Olivier H. Roux |
| 2004 | CP | Decomposition and Learning for a Hard Real Time Task Allocation Problem. | Hadrien Cambazard, Pierre-Emmanuel Hladik, Anne-Marie Dplanche, Narendra Jussien, Yvon Trinquet |
| 2001 | ETFA | Operative architecture design and modelling for the validation of real-time applications. | Sbastien Faucou, Anne-Marie Dplanche, Yvon Trinquet |
| 1999 | SRDS | Implementing a Semi-Active Replication Strategy in CHORUS/ClassiX, A Distributed Real-Time Executive. | Anne-Marie Dplanche, Pierre-Yves Thaudire, Yvon Trinquet |
| 1994 | PDP | The SCEPTRE2 Communication Service In A Fault Tolerance Context. | Soraya Bestaoui, Anne-Marie Dplanche, Yvon Trinquet |
| 1993 | ICPP | A Task Allocation Algorithm in a Multiprocessor Real-Time System. | Jean-Pierre Beauvais, Anne-Marie Dplanche |