Hongyang Qu

	2012
33		Alessio Lomuscio, Hongyang Qu, Monika Solanki: Towards verifying contract regulated service composition. Autonomous Agents and Multi-Agent Systems 24(3): 345-373 (2012)
	2011
32		Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli: On the verification of social commitments and time. AAMAS 2011: 483-490
31		Marta Z. Kwiatkowska, David Parker, Hongyang Qu: Incremental quantitative verification for Markov decision processes. DSN 2011: 359-370
30		Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu: Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. QEST 2011: 203-212
29		Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu: Quantitative Multi-objective Verification for Probabilistic Systems. TACAS 2011: 112-127
	2010
28		Alessio Lomuscio, Wojciech Penczek, Hongyang Qu: Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems. AAMAS 2010: 659-666
27		Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu: Parallel Model Checking for Temporal Epistemic Logic. ECAI 2010: 543-548
26		Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu: Dependability Analysis and Verification for Connected Systems. ISoLA (2) 2010: 263-277
25		Alessio Lomuscio, Hongyang Qu, Francesco Russo: Automatic Data-Abstraction in Model Checking Multi-Agent Systems. MoChArt 2010: 52-68
24		Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu: Assume-Guarantee Verification for Probabilistic Systems. TACAS 2010: 23-37
23		Alessio Lomuscio, Wojciech Penczek, Hongyang Qu: Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems. Fundam. Inform. 101(1-2): 71-90 (2010)
	2009
22		Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu: A Data Symmetry Reduction Technique for Temporal-epistemic Logic. ATVA 2009: 69-83
21		Alessio Lomuscio, Hongyang Qu, Franco Raimondi: MCMAS: A Model Checker for the Verification of Multi-Agent Systems. CAV 2009: 682-688
20		Farhad 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
19		Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu: Optimizing Probabilities of Real-Time Test Case Execution. ICST 2009: 446-455
18		Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu: A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. IJCAI 2009: 721-726
	2008
17		Alessio Lomuscio, Hongyang Qu, Monika Solanki: Towards verifying compliance in agent-based web service compositions. AAMAS (1) 2008: 265-272
16		Alessio Lomuscio, Hongyang Qu, Monika Solanki: Towards Verifying Contract Regulated Service Composition. ICWS 2008: 254-261
15		Alessio Lomuscio, Wojciech Penczek, Hongyang Qu: Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. MoChArt 2008: 106-121
14		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		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		Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki: Verifying Temporal and Epistemic Properties of Web Service Compositions. ICSOC 2007: 456-461
	2006
11		Peter Niebert, Hongyang Qu: The Implementation of Mazurkiewicz Traces in POEM. ATVA 2006: 508-522
10		Peter Niebert, Hongyang Qu: Adding Invariants to Event Zone Automata. FORMATS 2006: 290-305
9		Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu: Grey-Box Checking. FORTE 2006: 420-435
8		Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler: Stronger Reduction Criteria for Local First Search. ICTAC 2006: 108-122
7		Doron Peled, Hongyang Qu: Enforcing Concurrent Temporal Behaviors. Int. J. Found. Comput. Sci. 17(4): 743-762 (2006)
	2005
6		Marcin Jurdzinski, Doron Peled, Hongyang Qu: Calculating Probabilities of Real-Time Test Cases. FATES 2005: 134-151
5		Doron Peled, Hongyang Qu: Time Unbalanced Partial Order. FATES 2005: 152-169
4		Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Generating Path Conditions for Timed Systems. IFM 2005: 5-19
3		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		Doron Peled, Hongyang Qu: Automatic Verification of Annotated Code. FORTE 2003: 127-143

Coauthor Index

1	Farhad Arbab	[20]
2	Saddek Bensalem	[2] [4] [13] [14]
3	Jamal Bentahar	[32]
4	Mika Cohen	[18] [22]
5	Pedro R. D'Argenio	[19]
6	Mads Dam	[18] [22]
7	Rachida Dssouli	[32]
8	Mohamed El-Menshawy	[32]
9	Edith Elkind	[9]
10	Vojtech Forejt	[29]
11	Blaise Genest	[9]
12	Felicita Di Giandomenico	[26]
13	Henri Hansen	[30]
14	Marcin Jurdzinski	[6]
15	Marcos E. Kurbán	[8]
16	Marta Z. Kwiatkowska	[20] [24] [26] [27] [29] [30] [31]
17	Alessio Lomuscio	[12] [15] [16] [17] [18] [21] [22] [23] [25] [27] [28] [33]
18	Marco Martinucci	[26]
19	Paolo Masci	[26]
20	Sun Meng	[20]
21	Young-Joo Moon	[20]
22	Peter Niebert	[8] [10] [11]
23	Gethin Norman	[24] [29]
24	David Parker	[24] [29] [31]
25	Doron Peled	[1] [2] [3] [4] [5] [6] [7] [9] [13] [14]
26	Wojciech Penczek	[15] [23] [28]
27	Franco Raimondi	[21]
28	Francesco Russo	[25]
29	Marek J. Sergot	[12]
30	Monika Solanki	[12] [16] [17] [33]
31	Stavros Tripakis	[2] [4] [13] [14]
32	Walter Vogler	[8]
33	Nicolás Wolovick	[19]
34	Lenore D. Zuck	[13]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page