Hongyang Qu

ORCID

Publication Activity (10 Years)

Years Active: 2003-2021
Publications (10 Years): 32

Top Venues

CoRR

AAMAS

Int. J. Softw. Tools Technol. Transf.

Inf. Comput.

University of Warwick, Coventry, UK (PHD)

Education History

University of Warwick, Coventry, UK

PHD

Publications

Mohammed Al-Nuaimi, Sapto Wibowo, Hongyang Qu, Jonathan M. Aitken, Sandor M. Veres
Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles. J. Sens. Actuator Networks 10 (3) (2021)
Michalis Smyrnakis, Hongyang Qu, Dario Bauso, Sandor M. Veres
Multi-model Adaptive Learning for Robots Under Uncertainty. ICAART (1) (2020)
Nagat Drawel, Jamal Bentahar, Hongyang Qu
Computationally Grounded Quantitative Trust with Time. AAMAS (2020)
Michalis Smyrnakis, Hongyang Qu, Dario Bauso, Sandor M. Veres
On the Combination of Game-Theoretic Learning and Multi Model Adaptive Filters. ICAART (Revised Selected Papers) (2020)
Nagat Drawel, Hongyang Qu, Jamal Bentahar, Elhadi M. Shakshuki
Specification and automatic verification of trust-based multi-agent systems. Future Gener. Comput. Syst. 107 (2020)
Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan
Taming Asynchrony for Attractor Detection in Large Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 16 (1) (2019)
Qixia Yuan, Andrzej Mizera, Jun Pang, Hongyang Qu
A new decomposition-based method for detecting attractors in synchronous Boolean networks. Sci. Comput. Program. 180 (2019)
Guisen Wu, Liyun Dai, Zhiming Liu, Taolue Chen, Jun Pang, Hongyang Qu
Online Observability of Boolean Control Networks. CoRR (2019)
Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
Comparing approaches for model-checking strategies under imperfect information and fairness constraints. Int. J. Softw. Tools Technol. Transf. 21 (4) (2019)
Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres
Improving Multi-Robot Coordination by Game-Theoretic Learning Algorithms. Int. J. Artif. Intell. Tools 27 (7) (2018)
Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres
A stochastically verifiable decision making framework for autonomous ground vehicles. ISR (2018)
Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres
Computational Framework for Verifiable Decisions of Self-Driving Vehicles. CCTA (2018)
Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan
ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks. CMSB (2018)
Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan
Taming Asynchrony for Attractor Detection in Large Boolean Networks (Technical Report). CoRR (2017)
Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres
Improving Multi-robot Coordination by Game-Theoretic Learning Algorithms. ICTAI (2017)
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
MCMAS: an open-source model checker for the verification of multi-agent systems. Int. J. Softw. Tools Technol. Transf. 19 (1) (2017)
Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan
A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks. SETTA (2017)
Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication. Fundam. Informaticae 152 (3) (2017)
Paolo Izzo, Hongyang Qu, Sandor M. Veres
Reducing complexity of autonomous control agents for verifiability. CoRR (2016)
Mohammed Y. Hazim, Hongyang Qu, Sandor M. Veres
Testing, Verification and Improvements of Timeliness in ROS Processes. TAROS (2016)
Paolo Izzo, Hongyang Qu, Sandor M. Veres
A stochastically verifiable autonomous control architecture with reasoning. CDC (2016)
Hongyang Qu, Sandor M. Veres
Verification of Logical Consistency in Robotic Reasoning. CoRR (2016)
Mohammed Y. Hazim, Hongyang Qu, Sandor M. Veres
Testing, Verification and Improvements of Timeliness in ROS processes. CoRR (2016)
Hongyang Qu, Michalis Smyrnakis, Sandor M. Veres
SMCL - Stochastic Model Checker for Learning in Games. CoRR (2016)
Hongyang Qu, Sandor M. Veres
Verification of logical consistency in robotic reasoning. Robotics Auton. Syst. 83 (2016)
Qixia Yuan, Hongyang Qu, Jun Pang, Andrzej Mizera
Improving BDD-based attractor detection for synchronous Boolean networks. Sci. China Inf. Sci. 59 (8) (2016)
Paolo Izzo, Hongyang Qu, Sandor M. Veres
A stochastically verifiable autonomous control architecture with reasoning. CoRR (2016)
Hongyang Qu, Qixia Yuan, Jun Pang, Andrzej Mizera
Improving BDD-based Attractor Detection for Synchronous Boolean Networks. Internetware (2015)
Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. Inf. Comput. 242 (2015)
Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
Formal Specification and Automatic Verification of Conditional Commitments. IEEE Intell. Syst. 30 (2) (2015)
Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres
Behaviour Analysis of Mixed Game-Theoretic Learning Algorithms. AAMAS (2015)
Hongyang Qu, Andreas Kolling, Sandor M. Veres
Computing Time-Optimal Clearing Strategies for Pursuit-Evasion Problems with Linear Programming. TAROS (2015)
Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols. ICWS (2014)
Hongyang Qu, Sandor M. Veres
On efficient consistency checks by robots. ECC (2014)
Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
Conditional Commitments: Reasoning and Model Checking. ACM Trans. Softw. Eng. Methodol. 24 (2) (2014)
Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. ICFEM (2014)
Klaus Dräger, Marta Z. Kwiatkowska, David Parker, Hongyang Qu
Local abstraction refinement for probabilistic timed programs. Theor. Comput. Sci. 538 (2014)
Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols. Expert Syst. Appl. 41 (16) (2014)
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
Compositional probabilistic verification through multi-objective model checking. Inf. Comput. 232 (2013)
Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
Reasoning about Strategies under Partial Observability and Fairness Constraints SR (2013)
Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang
Model Repair for Markov Decision Processes. TASE (2013)
Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
Representing and reasoning about communicative conditional commitments. AAMAS (2013)
Alessio Lomuscio, Hongyang Qu, Monika Solanki
Towards verifying contract regulated service composition. Auton. Agents Multi Agent Syst. 24 (3) (2012)
Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
Communicative commitments: Model checking and complexity analysis. Knowl. Based Syst. 35 (2012)
Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma
Incremental Runtime Verification of Probabilistic Systems. RV (2012)
Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
On the verification of social commitments and time. AAMAS (2011)
Marta Z. Kwiatkowska, David Parker, Hongyang Qu
Incremental quantitative verification for Markov decision processes. DSN (2011)
Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu
Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. QEST (2011)
Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
Quantitative Multi-objective Verification for Probabilistic Systems. TACAS (2011)
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
Assume-Guarantee Verification for Probabilistic Systems. TACAS (2010)
Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu
Dependability Analysis and Verification for Connected Systems. ISoLA (2) (2010)
Alessio Lomuscio, Wojciech Penczek, Hongyang Qu
Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems. Fundam. Informaticae 101 (1-2) (2010)
Alessio Lomuscio, Wojciech Penczek, Hongyang Qu
Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems. AAMAS (2010)
Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu
Parallel Model Checking for Temporal Epistemic Logic. ECAI (2010)
Alessio Lomuscio, Hongyang Qu, Francesco Russo
Automatic Data-Abstraction in Model Checking Multi-Agent Systems. MoChArt (2010)
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. IJCAI (2009)
Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu
Reo2MC: a tool chain for performance analysis of coordination models. ESEC/SIGSOFT FSE (2009)
Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu
Optimizing Probabilities of Real-Time Test Case Execution. ICST (2009)
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
MCMAS: A Model Checker for the Verification of Multi-Agent Systems. CAV (2009)
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu
A Data Symmetry Reduction Technique for Temporal-epistemic Logic. ATVA (2009)
Alessio Lomuscio, Wojciech Penczek, Hongyang Qu
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. MoChArt (2008)
Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
Automatic generation of path conditions for concurrent timed systems. Theor. Comput. Sci. 404 (3) (2008)
Alessio Lomuscio, Hongyang Qu, Monika Solanki
Towards Verifying Contract Regulated Service Composition. ICWS (2008)
Alessio Lomuscio, Hongyang Qu, Monika Solanki
Towards verifying compliance in agent-based web service compositions. AAMAS (1) (2008)
Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck
Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference (2007)
Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki
Verifying Temporal and Epistemic Properties of Web Service Compositions. ICSOC (2007)
Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler
Stronger Reduction Criteria for Local First Search. ICTAC (2006)
Doron A. Peled, Hongyang Qu
Enforcing Concurrent Temporal Behaviors. Int. J. Found. Comput. Sci. 17 (4) (2006)
Peter Niebert, Hongyang Qu
Adding Invariants to Event Zone Automata. FORMATS (2006)
Edith Elkind, Blaise Genest, Doron A. Peled, Hongyang Qu
Grey-Box Checking. FORTE (2006)
Peter Niebert, Hongyang Qu
The Implementation of Mazurkiewicz Traces in POEM. ATVA (2006)
Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
Generating Path Conditions for Timed Systems. IFM (2005)
Doron A. Peled, Hongyang Qu
Time Unbalanced Partial Order. FATES (2005)
Doron A. Peled, Hongyang Qu
Enforcing Concurrent Temporal Behaviors. Electron. Notes Theor. Comput. Sci. 113 (2005)
Marcin Jurdzinski, Doron A. Peled, Hongyang Qu
Calculating Probabilities of Real-Time Test Cases. FATES (2005)
Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) (2004)
Doron A. Peled, Hongyang Qu
Automatic Verification of Annotated Code. FORTE (2003)

Hongyang Qu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hongyang Qu