Hongyang Qu

According to our database1, Hongyang Qu authored at least 63 papers between 2003 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Taming Asynchrony for Attractor Detection in Large Boolean Networks.
IEEE/ACM Trans. Comput. Biology Bioinform., 2019

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

A new decomposition-based method for detecting attractors in synchronous Boolean networks.
Sci. Comput. Program., 2019

2018
ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks.
Proceedings of the Computational Methods in Systems Biology, 2018

Computational Framework for Verifiable Decisions of Self-Driving Vehicles.
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.
STTT, 2017

SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication.
Fundam. Inform., 2017

A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Improving Multi-robot Coordination by Game-Theoretic Learning Algorithms.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

2016
Verification of logical consistency in robotic reasoning.
Robotics and Autonomous Systems, 2016

Improving BDD-based attractor detection for synchronous Boolean networks.
SCIENCE CHINA Information Sciences, 2016

Testing, Verification and Improvements of Timeliness in ROS Processes.
Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016

A stochastically verifiable autonomous control architecture with reasoning.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints.
Inf. Comput., 2015

Formal Specification and Automatic Verification of Conditional Commitments.
IEEE Intelligent Systems, 2015

Computing Time-Optimal Clearing Strategies for Pursuit-Evasion Problems with Linear Programming.
Proceedings of the Towards Autonomous Robotic Systems - 16th Annual Conference, 2015

Improving BDD-based Attractor Detection for Synchronous Boolean Networks.
Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Behaviour Analysis of Mixed Game-Theoretic Learning Algorithms.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014
Conditional Commitments: Reasoning and Model Checking.
ACM Trans. Softw. Eng. Methodol., 2014

Local abstraction refinement for probabilistic timed programs.
Theor. Comput. Sci., 2014

Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols.
Expert Syst. Appl., 2014

Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols.
Proceedings of the 2014 IEEE International Conference on Web Services, 2014

Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints.
Proceedings of the Formal Methods and Software Engineering, 2014

On efficient consistency checks by robots.
Proceedings of the European Control Conference, 2014

On Incremental Quantitative Verification for Probabilistic Systems.
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.
Inf. Comput., 2013

Reasoning about Strategies under Partial Observability and Fairness Constraints
Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

Model Repair for Markov Decision Processes.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Representing and reasoning about communicative conditional commitments.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012
Communicative commitments: Model checking and complexity analysis.
Knowl.-Based Syst., 2012

Incremental Runtime Verification of Probabilistic Systems.
Proceedings of the Runtime Verification, Third International Conference, 2012

2011
Quantitative Multi-objective Verification for Probabilistic Systems.
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.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Incremental quantitative verification for Markov decision processes.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

On the verification of social commitments and time.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010
Assume-Guarantee Verification for Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Automatic Data-Abstraction in Model Checking Multi-Agent Systems.
Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

Dependability Analysis and Verification for Connected Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Parallel Model Checking for Temporal Epistemic Logic.
Proceedings of the ECAI 2010, 2010

Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009
Reo2MC: a tool chain for performance analysis of coordination models.
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.
Proceedings of the IJCAI 2009, 2009

Optimizing Probabilities of Real-Time Test Case Execution.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

MCMAS: A Model Checker for the Verification of Multi-Agent Systems.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

A Data Symmetry Reduction Technique for Temporal-epistemic Logic.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
Automatic generation of path conditions for concurrent timed systems.
Theor. Comput. Sci., 2008

Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic.
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Towards Verifying Contract Regulated Service Composition.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Towards verifying compliance in agent-based web service compositions.
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.
Proceedings of the Service-Oriented Computing, 2007

Test Case Generation for Ultimately Periodic Paths.
Proceedings of the Hardware and Software: Verification and Testing, 2007

2006
Enforcing Concurrent Temporal Behaviors.
Int. J. Found. Comput. Sci., 2006

Stronger Reduction Criteria for Local First Search.
Proceedings of the Theoretical Aspects of Computing, 2006

Grey-Box Checking.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Adding Invariants to Event Zone Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

The Implementation of Mazurkiewicz Traces in POEM.
Proceedings of the Automated Technology for Verification and Analysis, 2006

2005
Theoretical and practical tools for validating discrete and real-time systems.
PhD thesis, 2005

Enforcing Concurrent Temporal Behaviors.
Electr. Notes Theor. Comput. Sci., 2005

Generating Path Conditions for Timed Systems.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Time Unbalanced Partial Order.
Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

Calculating Probabilities of Real-Time Test Cases.
Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

2004
Automatic Generation of Path Conditions for Timed Systems.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

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


  Loading...