| 2020 | ICAART | Multi-model Adaptive Learning for Robots Under Uncertainty. | Michalis Smyrnakis, Hongyang Qu, Dario Bauso, Sandor M. Veres |
| 2020 | ICAART | On the Combination of Game-Theoretic Learning and Multi Model Adaptive Filters. | Michalis Smyrnakis, Hongyang Qu, Dario Bauso, Sandor M. Veres |
| 2017 | ICTAI | Improving Multi-robot Coordination by Game-Theoretic Learning Algorithms. | Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres |
| 2017 | SETTA | A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks. | Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan |
| 2016 | TrustCom | What Is My Next Job: Predicting the Company Size and Position in Career Changes. | Hongyang Qu, Zhiwen Yu, Zhiyong Yu, Huang Xu, Bin Guo, Xing Xie |
| 2014 | ICFEM | Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. | Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi |
| 2014 | ICWS | Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols. | Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli |
| 2013 | TASE | Model Repair for Markov Decision Processes. | Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang |
| 2012 | RV | Incremental Runtime Verification of Probabilistic Systems. | Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma |
| 2011 | DSN | Incremental quantitative verification for Markov decision processes. | Marta Z. Kwiatkowska, David Parker, Hongyang Qu |
| 2011 | TACAS | Quantitative Multi-objective Verification for Probabilistic Systems. | Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu |
| 2010 | ECAI | Parallel Model Checking for Temporal Epistemic Logic. | Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu |
| 2010 | ISoLA | Dependability Analysis and Verification for Connected Systems. | Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu |
| 2010 | TACAS | Assume-Guarantee Verification for Probabilistic Systems. | Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu |
| 2009 | ATVA | A Data Symmetry Reduction Technique for Temporal-epistemic Logic. | Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu |
| 2009 | CAV | MCMAS: A Model Checker for the Verification of Multi-Agent Systems. | Alessio Lomuscio, Hongyang Qu, Franco Raimondi |
| 2009 | IJCAI | A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. | Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu |
| 2009 | ICST | Optimizing Probabilities of Real-Time Test Case Execution. | Nicols Wolovick, Pedro R. D'Argenio, Hongyang Qu |
| 2008 | ICWS | Towards Verifying Contract Regulated Service Composition. | Alessio Lomuscio, Hongyang Qu, Monika Solanki |
| 2007 | ICSOC | Verifying Temporal and Epistemic Properties of Web Service Compositions. | Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki |
| 2006 | ATVA | The Implementation of Mazurkiewicz Traces in POEM. | Peter Niebert, Hongyang Qu |
| 2006 | FORTE | Grey-Box Checking. | Edith Elkind, Blaise Genest, Doron A. Peled, Hongyang Qu |
| 2006 | ICTAC | Stronger Reduction Criteria for Local First Search. | Marcos E. Kurbn, Peter Niebert, Hongyang Qu, Walter Vogler |
| 2005 | IFM | Generating Path Conditions for Timed Systems. | Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis |
| 2004 | ISoLA | Automatic Generation of Path Conditions for Timed Systems. | Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis |
| 2003 | FORTE | Automatic Verification of Annotated Code. | Doron A. Peled, Hongyang Qu |