Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Hongyang Qu

Testing, Verification and Improvements of Timeliness in ROS Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Incremental Runtime Verification of Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

McMas: An Open-Source Model Checker for the Verification of Multi-Agent Systems

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2015English

Comparing Approaches for Model-Checking Strategies Under Imperfect Information and Fairness Constraints

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2018English

Partial Order Reductions for Model Checking Temporal-Epistemic Logics Over Interleaved Multi-Agent Systems

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

Model Repair for Markov Decision Processes

2013English

Grey-Box Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Generating Path Conditions for Timed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy