Michaël Lauer

21 papers B 1C 1Misc 5Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2024 Misc conf
An experimental approach for evaluating cache allocation policies in multicore for real-time mixed-criticality systems.
EDCC
Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre
2021 — conf
7
DSN Workshops
Michaël Lauer, Kalinka Branco, João Carlos Cunha
2021 Misc conf
Run-time Monitoring and Control for Temporal Fault Prevention in Mixed-criticality Systems.
EDCC
Daniel Loche, Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre
2020 — conf
6th International Workshop on Safety and Security of Intelligent Vehicles - SSIV 2020.
DSN Workshops
João Carlos Cunha, Kalinka Branco, Michaël Lauer
2020 Misc conf
Optimizing Vehicle-to-Cloud Data Transfers using Soft Real-Time Scheduling Concepts.
RTNS
Jean Ibarz, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre, Olivier Flébus
2018 J jnl
Resilient computing on ROS using adaptive fault tolerance.
J. Softw. Evol. Process.
Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, Miruna Stoicescu
2018 — conf
SSIV 2018 Introduction.
DSN Workshops
João Carlos Cunha, Kalinka Branco, Michaël Lauer
2017 Misc conf
Analysis of Adaptive Fault Tolerance for Resilient Computing.
EDCC
William Excoffon, Jean-Charles Fabre, Michaël Lauer
2017 J jnl
Reliability Enhancement of Redundancy Management in AFDX Networks.
IEEE Trans. Ind. Informatics
Meng Li, Guchuan Zhu, Yvon Savaria, Michaël Lauer
2017 — conf
Towards Adaptive Fault Tolerance on ROS for Advanced Driver Assistance Systems.
DSN Workshops
Matthieu Amy, Jean-Charles Fabre, Michaël Lauer
2016 — conf
Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROS.
HASE
Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, Miruna Stoicescu
2016 B conf
Towards Modelling Adaptive Fault Tolerance for Resilient Computing Analysis.
SAFECOMP
William Excoffon, Jean-Charles Fabre, Michaël Lauer
2015 Misc conf
Partial Updates of AUTOSAR Embedded Applications - To What Extent?
EDCC
Hélène Martorell, Jean-Charles Fabre, Michaël Lauer, Matthieu Roy, Régis Valentin
2014 J jnl
Determinism Enhancement of AFDX Networks via Frame Insertion and Sub-Virtual Link Aggregation.
IEEE Trans. Ind. Informatics
Meng Li, Michaël Lauer, Guchuan Zhu, Yvon Savaria
2014 J jnl
End-to-end latency and temporal consistency analysis in networked real-time systems.
Int. J. Crit. Comput. Based Syst.
Michaël Lauer, Frédéric Boniol, Claire Pagetti, Jérôme Ermont
2013 — conf
Cost Optimization Strategy for Iterative Integration of Multi-critical Functions in IMA and TTEthernet Architecture.
COMPSAC Workshops
Michaël Lauer, John Mullins, Moez Yeddes
2013 — conf
Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems.
NASA Formal Methods
Frédéric Boniol, Michaël Lauer, Claire Pagetti, Jérôme Ermont
2012 — —
Une méthode globale pour la vérification d'exigences temps réel : application à l'Avionique Modulaire Intégrée. (A comprehensive method for real-time requirements verification : application to Integrated Modular Avnionics).
Michaël Lauer
2011 C conf
Latency and freshness analysis on IMA systems.
ETFA
Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti
2011 — conf
Worst Case Temporal Consistency in Integrated Modular Avionics Systems.
HASE
Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti
2010 — conf
Analyzing End-to-End Functional Delays on an IMA Platform.
ISoLA (1)
Michaël Lauer, Jérôme Ermont, Claire Pagetti, Frédéric Boniol