Hongyang Qu Vis

*	2009
18	EE	Alessio Lomuscio, Hongyang Qu, Franco Raimondi: MCMAS: A Model Checker for the Verification of Multi-Agent Systems. CAV 2009: 682-688
	2008
17	EE	Alessio Lomuscio, Hongyang Qu, Monika Solanki: Towards verifying compliance in agent-based web service compositions. AAMAS (1) 2008: 265-272
16	EE	Alessio Lomuscio, Hongyang Qu, Monika Solanki: Towards Verifying Contract Regulated Service Composition. ICWS 2008: 254-261
15	EE	Alessio Lomuscio, Wojciech Penczek, Hongyang Qu: Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. MoChArt 2008: 106-121
14	EE	Saddek 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
13	EE	Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck: Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference 2007: 120-135
12	EE	Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki: Verifying Temporal and Epistemic Properties of Web Service Compositions. ICSOC 2007: 456-461
	2006
11	EE	Peter Niebert, Hongyang Qu: The Implementation of Mazurkiewicz Traces in POEM. ATVA 2006: 508-522
10	EE	Peter Niebert, Hongyang Qu: Adding Invariants to Event Zone Automata. FORMATS 2006: 290-305
9	EE	Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu: Grey-Box Checking. FORTE 2006: 420-435
8	EE	Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler: Stronger Reduction Criteria for Local First Search. ICTAC 2006: 108-122
7	EE	Doron Peled, Hongyang Qu: Enforcing Concurrent Temporal Behaviors. Int. J. Found. Comput. Sci. 17(4): 743-762 (2006)
	2005
6	EE	Marcin Jurdzinski, Doron Peled, Hongyang Qu: Calculating Probabilities of Real-Time Test Cases. FATES 2005: 134-151
5	EE	Doron Peled, Hongyang Qu: Time Unbalanced Partial Order. FATES 2005: 152-169
4	EE	Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Generating Path Conditions for Timed Systems. IFM 2005: 5-19
3	EE	Doron Peled, Hongyang Qu: Enforcing Concurrent Temporal Behaviors. Electr. Notes Theor. Comput. Sci. 113: 65-83 (2005)
	2004
2		Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) 2004: 243-249
	2003
1	EE	Doron Peled, Hongyang Qu: Automatic Verification of Annotated Code. FORTE 2003: 127-143

Coauthor Index

1	Saddek Bensalem	[2] [4] [13] [14]
2	Edith Elkind	[9]
3	Blaise Genest	[9]
4	Marcin Jurdzinski	[6]
5	Marcos E. Kurbán	[8]
6	Alessio Lomuscio	[12] [15] [16] [17] [18]
7	Peter Niebert	[8] [10] [11]
8	Doron Peled	[1] [2] [3] [4] [5] [6] [7] [9] [13] [14]
9	Wojciech Penczek	[15]
10	Franco Raimondi	[18]
11	Marek J. Sergot	[12]
12	Monika Solanki	[12] [16] [17]
13	Stavros Tripakis	[2] [4] [13] [14]
14	Walter Vogler	[8]
15	Lenore D. Zuck	[13]