Michaël Lauer
Michaël Lauer
Université de Toulouse / LAAS-CNRS
Adresse e-mail validée de laas.fr
Titre
Citée par
Citée par
Année
Latency and freshness analysis on IMA systems
M Lauer, J Ermont, F Boniol, C Pagetti
ETFA2011, 1-8, 2011
332011
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
302010
Une méthode globale pour la vérification d’exigences temps réel: application à l’Avionique Modulaire Intégrée
M Lauer
182012
Determinism Enhancement of AFDX Networks via Frame Insertion and Sub-Virtual Link Aggregation
M Li, M Lauer, G Zhu, Y Savaria
IEEE, 2014
152014
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
112013
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
102011
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
82015
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
72014
Towards Adaptive Fault Tolerance: From a Component-Based Approach to ROS
M Lauer, M Amy, W Excoffon, M Roy, M Stoicescu
CARS 2015-Critical Automotive applications: Robustness & Safety, 2015
32015
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
32013
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
22011
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
2
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–12