Thanh-Dat Nguyen

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 3

Top Topics

Real Time Database Systems

Architectural Model

Asynchronous Circuits

Precedence Constraints

Top Venues

Publications

Thanh-Dat Nguyen, Yassine Ouhammou, Emmanuel Grolleau
Towards a Descriptive Language to Explicitly Define the Applicability of Timing Verification Tests of Critical Real-Time Systems. SEAA (2019)
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. DATE (2018)
Thanh-Dat Nguyen, Yassine Ouhammou, Emmanuel Grolleau
PARAD Repository: On the Capitalization of the Performance Analysis Process for AADL Designs. ECSA (2017)