Pierre-Emmanuel Hladik
Pierre-Emmanuel Hladik
LAAS-CNRS, INSA Toulouse
Verified email at laas.fr
Title
Cited by
Cited by
Year
Solving a real-time allocation problem with constraint programming
PE Hladik, H Cambazard, AM Déplanche, N Jussien
Journal of Systems and Software 81 (1), 132-149, 2008
882008
Simso: A simulation tool to evaluate real-time multiprocessor scheduling algorithms
M Chéramy, PE Hladik, AM Déplanche
722014
Simso: A simulation tool to evaluate real-time multiprocessor scheduling algorithms
M Chéramy, PE Hladik, AM Déplanche
722014
Decomposition and learning for a hard real time task allocation problem
H Cambazard, PE Hladik, AM Déplanche, N Jussien, Y Trinquet
International Conference on Principles and Practice of Constraint …, 2004
642004
Optimal design of virtual links in AFDX networks
A Al Sheikh, O Brun, M Chéramy, PE Hladik
Real-Time Systems 49 (3), 308-336, 2013
572013
Strictly periodic scheduling in IMA-based architectures
A Al Sheikh, O Brun, PE Hladik, BJ Prabhu
Real-Time Systems 48 (4), 359-386, 2012
522012
A best-response algorithm for multiprocessor periodic scheduling
A Al Sheikh, O Brun, PE Hladik, BJ Prabhu
2011 23rd Euromicro Conference on Real-Time Systems, 228-237, 2011
432011
Partition scheduling on an IMA platform with strict periodicity and communication delays
A Al Sheikh, O Brun, PE Hladik
432010
Adequacy between AUTOSAR OS specification and real-time scheduling theory
PE Hladik, AM Déplanche, S Faucou, Y Trinquet
2007 International Symposium on Industrial Embedded Systems, 225-233, 2007
372007
Efficient stochastic analysis of real-time systems via random sampling
KS Refaat, PE Hladik
2010 22nd Euromicro Conference on Real-Time Systems, 175-183, 2010
332010
Mécanique quantique
J Hladik, M Chrysos, PE Hladik, LU Ancarani
Dunod, 2009
24*2009
Mécanique quantique: atomes et molécules, applications technologiques: cours et exercices corrigés
J Hladik, M Chrysos, PE Hladik
Dunod, 2002
23*2002
Formal verification of complex robotic systems on resource-constrained platforms
M Foughali, B Berthomieu, S Dal Zilio, PE Hladik, F Ingrand, A Mallet
2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software …, 2018
212018
A framework for distributing real-time functions
F Boniol, PE Hladik, C Pagetti, F Aspro, V Jégu
International Conference on Formal Modeling and Analysis of Timed Systems …, 2008
212008
Mécanique quantique
J Hladik, M Chrysos, PE Hladik, LU Ancarani
Masson, 1997
20*1997
Simulation of real-time multiprocessor scheduling with overheads
M Chéramy, AM Déplanche, PE Hladik
172013
Decision support for task mapping on IMA architecture
A Al-Sheikh, O Brun, PE Hladik
Proceedings of the 3rd Junior Researcher Workshop on Real-Time Computing …, 2009
142009
Schedulability analysis of OSEK/VDX applications
P Hladik, A Deplanche, S Faucou, Y Trinquet
RTNS’07, 131, 2007
102007
Simulation of real-time scheduling with various execution time models
M Chéramy, PE Hladik, AM Déplanche, S Dubé
Proceedings of the 9th IEEE International Symposium on Industrial Embedded …, 2014
82014
Simulation of real-time scheduling with various execution time models
M Chéramy, PE Hladik, AM Déplanche, S Dubé
Proceedings of the 9th IEEE International Symposium on Industrial Embedded …, 2014
82014
The system can't perform the operation now. Try again later.
Articles 1–20