Geguang Pu

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 95

Top Venues

Publications

Di Yang, Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Yang Liu, Geguang Pu
Architecture-Agnostic Iterative Black-Box Certified Defense Against Adversarial Patches. ICASSP (2024)
Yihao Huang, Felix Juefei-Xu, Qing Guo, Jie Zhang, Yutong Wu, Ming Hu, Tianlin Li, Geguang Pu, Yang Liu
Personalization as a Shortcut for Few-Shot Backdoor Attack against Text-to-Image Diffusion Models. AAAI (2024)
Yihao Huang, Felix Juefei-Xu, Qing Guo, Geguang Pu, Yang Liu
Natural & Adversarial Bokeh Rendering via Circle-of-Confusion Predictive Network. IEEE Trans. Multim. 26 (2024)
Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Xiaojun Jia, Xiaochun Cao, Geguang Pu, Yang Liu
Texture Re-scalable Universal Adversarial Perturbation. CoRR (2024)
Di Yang, Yihao Huang, Qing Guo, Felix Juefei-Xu, Xiaojun Jia, Run Wang, Geguang Pu, Yang Liu
Text Modality Oriented Image Feature Extraction for Detecting Diffusion-based DeepFake. CoRR (2024)
Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu
CosalPure: Learning Concept from Group Images for Robust Co-Saliency Detection. CoRR (2024)
Simiao Zhang, Jiaping Wang, Guoliang Dong, Jun Sun, Yueling Zhang, Geguang Pu
Experimenting a New Programming Practice with LLMs. CoRR (2024)
Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi
Model-Guided Synthesis for LTL over Finite Traces. VMCAI (1) (2024)
Yihao Huang, Felix Juefei-Xu, Qing Guo, Yang Liu, Geguang Pu
Dodging DeepFake Detection via Implicit Spatial-Domain Notch Filtering. IEEE Trans. Circuits Syst. Video Technol. 34 (8) (2024)
Jingling Sun, Ting Su, Jun Sun, Jianwen Li, Mengfei Wang, Geguang Pu
Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps. SIGSOFT FSE Companion (2024)
Yihao Huang, Chong Wang, Xiaojun Jia, Qing Guo, Felix Juefei-Xu, Jian Zhang, Geguang Pu, Yang Liu
Semantic-guided Prompt Organization for Universal Goal Hijacking against LLMs. CoRR (2024)
Yihao Huang, Kaiyuan Yu, Qing Guo, Felix Juefei-Xu, Xiaojun Jia, Tianlin Li, Geguang Pu, Yang Liu
Improving Robustness of LiDAR-Camera Fusion Model against Weather Corruption from Fusion Strategy Perspective. CoRR (2024)
Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu
Searching for i-Good Lemmas to Accelerate Safety Model Checking. CAV (2) (2023)
Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, Geguang Pu
LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems. ESEC/SIGSOFT FSE (2023)
Shengping Xiao, Chengyu Zhang, Jianwen Li, Geguang Pu
FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format. TACAS (2) (2023)
Jingling Sun, Ting Su, Kai Liu, Chao Peng, Zhao Zhang, Geguang Pu, Tao Xie, Zhendong Su
Characterizing and Finding System Setting-Related Defects in Android Apps. IEEE Trans. Software Eng. 49 (4) (2023)
Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, Zhendong Su
An Empirical Study of Functional Bugs in Android Apps. ISSTA (2023)
Di Yang, Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Yang Liu, Geguang Pu
Architecture-agnostic Iterative Black-box Certified Defense against Adversarial Patches. CoRR (2023)
Jingling Sun, Ting Su, Jiayi Jiang, Jue Wang, Geguang Pu, Zhendong Su
Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps. ESEC/SIGSOFT FSE (2023)
Simiao Zhang, Jitao Bai, Menghong Guan, Yihao Huang, Yueling Zhang, Jun Sun, Geguang Pu
Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework. CoRR (2023)
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain. CoRR (2023)
Xiaoyu Zhang, Shengping Xiao, Yechuan Xia, Jianwen Li, Mingsong Chen, Geguang Pu
Accelerate Safety Model Checking Based on Complementary Approximate Reachability. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (9) (2023)
Yihao Huang, Liangru Sun, Qing Guo, Felix Juefei-Xu, Jiayi Zhu, Jincao Feng, Yang Liu, Geguang Pu
ALA: Naturalness-aware Adversarial Lightness Attack. ACM Multimedia (2023)
Enze Ma, Shan Huang, Weigang He, Ting Su, Jue Wang, Huiyu Liu, Geguang Pu, Zhendong Su
Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android. ESEC/SIGSOFT FSE (2023)
Yechuan Xia, Jianwen Li, Shengping Xiao, Weikai Miao, Geguang Pu
Identifying Boundary Conditions with the Syntax and Semantic Information of Goals. CoRR (2022)
Xiaoyu Zhang, Shengping Xiao, Jianwen Li, Geguang Pu, Ofer Strichman
Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding. ICCAD (2022)
Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu
Masked Faces with Faced Masks. CoRR (2022)
Yihao Huang, Felix Juefei-Xu, Qing Guo, Yang Liu, Geguang Pu
FakeLocator: Robust Localization of GAN-Based Face Manipulations. IEEE Trans. Inf. Forensics Secur. 17 (2022)
Ting Su, Lingling Fan, Sen Chen, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su
Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps. IEEE Trans. Software Eng. 48 (4) (2022)
Qiang Wang, Guang Kou, Longquan Chen, Ying He, Weipeng Cao, Geguang Pu
Runtime Assurance of Learning-Based Lane Changing Control for Autonomous Driving Vehicles. J. Circuits Syst. Comput. 31 (14) (2022)
Liangru Sun, Felix Juefei-Xu, Yihao Huang, Qing Guo, Jiayi Zhu, Jincao Feng, Yang Liu, Geguang Pu
ALA: Adversarial Lightness Attack via Naturalness-aware Regularizations. CoRR (2022)
Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu
Masked Faces with Faced Masks. ECCV Workshops (1) (2022)
Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, Zhendong Su
Understanding and finding system setting-related defects in Android apps. ISSTA (2021)
Hanyue Zheng, Jincao Feng, Weikai Miao, Geguang Pu
Generating Test Cases from Requirements: A Case Study in Railway Control System Domain. TASE (2021)
Yihao Huang, Qing Guo, Felix Juefei-Xu, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu
AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning. ACM Multimedia (2021)
Shufang Zhu, Lucas M. Tabajara, Geguang Pu, Moshe Y. Vardi
On the Power of Automata Minimization in Temporal Synthesis. GandALF (2021)
Hong Liu, Shuaipeng Zhang, Pengfei Zhang, Xinqiang Zhou, Xuebin Shao, Geguang Pu, Yan Zhang
Blockchain and Federated Learning for Collaborative Intrusion Detection in Vehicular Edge Computing. IEEE Trans. Veh. Technol. 70 (6) (2021)
Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi
On-the-fly Synthesis for LTL over Finite Traces. AAAI (2021)
Yihao Huang, Qing Guo, Felix Juefei-Xu, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu
AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning. CoRR (2021)
Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, Zhendong Su
Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Yihao Huang, Felix Juefei-Xu, Qing Guo, Weikai Miao, Yang Liu, Geguang Pu
AdvBokeh: Learning to Adversarially Defocus Blur. CoRR (2021)
Chengyu Zhang, Minquan Sun, Jianwen Li, Ting Su, Geguang Pu
Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers. ICCAD (2021)
Yihao Huang, Felix Juefei-Xu, Run Wang, Xiaofei Xie, Lei Ma, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu
FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles. CoRR (2020)
Yihao Huang, Felix Juefei-Xu, Qing Guo, Xiaofei Xie, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu
FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise. CoRR (2020)
Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction. CoRR (2020)
Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi
LTLƒ Synthesis with Fairness and Stability Assumptions. AAAI (2020)
Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction. ACM Multimedia (2020)
Hong Liu, Pengfei Zhang, Geguang Pu, Tao Yang, Sabita Maharjan, Yan Zhang
Blockchain Empowered Cooperative Authentication With Data Traceability in Vehicular Edge Computing. IEEE Trans. Veh. Technol. 69 (4) (2020)
Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier
SAT-based explicit LTLf satisfiability checking. Artif. Intell. 289 (2020)
Cheng Wen, Haijun Wang, Yuekang Li, Shengchao Qin, Yang Liu, Zhiwu Xu, Hongxu Chen, Xiaofei Xie, Geguang Pu, Ting Liu
MemLock: memory usage guided fuzzing. ICSE (2020)
Jie Wu, Chengyu Zhang, Geguang Pu
Reinforcement Learning Guided Symbolic Execution. SANER (2020)
Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo, Geguang Pu
SAT-Based Automata Construction for LTL over Finite Traces. APSEC (2020)
Yueling Zhang, Geguang Pu, Jun Sun
Accelerating All-SAT Computation with Short Blocking Clauses. ASE (2020)
Yueling Zhang, Min Zhang, Geguang Pu
Optimizing backbone filtering. Sci. Comput. Program. 187 (2020)
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. ESEC/SIGSOFT FSE (2020)
Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi
SAT-Based Explicit LTLf Satisfiability Checking. AAAI (2019)
Yueling Zhang, Geguang Pu, Min Zhang
SMTBCF: Efficient Backbone Computing for SMT Formulas. ICFEM (2019)
Rohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi, Kristin Y. Rozier
Intersection and Rotation of Assumption Literals Boosts Bug-Finding. VSTTE (2019)
Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. CoRR (2019)
Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, Zhendong Su
Finding and understanding bugs in software model checkers. ESEC/SIGSOFT FSE (2019)
Shufang Zhu, Geguang Pu, Moshe Y. Vardi
First-Order vs. Second-Order Encodings for \textsc ltl_f -to-Automata Translation. TAMC (2019)
Yueling Zhang, Geguang Pu, Min Zhang, William Y
Generating adversarial examples for DNN using pooling layers. J. Intell. Fuzzy Syst. 37 (4) (2019)
Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. ASE (2019)
Shufang Zhu, Geguang Pu, Moshe Y. Vardi
First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation. CoRR (2019)
Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi
SAT-based explicit LTL reasoning and its application to satisfiability checking. Formal Methods Syst. Des. 54 (2) (2019)
Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi
LTLf Synthesis with Fairness and Stability Assumptions. CoRR (2019)
Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Preface for the special issue for ATVA 2015. Acta Informatica 55 (8) (2018)
Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu, Zhoulai Fu, Zhendong Su
Towards Efficient Data-flow Test Data Generation. CoRR (2018)
Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He
An explicit transition system construction approach to LTL satisfiability checking. Formal Aspects Comput. 30 (2) (2018)
Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Y. Vardi
SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability. CAV (2) (2018)
Yueling Zhang, Min Zhang, Geguang Pu, Fu Song, Jianwen Li
Towards backbone computing: A Greedy-Whitening based approach. AI Commun. 31 (3) (2018)
Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He
Accelerating LTL satisfiability checking by SAT solvers. J. Log. Comput. 28 (6) (2018)
Chengyu 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. CoRR (2018)
Zuohua Ding, Yuan Zhou, Geguang Pu, MengChu Zhou
Online Failure Prediction for Railway Transportation Systems Based on Fuzzy Rules and Data Analysis. IEEE Trans. Reliab. 67 (3) (2018)
Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su
Large-scale analysis of framework-specific exceptions in Android apps. ICSE (2018)
Bin Fang, Mihaela Sighireanu, Geguang Pu, Wen Su, Jean-Raymond Abrial, Mengfei Yang, Lei Qiao
Formal modelling of list based dynamic memory allocators. Sci. China Inf. Sci. 61 (12) (2018)
Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su
Large-Scale Analysis of Framework-Specific Exceptions in Android Apps. CoRR (2018)
Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu
Efficiently Manifesting Asynchronous Programming Errors in Android Apps. CoRR (2018)
Chengyu Zhang, Ting Su, Yichen Yan, Ke Wu, Geguang Pu
Towards Efficient Data-flow Test Data Generation Using KLEE. CoRR (2018)
Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi
SAT-based Explicit LTLf Satisfiability Checking. CoRR (2018)
Chengyu 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. ICSE (SEIP) (2018)
Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu
Efficiently manifesting asynchronous programming errors in Android apps. ASE (2018)
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
A Symbolic Approach to Safety LTL Synthesis. CoRR (2017)
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
Symbolic LTLf Synthesis. IJCAI (2017)
Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song
Optimizing backbone filtering. TASE (2017)
Ting Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su
A Survey on Data-Flow Testing. ACM Comput. Surv. 50 (1) (2017)
Mingsong Chen, Yongxiang Bao, Xin Fu, Geguang Pu, Tongquan Wei
Efficient Resource Constrained Scheduling Using Parallel Two-Phase Branch-and-Bound Heuristics. IEEE Trans. Parallel Distributed Syst. 28 (5) (2017)
Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi
Safety model checking with complementary approximations. ICCAD (2017)
Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, Zhendong Su
Guided, stochastic model-based GUI testing of Android apps. ESEC/SIGSOFT FSE (2017)
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
A Symbolic Approach to Safety ltl Synthesis. Haifa Verification Conference (2017)
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
Symbolic LTLf Synthesis. CoRR (2017)
Mingsong Chen, Xinqian Zhang, Geguang Pu, Xin Fu, Prabhat Mishra
Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques. IEEE Trans. Computers 65 (7) (2016)
Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen, Kunpeng Xiong
Automated Requirements Validation for ATP Software via Specification Review and Testing. ICFEM (2016)
Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su
Automated coverage-driven testing: combining symbolic execution and model checking. Sci. China Inf. Sci. 59 (9) (2016)
Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi
Approximate Reachability. CoRR (2016)
Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi
SAT-Based Explicit LTL Reasoning. Haifa Verification Conference (2015)
Fu Song, Weikai Miao, Geguang Pu, Min Zhang
On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. CONCUR (2015)
Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song
Modeling and Verifying Google File System. HASE (2015)
Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi
SAT-based Explicit LTL Reasoning. CoRR (2015)
Wen Su, Jean-Raymond Abrial, Geguang Pu, Bin Fang
Formal Development of a Real-Time Operating System Memory Manager. ICECCS (2015)

Geguang Pu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Geguang Pu