Publications

Publications HAL de Pascal, Fradet; Stéphan, Plassart; Alain, Girault; Gregor, Goessler; Susanne, Graf; Sophie, Quinton; Jean-Francois, Monin; Jean-Bernard, Stefani du projet ANR. ANR-11-LABX-0025-01

2018

Conference papers

titre
A Generic Coq Proof of Typical Worst-Case Analysis
auteur
Pascal Fradet, Maxime Lesourd, Jean-François Monin, Sophie Quinton
article
RTSS 2018 – 39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States. pp.1-12
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01903752/file/main.pdf BibTex
titre
A Generalized Digraph Model for Expressing Dependencies
auteur
Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton
article
RTNS ’18 – 26th International Conference on Real-Time Networks and Systems, Oct 2018, Chasseneuil-du-Poitou, France. pp.1-11, 〈10.1145/3273905.3273918〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01878100/file/main.pdf BibTex
titre
Building Correct Cyber-Physical Systems: Why we need a Multiview Contract Theory
auteur
Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gössler
article
FMICS 2018 – 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Dublin, Ireland. Springer, FMICS 2018: Formal Methods for Industrial Critical Systems, 11119, pp.19-31, LNCS. 〈10.1007/978-3-030-00244-2_2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01891146/file/fmics18-published.pdf BibTex

2017

Journal articles

titre
Exploiting Execution Dynamics in Timing Analysis Using Job Sequences
auteur
Leonie Ahrendts, Sophie Quinton, Rolf Ernst
article
IEEE Design & Test, IEEE, 2017, 35 (4), pp.16-22. 〈10.1109/MDAT.2017.2746638〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01674751/file/DesignAndTest17.pdf BibTex

Conference papers

titre
Work In Progress: Toward a Coq-certified Tool for the Schedulability Analysis of Tasks with Offsets
auteur
Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-François Monin
article
RTSS 2017 – IEEE Real-Time Systems Symposium, Dec 2017, Paris, France. IEEE, pp.1-3
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01629288/file/offset_WiP.pdf BibTex

Reports

titre
Dynamic Speed Scaling Minimizing Expected Energy Consumption for Real-Time Tasks
auteur
Bruno Gaujal, Alain Girault, Stéphan Plassart
article
[Research Report] RR-9101, UGA – Université Grenoble Alpes; Inria Grenoble Rhône-Alpes; Université de Grenoble. 2017, pp.1-35
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01615835/file/RR-9101.pdf BibTex

Comments are closed.