Hongyang Qu
|
Dr
Hongyang
Qu
Research Assistant
Hongyang.Qu@cs.ox.ac.uk
+44-(0)1865-610715
+44-(0)1865-273839 (fax)
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
I am participating in the development of the probabilistic model checker PRISM, and leading the development of MCMAS (a model checker for multi-agent system).
My publication can be found at my DBLP entry.
Selected Publications
| INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker‚ Hongyang Qu and Mateusz Ujma No. RR−12−05. DCS. 2012. |
Info
|
Themes |
|
|
Activities |
Probabilistic Model Checking | PRISM | Quantitative Analysis and Verification |
|
Completed Projects |
