PARAD Repository: On the Capitalization of the Performance Analysis Process for AADL Designs. - Thanh-Dat Nguyen 001; Yassine Ouhammou; Emmanuel Grolleau (ECSA, 2017)

Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications. - Thanh-Dat Nguyen 001; Yassine Ouhammou; Emmanuel Grolleau; Julien Forget; Claire Pagetti; Pascal Richard (DATE, 2018)

Towards a Descriptive Language to Explicitly Define the Applicability of Timing Verification Tests of Critical Real-Time Systems. - Thanh-Dat Nguyen 001; Yassine Ouhammou; Emmanuel Grolleau (SEAA, 2019)

Aide à la validation temporelle et au dimensionnement de systèmes temps réels dans une démarche dirigée par modèles. (Help With Temporal Validation and Sizing of Real-Time Systems in a Model Driven Engineering Approach). - Thanh-Dat Nguyen 001 (2020)