Membre

Fiche Membre

En un clic !

Thématiques de recherche
Pôles d’expertises
Nos équipes
Formation par la recherche
- Doctorats
- Masters
HDR
Thèses
Publications

Composante(s) d’expertise Pôle associée(s)

CCS

Systèmes embarquésSystèmes Temps Réel

Expertises équipes

Calcul intermittentOrdonnancement temps réelSûreté de fonctionnementSystèmes temporisés, paramétrés, hybrides

Pierre-Emmanuel Hladik

HDR

Enseignant chercheur / Enseignante chercheuse – Maître / maîtresse de conférences

Equipe : STR

Employeur : Centrale Nantes

Expertises :

Coordonnées

Email :

Adresse(s)

Informations non disponibles pour l’instant

Publications déposées sur HAL

Nombre de publications retournées : 48

Revues internationales avec comité de lecture

[1] P. Hladik, H. Cambazard, A. Déplanche, N. Jussien. Solving a real-time allocation problem with constraint programming, in Journal of Systems and Software, vol. 81, no. 1, pp. 132-149, DOI

[2] A. Al Sheikh, O. Brun, M. Chéramy, P. Hladik. Optimal Design of Virtual Links in AFDX Networks, in Real-Time Systems, vol. 49, no. 3, pp. 31p., DOI

[3] M. Chéramy, P. Hladik, A. Déplanche. Algorithmes pour l’ordonnancement temps réel multiprocesseur, in Journal Européen des Systèmes Automatisés, vol. 48, no. 7-8, pp. 613-639, DOI

[4] P. Acco, G. Auriol, E. Chanthery, M. Détourbe, P. Hladik, D. Le Botlan, N. Noullet, A. Subias. An Interdisciplinary Capstone Design Experience on Critical Embedded Systems using Agile Methods, in Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, vol. 18, no. 0001, pp. 23p., DOI

[5] M. Foughali, P. Hladik. Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics, in Journal of Systems Architecture, vol. 111, pp. 101817, DOI

[6] P. Hladik, F. Ingrand, S. Dal Zilio, R. Tekin. Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time Systems, in Journal of Systems and Software, vol. 181, pp. 111033, DOI

[7] S. Dal Zilio, P. Hladik, F. Ingrand, A. Mallet. A formal toolchain for offline and run-time verification of robotic systems, in Robotics and Autonomous Systems, vol. 159, pp. 104301, DOI

Revues nationales avec comité de lecture

[8] E. Chanthery, G. Le Corre, P. Hladik. De l'illustration du guidage à l'optimisation d'un plan par un robot Lego Mindstorm NXT, in Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, vol. 15, DOI

Conférences internationales avec comité de lecture et actes

[9] H. Cambazard, P. Hladik, A. Déplanche, N. Jussien, Y. Trinquet. Decomposition and learning for a hard real-time task allocating problem, in CORS/INFORMS Joint International Meeting, Banff, Alberta, Canada,

[10] P. Hladik, H. Cambazard, A. Déplanche, N. Jussien. How to solve allocation problems with constraint programming, in the 17th Euromicro conference on real time systems (ECRTS'05), Palma de Mallorca, Spain, Espagne,

[11] P. Hladik, H. Cambazard, A. Déplanche, N. Jussien. Solving allocation problems of hard real-time systems with dynamic constraint programming, in 14th International Conference on Real-Time and Network Systems (RTNS'06), Poitiers, France, France,

[12] P. Hladik, A. Déplanche, S. Faucou, Y. Trinquet. Schedulability analysis of OSEK/VDX applications, in 15th International Conference on Real-Time and Network Systems – RTNS'07, Nancy, France,

[13] P. Hladik, A. Déplanche, S. Faucou, Y. Trinquet. Adequacy between AUTOSAR OS specification and real-time scheduling theory, in IEEE Second International Symposium on Industrial Embedded Systems – SIES 2007, Lisbon, Portugal,

[14] S. Faucou, P. Hladik, A. Déplanche, Y. Trinquet. Overview of microkernel standards for real-time in-vehicle embedded systems, in 4th Taiwanese-French Conference on Information Technology – TFIT'08, Taipei, Taïwan,

[15] P. Hladik, F. Peres, X. Shi. Analyse d'un modèle AADL à l'aide de Pola, in 10es journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, France,

[16] A. Al Sheikh, O. Brun, P. Hladik. Partition Scheduling on an IMA Platform with Strict Periodicity and Communication Delays, in 18th International Conference on Real-Time and Network Systems, Toulouse, France,

[17] M. Chéramy, A. Déplanche, P. Hladik. Simulation of Real-Time Multiprocessor Scheduling with Overheads, in International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013), Reykjavik, Islande,

[18] M. Chéramy, P. Hladik, A. Déplanche, S. Dubé. Simulation of Real-Time Scheduling with Various Execution Time Models, in 9th IEEE International Symposium on Industrial Embedded Systems (SIES), Pise, Italie,

[19] M. Chéramy, P. Hladik, A. Déplanche. SimSo: A Simulation Tool to Evaluate Real-Time Multiprocessor Scheduling Algorithms, in 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), Madrid, Espagne,

[20] M. Chéramy, P. Hladik, A. Déplanche, S. Dal Zilio. Simulation of Real-Time Scheduling Algorithms with Cache Effects, in 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, Lund, Suède,

[21] P. Hladik, S. Dal Zilio, O. Pasquier, S. Pillement, B. Berthomieu. Outillage pour la modélisation, la vérification et la génération d'applications temporisées et embarquées, in 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Besançon, France,

[22] S. Beji, A. Gherbi, J. Mullins, P. Hladik. Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network, in 9th System Analysis and Modelling (SAM 2016), Saint-Malo, France, DOI

[23] P. Hladik. A Brute-Force Schedulability Analysis for Formal Model under Logical Execution Time Assumption, in The 33rd ACM/SIGAPP Symposium On Applied Computing (SAC), Pau, France,

[24] M. Foughali, B. Berthomieu, S. Dal Zilio, P. Hladik, F. Ingrand, A. Mallet. Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms, in FormaliSE: 6th International Conference on Formal Methods in Software Engineering, Gothenburg, Suède,

[25] A. Bali, P. Hladik, H. Gandji, A. Gherbi, M. Cheriet. Integrating Random Forest Prediction for Energy Optimization in Solar-Powered Environmental Monitoring, in 2024 IEEE 27th International Symposium on Real-Time Distributed Computing (ISORC), Tunis, France, DOI

[26] P. Hladik, H. Zahaf, S. Faucou, A. Queudet. ILP representation for Limited Preemption in Energy-Neutral Single-Core Systems, in The 32nd International Conference on Real-Time Networks and Systems, Porto, Portugal, DOI

[27] A. Gherbi, A. Bali, A. Benbelghit, P. Hladik. Integrating VMD and Convolutional Transformers for Optimized Solar Energy Management in IoT Monitoring Systems, in IEEE 28th International Symposium on Real-Time Distributed Computing, Toulouse, France,

[28] C. Daini, G. Lipari, H. Zahaf, P. Hladik. Optimizing CNN Inference on Multicore Scratchpad Architectures, in IEEE 28 th International Symposium on Real-Time Distributed Computing, Toulouse, France,

[29] M. Carreau, S. Faucou, P. Hladik, V. Lostanlen. Un réseau de neurones frugal pour la détection bioacoustique, in GRETSI’25, Strasbourg, France,

[30] G. Carmantini, Y. Benhamadi, M. Carreau, M. Kwak, I. Morandi, F. Förstner, P. Hladik, M. Lagrange, P. Linhart, T. Petrusková, V. Lostanlen, S. Kahl. Bioacoustics on Tiny Hardware at the BioDCASE 2025 Challenge, in Detection and Classification of Acoustic Scenes and Events (DCASE), Barcelona, Espagne,

[31] C. Maiza, L. Rieg, M. Asavoae, J. Béchennec, D. Blouin, F. Brandner, T. Carle, H. Cassé, S. Faucou, B. Ferres, P. Hladik, J. Erwan, M. Jan, É. Jenn, L. Jezequel, D. Potop Butucaru, I. Puaut, P. Raymond, C. Rochange, P. Sotin, C. Parent-Vigouroux, H. Zahaf, H. Chabot, M. Essabyr, L. Jeanmougin, H. Rebhi. Collaborative Action on Timing InterferenCes: Summary and Perspectives at Mid-term, in ERTS 2026 – Embedded Real-Time Systems, Toulouse, France, DOI

[32] É. Lubat, P. Hladik, Y. Mateu, R. Sauvère. Modelling and Analysis of Supply Chains using Product Time Petri Nets, in 7th Workshop on Models for Formal Analysis of Real Systems, Turin (Italie), Italie, DOI

[33] H. Zahaf, A. Queudet, P. Hladik, A. Benhariga. Using CUDA Green Contexts for Dynamic GPU Partitioning, in 34th International Conference on Real-Time Networks and Systems, Toulouse, France,

[34] Z. Boukhetala, A. Amalou, S. Faucou, A. Haichour, P. Hladik. Transformer-based Performance Attribution For GPU Kernels Interference At PTX Level, in 47th IEEE Symposium on Real-Time Systems, Yokohama, Japon,

Conférences nationales avec comité de lecture et actes

[35] H. Cambazard, P. Hladik, A. Déplanche, N. Jussien, Y. Trinquet. Decomposition and learning for a real time task allocation problem, in Principles and Practice of Constraint Programming (CP 2004), Toronto, Canada, Canada,

[36] H. Cambazard, P. Hladik, A. Déplanche, N. Jussien, Y. Trinquet. Décomposition et apprentissage pour un problème d'allocation de tâches temps-réel, in 10e Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'04), Angers, France, France,

[37] P. Hladik, H. Cambazard, A. Déplanche, N. Jussien. Guiding Architectural Design Process of Hard Real-Time Systems with Constraint Programming, in Third Taiwanese-French Conference on Information Technology (TFIT 2006), Nancy, France, France,

[38] H. Cambazard, P. Hladik, A. Déplanche, N. Jussien. Une contrainte globale pour l'ordonnançabilité des tâches temps réel dur, in Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Rocquencourt / France,

[39] P. Hladik, A. Déplanche. Ordonnancement temps réel multiprocesseur partitionné et programmation par contraintes, in 10ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision – ROADEF'09, Nancy, France,

[40] M. Chéramy, P. Hladik, A. Déplanche. Simulation d'ordonnancement temps réel avec prise en compte de l'impact des caches, in École d'été Temps Réel 2013, Toulouse, France,

[41] G. Auriol, S. Ben Dhia, E. Chanthery, P. Hladik, D. Le Botlan, G. Le Corre, C. Maranges, D. Vignolles. Activité pédagogique sur la création d'un jeu d'évasion, in 6ème Colloque Pédagogie & Formation – groupe INSA, Bourges, France,

Pas de projets référencées pour l’instant

Pas de plateformes référencées pour l’instant

Pas de logiciels de référencés pour l’instant