Autonomous Critical Embedded Systems team | ![]() |
|
||
---|---|---|
hal-01246348v1
Conference papers
Efficient Context Switching for the Stack Cache Proceedings of the 23rd International Conference on Real Time and Networks Systems, Julien Forget (Université de Lille, France), Nov 2015, Lille, France. pp.10, ⟨10.1145/2834848.2834861⟩ |
||
hal-02447339v1
Conference papers
Arbitration-Induced Preemption Delays 31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩ |
||
hal-03022552v1
Conference papers
Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture International Conference on Formal Methods for Industrial Critical Systems, Sep 2020, Vienna, Austria |
||
|