| TLA+ model checking made symbolic I Konnov, J Kukovec, TH Tran Proceedings of the ACM on Programming Languages 3 (OOPSLA), 123, 2019 | 68 | 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 | 29 | 2013 |
| TOB-SVD: Total-Order Broadcast with Single-Vote Decisions in the Sleepy Model F D'Amato, R Saltini, TH Tran, L Zanolini arXiv preprint arXiv:2310.11331, 2023 | 6 | 2023 |
| 3-Slot-Finality Protocol for Ethereum F D'Amato, R Saltini, TH Tran, L Zanolini arXiv preprint arXiv:2411.00558, 2024 | 5 | 2024 |
| Cutoffs for Symmetric Point-to-Point Distributed Algorithms TH Tran, I Konnov, J Widder International Conference on Networked Systems, 329-346, 2020 | 5 | 2020 |
| 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 |
| Symbolic Verification of TLA+ Specifications with Applications to Distributed Algorithms TH Tran Technische Universität Wien, 2024 | 3 | 2024 |
| 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 |
| Technical Report: Exploring Automatic Model-Checking of the Ethereum specification I Konnov, J Kukovec, T Pani, R Saltini, TH Tran arXiv preprint arXiv:2501.07958, 2025 | | 2025 |
| Extracting Symbolic Transitions from TLA Specifications J Kukovec, TH Tran, I Konnov Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018 | | 2018 |
Igor KonnovIndependent Security and Formal Methods ResearcherVerified email at konnov.phd
