Hongyang Qu Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi: Reasoning about Strategies under Partial Observability and Fairness Constraints. SR 2013: 71-79
2012
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alessio Lomuscio, Hongyang Qu, Monika Solanki: Towards verifying contract regulated service composition. Autonomous Agents and Multi-Agent Systems 24(3): 345-373 (2012)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli: Communicative commitments: Model checking and complexity analysis. Knowl.-Based Syst. 35: 21-34 (2012)
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma: Incremental Runtime Verification of Probabilistic Systems. RV 2012: 314-319
2011
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli: On the verification of social commitments and time. AAMAS 2011: 483-490
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marta Z. Kwiatkowska, David Parker, Hongyang Qu: Incremental quantitative verification for Markov decision processes. DSN 2011: 359-370
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu: Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. QEST 2011: 203-212
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu: Quantitative Multi-objective Verification for Probabilistic Systems. TACAS 2011: 112-127
2010
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alessio Lomuscio, Wojciech Penczek, Hongyang Qu: Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems. AAMAS 2010: 659-666
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu: Parallel Model Checking for Temporal Epistemic Logic. ECAI 2010: 543-548
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu: Dependability Analysis and Verification for Connected Systems. ISoLA (2) 2010: 263-277
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alessio Lomuscio, Hongyang Qu, Francesco Russo: Automatic Data-Abstraction in Model Checking Multi-Agent Systems. MoChArt 2010: 52-68
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu: Assume-Guarantee Verification for Probabilistic Systems. TACAS 2010: 23-37
2009
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu: A Data Symmetry Reduction Technique for Temporal-epistemic Logic. ATVA 2009: 69-83
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alessio Lomuscio, Hongyang Qu, Franco Raimondi: MCMAS: A Model Checker for the Verification of Multi-Agent Systems. CAV 2009: 682-688
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu: Optimizing Probabilities of Real-Time Test Case Execution. ICST 2009: 446-455
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu: A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. IJCAI 2009: 721-726
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2008
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alessio Lomuscio, Hongyang Qu, Monika Solanki: Towards verifying compliance in agent-based web service compositions. AAMAS (1) 2008: 265-272
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alessio Lomuscio, Hongyang Qu, Monika Solanki: Towards Verifying Contract Regulated Service Composition. ICWS 2008: 254-261
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alessio Lomuscio, Wojciech Penczek, Hongyang Qu: Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. MoChArt 2008: 106-121
2007
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck: Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference 2007: 120-135
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki: Verifying Temporal and Epistemic Properties of Web Service Compositions. ICSOC 2007: 456-461
2006
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Doron Peled, Hongyang Qu: Enforcing Concurrent Temporal Behaviors. Int. J. Found. Comput. Sci. 17(4): 743-762 (2006)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter Niebert, Hongyang Qu: The Implementation of Mazurkiewicz Traces in POEM. ATVA 2006: 508-522
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter Niebert, Hongyang Qu: Adding Invariants to Event Zone Automata. FORMATS 2006: 290-305
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu: Grey-Box Checking. FORTE 2006: 420-435
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler: Stronger Reduction Criteria for Local First Search. ICTAC 2006: 108-122
2005
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Doron Peled, Hongyang Qu: Enforcing Concurrent Temporal Behaviors. Electr. Notes Theor. Comput. Sci. 113: 65-83 (2005)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marcin Jurdzinski, Doron Peled, Hongyang Qu: Calculating Probabilities of Real-Time Test Cases. FATES 2005: 134-151
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Doron Peled, Hongyang Qu: Time Unbalanced Partial Order. FATES 2005: 152-169
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Generating Path Conditions for Timed Systems. IFM 2005: 5-19
2004
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) 2004: 243-249
2003
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Doron Peled, Hongyang Qu: Automatic Verification of Annotated Code. FORTE 2003: 127-143

Coauthor Index

1Farhad Arbab
[c15]
2Saddek Bensalem
[j3] [c11] [c3] [c2]
3Jamal Bentahar
[j5] [c28]
4Simon Busard
[c30]
5Mika Cohen
[c19] [c16]
6Pedro R. D'Argenio
[c17]
7Mads Dam
[c19] [c16]
8Rachida Dssouli
[j5] [c28]
9Mohamed El-Menshawy
[j5] [c28]
10Edith Elkind
[c7]
11Vojtech Forejt
[c29] [c25]
12Blaise Genest
[c7]
13Felicita Di Giandomenico
[c22]
14Henri Hansen
[c26]
15Marcin Jurdzinski
[c5]
16Marcos E. Kurbán
[c6]
17Marta Z. Kwiatkowska
[c29] [c27] [c26] [c25] [c23] [c22] [c20] [c15]
18Alessio Lomuscio
[j6] [j4] [c24] [c23] [c21] [c19] [c18] [c16] [c14] [c13] [c12] [c10]
19Marco Martinucci
[c22]
20Paolo Masci
[c22]
21Sun Meng
[c15]
22Young-Joo Moon
[c15]
23Peter Niebert
[c9] [c8] [c6]
24Gethin Norman
[c25] [c20]
25David Parker
[c29] [c27] [c25] [c20]
26Charles Pecheur
[c30]
27Doron Peled
[j3] [c11] [j2] [c7] [j1] [c5] [c4] [c3] [c2] [c1]
28Wojciech Penczek
[j4] [c24] [c12]
29Franco Raimondi
[c30] [c18]
30Francesco Russo
[c21]
31Marek J. Sergot
[c10]
32Monika Solanki
[j6] [c14] [c13] [c10]
33Stavros Tripakis
[j3] [c11] [c3] [c2]
34Mateusz Ujma
[c29]
35Walter Vogler
[c6]
36Nicolás Wolovick
[c17]
37Lenore D. Zuck
[c11]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 16:47:14 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page