Publications

Lauer Michaël, Boniol Frédéric, Pagetti Claire, Ermont Jérôme, End-to-end latency and temporal consistency analysis in networked real-time systems. 2014, International Journal of Critical Computer-Based Systems. 5 (3/4). 172-196. ISSN 1757-8779

End-to-end latency and temporal consistency analysis in networked real-time systems

Kritikakou Angeliki, Marty Thibaut, Pagetti Claire, Rochange Christine, Lauer Michaël, Roy Matthieu, Multiplexing Adaptive with Classic AUTOSAR ? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems : Proceedings of CARS 2016 : 4th Workshop on Critical Automotive applications. 2016, 4th Workshop on Critical Automotive applications : Robustness and Safety (CARS 2016) - 2016-09-06 (2016-09-06, Göteborg)

Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems : Proceedings of CARS

Boniol Frédéric, Lauer Michaël, Pagetti Claire, Ermont Jérôme, Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems : NASA Formal Methods. 2013, 5th International Symposium on NASA Formal Methods (NFM 2013), 2013-05-14 - 2013-05-14 (2013-05-14, Moffett Field, CA)

Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems : NASA Formal Methods