Follow
Thanh-Hai Tran
Thanh-Hai Tran
ConsenSys
Verified email at consensys.net
Title
Cited by
Cited by
Year
TLA+ model checking made symbolic
I Konnov, J Kukovec, TH Tran
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 123, 2019
512019
An interactive Web-based IDE towards teaching and learning in programming courses
HT Tran, HH Dang, KN Do, TD Tran, V Nguyen
Proceedings of 2013 IEEE International Conference on Teaching, Assessment …, 2013
262013
Extracting Symbolic Transitions from TLA Specifications
J Kukovec, TH Tran, I Konnov
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018
52018
Cutoffs for Symmetric Point-to-Point Distributed Algorithms
TH Tran, I Konnov, J Widder
International Conference on Networked Systems, 329-346, 2020
32020
Extracting symbolic transitions from TLA+ specifications
J Kukovec, TH Tran, I Konnov
Science of Computer Programming, 102361, 2019
22019
A Case Study on Parametric Verification of Failure Detectors
TH Tran, I Konnov, J Widder
International Conference on Formal Techniques for Distributed Objects …, 2021
12021
BmcMT: Bounded Model Checking of TLA+ Specifications with SMT
I Konnov, J Kukovec, T Tran
TLA+ Community Meeting 2018, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–7