logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
G

Geguang Pu

east china normal university

25H指数
221论文数
3.1K被引数
收录论文 20
发表时间
logo
An On-the-Fly Synthesis Framework for LTL over Finite Traces有限迹上LTL的在线合成框架
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.
err分享
err收藏
Unleash the Hidden Power of CAR-Based Model Checking Through Dynamic Traversal通过动态遍历释放基于CAR模型的模型检测的隐藏力量
errTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
err2026-01-01
err0
PREAI
errDong, Yibo; Chen, Yu; Li, Jianwen; Pu, Geguang
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
Characterizing and Finding System Setting-Related Defects in Android Apps在Android应用程序中描述和查找与系统设置相关的缺陷
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
err分享
err收藏
Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps为什么我的应用程序崩溃？了解和基准测试特定于框架的Android应用程序例外
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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.
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
Revisiting Assumptions Ordering in CAR-Based Model Checking重新审视基于CAR的模型检测中的假设排序
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
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
MengChu Zhou
H 指数: 131 · 论文数: 1.7K
张彦 封面图
张彦 (Yan Zhang)
H 指数: 106 · 论文数: 1.5K
刘
刘洋 (Yang Liu)
H 指数: 106 · 论文数: 3.5K
K
Ke Wu
H 指数: 99 · 论文数: 1.9K
M
Moshe Y. Vardi
H 指数: 90 · 论文数: 869
查看更多