Pierre-Emmanuel Hladik

24 papers A 1B 2C 4Misc 2Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Checkpointing for single core energy-neutral real-time systems.
J. Syst. Archit.
Houssam-Eddine Zahaf, Pierre-Emmanuel Hladik, Sébastien Faucou, Audrey Queudet
2025 C conf
Integrating VMD and Convolutional Transformers for Optimized Solar Energy Management in IoT Monitoring Systems.
ISORC
Abdellah Benbelghit, Abdelouahed Gherbi, Ahmed Bali, Pierre-Emmanuel Hladik
2025 C conf
Optimizing CNN Inference on Multicore Scratchpad Architectures.
ISORC
Chiara Daini, Giuseppe Lipari, Houssam-Eddine Zahaf, Pierre-Emmanuel Hladik
2024 Misc conf
ILP representation for Limited Preemption in Energy-Neutral Single-Core Systems.
RTNS
Pierre-Emmanuel Hladik, Houssam-Eddine Zahaf, Sébastien Faucou, Audrey Queudet
2024 C conf
Integrating Random Forest Prediction for Energy Optimization in Solar-Powered Environmental Monitoring.
ISORC
Ahmed Bali, Pierre-Emmanuel Hladik, Horace Gandji, Abdelouahed Gherbi, Mohamed Cheriet
2023 J jnl
A formal toolchain for offline and run-time verification of robotic systems.
Robotics Auton. Syst.
Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
2023 J jnl
Compositional verification of embedded real-time systems.
J. Syst. Archit.
Mohammed Foughali, Pierre-Emmanuel Hladik, Alexander Zuepke
2021 J jnl
Hippo: A formal-model execution engine to control and verify critical real-time systems.
J. Syst. Softw.
Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal-Zilio, Reyyan Tekin
2020 J jnl
Bridging the gap between formal verification and schedulability analysis: The case of robotics.
J. Syst. Archit.
Mohammed Foughali, Pierre-Emmanuel Hladik
2018 Misc conf
A brute-force schedulability analysis for formal model under logical execution time assumption.
SAC
Pierre-Emmanuel Hladik
2018 — conf
Formal verification of complex robotic systems on resource-constrained platforms.
FormaliSE@ICSE
Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
2016 — book
Contribution à la conception et à la vérification de systèmes temps réel - Focus sur l'ordonnancement temps réel.
Pierre-Emmanuel Hladik
2016 — conf
Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network.
SAM
Sofiene Beji, Abdelouahed Gherbi, John Mullins, Pierre-Emmanuel Hladik
2013 J jnl
Optimal design of virtual links in AFDX networks.
Real Time Syst.
Ahmad Al Sheikh, Olivier Brun, Maxime Chéramy, Pierre-Emmanuel Hladik
2013 — conf
Simulation of Real-Time Multiprocessor Scheduling Using DES.
SIMULTECH (Selected Papers)
Maxime Chéramy, Anne-Marie Déplanche, Pierre-Emmanuel Hladik
2013 C conf
Simulation of Real-time Multiprocessor Scheduling with Overheads.
SIMULTECH
Maxime Chéramy, Anne-Marie Déplanche, Pierre-Emmanuel Hladik
2012 J jnl
Strictly periodic scheduling in IMA-based architectures.
Real Time Syst.
Ahmad Al Sheikh, Olivier Brun, Pierre-Emmanuel Hladik, Balakrishna J. Prabhu
2011 B conf
A Best-Response Algorithm for Multiprocessor Periodic Scheduling.
ECRTS
Ahmad Al Sheikh, Olivier Brun, Pierre-Emmanuel Hladik, Balakrishna J. Prabhu
2011 J jnl
Specification and verification of real-time systems using POLA.
Int. J. Crit. Comput. Based Syst.
Florent Peres, Pierre-Emmanuel Hladik, François Vernadat
2010 B conf
Efficient Stochastic Analysis of Real-Time Systems via Random Sampling.
ECRTS
Khaled S. Refaat, Pierre-Emmanuel Hladik
2008 — conf
A Framework for Distributing Real-Time Functions.
FORMATS
Frédéric Boniol, Pierre-Emmanuel Hladik, Claire Pagetti, Frédéric Aspro, Victor Jégu
2008 J jnl
Solving a real-time allocation problem with constraint programming.
J. Syst. Softw.
Pierre-Emmanuel Hladik, Hadrien Cambazard, Anne-Marie Déplanche, Narendra Jussien
2007 — conf
Adequacy between AUTOSAR OS specification and real-time scheduling theory.
SIES
Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Sébastien Faucou, Yvon Trinquet
2004 A conf
Decomposition and Learning for a Hard Real Time Task Allocation Problem.
CP
Hadrien Cambazard, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Narendra Jussien, Yvon Trinquet