Thanh-Tung Tran

According to our database, Thanh-Tung Tran authored at least 5 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Why Liveness for Timed Automata Is Hard, and What We Can Do About It.

Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz

ACM Trans. Comput. Log., 2020

2016

Verification of timed automata : reachability, liveness and modelling. (Vérification d'automates temporisés : sûreté, vivacité et modélisation).

Thanh-Tung Tran

PhD thesis, 2016

Development and validation of a finite element model for road safety barrier impact tests.

Tso-Liang Teng, Cho-Chung Liang, Thanh-Tung Tran

Simul., 2016

2015

Improving Search Order for Reachability Testing in Timed Automata.

Frédéric Herbreteau, Thanh-Tung Tran

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014

Fast detection of cycles in timed automata.

Aakash Deshpande, Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz

CoRR, 2014