Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Pu, Geguang
129  Ergebnisse:
Personensuche X
?
1

Dodging DeepFake Detection via Implicit Spatial-Domain Notc..:

Huang, Yihao ; Juefei-Xu, Felix ; Guo, Qing..
IEEE Transactions on Circuits and Systems for Video Technology.  , 2024
Link: https://doi.org/10.1109/..
 
?
2

Natural & Adversarial Bokeh Rendering via Circle-of-Confusi..:

Huang, Yihao ; Juefei-Xu, Felix ; Guo, Qing..
IEEE Transactions on Multimedia.  26 (2024)  - p. 5729-5740 , 2024
Link: https://doi.org/10.1109/..
 
?
3

Searching for i-Good Lemmas to Accelerate Safety Model Chec..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Xia, Yechuan ; Becchi, Anna ; Cimatti, Alessandro... - p. 288-308 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Model-Guided Synthesis for LTL over Finite Traces:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Xiao, Shengping ; Li, Yongkang ; Huang, Xinyue... - p. 186-207 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Characterizing and Finding System Setting-Related Defects i..:

Sun, Jingling ; Su, Ting ; Liu, Kai...
IEEE Transactions on Software Engineering.  49 (2023)  4 - p. 2941-2963 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Outlook:

, In: Reports of China's Basic Research; The Fundamental Research for Trustworthy Software,
He, Jifeng ; Fang, Binxing ; Sun, Jiaguang... - p. 65-72 , 2023
Link: https://doi.org/10.1007/..
 
?
7

A Trade-off Design Approach for Integrating Cybersecurity, ..:

, In: Lecture Notes in Electrical Engineering; Proceedings of China SAE Congress 2022: Selected Papers,
Yu, Jinghua ; Luo, Feng ; Pu, Geguang. - p. 577-592 , 2023
Link: https://doi.org/10.1007/..
 
?
8

ALA: Naturalness-aware Adversarial Lightness Attack:

, In: Proceedings of the 31st ACM International Conference on Multimedia,
Huang, Yihao ; Sun, Liangru ; Guo, Qing... - p. 2418-2426 , 2023
Link: https://dl.acm.org/doi/1..
 
?
9

Accelerate Safety Model Checking Based on Complementary App..:

Zhang, Xiaoyu ; Xiao, Shengping ; Xia, Yechuan...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  42 (2023)  9 - p. 3105-3117 , 2023
Link: https://doi.org/10.1109/..
 
?
10

Automata-Based Trace Analysis for Aiding Diagnosing GUI Tes..:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Ma, Enze ; Huang, Shan ; He, Weigang... - p. 592-604 , 2023
Link: https://dl.acm.org/doi/1..
 
?
11

Project Overview:

, In: Reports of China's Basic Research; The Fundamental Research for Trustworthy Software,
He, Jifeng ; Fang, Binxing ; Sun, Jiaguang... - p. 1-24 , 2023
Link: https://doi.org/10.1007/..
 
?
12

Major Research Achievements:

, In: Reports of China's Basic Research; The Fundamental Research for Trustworthy Software,
He, Jifeng ; Fang, Binxing ; Sun, Jiaguang... - p. 35-63 , 2023
Link: https://doi.org/10.1007/..
 
?
13

FuzzBtor2: A Random Generator of Word-Level Model Checking ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Xiao, Shengping ; Zhang, Chengyu ; Li, Jianwen. - p. 36-43 , 2023
Link: https://doi.org/10.1007/..
 
?
14

An Empirical Study of Functional Bugs in Android Apps:

, In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis,
Xiong, Yiheng ; Xu, Mengqian ; Su, Ting... - p. 1319-1331 , 2023
Link: https://dl.acm.org/doi/1..
 
?
15

Property-Based Fuzzing for Finding Data Manipulation Errors..:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Sun, Jingling ; Su, Ting ; Jiang, Jiayi... - p. 1088-1100 , 2023
Link: https://dl.acm.org/doi/1..
 
1-15