Skip to Main content Skip to Navigation
Conference papers

Using Model Checking to Identify Timing Interferences on Multicore Processors

Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-02462085
Contributor : Radu Mateescu <>
Submitted on : Friday, January 31, 2020 - 9:57:39 AM
Last modification on : Thursday, July 9, 2020 - 9:44:53 AM
Document(s) archivé(s) le : Friday, May 1, 2020 - 1:02:57 PM

File

ERTS2020_paper_36.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02462085, version 1

Citation

Viet Anh Nguyen, Eric Jenn, Wendelin Serwe, Frederic Lang, Radu Mateescu. Using Model Checking to Identify Timing Interferences on Multicore Processors. ERTS 2020 - 10th European Congress on Embedded Real Time Software and Systems, Jan 2020, Toulouse, France. pp.1-10. ⟨hal-02462085⟩

Share

Metrics

Record views

111

Files downloads

276