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, Jérôme Ermont, Claire Pagetti
Verification of real-time systems with preemption: negative and positive results
In : Innovations in Systems and Software Engineering, Springer, Vol. 5, pp. 163-179, June 2009.
Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy, Fabian Vargas
Monitoring On-line Timing Information to Support Mixed-Critical Workloads (short paper)
In : Real-Time System Symposium (RTSS 2013), Vancouver, 03/12/13-06/12/13, University of Waterloo, (on line), 2013.
URL : http://2013.ieee-rtss.org/wp-content/uploads/2013/11/WiP-proceedings.pdf – https://oatao.univ-toulouse.fr/12756/
BibTeXFré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).
Frédéric Boniol, Hugues Cassé, Eric Noulard, Claire Pagetti
Deterministic Execution Model on COTS Hardware (regular paper)
In : International Conference on Architecture of Computing Systems (ARCS 2012), Munich, 28/02/12-02/03/12, Springer, pp. 98-110, March 2012.
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.
Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti
cheduling Dependent Periodic Tasks Without Synchronization Mechanisms (regular paper)
In : Real-Time and embedded Technology and Applications symposium, Stockholm, Sweden, 12/04/10-15/04/10, Marco Caccamo (Eds.), IEEE Computer Society, pp. 301-310, April 2010.
Frédéric Boniol, Mikel Cordovilla, Julien Forget, David Lesens, Claire Pagetti
Implantation multitâche de programmes synchrones multipériodiques (regular paper)
In : Colloque francophone sur la Modélisation des Systèmes Réactifs (MSR 2009), Nantes, 16/11/09-18/11/09, Vol. 43, Oliver H. Roux, Didier Lime (Eds.), Journal Européen des Systèmes Automatisés (JESA), pp. 741-755, November 2009.
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.
Frédéric Boniol, Pierre-Emmanuel Hladik, Claire Pagetti, Frédéric Aspro, Victor Jégu
A Framework for Distributing Real-Time Functions
In : International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2008), Saint-Malo, 15/09/08-17/09/08, Springer, LNCS 5215, pp. 155-169, 2008.