Geguang Pu

Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He: A novel requirement analysis approach for periodic control systems. Frontiers of Computer Science 7(2): 214-235 (2013)

Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He: The stochastic semantics and verification for periodic control systems. SCIENCE CHINA Information Sciences 55(12): 2675-2693 (2012)

Zheng Wang, Geguang Pu, Jianwen Li, Bin Gu: A Type System for SPARDL. TASE 2012: 209-216

Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu: MDM: A Mode Diagram Modeling Framework. FTSCS 2012: 135-149

Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He: MDM: A Mode Diagram Modeling Framework for Periodic Control Systems. CoRR abs/1207.0922 (2012)

Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen: On the Relationship between LTL Normal Forms and Buechi Automata. CoRR abs/1207.3866 (2012)

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. 274: 83-96 (2011)

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: 33-40

Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu: An Event-B Interpretation for SPARDL Model. HASE 2011: 41-48

Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen: Linking denotational semantics with operational semantics for web services. ISSE 6(4): 283-298 (2010)

Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu: Web services choreography validation. Service Oriented Computing and Applications 4(4): 291-305 (2010)

Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu, Tian Huat Tan: Model-Based Methods for Linking Web Service Choreography and Orchestration. APSEC 2010: 166-175

Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding: Automatically Testing Web Services Choreography with Assertions. ICFEM 2010: 138-154

Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu: SPARDL: A Requirement Modeling Language for Periodic Control System. ISoLA (1) 2010: 594-608

Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu: Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications. QSIC 2010: 341-344

Hao Xiao, Zheng Wang, Geguang Pu, Bin Gu: Constraint Checking for XML-Based Language Specification by SAT Solver. SSIRI (Companion) 2010: 26-27

Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu: A Formal Model for Service Choreography with Exception Handling and Finalization. TASE 2010: 15-24

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 17(8): 1367-1377 (2009)

Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders: Modelling and Verification of Web Navigation. ICWE 2009: 181-188

Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu: Towards Scalable Compositional Test Generation. QSIC 2009: 353-358

Liyang Peng, Chao Cai, Zongyan Qiu, Geguang Pu: Verification of channel passing in choreography with model checking. SOCA 2009: 1-5

Lei Zhou, Hao Xiao, Jing Ping, Geguang Pu, Hanyi Zhang: Simulation and validation of Web services choreography. SOCA 2009: 1-8

Jueliang Hu, Zuohua Ding, Geguang Pu: Path-Based Approach to Integration Testing. SSIRI 2009: 445-446

Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu: Test Data Generation for Derived Types in C Program. TASE 2009: 155-162

Geguang Pu, Volker Stolz: Preface. Electr. Notes Theor. Comput. Sci. 207: 1-2 (2008)

Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu: The Verification of rCOS Using Spin. Electr. Notes Theor. Comput. Sci. 207: 49-67 (2008)

Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He: Execution Semantics for rCOS. APSEC 2008: 119-126

Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He: A Denotational Model for Web Services Choreography. ICDCIT 2008: 1-12

Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Zheng Wang, Meng Sun, Geguang Pu: Static Check of WS-CDL Documents. SOSE 2008: 142-147

Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu: A Bigraphical Model of WSBPEL. TASE 2008: 117-120

Jifeng He, Huibiao Zhu, Geguang Pu: A model for BPEL-like languages. Frontiers of Computer Science in China 1(1): 9-19 (2007)

Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He: The Validation and Verification of WSCDL. APSEC 2007: 81-88

Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai: Tool Support for BPEL Verification in ActiveBPEL Engine. ASWEC 2007: 90-100

Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He: A Formal Model for Compensable Transactions. ICECCS 2007: 64-73

Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He: Looking into Compensable Transactions. SEW 2007: 154-166

Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li: An Operational Approach to BPEL-like Programming. SEW 2007: 236-245

Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu: Modeling and Verifying Web Services Choreography Using Process Algebra. SEW 2007: 256-268

Jing Li, Huibiao Zhu, Geguang Pu: Conformance Validation between Choreography and Orchestration. TASE 2007: 473-482

Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu: Towards the Semantics and Verification of BPEL4WS. Electr. Notes Theor. Comput. Sci. 151(2): 33-52 (2006)

Huibiao Zhu, Geguang Pu, Jifeng He: A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. ASIAN 2006: 28-36

Geguang Pu, Jifeng He, Zongyan Qiu: An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. DDECS 2006: 151-152

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: 251-266

Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi: Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. ICECCS 2006: 131-138

Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu: Towards the Semantics for Web Service Choreography Description Language. ICFEM 2006: 246-263

Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu: Type Checking Choreography Description Language. ICFEM 2006: 264-283

Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang: A Formal Model forWeb Service Choreography Description Language (WS-CDL). ICWS 2006: 893-894

Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao: Patterns with Algebraic Properties in BPEL0. ISoLA 2006: 363-370

Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He: A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. KES (1) 2006: 459-466

Geguang Pu, Zongyan Qiu, Jifeng He: Integrating Time and Resource into Circus. Electr. Notes Theor. Comput. Sci. 130: 401-418 (2005)

Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi: Exploring optimal solution to hardware/software partitioning for synchronous model. Formal Asp. Comput. 17(4): 443-460 (2005)

Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao: Semantics of BPEL4WS-Like Fault and Compensation Handling. FM 2005: 350-365

Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi: An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. IFM 2004: 363-381

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: 376-385

Zheng Chen, Shengping Liu, Liu Wenyin, Geguang Pu, Wei-Ying Ma: Building a web thesaurus from web link structure. SIGIR 2003: 48-55