Pierre-Emmanuel Hladik

According to our database, Pierre-Emmanuel Hladik authored at least 19 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Compositional verification of embedded real-time systems.

Mohammed Foughali, Pierre-Emmanuel Hladik, Alexander Zuepke

J. Syst. Archit., September, 2023

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

2021

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

2020

Bridging the gap between formal verification and schedulability analysis: The case of robotics.

Mohammed Foughali, Pierre-Emmanuel Hladik

J. Syst. Archit., 2020

2018

A brute-force schedulability analysis for formal model under logical execution time assumption.

Pierre-Emmanuel Hladik

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

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

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

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

Proceedings of the System Analysis and Modeling. Technology-Specific Aspects of Models, 2016

Contribution à la conception et à la vérification de systèmes temps réel - Focus sur l'ordonnancement temps réel.

Pierre-Emmanuel Hladik

, 2016

2013

Optimal design of virtual links in AFDX networks.

Ahmad Al Sheikh, Olivier Brun, Maxime Chéramy, Pierre-Emmanuel Hladik

Real Time Syst., 2013

Simulation of Real-Time Multiprocessor Scheduling Using DES.

Maxime Chéramy, Anne-Marie Déplanche, Pierre-Emmanuel Hladik

Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2013

Simulation of Real-time Multiprocessor Scheduling with Overheads.

Maxime Chéramy, Anne-Marie Déplanche, Pierre-Emmanuel Hladik

Proceedings of the SIMULTECH 2013, 2013

2012

Strictly periodic scheduling in IMA-based architectures.

Ahmad Al Sheikh, Olivier Brun, Pierre-Emmanuel Hladik, Balakrishna J. Prabhu

Real Time Syst., 2012

2011

Specification and verification of real-time systems using POLA.

Florent Peres, Pierre-Emmanuel Hladik, François Vernadat

Int. J. Crit. Comput. Based Syst., 2011

A Best-Response Algorithm for Multiprocessor Periodic Scheduling.

Ahmad Al Sheikh, Olivier Brun, Pierre-Emmanuel Hladik, Balakrishna J. Prabhu

Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

2010

Efficient Stochastic Analysis of Real-Time Systems via Random Sampling.

Khaled S. Refaat, Pierre-Emmanuel Hladik

Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

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

A Framework for Distributing Real-Time Functions.

Frédéric Boniol, Pierre-Emmanuel Hladik, Claire Pagetti, Frédéric Aspro, Victor Jégu

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

2007

Adequacy between AUTOSAR OS specification and real-time scheduling theory.

Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Sébastien Faucou, Yvon Trinquet

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

2004

Decomposition and Learning for a Hard Real Time Task Allocation Problem.

Hadrien Cambazard, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Narendra Jussien, Yvon Trinquet

Proceedings of the Principles and Practice of Constraint Programming, 2004