Search the dblp DataBase

Publications of Author

1. Peter Niebert, Hongyang Qu
   The Implementation of Mazurkiewicz Traces in POEM. [Citation Graph (0, 0)][DBLP]
   ATVA, 2006, pp:508-522 [Conf]
   
2. Marcin Jurdzinski, Doron Peled, Hongyang Qu
   Calculating Probabilities of Real-Time Test Cases. [Citation Graph (0, 0)][DBLP]
   FATES, 2005, pp:134-151 [Conf]
   
3. Doron Peled, Hongyang Qu
   Time Unbalanced Partial Order. [Citation Graph (0, 0)][DBLP]
   FATES, 2005, pp:152-169 [Conf]
   
4. Peter Niebert, Hongyang Qu
   Adding Invariants to Event Zone Automata. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2006, pp:290-305 [Conf]
   
5. Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu
   Grey-Box Checking. [Citation Graph (0, 0)][DBLP]
   FORTE, 2006, pp:420-435 [Conf]
   
6. Doron Peled, Hongyang Qu
   Automatic Verification of Annotated Code. [Citation Graph (0, 0)][DBLP]
   FORTE, 2003, pp:127-143 [Conf]
   
7. Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler
   Stronger Reduction Criteria for Local First Search. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2006, pp:108-122 [Conf]
   
8. Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis
   Generating Path Conditions for Timed Systems. [Citation Graph (0, 0)][DBLP]
   IFM, 2005, pp:5-19 [Conf]
   
9. Doron Peled, Hongyang Qu
   Enforcing Concurrent Temporal Behaviors. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:65-83 [Journal]
   
10. Doron Peled, Hongyang Qu
    Enforcing Concurrent Temporal Behaviors. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:743-762 [Journal]
    
11. Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki
    Verifying Temporal and Epistemic Properties of Web Service Compositions. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2007, pp:456-461 [Conf]
    
12. 
    Towards verifying compliance in agent-based web service compositions. [Citation Graph (, )][DBLP]
    
    
13. 
    Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems. [Citation Graph (, )][DBLP]
    
    
14. 
    A Data Symmetry Reduction Technique for Temporal-epistemic Logic. [Citation Graph (, )][DBLP]
    
    
15. 
    MCMAS: A Model Checker for the Verification of Multi-Agent Systems. [Citation Graph (, )][DBLP]
    
    
16. 
    Parallel Model Checking for Temporal Epistemic Logic. [Citation Graph (, )][DBLP]
    
    
17. 
    Test Case Generation for Ultimately Periodic Paths. [Citation Graph (, )][DBLP]
    
    
18. 
    Towards Verifying Contract Regulated Service Composition. [Citation Graph (, )][DBLP]
    
    
19. 
    A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. [Citation Graph (, )][DBLP]
    
    
20. 
    Automatic Generation of Path Conditions for Timed Systems. [Citation Graph (, )][DBLP]
    
    
21. 
    Reo2MC: a tool chain for performance analysis of coordination models. [Citation Graph (, )][DBLP]
    
    
22. 
    Assume-Guarantee Verification for Probabilistic Systems. [Citation Graph (, )][DBLP]
    
    
23. 
    Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. [Citation Graph (, )][DBLP]
    
    
24. 
    Optimizing Probabilities of Real-Time Test Case Execution. [Citation Graph (, )][DBLP]