| Latency and freshness analysis on IMA systems M Lauer, J Ermont, F Boniol, C Pagetti ETFA2011, 1-8, 2011 | 40 | 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 |
| Reliability enhancement of redundancy management in AFDX networks M Li, G Zhu, Y Savaria, M Lauer IEEE Transactions on Industrial Informatics 13 (5), 2118-2129, 2017 | 28 | 2017 |
| Engineering adaptive fault-tolerance mechanisms for resilient computing on ROS M Lauer, M Amy, JC Fabre, M Roy, W Excoffon, M Stoicescu 2016 IEEE 17th International Symposium on High Assurance Systems Engineering …, 2016 | 26 | 2016 |
| 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 | 23 | 2012 |
| 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 |
| 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 |
| Resilient computing on ROS using adaptive fault tolerance M Lauer, M Amy, JC Fabre, M Roy, W Excoffon, M Stoicescu Journal of Software: Evolution and Process 30 (3), e1917, 2018 | 16 | 2018 |
| 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 |
| Towards adaptive fault tolerance on ROS for advanced driver assistance systems M Amy, JC Fabre, M Lauer 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems …, 2017 | 8 | 2017 |
| Towards modelling adaptive fault tolerance for resilient computing analysis W Excoffon, JC Fabre, M Lauer Computer Safety, Reliability, and Security: 35th International Conference …, 2016 | 7 | 2016 |
| Optimizing vehicle-to-cloud data transfers using soft real-time scheduling concepts J Ibarz, M Lauer, M Roy, JC Fabre, O Flébus Proceedings of the 28th International Conference on Real-Time Networks and …, 2020 | 6 | 2020 |
| 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 resilient computing on ROS for embedded applications JC Fabre, M Lauer, M Roy, M Amy, W Excoffon, M Stoicescu 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016 | 4 | 2016 |
| Run-time monitoring and control for temporal fault prevention in mixed-criticality systems D Loche, A Génèrès, M Lauer, JC Fabre 2021 17th European Dependable Computing Conference (EDCC), 53-60, 2021 | 3 | 2021 |
| Analysis of Adaptive Fault Tolerance for Resilient Computing W Excoffon, JC Fabre, M Lauer 2017 13th European Dependable Computing Conference (EDCC), 50-57, 2017 | 3 | 2017 |
| 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 |
