Searching for authors named "Hongyang Qu" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
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
Showing 1 through 8.
