A Task Allocation Algorithm in a Multiprocessor Real-Time System. - Jean-Pierre Beauvais; Anne-Marie Déplanche (ICPP (2), 1993)

The SCEPTRE2 Communication Service In A Fault Tolerance Context. - Soraya Bestaoui; Anne-Marie Déplanche; Yvon Trinquet (PDP, 1994)

A Genetic Algorithm for Scheduling Tasks in a Real-Time Distributed System. - Yannick Monnier; Jean-Pierre Beauvais; Anne-Marie Déplanche (EUROMICRO, 1998)

Implementing a Semi-Active Replication Strategy in CHORUS/ClassiX, A Distributed Real-Time Executive. - Anne-Marie Déplanche; Pierre-Yves Théaudière; Yvon Trinquet (SRDS, 1999)

Operative architecture design and modelling for the validation of real-time applications. - Sébastien Faucou; Anne-Marie Déplanche; Yvon Trinquet (ETFA (2), 2001)

Timing fault detection for safety-critical real-time embedded systems. - Sébastien Faucou; Anne-Marie Déplanche; Yvon Trinquet (ACM SIGOPS European Workshop, 2002)

Decomposition and Learning for a Hard Real Time Task Allocation Problem. - Hadrien Cambazard; Pierre-Emmanuel Hladik; Anne-Marie Déplanche; Narendra Jussien; Yvon Trinquet (CP, 2004)

An ADL Centric Approach for the Formal Design of Real-Time Systems. - Sébastien Faucou; Anne-Marie Déplanche; Yvon Trinquet (IFIP-WADL, 2004)

Adequacy between AUTOSAR OS specification and real-time scheduling theory. - Pierre-Emmanuel Hladik; Anne-Marie Déplanche; Sébastien Faucou; Yvon Trinquet (SIES, 2007)

A Study of the AADL Mode Change Protocol. - Dominique Bertrand; Anne-Marie Déplanche; Sébastien Faucou; Olivier H. Roux (ICECCS, 2008)

Solving a real-time allocation problem with constraint programming. - Pierre-Emmanuel Hladik; Hadrien Cambazard; Anne-Marie Déplanche; Narendra Jussien (J. Syst. Softw., 2008)

STORM a simulation tool for real-time multiprocessor scheduling evaluation. - Richard Urunuela; Anne-Marie Déplanche; Yvon Trinquet (ETFA, 2010)

Overhead control in real-time global scheduling. - Muhammad Naeem Shehzad; Anne-Marie Déplanche; Yvon Trinquet; Richard Urunuela (RTNS, 2011)

Efficiency evaluation of overhead control heuristics in DP-Fair multiprocessor scheduling. - Muhammad Naeem Shehzad; Anne-Marie Déplanche; Yvon Trinquet; Richard Urunuela (ETFA, 2012)

Simulation of Real-time Multiprocessor Scheduling with Overheads. - Maxime Chéramy; Anne-Marie Déplanche; Pierre-Emmanuel Hladik (SIMULTECH, 2013)

Simulation of Real-Time Multiprocessor Scheduling Using DES. - Maxime Chéramy; Anne-Marie Déplanche; Pierre-Emmanuel Hladik (SIMULTECH (Selected Papers), 2013)

Overhead Control in DP-Fair Work Conserving Real-Time Multiprocessor Scheduling. - Muhammad Naeem Shehzad; Anne-Marie Déplanche; Yvon Trinquet; Richard Urunuela (Modeling Approaches and Algorithms for Advanced Computer Applications, 2013)

Overhead Control Heuristics in Boundary Fair Real-Time Multiprocessor Scheduling. - Muhammad Naeem Shehzad; Anne-Marie Déplanche; Yvon Trinquet; Richard Urunuela (CSE/EUC (2), 2017)

Formal approach for a verified implementation of Global EDF in Trampoline. - Khaoula Boukir; Jean-Luc Béchennec; Anne-Marie Déplanche (RTNS, 2018)

Requirement specification and model-checking of a real-time scheduler implementation. - Khaoula Boukir; Jean-Luc Béchennec; Anne-Marie Déplanche (RTNS, 2020)