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

2020

Journal articles

titre
Dynamic Speed Scaling Minimizing Expected Energy Consumption for Real-Time Tasks
auteur
Bruno Gaujal, Alain Girault, Stéphan Plassart
article
Journal of Scheduling, Springer Verlag, 2020, ⟨10.1007/s10951-020-00660-9⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02888573/file/DynamicSpeedScalingMinimizingEnergy.pdf BibTex
titre
Feasibility of on-line speed policies in real-time systems
auteur
Bruno Gaujal, Alain Girault, Stéphan Plassart
article
Real-Time Systems, Springer Verlag, 2020, ⟨10.1007/s11241-020-09347-y⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02557148/file/Online_policy_comparisonsFinal.pdf BibTex

2019

Conference papers

titre
A Linear Time Algorithm for Computing Off-line Speed Schedules Minimizing Energy Consumption
auteur
Bruno Gaujal, Alain Girault, Stéphan Plassart
article
MSR 2019 – 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France. pp.1-14
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02372136/file/MSR19.pdf BibTex
titre
CertiCAN: A Tool for the Coq Certification of CAN Analysis Results
auteur
Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton
article
RTAS 2019 – 25th IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2019, Montreal, Canada. pp.1-10, ⟨10.1109/RTAS.2019.00023⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02119024/file/main.pdf BibTex

Reports

titre
A Discrete Time Markov Decision Process for Energy Minimization Under Deadline Constraints
auteur
Bruno Gaujal, Alain Girault, Stéphan Plassart
article
[Research Report] RR-9309, Grenoble Alpes; Inria Grenoble Rhône-Alpes, Université de Grenoble. 2019, pp.46
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02391948/file/RR-9309.pdf BibTex
titre
Exploiting Job Variability to Minimize Energy Consumption under Real-Time Constraints
auteur
Bruno Gaujal, Alain Girault, Stéphan Plassart
article
[Research Report] RR-9300, Inria Grenoble Rhône-Alpes, Université de Grenoble; Université Grenoble – Alpes. 2019, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02371742/file/RR-9300.pdf BibTex
titre
Feasibility of on-line speed policies in real-time systems
auteur
Bruno Gaujal, Alain Girault, Stéphan Plassart
article
[Research Report] RR-9301, Inria Grenoble Rhône-Alpes, Université de Grenoble; Univ. Grenoble Alpes. 2019, pp.38
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02371996/file/RR-9301.pdf BibTex

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. pp.19-31, ⟨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. 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.