Login / Signup
Hai-Dang Vu
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 4
Top Topics
Temporal Properties
Synthetic And Real Datasets
Experimental Evaluation
Statistical Modeling
Top Venues
SAMOS
ASP-DAC
LCTES
DSD
</>
Publications
</>
Mihail Asavoae
,
Oumaima Matoussi
,
Asmae Bouachtala
,
Hai-Dang Vu
,
Mathieu Jan
A memory interference analysis using a formal timing analyzer (WIP).
LCTES
(2022)
Hai-Dang Vu
,
Sebastien Le Nours
,
Sébastien Pillement
,
Ralf Stemmer
,
Kim Grüttner
A Fast Yet Accurate Message-level Communication Bus Model for Timing Prediction of SDFGs on MPSoC.
ASP-DAC
(2021)
Hai-Dang Vu
,
Sebastien Le Nours
,
Sébastien Pillement
Experimental Evaluation of Statistical Model Checking Methods for Probabilistic Timing Analysis of Multiprocessor Systems.
DSD
(2021)
Ralf Stemmer
,
Hai-Dang Vu
,
Kim Grüttner
,
Sebastien Le Nours
,
Wolfgang Nebel
,
Sébastien Pillement
Experimental Evaluation of Probabilistic Execution-Time Modeling and Analysis Methods for SDF Applications on MPSoCs.
SAMOS
(2019)