Følg
Hongyang Qu
Hongyang Qu
Research Fellow, University of Sheffield
Verifisert e-postadresse på sheffield.ac.uk - Startside
Tittel
Sitert av
Sitert av
År
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
7092017
Assume-guarantee verification for probabilistic systems
M Kwiatkowska, G Norman, D Parker, H Qu
Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010
1812010
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
1462011
Incremental quantitative verification for Markov decision processes
M Kwiatkowska, D Parker, H Qu
2011 IEEE/IFIP 41st International Conference on Dependable Systems …, 2011
1072011
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
942013
Towards verifying contract regulated service composition
A Lomuscio, H Qu, M Solanki
Autonomous Agents and Multi-Agent Systems 24, 345-373, 2012
902012
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
902010
Permissive controller synthesis for probabilistic systems
K Drager, V Forejt, M Kwiatkowska, D Parker, M Ujma
Logical Methods in Computer Science 11, 2015
69*2015
Communicative commitments: Model checking and complexity analysis
J Bentahar, M El-Menshawy, H Qu, R Dssouli
Knowledge-Based Systems 35, 21-34, 2012
582012
Specification and automatic verification of trust-based multi-agent systems
N Drawel, H Qu, J Bentahar, E Shakshuki
Future Generation Computer Systems 107, 1047-1060, 2020
552020
Taming asynchrony for attractor detection in large Boolean networks
A Mizera, J Pang, H Qu, Q Yuan
IEEE/ACM transactions on computational biology and bioinformatics 16 (1), 31-42, 2018
522018
Incremental runtime verification of probabilistic systems
V Forejt, M Kwiatkowska, D Parker, H Qu, M Ujma
Runtime Verification: Third International Conference, RV 2012, Istanbul …, 2013
512013
Compositional probabilistic verification through multi-objective model checking
M Kwiatkowska, G Norman, D Parker, H Qu
Information and Computation 232, 38-65, 2013
502013
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
492011
Grey-box checking
E Elkind, B Genest, D Peled, H Qu
Formal Techniques for Networked and Distributed Systems-FORTE 2006: 26th …, 2006
472006
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic.
M Cohen, M Dam, A Lomuscio, H Qu
IJCAI 9, 721-726, 2009
442009
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
412008
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
372014
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
S Busard, C Pecheur, H Qu, F Raimondi
Information and Computation 242, 128-156, 2015
352015
Conditional commitments: Reasoning and model checking
WEL Kholy, J Bentahar, MEL Menshawy, H Qu, R Dssouli
ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (2), 1-49, 2014
352014
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20