Hongyang Qu
Hongyang Qu
Research Fellow, University of Sheffield
Verified email at sheffield.ac.uk - Homepage
TitleCited byYear
MCMAS: A model checker for the verification of multi-agent systems
A Lomuscio, H Qu, F Raimondi
International conference on computer aided verification, 682-688, 2009
3132009
Assume-guarantee verification for probabilistic systems
M Kwiatkowska, G Norman, D Parker, H Qu
International Conference on Tools and Algorithms for the Construction and …, 2010
1292010
MCMAS: an open-source model checker for the verification of multi-agent systems
A Lomuscio, H Qu, F Raimondi
International Journal on Software Tools for Technology Transfer 19 (1), 9-30, 2017
982017
Towards verifying contract regulated service composition
A Lomuscio, H Qu, M Solanki
Autonomous Agents and Multi-Agent Systems 24 (3), 345-373, 2012
862012
Quantitative multi-objective verification for probabilistic systems
V Forejt, M Kwiatkowska, G Norman, D Parker, H Qu
International Conference on Tools and Algorithms for the Construction and …, 2011
752011
Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems
A Lomuscio, W Penczek, H Qu
Fundamenta Informaticae 101 (1-2), 71-90, 2010
692010
Incremental quantitative verification for Markov decision processes
M Kwiatkowska, D Parker, H Qu
2011 IEEE/IFIP 41st International Conference on Dependable Systems …, 2011
682011
Model repair for Markov decision processes
T Chen, EM Hahn, T Han, M Kwiatkowska, H Qu, L Zhang
2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013
592013
A symmetry reduction technique for model checking temporal-epistemic logic
M Cohen, M Dam, A Lomuscio, H Qu
Twenty-First International Joint Conference on Artificial Intelligence, 2009
412009
On the verification of social commitments and time
M El Menshawy, J Bentahar, H Qu, R Dssouli
The 10th International Conference on Autonomous Agents and Multiagent …, 2011
372011
Permissive controller synthesis for probabilistic systems
K Dräger, V Forejt, M Kwiatkowska, D Parker, M Ujma
International Conference on Tools and Algorithms for the Construction and …, 2014
36*2014
Communicative commitments: Model checking and complexity analysis
J Bentahar, M El-Menshawy, H Qu, R Dssouli
Knowledge-Based Systems 35, 21-34, 2012
362012
Towards verifying compliance in agent-based web service compositions
A Lomuscio, H Qu, M Solanki
Proceedings of the 7th international joint conference on Autonomous agents …, 2008
362008
Grey-box checking
E Elkind, B Genest, D Peled, H Qu
International Conference on Formal Techniques for Networked and Distributed …, 2006
342006
Compositional probabilistic verification through multi-objective model checking
M Kwiatkowska, G Norman, D Parker, H Qu
Information and Computation 232, 38-65, 2013
282013
Incremental runtime verification of probabilistic systems
V Forejt, M Kwiatkowska, D Parker, H Qu, M Ujma
International Conference on Runtime Verification, 314-319, 2012
282012
Parallel model checking for temporal epistemic logic
M Kwiatkowska, A Lomuscio, H Qu
272010
Verifying temporal and epistemic properties of web service compositions
A Lomuscio, H Qu, M Sergot, M Solanki
International Conference on Service-Oriented Computing, 456-461, 2007
262007
Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols
W El Kholy, J Bentahar, M El Menshawy, H Qu, R Dssouli
Expert systems with applications 41 (16), 7478-7494, 2014
222014
Reo2MC: a tool chain for performance analysis of coordination models
F Arbab, S Meng, YJ Moon, M Kwiatkowska, H Qu
Proceedings of the the 7th joint meeting of the European software …, 2009
212009
The system can't perform the operation now. Try again later.
Articles 1–20