Experimental Evaluation of Probabilistic Execution-Time Modeling and Analysis Methods for SDF Applications on MPSoCs. - Ralf Stemmer; Hai-Dang Vu; Kim Grüttner; Sébastien Le Nours; Wolfgang Nebel; Sébastien Pillement (SAMOS, 2019)

A Fast Yet Accurate Message-level Communication Bus Model for Timing Prediction of SDFGs on MPSoC. - Hai-Dang Vu; Sébastien Le Nours; Sébastien Pillement; Ralf Stemmer; Kim Grüttner (ASP-DAC, 2021)

Experimental Evaluation of Statistical Model Checking Methods for Probabilistic Timing Analysis of Multiprocessor Systems. - Hai-Dang Vu; Sébastien Le Nours; Sébastien Pillement (DSD, 2021)

A memory interference analysis using a formal timing analyzer (WIP). - Mihail Asavoae; Oumaima Matoussi; Asmae Bouachtala; Hai-Dang Vu; Mathieu Jan (LCTES, 2022)