Michaël Lauer
Michaël Lauer
Université de Toulouse / LAAS-CNRS
Verified email at laas.fr
Cited by
Cited by
Latency and freshness analysis on IMA systems
M Lauer, J Ermont, F Boniol, C Pagetti
ETFA2011, 1-8, 2011
Analyzing end-to-end functional delays on an IMA platform
M Lauer, J Ermont, C Pagetti, F Boniol
International Symposium On Leveraging Applications of Formal Methods …, 2010
Une méthode globale pour la vérification d’exigences temps réel: application à l’Avionique Modulaire Intégrée
M Lauer
Determinism Enhancement of AFDX Networks via Frame Insertion and Sub-Virtual Link Aggregation
M Li, M Lauer, G Zhu, Y Savaria
IEEE, 2014
Cost optimization strategy for iterative integration of multi-critical functions in ima and ttethernet architecture
M Lauer, J Mullins, M Yeddes
2013 IEEE 37th Annual Computer Software and Applications Conference …, 2013
Worst case temporal consistency in integrated modular avionics systems
M Lauer, J Ermont, F Boniol, C Pagetti
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering …, 2011
Partial Updates of AUTOSAR Embedded Applications--To What Extent?
H Martorell, JC Fabre, M Lauer, M Roy, R Valentin
2015 11th European Dependable Computing Conference (EDCC), 73-84, 2015
End-to-end latency and temporal consistency analysis in networked real-time systems
M Lauer, F Boniol, C Pagetti, J Ermont
International Journal of Critical Computer-Based Systems 6 5 (3-4), 172-196, 2014
Towards Adaptive Fault Tolerance: From a Component-Based Approach to ROS
M Lauer, M Amy, W Excoffon, M Roy, M Stoicescu
Freshness and reactivity analysis in globally asynchronous locally time-triggered systems
F Boniol, M Lauer, C Pagetti, J Ermont
NASA Formal Methods Symposium, 93-107, 2013
Analyse de latence et fraîcheur pire cas sur systèmes avioniques modulaires intégrées
M Lauer, J Ermont, F Boniol, C Pagetti
Proceedings of 8ème Colloque Francophone sur la Modélisation des Systèmes …, 2011
An interval-based method for embedded network analysis
M Lauer, J Ermont, F Boniol, C Pagetti
Proceedings of the 3rd Junior Researcher Workshop on Real-Time Computing …, 0
The system can't perform the operation now. Try again later.
Articles 1–12