Geguang Pu

According to our database1, Geguang Pu authored at least 149 papers between 2003 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Improving Robustness of LiDAR-Camera Fusion Model against Weather Corruption from Fusion Strategy Perspective.
CoRR, 2024

Experimenting a New Programming Practice with LLMs.
CoRR, 2024

Model-Guided Synthesis for LTL over Finite Traces.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023
Accelerate Safety Model Checking Based on Complementary Approximate Reachability.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., September, 2023

Characterizing and Finding System Setting-Related Defects in Android Apps.
IEEE Trans. Software Eng., April, 2023

Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework.
CoRR, 2023

FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain.
CoRR, 2023

Architecture-agnostic Iterative Black-box Certified Defense against Adversarial Patches.
CoRR, 2023

FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

ALA: Naturalness-aware Adversarial Lightness Attack.
Proceedings of the 31st ACM International Conference on Multimedia, 2023

An Empirical Study of Functional Bugs in Android Apps.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Searching for i-Good Lemmas to Accelerate Safety Model Checking.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022
Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps.
IEEE Trans. Software Eng., 2022

FakeLocator: Robust Localization of GAN-Based Face Manipulations.
IEEE Trans. Inf. Forensics Secur., 2022

Runtime Assurance of Learning-Based Lane Changing Control for Autonomous Driving Vehicles.
J. Circuits Syst. Comput., 2022

Identifying Boundary Conditions with the Syntax and Semantic Information of Goals.
CoRR, 2022

ALA: Adversarial Lightness Attack via Naturalness-aware Regularizations.
CoRR, 2022

Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding.
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

Masked Faces with Faced Masks.
Proceedings of the Computer Vision - ECCV 2022 Workshops, 2022

2021
Blockchain and Federated Learning for Collaborative Intrusion Detection in Vehicular Edge Computing.
IEEE Trans. Veh. Technol., 2021

Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs.
Proc. ACM Program. Lang., 2021

AdvBokeh: Learning to Adversarially Defocus Blur.
CoRR, 2021

On the Power of Automata Minimization in Temporal Synthesis.
Proceedings of the Proceedings 12th International Symposium on Games, 2021

Generating Test Cases from Requirements: A Case Study in Railway Control System Domain.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning.
Proceedings of the MM '21: ACM Multimedia Conference, Virtual Event, China, October 20, 2021

Understanding and finding system setting-related defects in Android apps.
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

On-the-fly Synthesis for LTL over Finite Traces.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Blockchain Empowered Cooperative Authentication With Data Traceability in Vehicular Edge Computing.
IEEE Trans. Veh. Technol., 2020

Optimizing backbone filtering.
Sci. Comput. Program., 2020

FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise.
CoRR, 2020

FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles.
CoRR, 2020

SAT-based explicit LTLf satisfiability checking.
Artif. Intell., 2020

Reinforcement Learning Guided Symbolic Execution.
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction.
Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

Accelerating All-SAT Computation with Short Blocking Clauses.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

MemLock: memory usage guided fuzzing.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

SAT-Based Automata Construction for LTL over Finite Traces.
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

LTLƒ Synthesis with Fairness and Stability Assumptions.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Generating adversarial examples for DNN using pooling layers.
J. Intell. Fuzzy Syst., 2019

SAT-based explicit LTL reasoning and its application to satisfiability checking.
Formal Methods Syst. Des., 2019

First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation.
CoRR, 2019

Intersection and Rotation of Assumption Literals Boosts Bug-Finding.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

First-Order vs. Second-Order Encodings for \textsc ltl_f -to-Automata Translation.
Proceedings of the Theory and Applications of Models of Computation, 2019

Finding and understanding bugs in software model checkers.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Prema: A Tool for Precise Requirements Editing, Modeling and Analysis.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

SMTBCF: Efficient Backbone Computing for SMT Formulas.
Proceedings of the Formal Methods and Software Engineering, 2019

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

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

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

Towards Efficient Data-flow Test Data Generation.
CoRR, 2018

Towards Efficient Data-flow Test Data Generation Using KLEE.
CoRR, 2018

Formal modelling of list based dynamic memory allocators.
Sci. China Inf. Sci., 2018

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

Preface for the special issue for ATVA 2015.
Acta Informatica, 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 Distributed 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

Approximate Reachability.
CoRR, 2016

Automated coverage-driven testing: combining symbolic execution and model checking.
Sci. China Inf. Sci., 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

Fast LTL Satisfiability Checking by SAT Solvers.
CoRR, 2014

Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling.
Proceedings of the 2014 27th International Conference on VLSI Design, 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

Polsat: A Portfolio LTL Satisfiability Solver.
CoRR, 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

On the Relationship between LTL Normal Forms and Buechi Automata
CoRR, 2012

MDM: A Mode Diagram Modeling Framework for Periodic Control Systems
CoRR, 2012

The stochastic semantics and verification for periodic control systems.
Sci. China Inf. Sci., 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 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.
Serv. Oriented Comput. Appl., 2010

Linking denotational semantics with operational semantics for web services.
Innov. Syst. Softw. Eng., 2010

A Parallel Approach to Concolic Testing with Low-cost Synchronization.
Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 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.
Simul. Model. Pract. 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
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

The Verification of rCOS Using Spin.
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

Preface.
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 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
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 Aspects Comput., 2005

Towards the Semantics and Verification of BPEL4WS.
Proceedings of the International Workshop on Web Languages and Formal Methods, 2005

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

2004
Integrating Time and Resource into <i>Circus</i>.
Proceedings of the Seventh Brazilian Symposium on Formal Methods, 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...