Pierre-Emmanuel Hladik

According to our database1, Pierre-Emmanuel Hladik authored at least 20 papers between 2004 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Integrating Random Forest Prediction for Energy Optimization in Solar-Powered Environmental Monitoring.
Proceedings of the 27th IEEE International Symposium on Real-Time Distributed Computing, 2024

2023
Compositional verification of embedded real-time systems.
J. Syst. Archit., September, 2023

A formal toolchain for offline and run-time verification of robotic systems.
Robotics Auton. Syst., 2023

2021
Hippo: A formal-model execution engine to control and verify critical real-time systems.
J. Syst. Softw., 2021

2020
Bridging the gap between formal verification and schedulability analysis: The case of robotics.
J. Syst. Archit., 2020

2018
A brute-force schedulability analysis for formal model under logical execution time assumption.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Formal verification of complex robotic systems on resource-constrained platforms.
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.
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.
, 2016

2013
Optimal design of virtual links in AFDX networks.
Real Time Syst., 2013

Simulation of Real-Time Multiprocessor Scheduling Using DES.
Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2013

Simulation of Real-time Multiprocessor Scheduling with Overheads.
Proceedings of the SIMULTECH 2013, 2013

2012
Strictly periodic scheduling in IMA-based architectures.
Real Time Syst., 2012

2011
Specification and verification of real-time systems using POLA.
Int. J. Crit. Comput. Based Syst., 2011

A Best-Response Algorithm for Multiprocessor Periodic Scheduling.
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

2010
Efficient Stochastic Analysis of Real-Time Systems via Random Sampling.
Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

2008
Solving a real-time allocation problem with constraint programming.
J. Syst. Softw., 2008

A Framework for Distributing Real-Time Functions.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

2007
Adequacy between AUTOSAR OS specification and real-time scheduling theory.
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

2004
Decomposition and Learning for a Hard Real Time Task Allocation Problem.
Proceedings of the Principles and Practice of Constraint Programming, 2004


  Loading...