Thanh Dat NGUYEN
Thanh Dat NGUYEN
PhD

email: thanh-dat.nguyen@etu.isae-ensma.fr
tel: +33549498051
school: ISAE - ENSMA
address: ISAE-ENSMA, 1 avenue Clément Ader BP 40109, 86961 Chasseneuil - France
team: Real-Time and Embedded Systems
Publications
(4)
International Conferences
(4)
Thanh Dat NGUYEN, Yassine OUHAMMOU, Emmanuel GROLLEAU, Towards a Descriptive Language to Explicitly Define the Applicabilityof Timing Verification Tests of Critical Real-Time Systems, 45th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2019, Kallithea-Chalkidiki, Greece, August 28-30, 2019, 2019, pp. 450--457
Thanh Dat NGUYEN, Yassine OUHAMMOU, Emmanuel GROLLEAU, Julien Forget, Claire Pagetti, Pascal RICHARD, Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications, Design, Automation & Test in Europe Conference & Exhibition (DATE 2018), edited by IEEE, 2018, pp. 231-236
Thanh Dat NGUYEN, Yassine OUHAMMOU, Emmanuel GROLLEAU, Towards a model-based framework for prototyping performance analysis tests, Euromicro Conference on Real-Time Systems, Work-in-progress (ECRTS2018), 2018, pp. 25-27
Thanh Dat NGUYEN, Yassine OUHAMMOU, Emmanuel GROLLEAU, PARAD Repository: On the Capitalization of the Performance Analysis Process for AADL Designs, European Conference on Software Architecture (ECSA 2017), Lecture Notes in Computer Science, edited by Springer, 2017, pp. 22-39