Pierre-Emmanuel Hladik

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 8

Top Topics

Formal Verification

Execution Engine

Robotic Systems

Top Venues

J. Syst. Archit.

Publications

Ahmed Bali, Pierre-Emmanuel Hladik, Horace Gandji, Abdelouahed Gherbi, Mohamed Cheriet
Integrating Random Forest Prediction for Energy Optimization in Solar-Powered Environmental Monitoring. ISORC (2024)
Mohammed Foughali, Pierre-Emmanuel Hladik, Alexander Zuepke
Compositional verification of embedded real-time systems. J. Syst. Archit. 142 (2023)
Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
A formal toolchain for offline and run-time verification of robotic systems. Robotics Auton. Syst. 159 (2023)
Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal-Zilio, Reyyan Tekin
Hippo: A formal-model execution engine to control and verify critical real-time systems. J. Syst. Softw. 181 (2021)
Mohammed Foughali, Pierre-Emmanuel Hladik
Bridging the gap between formal verification and schedulability analysis: The case of robotics. J. Syst. Archit. 111 (2020)
Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
Formal verification of complex robotic systems on resource-constrained platforms. FormaliSE@ICSE (2018)
Pierre-Emmanuel Hladik
A brute-force schedulability analysis for formal model under logical execution time assumption. SAC (2018)
Sofiene Beji, Abdelouahed Gherbi, John Mullins, Pierre-Emmanuel Hladik
Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network. SAM (2016)
Maxime Chéramy, Anne-Marie Déplanche, Pierre-Emmanuel Hladik
Simulation of Real-Time Multiprocessor Scheduling Using DES. SIMULTECH (Selected Papers) (2013)
Maxime Chéramy, Anne-Marie Déplanche, Pierre-Emmanuel Hladik
Simulation of Real-time Multiprocessor Scheduling with Overheads. SIMULTECH (2013)
Ahmad Al Sheikh, Olivier Brun, Maxime Chéramy, Pierre-Emmanuel Hladik
Optimal design of virtual links in AFDX networks. Real Time Syst. 49 (3) (2013)
Ahmad Al Sheikh, Olivier Brun, Pierre-Emmanuel Hladik, Balakrishna J. Prabhu
Strictly periodic scheduling in IMA-based architectures. Real Time Syst. 48 (4) (2012)
Ahmad Al Sheikh, Olivier Brun, Pierre-Emmanuel Hladik, Balakrishna J. Prabhu
A Best-Response Algorithm for Multiprocessor Periodic Scheduling. ECRTS (2011)
Florent Peres, Pierre-Emmanuel Hladik, François Vernadat
Specification and verification of real-time systems using POLA. Int. J. Crit. Comput. Based Syst. 2 (3/4) (2011)
Khaled S. Refaat, Pierre-Emmanuel Hladik
Efficient Stochastic Analysis of Real-Time Systems via Random Sampling. ECRTS (2010)
Pierre-Emmanuel Hladik, Hadrien Cambazard, Anne-Marie Déplanche, Narendra Jussien
Solving a real-time allocation problem with constraint programming. J. Syst. Softw. 81 (1) (2008)
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)
Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Sébastien Faucou, Yvon Trinquet
Adequacy between AUTOSAR OS specification and real-time scheduling theory. SIES (2007)
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)