Anne-Marie Déplanche - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2020

Requirement specification and model-checking of a real-time scheduler implementationKhaoula Boukir, Jean-Luc Béchennec, Anne-Marie Déplanche. rtns 2020: 89-99 [doi]

2018

Formal approach for a verified implementation of Global EDF in TrampolineKhaoula Boukir, Jean-Luc Béchennec, Anne-Marie Déplanche. rtns 2018: 83-92 [doi]

2017

Overhead Control Heuristics in Boundary Fair Real-Time Multiprocessor SchedulingM. Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela. cse 2017: 120-127 [doi]

2013

Simulation of Real-time Multiprocessor Scheduling with OverheadsMaxime Chéramy, Anne-Marie Déplanche, Pierre-Emmanuel Hladik. simultech 2013: 5-14 [doi]

Simulation of Real-Time Multiprocessor Scheduling Using DESMaxime Chéramy, Anne-Marie Déplanche, Pierre-Emmanuel Hladik. simultech 2015: 37-53 [doi]

Overhead Control in DP-Fair Work Conserving Real-Time Multiprocessor SchedulingM. Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela. In Abdelmalek Amine, Otmane Aït Mohamed, Ladjel Bellatreche, editors, Modeling Approaches and Algorithms for Advanced Computer Applications. Volume 488 of Studies in Computational Intelligence, pages 379-388, Springer, 2013. [doi]

2012

Efficiency evaluation of overhead control heuristics in DP-Fair multiprocessor schedulingM. Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela. etfa 2012: 1-8 [doi]

2011

Overhead control in real-time global schedulingM. Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela. rtns 2011: 45-52 [doi]

2010

STORM a simulation tool for real-time multiprocessor scheduling evaluationRichard Urunuela, Anne-Marie Déplanche, Yvon Trinquet. etfa 2010: 1-8 [doi]

2008

Solving a real-time allocation problem with constraint programmingPierre-Emmanuel Hladik, Hadrien Cambazard, Anne-Marie Déplanche, Narendra Jussien. jss, 81(1):132-149, 2008. [doi]

2007

Adequacy between AUTOSAR OS specification and real-time scheduling theoryPierre-Emmanuel Hladik, Anne-Marie Déplanche, Sébastien Faucou, Yvon Trinquet. sies 2007: 225-233 [doi]

2004

Decomposition and Learning for a Hard Real Time Task Allocation ProblemHadrien Cambazard, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Narendra Jussien, Yvon Trinquet. cp 2004: 153-167 [doi]

An ADL Centric Approach for the Formal Design of Real-Time SystemsSébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet. ifip 2005: 67-82 [doi]

2002

Timing fault detection for safety-critical real-time embedded systemsSébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet. sigopsE 2002: 247-250 [doi]

2001

Operative architecture design and modelling for the validation of real-time applicationsSébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet. etfa 2001: 649-652 [doi]

1999

Implementing a Semi-Active Replication Strategy in CHORUS/ClassiX, A Distributed Real-Time ExecutiveAnne-Marie Déplanche, Pierre-Yves Théaudière, Yvon Trinquet. srds 1999: 90-101 [doi]

1998

A Genetic Algorithm for Scheduling Tasks in a Real-Time Distributed SystemYannick Monnier, Jean-Pierre Beauvais, Anne-Marie Déplanche. euromicro 1998: 20708-20714 [doi]

1994

The SCEPTRE2 Communication Service In A Fault Tolerance ContextSoraya Bestaoui, Anne-Marie Déplanche, Yvon Trinquet. pdp 1994: 196-201 [doi]

1993

A Task Allocation Algorithm in a Multiprocessor Real-Time SystemJean-Pierre Beauvais, Anne-Marie Déplanche. icpp 1993: 130-133

Sign in or sign up to see more results.

runs on WebDSL