| 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 | |
| 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