Follow
Pierre-Emmanuel Hladik
Pierre-Emmanuel Hladik
LS2N, Centrale Nantes
Verified email at ls2n.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
972008
Simso: A simulation tool to evaluate real-time multiprocessor scheduling algorithms
M Chéramy, PE Hladik, AM Déplanche
5th International Workshop on Analysis Tools and Methodologies for Embedded …, 2014
932014
Simso: A simulation tool to evaluate real-time multiprocessor scheduling algorithms
M Chéramy, PE Hladik, AM Déplanche
5th International Workshop on Analysis Tools and Methodologies for Embedded …, 2014
932014
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
732013
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
692004
Strictly periodic scheduling in IMA-based architectures
A Al Sheikh, O Brun, PE Hladik, BJ Prabhu
Real-Time Systems 48 (4), 359-386, 2012
582012
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
462011
Partition scheduling on an IMA platform with strict periodicity and communication delays
A Al Sheikh, O Brun, PE Hladik
18th international conference on real-time and network systems, 179-188, 2010
462010
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
382010
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
382007
Formal verification of complex robotic systems on resource-constrained platforms
M Foughali, B Berthomieu, SD Zilio, PE Hladik, F Ingrand, A Mallet
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2-9, 2018
292018
Mécanique quantique: atomes et molécules, applications technologiques: cours et exercices corrigés
J Hladik, M Chrysos, PE Hladik
Dunod, 2002
28*2002
Mécanique quantique
J Hladik, M Chrysos, PE Hladik, LU Ancarani
Dunod, 2009
26*2009
Mécanique quantique
J Hladik, M Chrysos, PE Hladik, LU Ancarani
Atomes et molécule Ap $ plications Technologique, 1997
26*1997
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
222008
Simulation of real-time multiprocessor scheduling with overheads
M Chéramy, AM Déplanche, PE Hladik
International Conference on Simulation and Modeling Methodologies …, 2013
202013
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
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
122014
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
122014
Schedulability analysis of OSEK/VDX applications
P Hladik, A Deplanche, S Faucou, Y Trinquet
RTNS’07, 131, 2007
92007
The system can't perform the operation now. Try again later.
Articles 1–20