| 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, 9-30, 2017 | 699 | 2017 |
| 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 | 184 | 2010 |
| Quantitative multi-objective verification for probabilistic systems V Forejt, M Kwiatkowska, G Norman, D Parker, H Qu Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011 | 141 | 2011 |
| Incremental quantitative verification for Markov decision processes M Kwiatkowska, D Parker, H Qu 2011 IEEE/IFIP 41st International Conference on Dependable Systems …, 2011 | 105 | 2011 |
| 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 | 94 | 2013 |
| Towards verifying contract regulated service composition A Lomuscio, H Qu, M Solanki Autonomous Agents and Multi-Agent Systems 24, 345-373, 2012 | 89 | 2012 |
| 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 | 86 | 2010 |
| Permissive controller synthesis for probabilistic systems K Drager, V Forejt, M Kwiatkowska, D Parker, M Ujma Logical Methods in Computer Science 11, 2015 | 65* | 2015 |
| Communicative commitments: Model checking and complexity analysis J Bentahar, M El-Menshawy, H Qu, R Dssouli Knowledge-Based Systems 35, 21-34, 2012 | 56 | 2012 |
| 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 | 54 | 2020 |
| Compositional probabilistic verification through multi-objective model checking M Kwiatkowska, G Norman, D Parker, H Qu Information and Computation 232, 38-65, 2013 | 50 | 2013 |
| 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 | 49 | 2018 |
| 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 | 49 | 2013 |
| 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 | 48 | 2011 |
| Grey-box checking E Elkind, B Genest, D Peled, H Qu Formal Techniques for Networked and Distributed Systems-FORTE 2006: 26th …, 2006 | 48 | 2006 |
| 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 | 46 | 2009 |
| 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 | 40 | 2008 |
| 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 | 37 | 2014 |
| 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 | 33 | 2015 |
| 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 | 33 | 2014 |
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
