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)

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 Framework for Distributing Real-Time Functions. - Frédéric Boniol; Pierre-Emmanuel Hladik; Claire Pagetti; Frédéric Aspro; Victor Jégu (FORMATS, 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)

Efficient Stochastic Analysis of Real-Time Systems via Random Sampling. - Khaled S. Refaat; Pierre-Emmanuel Hladik (ECRTS, 2010)

A Best-Response Algorithm for Multiprocessor Periodic Scheduling. - Ahmad Al Sheikh; Olivier Brun; Pierre-Emmanuel Hladik; Balakrishna J. Prabhu (ECRTS, 2011)

Specification and verification of real-time systems using POLA. - Florent Peres; Pierre-Emmanuel Hladik; François Vernadat 001 (Int. J. Crit. Comput. Based Syst., 2011)

Strictly periodic scheduling in IMA-based architectures. - Ahmad Al Sheikh; Olivier Brun; Pierre-Emmanuel Hladik; Balakrishna J. Prabhu (Real Time Syst., 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)

Optimal design of virtual links in AFDX networks. - Ahmad Al Sheikh; Olivier Brun; Maxime Chéramy; Pierre-Emmanuel Hladik (Real Time Syst., 2013)

Contribution à la conception et à la vérification de systèmes temps réel - Focus sur l'ordonnancement temps réel. - Pierre-Emmanuel Hladik (2016)

Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network. - Sofiene Beji; Abdelouahed Gherbi; John Mullins; Pierre-Emmanuel Hladik (SAM, 2016)

Formal verification of complex robotic systems on resource-constrained platforms. - Mohammed Foughali; Bernard Berthomieu; Silvano Dal-Zilio; Pierre-Emmanuel Hladik; Félix Ingrand; Anthony Mallet (FormaliSE@ICSE, 2018)

A brute-force schedulability analysis for formal model under logical execution time assumption. - Pierre-Emmanuel Hladik (SAC, 2018)

Bridging the gap between formal verification and schedulability analysis: The case of robotics. - Mohammed Foughali; Pierre-Emmanuel Hladik (J. Syst. Archit., 2020)

Hippo: A formal-model execution engine to control and verify critical real-time systems. - Pierre-Emmanuel Hladik; Félix Ingrand; Silvano Dal-Zilio; Reyyan Tekin (J. Syst. Softw., 2021)

A formal toolchain for offline and run-time verification of robotic systems. - Silvano Dal-Zilio; Pierre-Emmanuel Hladik; Félix Ingrand; Anthony Mallet (Robotics Auton. Syst., 2023)

Compositional verification of embedded real-time systems. - Mohammed Foughali; Pierre-Emmanuel Hladik; Alexander Zuepke (J. Syst. Archit., 2023)

Integrating Random Forest Prediction for Energy Optimization in Solar-Powered Environmental Monitoring. - Ahmed Bali; Pierre-Emmanuel Hladik; Horace Gandji; Abdelouahed Gherbi; Mohamed Cheriet (ISORC, 2024)

ILP representation for Limited Preemption in Energy-Neutral Single-Core Systems. - Pierre-Emmanuel Hladik; Houssam-Eddine Zahaf; Sébastien Faucou; Audrey Queudet (RTNS, 2024)

Checkpointing for single core energy-neutral real-time systems. - Houssam-Eddine Zahaf; Pierre-Emmanuel Hladik; Sébastien Faucou; Audrey Queudet (J. Syst. Archit., 2025)