Follow
Qiyi Tang
Title
Cited by
Cited by
Year
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
212019
Computing probabilistic bisimilarity distances via policy iteration
Q Tang, F van Breugel
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
172016
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
102021
Algorithms to compute probabilistic bisimilarity distances for labelled Markov chains
Q Tang, F van Breugel
28th International Conference on Concurrency Theory (CONCUR 2017), 2017
92017
Deciding probabilistic bisimilarity distance one for labelled Markov chains
Q Tang, F Breugel
International Conference on Computer Aided Verification, 681-699, 2018
72018
Deciding probabilistic bisimilarity distance one for probabilistic automata
Q Tang, F van Breugel
Journal of Computer and System Sciences 111, 57-84, 2020
62020
Visual analytics for concurrent Java executions
C Artho, M Pande, Q Tang
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
62019
A systematic impact study for fuzzer-found compiler bugs
M Marcozzi, Q Tang, AF Donaldson, C Cadar
arXiv preprint arXiv:1902.09334, 2019
32019
Computing probabilistic bisimilarity distances
Q Tang
22018
Probabilistic model checking of randomized Java code
SZ Fatmi, X Chen, Y Dhamija, M Wildes, Q Tang, F Breugel
International Symposium on Model Checking Software, 157-174, 2021
12021
Approximate bisimulation minimisation
S Kiefer, Q Tang
arXiv preprint arXiv:2110.00326, 2021
2021
Comparing Labelled Markov Decision Processes
S Kiefer, Q Tang
40th IARCS Annual Conference on Foundations of Software Technology and …, 2020
2020
Comparing labelled markov decision processes
S Kiefer, Q Tang
arXiv preprint arXiv:2009.11643, 2020
2020
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
G Bacci, G Bacci, KG Larsen, R Mardare, Q Tang, F van Breugel
30th International Conference on Concurrency Theory (CONCUR 2019) 140, 9:1--9:17, 2019
2019
Deciding probabilistic bisimilarity distance one for probabilistic automata
Q Tang, F Van Breugel
29th International Conference on Concurrency Theory (CONCUR 2018) 118, 9:1 …, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–15