TLA+ model checking made symbolic I Konnov, J Kukovec, TH Tran Proceedings of the ACM on Programming Languages 3 (OOPSLA), 123, 2019 | 53 | 2019 |
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 | 26 | 2013 |
Extracting Symbolic Transitions from TLA Specifications J Kukovec, TH Tran, I Konnov Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018 | 5 | 2018 |
Cutoffs for Symmetric Point-to-Point Distributed Algorithms TH Tran, I Konnov, J Widder International Conference on Networked Systems, 329-346, 2020 | 4 | 2020 |
Symbolic Verification of TLA+ Specifications with Applications to Distributed Algorithms TH Tran Ph. D. thesis, Technische Universität Wien, 2023 | 2 | 2023 |
A Case Study on Parametric Verification of Failure Detectors TH Tran, I Konnov, J Widder International Conference on Formal Techniques for Distributed Objects …, 2021 | 2 | 2021 |
Extracting symbolic transitions from TLA+ specifications J Kukovec, TH Tran, I Konnov Science of Computer Programming, 102361, 2019 | 2 | 2019 |
BmcMT: Bounded Model Checking of TLA+ Specifications with SMT I Konnov, J Kukovec, T Tran TLA+ Community Meeting 2018, 2018 | 1 | 2018 |