Searching for authors named "Hongyang Qu" – sorted by Relevance.
-
Calculating probabilities of real-time executions
- Calculating Probabilities of Real-time Executions Marcin Jurdzi'nski, Doron Peled, and Hongyang
- Add To MetaCart
-
Towards partial order reduction for model checking temporal epistemic logic
- and Wojciech Penczek 2 and Hongyang Qu 1 1 Department of Computing, Imperial College London, UK {A.Lomuscio,Hongyang.Qu
- Add To MetaCart
-
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic
- Alessio Lomuscio 1 Hongyang Qu 1 1. Department of Computing, Imperial College London, UK 2. Access
- Add To MetaCart
-
Qu: Grey-box checking
- Grey-Box Checking Edith Elkind 1 , Blaise Genest 1&2 , Doron Peled 1 , Hongyang Qu 1&3 . 1
- Cited by 2 (0 self) – Add To MetaCart
-
Verifying Temporal and Epistemic Properties of Web service Compositions ⋆
- , Hongyang Qu, Marek Sergot, Monika Solanki Department of Computing, Imperial College London, UK E
- Cited by 2 (1 self) – Add To MetaCart
-
Towards verifying compliance in agent-based web service composition
- of Computing Imperial College London a.lomuscio@(email omitted); Hongyang Qu Department of Computing Imperial
- Cited by 3 (2 self) – Add To MetaCart
-
Automatic verification of annotated code
- Automatic Verification of Annotated Code? Doron Peled and Hongyang Qu Department of Computer
- Add To MetaCart
-
Stronger reduction criteria for Local First Search
- Stronger reduction criteria for Local First Search Marcos E. Kurbán 1 Peter Niebert 2 Hongyang Qu
- Cited by 1 (1 self) – Add To MetaCart

