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 | 44 | 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 | 12 | 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 | 11 | 2022 |
Deciding probabilistic bisimilarity distance one for probabilistic automata Q Tang, F van Breugel Journal of Computer and System Sciences 111, 57-84, 2020 | 10 | 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 | 10 | 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 | 5 | 2022 |
Computing probabilistic bisimilarity distances Q Tang | 5 | 2018 |
Comparing Labelled Markov Decision Processes S Kiefer, Q Tang 40th IARCS Annual Conference on Foundations of Software Technology and …, 2020 | 3 | 2020 |
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 |
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 |
Strategies for MDP bisimilarity equivalence and inequivalence S Kiefer, Q Tang Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2022 | 1 | 2022 |
Approximate bisimulation minimisation S Kiefer, Q Tang arXiv preprint arXiv:2110.00326, 2021 | 1 | 2021 |
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 |
Minimising the Probabilistic Bisimilarity Distance S Kiefer, Q Tang arXiv preprint arXiv:2406.19830, 2024 | | 2024 |
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 |