The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Geguang Pu" ( http://dblp.L3S.de/Authors/Geguang_Pu )

  Author page on DBLP  Author page in RDF  Community of Geguang Pu in ASPL-2

Publication years (Num. hits)
2003-2006 (16) 2007-2009 (21) 2010-2012 (17) 2013-2014 (16) 2015-2017 (21) 2018 (16) 2019 (4)
Publication types (Num. hits)
article(39) inproceedings(71) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 61 occurrences of 39 keywords

Results
Found 112 publication records. Showing 111 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Shufang Zhu, Geguang Pu, Moshe Y. Vardi First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Shufang Zhu, Geguang Pu, Moshe Y. Vardi First-Order vs. Second-Order Encodings for \textsc ltl_f -to-Automata Translation. Search on Bibsonomy TAMC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, Zhendong Su Finding and understanding bugs in software model checkers. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi SAT-Based Explicit LTLf Satisfiability Checking. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  BibTeX  RDF
1Zuohua Ding, Yuan Zhou 0005, Geguang Pu, MengChu Zhou Online Failure Prediction for Railway Transportation Systems Based on Fuzzy Rules and Data Analysis. Search on Bibsonomy IEEE Trans. Reliability The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yueling Zhang, Min Zhang, Geguang Pu, Fu Song, Jianwen Li Towards backbone computing: A Greedy-Whitening based approach. Search on Bibsonomy AI Commun. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Geguang Pu, Lijun Zhang 0001 Preface for the special issue for ATVA 2015. Search on Bibsonomy Acta Inf. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bin Fang, Mihaela Sighireanu, Geguang Pu, Wen Su, Jean-Raymond Abrial, Mengfei Yang, Lei Qiao Formal modelling of list based dynamic memory allocators. Search on Bibsonomy SCIENCE CHINA Information Sciences The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chengyu Zhang, Ting Su, Yichen Yan, Ke Wu, Geguang Pu Towards Efficient Data-flow Test Data Generation Using KLEE. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu 0003, Zhoulai Fu, Zhendong Su Towards Efficient Data-flow Test Data Generation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu 0003, Lihua Xu, Geguang Pu Efficiently Manifesting Asynchronous Programming Errors in Android Apps. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi SAT-based Explicit LTLf Satisfiability Checking. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu 0003, Lihua Xu, Geguang Pu, Zhendong Su Large-Scale Analysis of Framework-Specific Exceptions in Android Apps. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jianwen Li, Geguang Pu, Lijun Zhang 0001, Moshe Y. Vardi, Jifeng He Accelerating LTL satisfiability checking by SAT solvers. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Lijun Zhang 0001, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He An explicit transition system construction approach to LTL satisfiability checking. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Y. Vardi SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability. Search on Bibsonomy CAV (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu 0003, Lihua Xu, Geguang Pu Efficiently manifesting asynchronous programming errors in Android apps. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu Smartunit: empirical evaluations for automated unit testing of embedded software in industry. Search on Bibsonomy ICSE (SEIP) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu 0003, Lihua Xu, Geguang Pu, Zhendong Su Large-scale analysis of framework-specific exceptions in Android apps. Search on Bibsonomy ICSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mingsong Chen, Yongxiang Bao, Xin Fu, Geguang Pu, Tongquan Wei Efficient Resource Constrained Scheduling Using Parallel Two-Phase Branch-and-Bound Heuristics. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi A Symbolic Approach to Safety LTL Synthesis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi Symbolic LTLf Synthesis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Ting Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su A Survey on Data-Flow Testing. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu 0003, Zhendong Su Guided, stochastic model-based GUI testing of Android apps. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi Safety model checking with complementary approximations. Search on Bibsonomy ICCAD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi A Symbolic Approach to Safety ltl Synthesis. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi Symbolic LTLf Synthesis. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song Optimizing backbone filtering. Search on Bibsonomy TASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mingsong Chen, Xinqian Zhang, Geguang Pu, Xin Fu, Prabhat Mishra Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su Automated coverage-driven testing: combining symbolic execution and model checking. Search on Bibsonomy SCIENCE CHINA Information Sciences The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi Approximate Reachability. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu 0003, Shuohao Chen, Kunpeng Xiong Automated Requirements Validation for ATP Software via Specification Review and Testing. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi SAT-based Explicit LTL Reasoning. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song Modeling and Verifying Google File System. Search on Bibsonomy HASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Geguang Pu, Lijun Zhang 0001 (eds.) Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings Search on Bibsonomy ATVA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ke Wu, Shiping Tang, Geguang Pu, Min Wu, Ting Su Fm-QCA: A Novel Approach to Multi-value Qualitative Comparative Analysis. Search on Bibsonomy KSEM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi SAT-Based Explicit LTL Reasoning. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fu Song, Weikai Miao, Geguang Pu, Min Zhang On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. Search on Bibsonomy CONCUR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su Combining Symbolic Execution and Model Checking for Data Flow Testing. Search on Bibsonomy ICSE (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Wen Su, Jean-Raymond Abrial, Geguang Pu, Bin Fang Formal Development of a Real-Time Operating System Memory Manager. Search on Bibsonomy ICECCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yongxin Zhao, Hao Xiao, Zheng Wang 0005, Geguang Pu, Ting Su The semantics and verification of timed service choreography. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Lijun Zhang 0001, Geguang Pu, Moshe Y. Vardi, Jifeng He LTLf satisfiability checking. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Jianwen Li, Geguang Pu, Lijun Zhang 0001, Moshe Y. Vardi, Jifeng He Fast LTL Satisfiability Checking by SAT Solvers. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Yan Shen, Jianwen Li, Zheng Wang 0005, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen Runtime Verification by Convergent Formula Progression. Search on Bibsonomy APSEC (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ting Su, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Siyuan Jiang, Jianjun Zhao Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution. Search on Bibsonomy SERE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang 0001, Jifeng He Aalta: an LTL satisfiability checker over Infinite/Finite traces. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Lijun Zhang 0001, Geguang Pu, Moshe Y. Vardi, Jifeng He LTLf Satisfiability Checking. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mengdi Wang, Bo Li, Yongxin Zhao, Geguang Pu Formalizing Google File System. Search on Bibsonomy PRDC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mingsong Chen, Fan Gu, Lei Zhou 0007, Geguang Pu, Xiao Liu Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling. Search on Bibsonomy VLSI Design The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Wanwei Liu, Xiaoguang Mao, Geguang Pu, Rui Wang 0019 Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking. Search on Bibsonomy TASE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Geguang Pu, Lijun Zhang 0001, Yinbo Yao, Moshe Y. Vardi, Jifeng He Polsat: A Portfolio LTL Satisfiability Solver. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Zheng Wang 0005, 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. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mingsong Chen, Saijie Huang, Geguang Pu, Prabhat Mishra Branch-and-bound style resource constrained scheduling using efficient structure-aware pruning. Search on Bibsonomy ISVLSI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Geguang Pu, Lijun Zhang 0001, Zheng Wang 0005, Jifeng He, Kim Guldstrand Larsen On the Relationship between LTL Normal Forms and Büchi Automata. Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mingsong Chen, Lei Zhou 0007, Geguang Pu, Jifeng He Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis. Search on Bibsonomy CODES+ISSS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Lijun Zhang 0001, Geguang Pu, Moshe Y. Vardi, Jifeng He LTL Satisfiability Checking Revisited. Search on Bibsonomy TIME The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mengfei Yang, Zheng Wang 0005, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He The stochastic semantics and verification for periodic control systems. Search on Bibsonomy SCIENCE CHINA Information Sciences The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Geguang Pu, Lijun Zhang 0001, Zheng Wang 0005, Jifeng He, Kim G. Larsen On the Relationship between LTL Normal Forms and Buechi Automata Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Zheng Wang 0005, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu MDM: A Mode Diagram Modeling Framework Search on Bibsonomy FTSCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zheng Wang 0005, 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 Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Jianwen Li, Geguang Pu, Zheng Wang 0005, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu An Approach to Requirement Analysis for Periodic Control Systems. Search on Bibsonomy SEW The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zheng Wang 0005, Geguang Pu, Jianwen Li, Bin Gu A Type System for SPARDL. Search on Bibsonomy TASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, Zheng Wang 0005 A Parallel Approach to Concolic Testing with Low-cost Synchronization. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Zheng Wang 0005, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu An Event-B Interpretation for SPARDL Model. Search on Bibsonomy HASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yongxin Zhao, Zheng Wang 0005, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu A Unifying Approach to Validating Specification-Oriented XML Constraints. Search on Bibsonomy HASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Zheng Wang 0005, Lei Zhou 0007, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu Web services choreography validation. Search on Bibsonomy Service Oriented Computing and Applications The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen Linking denotational semantics with operational semantics for web services. Search on Bibsonomy ISSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Lei Zhou 0007, Jing Ping, Hao Xiao, Zheng Wang 0005, Geguang Pu, Zuohua Ding Automatically Testing Web Services Choreography with Assertions. Search on Bibsonomy ICFEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zheng Wang 0005, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu SPARDL: A Requirement Modeling Language for Periodic Control System. Search on Bibsonomy ISoLA (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Geguang Pu, Tian Huat Tan Model-Based Methods for Linking Web Service Choreography and Orchestration. Search on Bibsonomy APSEC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hao Xiao, Zheng Wang 0005, Geguang Pu, Bin Gu Constraint Checking for XML-Based Language Specification by SAT Solver. Search on Bibsonomy SSIRI (Companion) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu 0012 Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications. Search on Bibsonomy QSIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yongxin Zhao, Zheng Wang 0005, Geguang Pu, Huibiao Zhu A Formal Model for Service Choreography with Exception Handling and Finalization. Search on Bibsonomy TASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Geguang Pu, Zheng Wang 0005, Lei Zhou 0007, Hanyi Zhang, Tao Wang, Chuchao Yang, Liyang Peng, Meng Sun Static validation of WS-CDL documents. Search on Bibsonomy Simulation Modelling Practice and Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jueliang Hu, Zuohua Ding, Geguang Pu Path-Based Approach to Integration Testing. Search on Bibsonomy SSIRI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Program Slicing, Integration Testing, Path Analysis
1Liyang Peng, Chao Cai, Zongyan Qiu, Geguang Pu Verification of channel passing in choreography with model checking. Search on Bibsonomy SOCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Lei Zhou 0007, Hao Xiao, Jing Ping, Geguang Pu, Hanyi Zhang Simulation and validation of Web services choreography. Search on Bibsonomy SOCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders Modelling and Verification of Web Navigation. Search on Bibsonomy ICWE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Model Checking, Requirement Engineering, Link Analysis, Web Modelling
1Tao Sun, Zheng Wang 0005, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu Towards Scalable Compositional Test Generation. Search on Bibsonomy QSIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Compositional Testing, Partial Execution, Program Slicing, Automatic Test Generation
1Zheng Wang 0005, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu Test Data Generation for Derived Types in C Program. Search on Bibsonomy TASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Geguang Pu, Volker Stolz Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Xiao Yu, Zheng Wang 0005, Geguang Pu, Dingding Mao, Jing Liu The Verification of rCOS Using Spin. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Zheng Wang 0005, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He Execution Semantics for rCOS. Search on Bibsonomy APSEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Geguang Pu, Yongxin Zhao, Zheng Wang 0005, Libo Feng, Huibiao Zhu, Jifeng He A Denotational Model for Web Services Choreography. Search on Bibsonomy ICDCIT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Web Services, Denotational Semantics, Choreography, WS-CDL
1Lei Zhou 0007, Hanyi Zhang, Tao Wang, Chuchao Yang, Zheng Wang 0005, Meng Sun, Geguang Pu Static Check of WS-CDL Documents. Search on Bibsonomy SOSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu A Bigraphical Model of WSBPEL. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jifeng He, Huibiao Zhu, Geguang Pu A model for BPEL-like languages. Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2007 DBLP  DOI  BibTeX  RDF observation-oriented semantics, BPEL, compensation, fault handling, algebraic laws
1Yi Qian, Yuming Xu, Zheng Wang 0005, Geguang Pu, Huibiao Zhu, Chao Cai Tool Support for BPEL Verification in ActiveBPEL Engine. Search on Bibsonomy ASWEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ActiveBPEL, WSBPEL, Verification, Timed Automata, UPPAAL, Workflow language
1Geguang Pu, Jianqi Shi, Zheng Wang 0005, Lu Jin, Jing Liu, Jifeng He The Validation and Verification of WSCDL. Search on Bibsonomy APSEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF WSCDL, Verification, Validation
1Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He Looking into Compensable Transactions. Search on Bibsonomy SEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu Modeling and Verifying Web Services Choreography Using Process Algebra. Search on Bibsonomy SEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li An Operational Approach to BPEL-like Programming. Search on Bibsonomy SEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Web Services, BPEL, Operational Semantics, Bisimulation, Compensation, Algebraic Semantics, Fault Handling
1Jing Li, Huibiao Zhu, Geguang Pu Conformance Validation between Choreography and Orchestration. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He A Formal Model for Compensable Transactions. Search on Bibsonomy ICECCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu Towards the Semantics and Verification of BPEL4WS. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Geguang Pu, Jifeng He, Zongyan Qiu An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. Search on Bibsonomy DDECS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu Towards the Semantics for Web Service Choreography Description Language. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF exception handling, operational semantics, choreography, compensation, WS-CDL
1Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu Type Checking Choreography Description Language. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Formal model, Choreography, Type checking, WS-CDL
1Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao Patterns with Algebraic Properties in BPEL0. Search on Bibsonomy ISoLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 111 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license