|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 61 occurrences of 39 keywords
|
|
|
|
|
Results
Found 47 publication records. Showing 47 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, Zheng Wang |
A Parallel Approach to Concolic Testing with Low-cost Synchronization.  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu |
A Unifying Approach to Validating Specification-Oriented XML Constraints. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu |
An Event-B Interpretation for SPARDL Model. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen |
Linking denotational semantics with operational semantics for web services. |
ISSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu |
Web services choreography validation. |
Service Oriented Computing and Applications |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding |
Automatically Testing Web Services Choreography with Assertions. |
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 | Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu |
Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu |
SPARDL: A Requirement Modeling Language for Periodic Control System. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu |
A Formal Model for Service Choreography with Exception Handling and Finalization. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Zheng Wang, Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Liyang Peng, Meng Sun |
Static validation of WS-CDL documents. |
Simulation Modelling Practice and Theory |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders |
Modelling and Verification of Web Navigation. |
ICWE |
2009 |
DBLP DOI BibTeX RDF |
Model Checking, Requirement Engineering, Link Analysis, Web Modelling |
| 1 | Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu |
Towards Scalable Compositional Test Generation. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
Compositional Testing, Partial Execution, Program Slicing, Automatic Test Generation |
| 1 | Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu |
Test Data Generation for Derived Types in C Program. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jueliang Hu, Zuohua Ding, Geguang Pu |
Path-Based Approach to Integration Testing. |
SSIRI |
2009 |
DBLP DOI BibTeX RDF |
Program Slicing, Integration Testing, Path Analysis |
| 1 | Liyang Peng, Chao Cai, Zongyan Qiu, Geguang Pu |
Verification of channel passing in choreography with model checking. |
SOCA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Zhou, Hao Xiao, Jing Ping, Geguang Pu, Hanyi Zhang |
Simulation and validation of Web services choreography. |
SOCA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu |
The Verification of rCOS Using Spin. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Volker Stolz |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He |
Execution Semantics for rCOS. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Zheng Wang, Meng Sun, Geguang Pu |
Static Check of WS-CDL Documents. |
SOSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He |
A Denotational Model for Web Services Choreography. |
ICDCIT |
2008 |
DBLP DOI BibTeX RDF |
Web Services, Denotational Semantics, Choreography, WS-CDL |
| 1 | Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu |
A Bigraphical Model of WSBPEL. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He, Huibiao Zhu, Geguang Pu |
A model for BPEL-like languages. |
Frontiers of Computer Science in China |
2007 |
DBLP DOI BibTeX RDF |
observation-oriented semantics, BPEL, compensation, fault handling, algebraic laws |
| 1 | Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He |
The Validation and Verification of WSCDL. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
WSCDL, Verification, Validation |
| 1 | Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai |
Tool Support for BPEL Verification in ActiveBPEL Engine. |
ASWEC |
2007 |
DBLP DOI BibTeX RDF |
ActiveBPEL, WSBPEL, Verification, Timed Automata, UPPAAL, Workflow language |
| 1 | Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu |
Modeling and Verifying Web Services Choreography Using Process Algebra. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li |
An Operational Approach to BPEL-like Programming. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
Web Services, BPEL, Operational Semantics, Bisimulation, Compensation, Algebraic Semantics, Fault Handling |
| 1 | Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He |
Looking into Compensable Transactions. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He |
A Formal Model for Compensable Transactions. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Li, Huibiao Zhu, Geguang Pu |
Conformance Validation between Choreography and Orchestration. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu |
Towards the Semantics and Verification of BPEL4WS. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He |
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu |
Towards the Semantics for Web Service Choreography Description Language. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
exception handling, operational semantics, choreography, compensation, WS-CDL |
| 1 | Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu |
Type Checking Choreography Description Language. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
Formal model, Choreography, Type checking, WS-CDL |
| 1 | Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He |
A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. |
KES |
2006 |
DBLP DOI BibTeX RDF |
tabu search, timed automata, scheduling algorithm, GRASP, hardware/software partitioning |
| 1 | Huibiao Zhu, Geguang Pu, Jifeng He |
A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao |
Patterns with Algebraic Properties in BPEL0. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi |
Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Jifeng He, Zongyan Qiu |
An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. |
DDECS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang |
A Formal Model forWeb Service Choreography Description Language (WS-CDL). |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi |
Exploring optimal solution to hardware/software partitioning for synchronous model. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Timed automata, Scheduling algorithm, Reachability, Hardware/software partitioning |
| 1 | Geguang Pu, Zongyan Qiu, Jifeng He |
Integrating Time and Resource into Circus. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao |
Semantics of BPEL4WS-Like Fault and Compensation Handling. |
FM |
2005 |
DBLP DOI BibTeX RDF |
Compensation handling, Semantics, Business Process, Language, BPEL4WS, Fault handling |
| 1 | Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi |
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi |
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
timed automata, scheduling algorithm, reachability, Hardware/software partitioning |
| 1 | Zheng Chen, Shengping Liu, Liu Wenyin, Geguang Pu, Wei-Ying Ma |
Building a web thesaurus from web link structure. |
SIGIR |
2003 |
DBLP DOI BibTeX RDF |
query expansion, link analysis, thesaurus, content structure |
Displaying result #1 - #47 of 47 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")