| Latency and freshness analysis on IMA systems M Lauer, J Ermont, F Boniol, C Pagetti ETFA2011, 1-8, 2011 | 39 | 2011 |
| 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 | 35 | 2010 |
| Determinism Enhancement of AFDX Networks via Frame Insertion and Sub-Virtual Link Aggregation M Li, M Lauer, G Zhu, Y Savaria IEEE, 2014 | 22 | 2014 |
| Une méthode globale pour la vérification d’exigences temps réel: application à l’avionique modulaire intégrée M Lauer Institut National Polytechnique de Toulouse-INPT, 2012 | 22 | 2012 |
| 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 | 21 | 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 | 16 | 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 | 13 | 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 | 10 | 2015 |
| 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 | 6 | 2013 |
| 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 | 3 | 2015 |
| 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 | 2 | 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 | 2 | |
