Follow
Michaël Lauer
Michaël Lauer
Université de Toulouse / LAAS-CNRS
Verified email at laas.fr
Title
Cited by
Cited by
Year
Latency and freshness analysis on IMA systems
M Lauer, J Ermont, F Boniol, C Pagetti
ETFA2011, 1-8, 2011
382011
Analyzing end-to-end functional delays on an IMA platform
M Lauer, J Ermont, C Pagetti, F Boniol
Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
342010
Une méthode globale pour la vérification d’exigences temps réel: application à l’Avionique Modulaire Intégrée
M Lauer
232012
Determinism Enhancement of AFDX Networks via Frame Insertion and Sub-Virtual Link Aggregation
M Li, M Lauer, G Zhu, Y Savaria
IEEE, 2014
212014
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
212014
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
162013
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
132011
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
102015
Freshness and reactivity analysis in globally asynchronous locally time-triggered systems
F Boniol, M Lauer, C Pagetti, J Ermont
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013
62013
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
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
The system can't perform the operation now. Try again later.
Articles 1–12