Publications of
Michael Lauer, Frédéric Boniol, Jérôme Ermont, Claire Pagetti
Analyse de latence et fraîcheur pire cas sur systèmes avioniques modulaires intégrés
In : Journal Européen des Systèmes Automatisés, Lavoisier, Vol. 45/1-3, pp. 173-188, 2012.
Frédéric Boniol, Michael Lauer, Claire Pagetti, Jérôme Ermont
Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems (regular paper)
In : International Symposium on NASA Formal Methods (NFM 2013), Moffett Field, CA, USA, 14/05/13-16/05/13, Vol. 7871, Springer, Lecture Notes in Computer Science, pp. 93-107, 2013.
Frédéric Boniol, Michael Lauer, Claire Pagetti, Jérôme Ermont
End-to-end latency analysis in networked real-time systems (regular paper)
In : International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2012), Paris, 27/08/12-28/08/12, British Computer Society, 2013 (to appear).
Michael Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti
Worst Case Temporal Consistency in Integrated Modular Avionics Systems (regular paper)
In : IEEE International Symposium on High Assurance Systems Engineering (HASE 2011), Boca Raton, FL, USA, 10/11/11-12/11/11, IEEE : Institute of Electrical and Electronics Engineers, pp. 212-219, November 2011.
Michael Lauer, Frédéric Boniol, Jérôme Ermont, Claire Pagetti
Latency and freshness analysis on IMA systems (regular paper)
In : Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, France, 06/09/11-08/09/11, IEEE : Institute of Electrical and Electronics Engineers, pp. 1-8, September 2011.
Michael Lauer, Jérôme Ermont, Claire Pagetti, Frédéric Boniol
Analyzing End-to-End Functional Delays on an IMA Platform (regular paper)
In : International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Heraklion, Greece, 18/10/10-21/10/10, Springer, Lecture Notes in Computer Science 6415, pp. 243-257, October 2010.
Michael Lauer, Frédéric Boniol, Jérôme Ermont, Claire Pagetti
An interval-based method for embedded network analysis (student paper)
In : Junior Researcher Workshop on Real-Time Computing, Paris, 26/10/09-27/10/09, Archives ouvertes HAL, pp. 7-10, 2009.
Une méthode globale pour la vérification d’exigences temps réel – Application à l’Avionique Modulaire Intégrée
Master’s Thesis, Institut National Polytechnique de Toulouse, June 2012.