Hongyang Qu

Dr Hongyang Qu

Research Assistant

Leaving date: 23rd April 2013

Themes:

• Automated Verification

Completed Projects:

• CONNECT-IP

Interests

I am participating in the development of the probabilistic model checker PRISM, and leading the development of MCMAS (a model checker for multi-agent system).

My publication can be found at my DBLP entry.

Selected Publications

View AllManage publications

• Efficient Probabilistic Parameter Synthesis for Adaptive Systems

  Taolue Chen‚ Tingting Han‚ Marta Kwiatkowska and Hongyang Qu

  No. RR−13−04. DCS. 2013.

  Details about Efficient Probabilistic Parameter Synthesis for Adaptive Systems | BibTeX data for Efficient Probabilistic Parameter Synthesis for Adaptive Systems | Download  (pdf) of Efficient Probabilistic Parameter Synthesis for Adaptive Systems

• INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS

  Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker‚ Hongyang Qu and Mateusz Ujma

  No. RR−12−05. DCS. 2012.

  Details about INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS | BibTeX data for INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS | Download  (pdf) of INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS

Activities

• Probabilistic Model Checking
• PRISM
• Quantitative Analysis and Verification