Anne-Marie Déplanche

Publication Activity (10 Years)

Years Active: 1993-2020
Publications (10 Years): 3

Top Topics

Pspace Complete

Alternating Time Temporal Logic

Real Environment

Surgical Simulation

Top Venues

SIMULTECH (Selected Papers)

Publications

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