Pierre-Emmanuel Hladik

发表

Overview of microkernel standards for real-time in-vehicle embedded systems

Anne-Marie Déplanche, Yvon Trinquet, Sébastien Faucou, 2008 .

Specification and verification of real-time systems using the POLA tool

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

A Best-Response Algorithm for Multiprocessor Periodic Scheduling

Balakrishna J. Prabhu, Olivier Brun, Pierre-Emmanuel Hladik, 2011, 2011 23rd Euromicro Conference on Real-Time Systems.

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

Mohammed Foughali, Pierre-Emmanuel Hladik, 2020, J. Syst. Archit..

Fast and Tight Analysis for AUTOSAR Schedule Tables

Pierre-Emmanuel Hladik, 2016 .

Simulation of Real-time Multiprocessor Scheduling with Overheads

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

Partition Scheduling on an IMA Platform with Strict Periodicity and Communication Delays

Olivier Brun, Pierre-Emmanuel Hladik, Ahmad Al Sheikh, 2010 .

SimSo: A Simulation Tool to Evaluate Real-Time Multiprocessor Scheduling Algorithms

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

Simulation of real-time scheduling with various execution time models

Pierre-Emmanuel Hladik, Anne-Marie Deplanche, Maxime Cheramy, 2014, Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014).

A Framework for Distributing Real-Time Functions

Frédéric Boniol, Claire Pagetti, Pierre-Emmanuel Hladik, 2008, FORMATS.

Allocating Hard Real-Time Tasks with Constraint Programming

Hadrien Cambazard, Narendra Jussien, Pierre-Emmanuel Hladik, 2006 .

Guiding Architectural Design Process of Hard Real-Time Systems with Constraint Programming

Hadrien Cambazard, Narendra Jussien, Anne-Marie Déplanche, 2006 .

Optimal design of virtual links in AFDX networks

Olivier Brun, Pierre-Emmanuel Hladik, Ahmad Al Sheikh, 2012, Real-Time Systems.

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

Pierre-Emmanuel Hladik, Pierre-Emmanuel Hladik, 2016 .

Solving allocation problems of hard real-time systems with dynamic constraint programming

Hadrien Cambazard, Narendra Jussien, Anne-Marie Déplanche, 2006 .

19th International Conference on Real-Time and Network Systems, RTNS '11, Nantes, France, September 29-30, 2011. Proceedings

Eduardo Tovar, Tei-Wei Kuo, Liliana Cucu-Grosjean, 2011, RTNS.

Strictly periodic scheduling in IMA-based architectures

Balakrishna J. Prabhu, Olivier Brun, Pierre-Emmanuel Hladik, 2012, Real-Time Systems.

Hippo: A formal-model execution engine to control and verify critical real-time systems

Félix Ingrand, Pierre-Emmanuel Hladik, Silvano Dal Zilio, 2021, J. Syst. Softw..

Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network

Abdelouahed Gherbi, John Mullins, Pierre-Emmanuel Hladik, 2016, SAM.

Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms

Silvano Dal-Zilio, Mohammed Foughali, Félix Ingrand, 2018, 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).

Simulation of Real-Time Scheduling Algorithms with Cache Effects

Anne-Marie Déplanche, Pierre-Emmanuel Hladik, Silvano Dal Zilio, 2015 .

Simulation of Real-Time Multiprocessor Scheduling Using DES

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

Efficient Stochastic Analysis of Real-Time Systems via Random Sampling

Pierre-Emmanuel Hladik, Khaled S. Refaat, 2010, 2010 22nd Euromicro Conference on Real-Time Systems.

Specification and verification of real-time systems using POLA

François Vernadat, Pierre-Emmanuel Hladik, Florent Peres, 2011, Int. J. Crit. Comput. Based Syst..

An Interdisciplinary Capstone Design Experience on Critical Embedded Systems using Agile Methods

Audine Subias, Elodie Chanthery, Pierre-Emmanuel Hladik, 2019, J3eA.

Schedulability analysis of OSEK/VDX applications

Anne-Marie Déplanche, Yvon Trinquet, Sébastien Faucou, 2007 .

Adequacy between AUTOSAR OS specification and real-time scheduling theory

Anne-Marie Déplanche, Yvon Trinquet, Sébastien Faucou, 2007, 2007 International Symposium on Industrial Embedded Systems.

Decomposition and Learning for a Hard Real Time Task Allocation Problem

Hadrien Cambazard, Narendra Jussien, Anne-Marie Déplanche, 2004, CP.

How to solve allocation problems with constraint programming

Hadrien Cambazard, Narendra Jussien, Anne-Marie Déplanche, 2005 .

Solving a real-time allocation problem with constraint programming

Hadrien Cambazard, Narendra Jussien, Anne-Marie Déplanche, 2008, J. Syst. Softw..

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

Pierre-Emmanuel Hladik, 2018, SAC.

Analyse d'un modèle AADL à l'aide de Pola

Pierre-Emmanuel Hladik, Xiaomu Shi, Florent Peres, 2010 .