Thanh-Tung Tran

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Why Liveness for Timed Automata Is Hard, and What We Can Do About It.
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).
PhD thesis, 2016

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

2015
Improving Search Order for Reachability Testing in Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014
Fast detection of cycles in timed automata.
CoRR, 2014


  Loading...