Hongyang Qu Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu: A Data Symmetry Reduction Technique for Temporal-epistemic Logic. ATVA 2009: 69-83
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessio Lomuscio, Hongyang Qu, Franco Raimondi: MCMAS: A Model Checker for the Verification of Multi-Agent Systems. CAV 2009: 682-688
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu: Reo2MC: a tool chain for performance analysis of coordination models. ESEC/SIGSOFT FSE 2009: 287-288
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu: Optimizing Probabilities of Real-Time Test Case Execution. ICST 2009: 446-455
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu: A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. IJCAI 2009: 721-726
2008
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessio Lomuscio, Hongyang Qu, Monika Solanki: Towards verifying compliance in agent-based web service compositions. AAMAS (1) 2008: 265-272
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessio Lomuscio, Hongyang Qu, Monika Solanki: Towards Verifying Contract Regulated Service Composition. ICWS 2008: 254-261
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessio Lomuscio, Wojciech Penczek, Hongyang Qu: Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. MoChArt 2008: 106-121
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Automatic generation of path conditions for concurrent timed systems. Theor. Comput. Sci. 404(3): 275-292 (2008)
2007
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck: Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference 2007: 120-135
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki: Verifying Temporal and Epistemic Properties of Web Service Compositions. ICSOC 2007: 456-461
2006
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Niebert, Hongyang Qu: The Implementation of Mazurkiewicz Traces in POEM. ATVA 2006: 508-522
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Niebert, Hongyang Qu: Adding Invariants to Event Zone Automata. FORMATS 2006: 290-305
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdith Elkind, Blaise Genest, Doron Peled, Hongyang Qu: Grey-Box Checking. FORTE 2006: 420-435
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler: Stronger Reduction Criteria for Local First Search. ICTAC 2006: 108-122
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoron Peled, Hongyang Qu: Enforcing Concurrent Temporal Behaviors. Int. J. Found. Comput. Sci. 17(4): 743-762 (2006)
2005
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Doron Peled, Hongyang Qu: Calculating Probabilities of Real-Time Test Cases. FATES 2005: 134-151
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoron Peled, Hongyang Qu: Time Unbalanced Partial Order. FATES 2005: 152-169
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Generating Path Conditions for Timed Systems. IFM 2005: 5-19
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoron Peled, Hongyang Qu: Enforcing Concurrent Temporal Behaviors. Electr. Notes Theor. Comput. Sci. 113: 65-83 (2005)
2004
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) 2004: 243-249
2003
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoron Peled, Hongyang Qu: Automatic Verification of Annotated Code. FORTE 2003: 127-143

Coauthor Index

1Farhad Arbab [20]
2Saddek Bensalem [2] [4] [13] [14]
3Mika Cohen [18] [22]
4Pedro R. D'Argenio [19]
5Mads Dam [18] [22]
6Edith Elkind [9]
7Blaise Genest [9]
8Marcin Jurdzinski [6]
9Marcos E. Kurbán [8]
10Marta Z. Kwiatkowska [20]
11Alessio Lomuscio [12] [15] [16] [17] [18] [21] [22]
12Sun Meng [20]
13Young-Joo Moon [20]
14Peter Niebert [8] [10] [11]
15Doron Peled [1] [2] [3] [4] [5] [6] [7] [9] [13] [14]
16Wojciech Penczek [15]
17Franco Raimondi [21]
18Marek J. Sergot [12]
19Monika Solanki [12] [16] [17]
20Stavros Tripakis [2] [4] [13] [14]
21Walter Vogler [8]
22Nicolás Wolovick [19]
23Lenore D. Zuck [13]

Copyright © Tue Feb 9 14:55:32 2010 by Michael Ley (ley@uni-trier.de)