Geguang Pu

According to our database1, Geguang Pu authored at least 91 papers between 2003 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Online Failure Prediction for Railway Transportation Systems Based on Fuzzy Rules and Data Analysis.
IEEE Trans. Reliability, 2018

Accelerating LTL satisfiability checking by SAT solvers.
J. Log. Comput., 2018

An explicit transition system construction approach to LTL satisfiability checking.
Formal Asp. Comput., 2018

Formal modelling of list based dynamic memory allocators.
SCIENCE CHINA Information Sciences, 2018

Towards backbone computing: A Greedy-Whitening based approach.
AI Commun., 2018

Preface for the special issue for ATVA 2015.
Acta Inf., 2018

Efficiently manifesting asynchronous programming errors in Android apps.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Smartunit: empirical evaluations for automated unit testing of embedded software in industry.
Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

Large-scale analysis of framework-specific exceptions in Android apps.
Proceedings of the 40th International Conference on Software Engineering, 2018

SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Efficient Resource Constrained Scheduling Using Parallel Two-Phase Branch-and-Bound Heuristics.
IEEE Trans. Parallel Distrib. Syst., 2017

A Survey on Data-Flow Testing.
ACM Comput. Surv., 2017

Optimizing backbone filtering.
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Guided, stochastic model-based GUI testing of Android apps.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Symbolic LTLf Synthesis.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Safety model checking with complementary approximations.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

A Symbolic Approach to Safety ltl Synthesis.
Proceedings of the Hardware and Software: Verification and Testing, 2017

2016
Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques.
IEEE Trans. Computers, 2016

Automated coverage-driven testing: combining symbolic execution and model checking.
SCIENCE CHINA Information Sciences, 2016

Automated Requirements Validation for ATP Software via Specification Review and Testing.
Proceedings of the Formal Methods and Software Engineering, 2016

2015
Fm-QCA: A Novel Approach to Multi-value Qualitative Comparative Analysis.
Proceedings of the Knowledge Science, Engineering and Management, 2015

Combining Symbolic Execution and Model Checking for Data Flow Testing.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Formal Development of a Real-Time Operating System Memory Manager.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

SAT-Based Explicit LTL Reasoning.
Proceedings of the Hardware and Software: Verification and Testing, 2015

Modeling and Verifying Google File System.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014
The semantics and verification of timed service choreography.
Int. J. Comput. Math., 2014

Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling.
Proceedings of the 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems, 2014

Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution.
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

Aalta: an LTL satisfiability checker over Infinite/Finite traces.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Formalizing Google File System.
Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

LTLf Satisfiability Checking.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Runtime Verification by Convergent Formula Progression.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
A novel requirement analysis approach for periodic control systems.
Frontiers Comput. Sci., 2013

LTL Satisfiability Checking Revisited.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Branch-and-bound style resource constrained scheduling using efficient structure-aware pruning.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2013

Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013

On the Relationship between LTL Normal Forms and Büchi Automata.
Proceedings of the Theories of Programming and Formal Methods, 2013

2012
MDM: A Mode Diagram Modeling Framework
Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

The stochastic semantics and verification for periodic control systems.
SCIENCE CHINA Information Sciences, 2012

A Type System for SPARDL.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

An Approach to Requirement Analysis for Periodic Control Systems.
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

2011
A Parallel Approach to Concolic Testing with Low-cost Synchronization.
Electr. Notes Theor. Comput. Sci., 2011

A Unifying Approach to Validating Specification-Oriented XML Constraints.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

An Event-B Interpretation for SPARDL Model.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010
Web services choreography validation.
Service Oriented Computing and Applications, 2010

Linking denotational semantics with operational semantics for web services.
ISSE, 2010

A Formal Model for Service Choreography with Exception Handling and Finalization.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Constraint Checking for XML-Based Language Specification by SAT Solver.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications.
Proceedings of the 10th International Conference on Quality Software, 2010

SPARDL: A Requirement Modeling Language for Periodic Control System.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Automatically Testing Web Services Choreography with Assertions.
Proceedings of the Formal Methods and Software Engineering, 2010

Model-Based Methods for Linking Web Service Choreography and Orchestration.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009
Static validation of WS-CDL documents.
Simulation Modelling Practice and Theory, 2009

Test Data Generation for Derived Types in C Program.
Proceedings of the TASE 2009, 2009

Path-Based Approach to Integration Testing.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Simulation and validation of Web services choreography.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

Verification of channel passing in choreography with model checking.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

Towards Scalable Compositional Test Generation.
Proceedings of the Ninth International Conference on Quality Software, 2009

Modelling and Verification of Web Navigation.
Proceedings of the Web Engineering, 9th International Conference, 2009

2008
The Verification of rCOS Using Spin.
Electr. Notes Theor. Comput. Sci., 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

A Bigraphical Model of WSBPEL.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Static Check of WS-CDL Documents.
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

A Denotational Model for Web Services Choreography.
Proceedings of the Distributed Computing and Internet Technology, 2008

Execution Semantics for rCOS.
Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007
A model for BPEL-like languages.
Frontiers Comput. Sci. China, 2007

Conformance Validation between Choreography and Orchestration.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

An Operational Approach to BPEL-like Programming.
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Looking into Compensable Transactions.
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Modeling and Verifying Web Services Choreography Using Process Algebra.
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

A Formal Model for Compensable Transactions.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Tool Support for BPEL Verification in ActiveBPEL Engine.
Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

The Validation and Verification of WSCDL.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006
Towards the Semantics and Verification of BPEL4WS.
Electr. Notes Theor. Comput. Sci., 2006

A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2006

Patterns with Algebraic Properties in BPEL0.
Proceedings of the Leveraging Applications of Formal Methods, 2006

A Formal Model forWeb Service Choreography Description Language (WS-CDL).
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Type Checking Choreography Description Language.
Proceedings of the Formal Methods and Software Engineering, 2006

Towards the Semantics for Web Service Choreography Description Language.
Proceedings of the Formal Methods and Software Engineering, 2006

Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem.
Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), 2006

A Denotational Approach to Scope-Based Compensable Flow Language for Web Service.
Proceedings of the Advances in Computer Science, 2006

2005
Exploring optimal solution to hardware/software partitioning for synchronous model.
Formal Asp. Comput., 2005

Integrating Time and Resource into Circus.
Electr. Notes Theor. Comput. Sci., 2005

Semantics of BPEL4WS-Like Fault and Compensation Handling.
Proceedings of the FM 2005: Formal Methods, 2005

2004
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

An Optimal Approach to Hardware/Software Partitioning for Synchronous Model.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003
Building a web thesaurus from web link structure.
Proceedings of the SIGIR 2003: Proceedings of the 26th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, July 28, 2003


  Loading...