The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hongyang Qu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002