Geguang Pu(蒲戈光)

Professor

Software Engineering Institute, East China Normal University

华东师范大学软件工程学院

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

His research interests include program analysis, formal modeling of business processes, automated testing, and verification. From 2006, he served as a PC members in a number of international academic conferences, including ATVA, ICFEM, ICTAC, etc.

Papers133 papers

Sort

By YearBy Citation

Blockchain Empowered Cooperative Authentication with Data Traceability in Vehicular Edge Computing

Hong Liu, Pengfei Zhang,Geguang Pu, Tao Yang,Sabita Maharjan,Yan Zhang

IEEE Transactions on Vehicular Technology, pp.1-1, (2020)

Bibtex

Why My App Crashes Understanding and Benchmarking Framework-specific Exceptions of Android apps

Ting Su,Lingling Fan,Sen Chen,Yang Liu,Lihua Xu,Geguang Pu,Zhendong Su

IEEE Transactions on Software Engineering, pp.1-1, (2020)

Bibtex

FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain

Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang,Jianwen Li,Zheng Wang,Ting Su,Bin Gu,Geguang Pu,Mengfei Yang,Jifeng He

ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundatio..., pp.1376-1386, (2020)

EIBibtex

FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise

Yihao Huang, Felix Juefei-Xu, Qing Guo,Xiaofei Xie,Lei Ma, Weikai Miao,Yang Liu,Geguang Pu

Bibtex

Accelerating All-SAT Computation with Short Blocking Clauses

Yueling Zhang,Geguang Pu,Jun Sun

ASE, pp.6-17, (2020)

EIBibtex

On the Power of Automata Minimization in Temporal Synthesis

Shufang Zhu,Lucas M. Tabajara,Geguang Pu,Moshe Y. Vardi

Bibtex

FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction

Huang Yihao, Juefei-Xu Felix,Wang Run, Guo Qing, Ma Lei,Xie Xiaofei, Li Jianwen, Miao Weikai,Liu Yang,Pu Geguang

MM '20: The 28th ACM International Conference on Multimedia Seattle WA USA ..., pp.1217-1226, (2020)

Cited by2EIBibtex

MemLock: Memory Usage Guided Fuzzing

Cheng Wen,Haijun Wang, Yuekang Li,Shengchao Qin,Yang Liu, Zhiwu Xu, Hongxu Chen,Xiaofei Xie,GeGuang Pu,Ting Liu

ICSE, pp.765-777, (2020)

Cited by5EIBibtex

Blockchain Empowered Cooperative Authentication With Data Traceability in Vehicular Edge Computing

Hong Liu, Pengfei Zhang,Geguang Pu,Tao Yang,Sabita Maharjan,Yan Zhang

IEEE Transactions on Vehicular Technology, no. 4 (2020): 4221-4232

EIWOSBibtex

Reinforcement Learning Guided Symbolic Execution

Jie Wu, Chengyu Zhang,Geguang Pu

SANER, pp.662-663, (2020)

EIBibtex

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

Huang Yihao, Juefei-Xu Felix,Wang Run,Xie Xiaofei, Ma Lei,Li Jianwen, Miao Weikai,Liu Yang,Pu Geguang

Cited by3Bibtex

SAT-based explicit LTLf satisfiability checking

Jianwen Li,Geguang Pu, Yueling Zhang,Moshe Y. Vardi,Kristin Yvonne Rozier

Artif. Intell., no. 1 (2020): 103369

EIBibtex

Optimizing backbone filtering

Yueling Zhang, Min Zhang,Geguang Pu

Sci. Comput. Program., (2020): 102374

Cited by3EIBibtex

LTLf Synthesis with Fairness and Stability Assumptions

Shufang Zhu,Giuseppe De Giacomo,Geguang Pu,Moshe Vardi

national conference on artificial intelligence, (2020)

Cited by1Bibtex

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

Shufang Zhu,Geguang Pu,Moshe Y. Vardi

arXiv: Logic in Computer Science, (2019)

EIBibtex

Intersection and Rotation of Assumption Literals Boosts Bug-Finding

Rohit Dureja,Jianwen Li,Geguang Pu,Moshe Y. Vardi, Kristin Y. Rozier

VSTTE, pp.180-192, (2019)

EIBibtex

SAT-based Explicit LTLf Satisfiability Checking

Jianwen Li,Kristin Y. Rozier,Geguang Pu, Yueling Zhang,Moshe Y. Vardi

AAAI, (2019)

Cited by2EIBibtex

Prema - A Tool for Precise Requirements Editing, Modeling and Analysis

Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao,Geguang Pu

ASE, pp.1166-1169, (2019)

EIBibtex

SAT-based Explicit LTLf Satisfiability Checking

Jianwen Li,Geguang Pu, Kristin Rozier,Moshe Vardi, Yueling Zhang

national conference on artificial intelligence, (2019)

Bibtex

Generating adversarial examples for DNN using pooling layers

Yueling Zhang,Geguang Pu, Min Zhang, William Y

Journal of Intelligent and Fuzzy Systems, no. 4 (2019): 4615-4620

EIBibtex

View All

Base Info Papers Patents Projects