Hongyang Qu

According to our database, Hongyang Qu authored at least 71 papers between 2003 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles.

Mohammed Al-Nuaimi, Sapto Wibowo, Hongyang Qu, Jonathan M. Aitken, Sandor M. Veres

J. Sens. Actuator Networks, 2021

2020

Specification and automatic verification of trust-based multi-agent systems.

Nagat Drawel, Hongyang Qu, Jamal Bentahar, Elhadi M. Shakshuki

Future Gener. Comput. Syst., 2020

On the Combination of Game-Theoretic Learning and Multi Model Adaptive Filters.

Michalis Smyrnakis, Hongyang Qu, Dario Bauso, Sandor M. Veres

Proceedings of the Agents and Artificial Intelligence, 12th International Conference, 2020

Multi-model Adaptive Learning for Robots Under Uncertainty.

Michalis Smyrnakis, Hongyang Qu, Dario Bauso, Sandor M. Veres

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

Computationally Grounded Quantitative Trust with Time.

Nagat Drawel, Jamal Bentahar, Hongyang Qu

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Taming Asynchrony for Attractor Detection in Large Boolean Networks.

Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan

IEEE ACM Trans. Comput. Biol. Bioinform., 2019

Comparing approaches for model-checking strategies under imperfect information and fairness constraints.

Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

Int. J. Softw. Tools Technol. Transf., 2019

A new decomposition-based method for detecting attractors in synchronous Boolean networks.

Qixia Yuan, Andrzej Mizera, Jun Pang, Hongyang Qu

Sci. Comput. Program., 2019

Online Observability of Boolean Control Networks.

Guisen Wu, Liyun Dai, Zhiming Liu, Taolue Chen, Jun Pang, Hongyang Qu

CoRR, 2019

2018

Improving Multi-Robot Coordination by Game-Theoretic Learning Algorithms.

Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres

Int. J. Artif. Intell. Tools, 2018

A stochastically verifiable decision making framework for autonomous ground vehicles.

Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres

Proceedings of the IEEE International Conference on Intelligence and Safety for Robotics, 2018

ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks.

Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan

Proceedings of the Computational Methods in Systems Biology, 2018

Computational Framework for Verifiable Decisions of Self-Driving Vehicles.

Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres

Proceedings of the IEEE Conference on Control Technology and Applications, 2018

2017

MCMAS: an open-source model checker for the verification of multi-agent systems.

Alessio Lomuscio, Hongyang Qu, Franco Raimondi

Int. J. Softw. Tools Technol. Transf., 2017

SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication.

Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli

Fundam. Informaticae, 2017

Taming Asynchrony for Attractor Detection in Large Boolean Networks (Technical Report).

Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan

CoRR, 2017

A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks.

Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

2016

Verification of logical consistency in robotic reasoning.

Hongyang Qu, Sandor M. Veres

Robotics Auton. Syst., 2016

SMCL - Stochastic Model Checker for Learning in Games.

Hongyang Qu, Michalis Smyrnakis, Sandor M. Veres

CoRR, 2016

Reducing complexity of autonomous control agents for verifiability.

Paolo Izzo, Hongyang Qu, Sandor M. Veres

CoRR, 2016

Improving BDD-based attractor detection for synchronous Boolean networks.

Qixia Yuan, Hongyang Qu, Jun Pang, Andrzej Mizera

Sci. China Inf. Sci., 2016

Testing, Verification and Improvements of Timeliness in ROS Processes.

Mohammed Y. Hazim, Hongyang Qu, Sandor M. Veres

Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016

A stochastically verifiable autonomous control architecture with reasoning.

Paolo Izzo, Hongyang Qu, Sandor M. Veres

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Reasoning about memoryless strategies under partial observability and unconditional fairness constraints.

Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

Inf. Comput., 2015

Formal Specification and Automatic Verification of Conditional Commitments.

Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli

IEEE Intell. Syst., 2015

Computing Time-Optimal Clearing Strategies for Pursuit-Evasion Problems with Linear Programming.

Hongyang Qu, Andreas Kolling, Sandor M. Veres

Proceedings of the Towards Autonomous Robotic Systems - 16th Annual Conference, 2015

Behaviour Analysis of Mixed Game-Theoretic Learning Algorithms.

Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

Conditional Commitments: Reasoning and Model Checking.

Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli

ACM Trans. Softw. Eng. Methodol., 2014

Local abstraction refinement for probabilistic timed programs.

Klaus Dräger, Marta Z. Kwiatkowska, David Parker, Hongyang Qu

Theor. Comput. Sci., 2014

Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols.

Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli

Expert Syst. Appl., 2014

Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols.

Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli

Proceedings of the 2014 IEEE International Conference on Web Services, 2014

Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints.

Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

Proceedings of the Formal Methods and Software Engineering, 2014

On efficient consistency checks by robots.

Hongyang Qu, Sandor M. Veres

Proceedings of the 13th European Control Conference, 2014

On Incremental Quantitative Verification for Probabilistic Systems.

Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2013

Compositional probabilistic verification through multi-objective model checking.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu

Inf. Comput., 2013

Reasoning about Strategies under Partial Observability and Fairness Constraints

Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

Model Repair for Markov Decision Processes.

Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Representing and reasoning about communicative conditional commitments.

Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

Communicative commitments: Model checking and complexity analysis.

Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli

Knowl. Based Syst., 2012

Towards verifying contract regulated service composition.

Alessio Lomuscio, Hongyang Qu, Monika Solanki

Auton. Agents Multi Agent Syst., 2012

Incremental Runtime Verification of Probabilistic Systems.

Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma

Proceedings of the Runtime Verification, Third International Conference, 2012

2011

Quantitative Multi-objective Verification for Probabilistic Systems.

Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness.

Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Incremental quantitative verification for Markov decision processes.

Marta Z. Kwiatkowska, David Parker, Hongyang Qu

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

On the verification of social commitments and time.

Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems.

Alessio Lomuscio, Wojciech Penczek, Hongyang Qu

Fundam. Informaticae, 2010

Assume-Guarantee Verification for Probabilistic Systems.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Automatic Data-Abstraction in Model Checking Multi-Agent Systems.

Alessio Lomuscio, Hongyang Qu, Francesco Russo

Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

Dependability Analysis and Verification for Connected Systems.

Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Parallel Model Checking for Temporal Epistemic Logic.

Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu

Proceedings of the ECAI 2010, 2010

2009

Reo2MC: a tool chain for performance analysis of coordination models.

Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic.

Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu

Proceedings of the IJCAI 2009, 2009

Optimizing Probabilities of Real-Time Test Case Execution.

Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

MCMAS: A Model Checker for the Verification of Multi-Agent Systems.

Alessio Lomuscio, Hongyang Qu, Franco Raimondi

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

A Data Symmetry Reduction Technique for Temporal-epistemic Logic.

Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Automatic generation of path conditions for concurrent timed systems.

Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis

Theor. Comput. Sci., 2008

Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic.

Alessio Lomuscio, Wojciech Penczek, Hongyang Qu

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Towards verifying compliance in agent-based web service compositions.

Alessio Lomuscio, Hongyang Qu, Monika Solanki

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007

Verifying Temporal and Epistemic Properties of Web Service Compositions.

Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki

Proceedings of the Service-Oriented Computing, 2007

Test Case Generation for Ultimately Periodic Paths.

Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck

Proceedings of the Hardware and Software: Verification and Testing, 2007

2006

Enforcing Concurrent Temporal Behaviors.

Doron A. Peled, Hongyang Qu

Int. J. Found. Comput. Sci., 2006

Stronger Reduction Criteria for Local First Search.

Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler

Proceedings of the Theoretical Aspects of Computing, 2006

Grey-Box Checking.

Edith Elkind, Blaise Genest, Doron A. Peled, Hongyang Qu

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Adding Invariants to Event Zone Automata.

Peter Niebert, Hongyang Qu

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

The Implementation of Mazurkiewicz Traces in POEM.

Peter Niebert, Hongyang Qu

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Theoretical and practical tools for validating discrete and real-time systems.

Hongyang Qu

PhD thesis, 2005

Generating Path Conditions for Timed Systems.

Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Time Unbalanced Partial Order.

Doron A. Peled, Hongyang Qu

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

Calculating Probabilities of Real-Time Test Cases.

Marcin Jurdzinski, Doron A. Peled, Hongyang Qu

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

2004

Automatic Generation of Path Conditions for Timed Systems.

Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2003

Automatic Verification of Annotated Code.

Doron A. Peled, Hongyang Qu

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003