Search - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Access content directly

Filter your results

27 Results
authIdHal_s : pehladik
Image document

Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time Systems

Pierre-Emmanuel Hladik , Félix Ingrand , Silvano Dal Zilio , Reyyan Tekin
Journal of Systems and Software, 2021, 181, pp.111033. ⟨10.1016/j.jss.2021.111033⟩
Journal articles hal-03017661v4

Decomposition and learning for a hard real-time task allocating problem

Hadrien Cambazard , Pierre-Emmanuel Hladik , Anne-Marie Déplanche , Narendra Jussien , Yvon Trinquet
CORS/INFORMS Joint International Meeting, 2004, Banff, Alberta, Canada
Conference papers hal-00869109v1

Ordonnancement temps réel multiprocesseur partitionné et programmation par contraintes

Pierre-Emmanuel Hladik , Anne-Marie Déplanche
10ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision - ROADEF'09, Feb 2009, Nancy, France. pp.159
Conference papers hal-00490800v1
Image document

Simulation d'ordonnancement temps réel avec prise en compte de l'impact des caches

Maxime Chéramy , Pierre-Emmanuel Hladik , Anne-Marie Déplanche
École d'été Temps Réel 2013, Aug 2013, Toulouse, France
Conference papers hal-00870076v1
Image document

Optimal Design of Virtual Links in AFDX Networks

Ahmad Al Sheikh , Olivier Brun , Maxime Chéramy , Pierre-Emmanuel Hladik
Real-Time Systems, 2013, 49 (3), 31p. ⟨10.1007/s11241-012-9171-z⟩
Journal articles hal-00665755v2
Image document

Simulation of Real-Time Scheduling Algorithms with Cache Effects

Maxime Chéramy , Pierre-Emmanuel Hladik , Anne-Marie Déplanche , Silvano Dal Zilio
6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, Jul 2015, Lund, Sweden. 6p
Conference papers hal-01232512v1
Image document

Fast and Tight Analysis for AUTOSAR Schedule Tables

Pierre-Emmanuel Hladik
2016
Preprints, Working Papers, ... hal-01273673v1
Image document

Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms

Mohammed Foughali , Bernard Berthomieu , Silvano Dal Zilio , Pierre-Emmanuel Hladik , Félix Ingrand , et al.
FormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden
Conference papers hal-01778960v1
Image document

Simulation of Real-Time Multiprocessor Scheduling with Overheads

Maxime Chéramy , Anne-Marie Déplanche , Pierre-Emmanuel Hladik
International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013), Jul 2013, Reykjavik, Iceland. pp. 5-14
Conference papers hal-00815502v1
Image document

Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics

Mohammed Foughali , Pierre-Emmanuel Hladik
Journal of Systems Architecture, 2020, 111, pp.101817. ⟨10.1016/j.sysarc.2020.101817⟩
Journal articles hal-02864928v3
Image document

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

Pascal Acco , Guillaume Auriol , Elodie Chanthery , M.-A Détourbe , Pierre Emmanuel Hladik , et al.
Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2019, 18 (0001), 23p. ⟨10.1051/j3ea/20190001⟩
Journal articles hal-02189482v1
Image document

Ordonnancement temps réel : des politiques monoprocesseurs aux politiques multiprocesseurs

Maxime Chéramy , Anne-Marie Déplanche , Pierre-Emmanuel Hladik
2012
Reports hal-00662741v1
Image document

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

Pierre-Emmanuel Hladik
Systèmes embarqués. INP DE TOULOUSE, 2016
Accreditation to supervise research tel-01451027v1
Image document

Algorithmes pour l’ordonnancement temps réel multiprocesseur

Maxime Chéramy , Pierre-Emmanuel Hladik , Anne-Marie Déplanche
Journal Européen des Systèmes Automatisés (JESA), 2015, 48 (7-8), pp.613-639. ⟨10.3166/JESA.48.613-63⟩
Journal articles hal-01221711v1
Image document

Activité pédagogique sur la création d'un jeu d'évasion

Guillaume Auriol , Sonia Ben Dhia , Elodie Chanthery , Pierre-Emmanuel Hladik , Didier Le Botlan , et al.
6ème Colloque Pédagogie & Formation - groupe INSA, May 2019, Bourges, France
Conference papers hal-02307883v1

Quaternions réels duaux et complexes

Jean Hladik , Pierre-Emmanuel Hladik
Ellipses Marketing, 2016, 978-2340010468
Books hal-01587436v1
Image document

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

Maxime Chéramy , Pierre-Emmanuel Hladik , Anne-Marie Déplanche
5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), Jul 2014, Madrid, Spain. 6 p
Conference papers hal-01052651v1
Image document

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

Sofiene Beji , Abdelouahed Gherbi , John Mullins , Pierre-Emmanuel Hladik
9th System Analysis and Modelling (SAM 2016), Oct 2016, Saint-Malo, France. ⟨10.1007/978-3-319-46613-2_11⟩
Conference papers hal-01496891v1
Image document

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

Pierre-Emmanuel Hladik , Florent Peres , Xiaomu Shi
10es journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2010, Poitiers, France. p. 239--243
Conference papers hal-00493726v2
Image document

A formal toolchain for offline and run-time verification of robotic systems

Silvano Dal Zilio , Pierre-Emmanuel Hladik , Félix Ingrand , Anthony Mallet
Robotics and Autonomous Systems, 2023, 159, pp.104301. ⟨10.1016/j.robot.2022.104301⟩
Journal articles hal-03683044v2
Image document

Simulation of Real-Time Scheduling with Various Execution Time Models

Maxime Chéramy , Pierre-Emmanuel Hladik , Anne-Marie Déplanche , Sébastien Dubé
9th IEEE International Symposium on Industrial Embedded Systems (SIES), Jun 2014, Pise, Italy
Conference papers hal-01052656v1
Image document

Outillage pour la modélisation, la vérification et la génération d'applications temporisées et embarquées

Pierre-Emmanuel Hladik , Silvano Dal Zilio , Olivier Pasquier , Sébastien Pillement , Bernard Berthomieu
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jun 2016, Besançon, France
Conference papers hal-01331726v1
Image document

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

Ahmad Al Sheikh , Olivier Brun , Pierre-Emmanuel Hladik
18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.179-188
Conference papers hal-00546945v1

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

Sébastien Faucou , Pierre-Emmanuel Hladik , Anne-Marie Déplanche , Yvon Trinquet
4th Taiwanese-French Conference on Information Technology - TFIT'08, Mar 2008, Taipei, Taiwan
Conference papers hal-00490671v1
Image document

De l'illustration du guidage à l'optimisation d'un plan par un robot Lego Mindstorm NXT

Elodie Chanthery , G Le Corre , Pierre-Emmanuel Hladik
Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2016, 15, ⟨10.1051/j3ea/2016006⟩
Journal articles hal-01392601v1
Image document

A Brute-Force Schedulability Analysis for Formal Model under Logical Execution Time Assumption

Pierre-Emmanuel Hladik
The 33rd ACM/SIGAPP Symposium On Applied Computing (SAC), Apr 2018, Pau, France. 13p
Conference papers hal-01717293v1
Image document

Réécriture d'un modèle MCSE à l'aide du langage FIACRE

Clément Filleau , Pierre-Emmanuel Hladik
2013
Reports hal-00871943v1