Thanh-Dat Nguyen
Affiliations:- University of Poitiers, Futuroscope, France (PhD 2020)
According to our database1,
Thanh-Dat Nguyen
authored at least 4 papers
between 2017 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
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).
PhD thesis, 2020
2019
Towards a Descriptive Language to Explicitly Define the Applicability of Timing Verification Tests of Critical Real-Time Systems.
Proceedings of the 45th Euromicro Conference on Software Engineering and Advanced Applications, 2019
2018
Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
2017
PARAD Repository: On the Capitalization of the Performance Analysis Process for AADL Designs.
Proceedings of the Software Architecture - 11th European Conference, 2017