| Compiler fuzzing: How much does it matter? M Marcozzi, Q Tang, AF Donaldson, C Cadar Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019 | 43 | 2019 |
| Computing probabilistic bisimilarity distances via policy iteration Q Tang, F van Breugel 27th International Conference on Concurrency Theory (CONCUR 2016), 2016 | 19 | 2016 |
| Computing Probabilistic Bisimilarity Distances for Probabilistic Automata G Bacci, G Bacci, KG Larsen, R Mardare, Q Tang, F van Breugel Logical Methods in Computer Science 17 (1), 9:1–9:36, 2021 | 18 | 2021 |
| Algorithms to compute probabilistic bisimilarity distances for labelled Markov chains Q Tang, F van Breugel 28th International Conference on Concurrency Theory (CONCUR 2017), 2017 | 11 | 2017 |
| Bridging formal methods and machine learning with global optimisation X Huang, W Ruan, Q Tang, X Zhao International Conference on Formal Engineering Methods, 1-19, 2022 | 9 | 2022 |
| Deciding probabilistic bisimilarity distance one for probabilistic automata Q Tang, F van Breugel Journal of Computer and System Sciences 111, 57-84, 2020 | 9 | 2020 |
| Deciding probabilistic bisimilarity distance one for labelled Markov chains Q Tang, F van Breugel Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 9 | 2018 |
| Visual analytics for concurrent Java executions C Artho, M Pande, Q Tang 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 8 | 2019 |
| Deciding what is good-for-MDPs S Schewe, Q Tang, T Zhanabekova arXiv preprint arXiv:2202.07629, 2022 | 6 | 2022 |
| Computing probabilistic bisimilarity distances Q Tang | 4 | 2018 |
| A Systematic Impact Study for Fuzzer-Found Compiler Bugs M Marcozzi, Q Tang, AF Donaldson, C Cadar arXiv preprint arXiv:1902.09334, 2019 | 3 | 2019 |
| Comparing Labelled Markov Decision Processes S Kiefer, Q Tang 40th IARCS Annual Conference on Foundations of Software Technology and …, 2020 | 2 | 2020 |
| Comparing labelled Markov decision processes S Kiefer, Q Tang arXiv preprint arXiv:2009.11643, 2020 | 2 | 2020 |
| Guiding probabilistic model checkers by reinforcement learning Q Tang University of Oxford, 2013 | 2 | 2013 |
| Bridging formal methods and machine learning with model checking and global optimisation S Bensalem, X Huang, W Ruan, Q Tang, C Wu, X Zhao Journal of Logical and Algebraic Methods in Programming 137, 100941, 2024 | 1 | 2024 |
| Probabilistic model checking of randomized Java code SZ Fatmi, X Chen, Y Dhamija, M Wildes, Q Tang, F van Breugel Model Checking Software: 27th International Symposium, SPIN 2021, Virtual …, 2021 | 1 | 2021 |
| Semantic flowers for good-for-games and deterministic automata D Dell'Erba, S Schewe, Q Tang, T Zhanabekova Information Processing Letters 185, 106468, 2024 | | 2024 |
| A Novel Family of Finite Automata for Recognizing and Learning -Regular Languages Y Li, S Schewe, Q Tang International Symposium on Automated Technology for Verification and …, 2023 | | 2023 |
| On the Succinctness of Good-for-MDPs Automata S Schewe, Q Tang arXiv preprint arXiv:2307.11483, 2023 | | 2023 |
| Strategies for MDP bisimilarity equivalence and inequivalence S Kiefer, Q Tang Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2022 | | 2022 |
