|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 13 keywords
|
|
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jun Sun 0001, Yang Liu 0003, Songzheng Song, Jin Song Dong, Xiaohong Li |
PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems.  |
ICFEM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tian Huat Tan, Yang Liu 0003, Jun Sun 0001, Jin Song Dong |
Verification of Orchestration Systems Using Compositional Partial Order Reduction. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun 0001, Yang Liu 0003 |
An Efficient Algorithm for Learning Event-Recording Automata. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shao Jie Zhang, Jun Sun 0001, Jun Pang, Yang Liu 0003, Jin Song Dong |
On Combining State Space Reductions with Global Fairness Assumptions. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Songzheng Song, Yang Liu 0003 |
Model Checking Hierarchical Probabilistic Systems. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Bin Cheng |
Model Checking a Model Checker: A Code Contract Combined Approach. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Geguang Pu, Tian Huat Tan |
Model-Based Methods for Linking Web Service Choreography and Orchestration. |
APSEC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenchang Xing, Jun Sun 0001, Yang Liu 0003, Jin Song Dong |
SpecDiff: debugging formal specifications. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Liu 0003, Jun Sun 0001, Jin Song Dong |
Developing Model Checkers Using PAT. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xian Zhang, Yang Liu 0003, Mikhail Auguston |
Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP. |
SSIRI |
2010 |
DBLP DOI BibTeX RDF |
Constraint Logic Programm, verifictaion, Security Protocol, extension, Timed CSP |
| 1 | Shao Jie Zhang, Yang Liu 0003 |
Model Checking a Lazy Concurrent List-Based Set Algorithm. |
SSIRI |
2010 |
DBLP DOI BibTeX RDF |
Concurrent List-Based Set Algorithm, PAT, Linearizability, Refinement Checking |
| 1 | Yuzhang Feng, Yang Liu 0003, Yuan-Fang Li, Daqing Zhang |
Discovering Anomalies in Semantic Web Rules. |
SSIRI |
2010 |
DBLP DOI BibTeX RDF |
Semantic Web, Logic Programming |
| 1 | Yang Liu 0003, Jun Sun 0001, Jin Song Dong |
Analyzing hierarchical complex real-time systems. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Zhang |
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Liu 0003, Jun Sun 0001, Jin Song Dong |
Scalable Multi-core Model Checking Fairness Enhanced Systems. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Liu 0003, Wei Chen 0013, Yanhong A. Liu, Jun Sun 0001 |
Model Checking Linearizability via Refinement. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong |
Fair Model Checking with Process Counter Abstraction. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shao Jie Zhang, Yang Liu 0003, Jun Sun 0001, Jin Song Dong, Wei Chen 0013, Yanhong A. Liu |
Formal Verification of Scalable NonZero Indicators. |
SEKE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pang |
PAT: Towards Flexible Verification under Fairness. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Chunqing Chen |
Integrating Specification and Programs for System Modeling and Verification. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Liu 0003, Jun Pang, Jun Sun 0001, Jianhua Zhao |
Verification of Population Ring Protocols in PAT. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002 |
Compositional encoding for bounded model checking. |
Frontiers of Computer Science in China |
2008 |
DBLP DOI BibTeX RDF |
Communication Sequential Processes (CSP), Linear Temporal Logic (LTL), bounded model checking |
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Hai H. Wang |
Specifying and Verifying Event-Based Fairness Enhanced Systems. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong |
Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002 |
Bounded Model Checking of Compositional Processes. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Compositional Processes, Tool, Bounded Model Checking |
| 1 | Yang Liu 0003, Jun Sun 0001, Jin Song Dong |
An analyzer for extended compositional process algebras. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
simulation, model checking, fairness, sat solvers |
| 1 | Yang Liu 0003, Jun Sun 0001 |
Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Yang Liu 0003, Jun Sun 0001, Xian Zhang |
Verification of Computation Orchestration Via Timed Automata. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")