We stand with Ukraine  

Thanh-Hai Tran

Affiliations:
  • ConsenSys
  • Vienna University of Technology, Austria (former)


According to our database1, Thanh-Hai Tran authored at least 5 papers between 2018 and 2025.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Technical Report: Exploring Automatic Model-Checking of the Ethereum specification.
[BibTeX]
[DOI]
Igor Konnov
,
Jure Kukovec
,
Thomas Pani
,
Roberto Saltini
,
Thanh-Hai Tran
CoRR, January, 2025

2021
A Case Study on Parametric Verification of Failure Detectors.
[BibTeX]
[DOI]
Thanh-Hai Tran
,
Igor Konnov
,
Josef Widder
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

2020
Cutoffs for Symmetric Point-to-Point Distributed Algorithms.
[BibTeX]
[DOI]
Thanh-Hai Tran
,
Igor Konnov
,
Josef Widder
Proceedings of the Networked Systems - 8th International Conference, 2020

2019
TLA+ model checking made symbolic.
[BibTeX]
[DOI]
Igor Konnov
,
Jure Kukovec
,
Thanh-Hai Tran
Proc. ACM Program. Lang., 2019

2018
Extracting Symbolic Transitions from TLA<sup>+</sup> Specifications.
[BibTeX]
[DOI]
Jure Kukovec
,
Thanh-Hai Tran
,
Igor Konnov
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018


  Loading...