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 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

2017

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.