Anne-Marie Déplanche

According to our database, Anne-Marie Déplanche authored at least 20 papers between 1993 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Requirement specification and model-checking of a real-time scheduler implementation.

Khaoula Boukir, Jean-Luc Béchennec, Anne-Marie Déplanche

Proceedings of the 28th International Conference on Real Time Networks and Systems, 2020

2018

Formal approach for a verified implementation of Global EDF in Trampoline.

Khaoula Boukir, Jean-Luc Béchennec, Anne-Marie Déplanche

Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018

2017

Overhead Control Heuristics in Boundary Fair Real-Time Multiprocessor Scheduling.

Muhammad Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela

Proceedings of the 2017 IEEE International Conference on Computational Science and Engineering, 2017

2013

Overhead Control in DP-Fair Work Conserving Real-Time Multiprocessor Scheduling.

Muhammad Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela

Proceedings of the Modeling Approaches and Algorithms for Advanced Computer Applications, 2013

Simulation of Real-Time Multiprocessor Scheduling Using DES.

Maxime Chéramy, Anne-Marie Déplanche, Pierre-Emmanuel Hladik

Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2013

Simulation of Real-time Multiprocessor Scheduling with Overheads.

Maxime Chéramy, Anne-Marie Déplanche, Pierre-Emmanuel Hladik

Proceedings of the SIMULTECH 2013, 2013

2012

Efficiency evaluation of overhead control heuristics in DP-Fair multiprocessor scheduling.

Muhammad Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011

Overhead control in real-time global scheduling.

Muhammad Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela

Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

2010

STORM a simulation tool for real-time multiprocessor scheduling evaluation.

Richard Urunuela, Anne-Marie Déplanche, Yvon Trinquet

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

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

A Study of the AADL Mode Change Protocol.

Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

2007

Adequacy between AUTOSAR OS specification and real-time scheduling theory.

Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Sébastien Faucou, Yvon Trinquet

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

2004

An ADL Centric Approach for the Formal Design of Real-Time Systems.

Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet

Proceedings of the Architecture Description Languages, 2004

Decomposition and Learning for a Hard Real Time Task Allocation Problem.

Hadrien Cambazard, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Narendra Jussien, Yvon Trinquet

Proceedings of the Principles and Practice of Constraint Programming, 2004

2002

Timing fault detection for safety-critical real-time embedded systems.

Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

2001

Operative architecture design and modelling for the validation of real-time applications.

Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

1999

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

Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

1998

A Genetic Algorithm for Scheduling Tasks in a Real-Time Distributed System.

Yannick Monnier, Jean-Pierre Beauvais, Anne-Marie Déplanche

Proceedings of the 24th EUROMICRO '98 Conference, 1998

1994

The SCEPTRE2 Communication Service In A Fault Tolerance Context.

Soraya Bestaoui, Anne-Marie Déplanche, Yvon Trinquet

Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

1993

A Task Allocation Algorithm in a Multiprocessor Real-Time System.

Jean-Pierre Beauvais, Anne-Marie Déplanche

Proceedings of the 1993 International Conference on Parallel Processing, 1993