 | 2012 |
| 7 |  | Ahmad Al Sheikh,
Olivier Brun,
Pierre-Emmanuel Hladik,
Balakrishna J. Prabhu:
Strictly periodic scheduling in IMA-based architectures.
Real-Time Systems 48(4): 359-386 (2012) |
| 2011 |
| 6 |  | Florent Peres,
Pierre-Emmanuel Hladik,
François Vernadat:
Specification and verification of real-time systems using POLA.
IJCCBS 2(3/4): 332-351 (2011) |
| 2010 |
| 5 |  | Khaled S. Refaat,
Pierre-Emmanuel Hladik:
Efficient Stochastic Analysis of Real-Time Systems via Random Sampling.
ECRTS 2010: 175-183 |
| 2008 |
| 4 |  | Frédéric Boniol,
Pierre-Emmanuel Hladik,
Claire Pagetti,
Frédéric Aspro,
Victor Jégu:
A Framework for Distributing Real-Time Functions.
FORMATS 2008: 155-169 |
| 3 |  | Pierre-Emmanuel Hladik,
Hadrien Cambazard,
Anne-Marie Déplanche,
Narendra Jussien:
Solving a real-time allocation problem with constraint programming.
Journal of Systems and Software 81(1): 132-149 (2008) |
| 2007 |
| 2 |  | Pierre-Emmanuel Hladik,
Anne-Marie Déplanche,
Sébastien Faucou,
Yvon Trinquet:
Adequacy between AUTOSAR OS specification and real-time scheduling theory.
SIES 2007: 225-233 |
| 2004 |
| 1 |  | 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: 153-167 |