|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 33 publication records. Showing 33 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alessio Lomuscio, Hongyang Qu, Monika Solanki |
Towards verifying contract regulated service composition.  |
Autonomous Agents and Multi-Agent Systems  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu |
Quantitative Multi-objective Verification for Probabilistic Systems. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, David Parker, Hongyang Qu |
Incremental quantitative verification for Markov decision processes. |
DSN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu |
Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
unconditional fairness, Markov decision processes, partial order reduction, Probabilistic model checking |
| 1 | Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli |
On the verification of social commitments and time. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek, Hongyang Qu |
Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu |
Parallel Model Checking for Temporal Epistemic Logic. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu |
Assume-Guarantee Verification for Probabilistic Systems. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Hongyang Qu, Francesco Russo |
Automatic Data-Abstraction in Model Checking Multi-Agent Systems. |
MoChArt |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu |
Dependability Analysis and Verification for Connected Systems. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek, Hongyang Qu |
Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu |
Optimizing Probabilities of Real-Time Test Case Execution. |
ICST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu |
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu |
A Data Symmetry Reduction Technique for Temporal-epistemic Logic. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Hongyang Qu, Franco Raimondi |
MCMAS: A Model Checker for the Verification of Multi-Agent Systems. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
performance analysis, markov chain, coordination model, reo |
| 1 | Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis |
Automatic generation of path conditions for concurrent timed systems. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek, Hongyang Qu |
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. |
MoChArt |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Hongyang Qu, Monika Solanki |
Towards verifying compliance in agent-based web service compositions. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Hongyang Qu, Monika Solanki |
Towards Verifying Contract Regulated Service Composition. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki |
Verifying Temporal and Epistemic Properties of Web Service Compositions. |
ICSOC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck |
Test Case Generation for Ultimately Periodic Paths. |
Haifa Verification Conference |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled, Hongyang Qu |
Enforcing Concurrent Temporal Behaviors. |
Int. J. Found. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu |
Grey-Box Checking. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler |
Stronger Reduction Criteria for Local First Search. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Niebert, Hongyang Qu |
Adding Invariants to Event Zone Automata. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Niebert, Hongyang Qu |
The Implementation of Mazurkiewicz Traces in POEM. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled, Hongyang Qu |
Enforcing Concurrent Temporal Behaviors. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis |
Generating Path Conditions for Timed Systems. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Jurdzinski, Doron Peled, Hongyang Qu |
Calculating Probabilities of Real-Time Test Cases. |
FATES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled, Hongyang Qu |
Time Unbalanced Partial Order. |
FATES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis |
Automatic Generation of Path Conditions for Timed Systems. |
ISoLA (Preliminary proceedings) |
2004 |
DBLP BibTeX RDF |
|
| 1 | Doron Peled, Hongyang Qu |
Automatic Verification of Annotated Code. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")