logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
G

Geguang Pu

east china normal university

25H-index
221Paper Count
3.1KCitation Count
Published Papers 20
Publication Date
logo
An On-the-Fly Synthesis Framework for LTL over Finite Traces
errACM Transactions on Software Engineering and Methodology
IF6.2
err2026-04-01
err0
PREAI
errXiao, Shengping; Li, Yongkang; Zhu, Shufang; Sun, Jun; Li, Jianwen; Pu, Geguang; Vardi, Moshe y.
errShare
errSave
Unleash the Hidden Power of CAR-Based Model Checking Through Dynamic Traversal
errTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
err2026-01-01
err0
PREAI
errDong, Yibo; Chen, Yu; Li, Jianwen; Pu, Geguang
errShare
errSave
Texture Re-Scalable Universal Adversarial Perturbation
errIEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY
IF8
err2024-01-01
err0
errOAAI
errHuang, Yihao; Guo, Qing; Juefei-Xu, Felix; Hu, Ming; Jia, Xiaojun; Cao, Xiaochun; Pu, Geguang; Liu, Yang
errShare
errSave
Natural & Adversarial Bokeh Rendering via Circle-of-Confusion Predictive Network
errIEEE TRANSACTIONS ON MULTIMEDIA
IF9.7
err2024-01-01
err1
PREAI
errHuang, Yihao; Juefei-Xu, Felix; Guo, Qing; Pu, Geguang; Liu, Yang
errShare
errSave
Characterizing and Finding System Setting-Related Defects in Android Apps
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2023-04-01
err8
PREAI
errSun, Jingling; Su, Ting; Liu, Kai; Peng, Chao; Zhang, Zhao; Pu, Geguang; Xie, Tao; Su, Zhendong
errShare
errSave
Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2022-04-01
err32
PREAI
errSu, Ting; Fan, Lingling; Chen, Sen; Liu, Yang; Xu, Lihua; Pu, Geguang; Su, Zhendong
errShare
errSave
FakeLocator: Robust Localization of GAN-Based Face Manipulations
errIEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY
IF8
err2022-01-01
err35
errOAAI
errHuang, Yihao; Juefei-Xu, Felix; Guo, Qing; Liu, Yang; Pu, Geguang
errShare
errSave
Blockchain and Federated Learning for Collaborative Intrusion Detection in Vehicular Edge Computing
errIEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY
IF7.1
err2021-06-01
err166
PREAI
errLiu, Hong; Zhang, Shuaipeng; Zhang, Pengfei; Zhou, Xinqiang; Shao, Xuebin; Pu, Geguang; Zhang, Yan
errShare
errSave
SAT-based explicit LTLf satisfiability checking
errartificial intelligence review
IF4.6
err2020-12-01
err20
errOAAI
errLi, Jianwen; Pu, Geguang; Zhang, Yueling; Vardi, Moshe Y.; Rozier, Kristin Y.
errShare
errSave
Blockchain Empowered Cooperative Authentication With Data Traceability in Vehicular Edge Computing
errIEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY
IF7.1
err2020-04-01
err86
PREAI
errLiu, Hong; Zhang, Pengfei; Pu, Geguang; Yang, Tao; Maharjan, Sabita; Zhang, Yan
errShare
errSave
Formal modelling of list based dynamic memory allocators
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2018-11-13
err6
PREAI
errFang, Bin; Sighireanu, Mihaela; Pu, Geguang; Su, Wen; Abrial, Jean-Raymond; Yang, Mengfei; Qiao, Lei
errShare
errSave
Online Failure Prediction for Railway Transportation Systems Based on Fuzzy Rules and Data Analysis
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2018-09-01
err12
PREAI
errDing, Zuohua; Zhou, Yuan; Pu, Geguang; Zhou, MengChu
errShare
errSave
Efficient Resource Constrained Scheduling Using Parallel Two-Phase Branch-and-Bound Heuristics
errIEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
IF6
err2017-05-01
err3
errOAAI
errChen, Mingsong; Bao, Yongxiang; Fu, Xin; Pu, Geguang; Wei, Tongquan
errShare
errSave
A Survey on Data-Flow Testing
errACM COMPUTING SURVEYS
IF28
err2017-03-10
err70
PREAI
errSu, Ting; Wu, Ke; Miao, Weikai; Pu, Geguang; He, Jifeng; Chen, Yuting; Su, Zhendong
errShare
errSave
Automated coverage-driven testing: combining symbolic execution and model checking
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2016-08-23
err4
PREAI
errSu, Ting; Pu, Geguang; Miao, Weikai; He, Jifeng; Su, Zhendong
errShare
errSave
Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2016-07-01
err5
PREAI
errChen, Mingsong; Zhang, Xinqian; Pu, Geguang; Fu, Xin; Mishra, Prabhat
errShare
errSave
A novel requirement analysis approach for periodic control systems
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2013-01-28
err6
PREAI
errWang, Zheng; Pu, Geguang; Li, Jiangwen; Chen, Yuxiang; Zhao, Yongxin; Chen, Mingsong; Gu, Bin; Yang, Mengfei; He, Jifeng
errShare
errSave
The stochastic semantics and verification for periodic control systems
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2012-12-29
err6
PREAI
errYang MengFei; Wang Zheng; Pu GeGuang; Qin ShengChao; Gu Bin; He JiFeng
errShare
errSave
Static validation of WS-CDL documents
errSIMULATION MODELLING PRACTICE AND THEORY
IF4.6
err2009-09-01
err1
PREAI
errPu, Geguang; Wang, Zheng; Zhou, Lei; Zhang, Hanyi; Wang, Tao; Yang, Chuchao; Peng, Liyang; Sun, Meng
errShare
errSave
Revisiting Assumptions Ordering in CAR-Based Model Checking
errIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IF2.9
err
err0
PREAI
errYibo Dong; Yu Chen; Jianwen Li; Geguang Pu; Ofer Strichman
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
M
MengChu Zhou
H-index: 131 · Papers: 1.7K
张彦 cover
张彦 (Yan Zhang)
H-index: 106 · Papers: 1.5K
刘
刘洋 (Yang Liu)
H-index: 106 · Papers: 3.5K
K
Ke Wu
H-index: 99 · Papers: 1.9K
M
Moshe Y. Vardi
H-index: 90 · Papers: 869
View more