default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichaël Lauer
Person information
- affiliation: Université de Toulouse III Paul Sabatier, LAAS, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
Books and Theses
- 2012
[b1]Michaël Lauer:
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). National Polytechnic Institute of Toulouse, France, 2012
Journal Articles
- 2018
- [j4]Michaël Lauer
, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, Miruna Stoicescu:
Resilient computing on ROS using adaptive fault tolerance. J. Softw. Evol. Process. 30(3) (2018) - 2017
- [j3]Meng Li, Guchuan Zhu, Yvon Savaria, Michaël Lauer:
Reliability Enhancement of Redundancy Management in AFDX Networks. IEEE Trans. Ind. Informatics 13(5): 2118-2129 (2017) - 2014
- [j2]Michaël Lauer, Frédéric Boniol, Claire Pagetti, Jérôme Ermont:
End-to-end latency and temporal consistency analysis in networked real-time systems. Int. J. Crit. Comput. Based Syst. 5(3/4): 172-196 (2014) - [j1]Meng Li, Michaël Lauer, Guchuan Zhu, Yvon Savaria:
Determinism Enhancement of AFDX Networks via Frame Insertion and Sub-Virtual Link Aggregation. IEEE Trans. Ind. Informatics 10(3): 1684-1695 (2014)
Conference and Workshop Papers
- 2024
- [c16]Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre:
An experimental approach for evaluating cache allocation policies in multicore for real-time mixed-criticality systems. EDCC 2024: 115-122 - 2021
- [c15]Michaël Lauer, Kalinka Branco, João Carlos Cunha:
7th International Workshop on Safety and Security of Intelligent Vehicles - SSIV 2021. DSN Workshops 2021: xiii - [c14]Daniel Loche, Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre:
Run-time Monitoring and Control for Temporal Fault Prevention in Mixed-criticality Systems. EDCC 2021: 53-60 - 2020
- [c13]João Carlos Cunha, Kalinka Branco, Michaël Lauer:
6th International Workshop on Safety and Security of Intelligent Vehicles - SSIV 2020. DSN Workshops 2020: xiii - [c12]Jean Ibarz, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre, Olivier Flébus:
Optimizing Vehicle-to-Cloud Data Transfers using Soft Real-Time Scheduling Concepts. RTNS 2020: 161-171 - 2018
- [c11]João Carlos Cunha, Kalinka Branco, Michaël Lauer:
SSIV 2018 Introduction. DSN Workshops 2018: 222 - 2017
- [c10]Matthieu Amy, Jean-Charles Fabre, Michaël Lauer:
Towards Adaptive Fault Tolerance on ROS for Advanced Driver Assistance Systems. DSN Workshops 2017: 29-35 - [c9]William Excoffon, Jean-Charles Fabre, Michaël Lauer:
Analysis of Adaptive Fault Tolerance for Resilient Computing. EDCC 2017: 50-57 - 2016
- [c8]Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, Miruna Stoicescu:
Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROS. HASE 2016: 94-101 - [c7]William Excoffon, Jean-Charles Fabre, Michaël Lauer:
Towards Modelling Adaptive Fault Tolerance for Resilient Computing Analysis. SAFECOMP 2016: 159-171 - 2015
- [c6]Hélène Martorell, Jean-Charles Fabre, Michaël Lauer, Matthieu Roy, Régis Valentin:
Partial Updates of AUTOSAR Embedded Applications - To What Extent? EDCC 2015: 73-84 - 2013
- [c5]Michaël Lauer, John Mullins, Moez Yeddes:
Cost Optimization Strategy for Iterative Integration of Multi-critical Functions in IMA and TTEthernet Architecture. COMPSAC Workshops 2013: 139-144 - [c4]Frédéric Boniol, Michaël Lauer, Claire Pagetti, Jérôme Ermont:
Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems. NASA Formal Methods 2013: 93-107 - 2011
- [c3]Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti:
Latency and freshness analysis on IMA systems. ETFA 2011: 1-8 - [c2]Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti:
Worst Case Temporal Consistency in Integrated Modular Avionics Systems. HASE 2011: 212-219 - 2010
- [c1]Michaël Lauer, Jérôme Ermont, Claire Pagetti, Frédéric Boniol:
Analyzing End-to-End Functional Delays on an IMA Platform. ISoLA (1) 2010: 243-257
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-03 00:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
