|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 5 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Li Li, Xiaoyu Song, Ming Gu, Xiangyu Luo |
Competent predicate abstraction in model checking.  |
SCIENCE CHINA Information Sciences  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rongsheng Dong, Zhao Wei, Xiangyu Luo, Fang Liu |
Testing Conformance of BPEL Business Process Based on Model Checking. |
JSW |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Wu, Jinshu Su, Kaile Su, Xiangyu Luo, Zhihua Yang |
A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems. |
Knowl.-Based Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang |
Symbolic Model Checking the Knowledge in Herbivore Protocol. |
MoChArt |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangyu Luo, Yun Wang |
Recoverability of Erasure Codes Based and Intensively Written Storage Systems. |
SSIRI |
2010 |
DBLP DOI BibTeX RDF |
mutable storage system, partial update, consistency, erasure-codes, Recoverability |
| 1 | Lijun Wu, Jinshu Su, Xiangyu Luo, Zhihua Yang, Qingliang Chen |
A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems. |
Canadian Conference on AI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenrong Deng, Wenming Huang, Rongsheng Dong, Xiangyu Luo |
Interest Property of E-commerce Protocols and its Verification in Strand Space Model. |
WGEC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangyu Luo, Aicheng Xuan, Rongsheng Dong |
Detecting Feature Interactions in Web Services with Timed Automata. |
WGEC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangyu Luo, Zheng Tan, Rongsheng Dong |
Automatic Verification of Composite Web Services Based on Temporal and Epistemic Logic. |
WGEC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhao Wei, Rongsheng Dong, Xiangyu Luo, Fang Liu |
Model Checking Airline Tickets Reservation System Based on BPEL. |
WGEC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen |
Solving Sum and Product Riddle via BDD-Based Model Checking. |
Web Intelligence/IAT Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaile Su, Abdul Sattar, Xiangyu Luo |
Model Checking Temporal Logics of Knowledge Via OBDDs. |
Comput. J. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds |
Verification of Multi-agent Systems Via Bounded Model Checking. |
Australian Conference on Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
temporal epistemic logic, bounded semantics, multi-agent systems, bounded model checking |
| 1 | Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo |
Observation-Based Logic of Knowledge, Belief, Desire and Intention. |
KSEM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun |
The interpreted system model of knowledge, belief, desire and intention. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv |
Bounded model checking knowledge and branching time in synchronous multi-agent systems. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
bounded semantics, temporal epistemic logic, translation to SAT, bounded model checking |
| 1 | Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan |
Observation-based Model for BDI-Agents. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")