Building a web thesaurus from web link structure. - Zheng Chen 001; Shengping Liu; Liu Wenyin; Geguang Pu; Wei-Ying Ma (SIGIR, 2003)

An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. - Geguang Pu; Dang Van Hung; Jifeng He 001; Wang Yi 001 (IFM, 2004)

An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. - Geguang Pu; Xiangpeng Zhao; Shuling Wang; Zongyan Qiu; Jifeng He 001; Wang Yi 001 (SEFM, 2004)

Integrating Time and Resource into Circus. - Geguang Pu; Zongyan Qiu; Jifeng He 001 (SBMF, 2004)

Semantics of BPEL4WS-Like Fault and Compensation Handling. - Zongyan Qiu; Shuling Wang; Geguang Pu; Xiangpeng Zhao (FM, 2005)

Towards the Semantics and Verification of BPEL4WS. - Geguang Pu; Xiangpeng Zhao; Shuling Wang; Zongyan Qiu (WLFM@FM, 2005)

Exploring optimal solution to hardware/software partitioning for synchronous model. - Jifeng He 001; Dang Van Hung; Geguang Pu; Zongyan Qiu; Wang Yi 001 (Formal Aspects Comput., 2005)

A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. - Huibiao Zhu; Geguang Pu; Jifeng He 001 (ASIAN, 2006)

An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. - Geguang Pu; Jifeng He 001; Zongyan Qiu (DDECS, 2006)

Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. - Geguang Pu; Huibiao Zhu; Zongyan Qiu; Shuling Wang; Xiangpeng Zhao; Jifeng He 001 (FMOODS, 2006)

Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. - Geguang Pu; Chong Zhang; Zongyan Qiu; Jifeng He 001; Wang Yi 001 (ICECCS, 2006)

Towards the Semantics for Web Service Choreography Description Language. - Jing Li 062; Jifeng He 001; Geguang Pu; Huibiao Zhu (ICFEM, 2006)

Type Checking Choreography Description Language. - Hongli Yang; Xiangpeng Zhao; Zongyan Qiu; Chao Cai 002; Geguang Pu (ICFEM, 2006)

A Formal Model forWeb Service Choreography Description Language (WS-CDL). - Hongli Yang; Xiangpeng Zhao; Zongyan Qiu; Geguang Pu; Shuling Wang (ICWS, 2006)

Patterns with Algebraic Properties in BPEL0. - Geguang Pu; Huibiao Zhu; Jifeng He 001; Zongyan Qiu; Hongli Yang; Xiangpeng Zhao (ISoLA, 2006)

A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. - Geguang Pu; Chong Zhang; Zongyan Qiu; Zuoquan Lin; Jifeng He 001 (KES (1), 2006)

The Validation and Verification of WSCDL. - Geguang Pu; Jianqi Shi; Zheng Wang 005; Lu Jin; Jing Liu 012; Jifeng He 001 (APSEC, 2007)

Tool Support for BPEL Verification in ActiveBPEL Engine. - Yi Qian; Yuming Xu; Zheng Wang 005; Geguang Pu; Huibiao Zhu; Chao Cai 002 (ASWEC, 2007)

A Formal Model for Compensable Transactions. - Jing Li 062; Huibiao Zhu; Geguang Pu; Jifeng He 001 (ICECCS, 2007)

Modeling and Verifying Web Services Choreography Using Process Algebra. - Jing Li 062; Jifeng He 001; Huibiao Zhu; Geguang Pu (SEW, 2007)

Looking into Compensable Transactions. - Jing Li 062; Huibiao Zhu; Geguang Pu; Jifeng He 001 (SEW, 2007)

An Operational Approach to BPEL-like Programming. - Huibiao Zhu; Jifeng He 001; Geguang Pu; Jing Li 062 (SEW, 2007)

Conformance Validation between Choreography and Orchestration. - Jing Li 062; Huibiao Zhu; Geguang Pu (TASE, 2007)

Preface. - Geguang Pu; Volker Stolz (TTSS, 2007)

The Verification of rCOS Using Spin. - Xiao Yu; Zheng Wang 005; Geguang Pu; Dingding Mao; Jing Liu 012 (TTSS, 2007)

A model for BPEL-like languages. - Jifeng He 001; Huibiao Zhu; Geguang Pu (Frontiers Comput. Sci. China, 2007)

Execution Semantics for rCOS. - Zheng Wang 005; Xiao Yu; Geguang Pu; Libo Feng; Huibiao Zhu; Jifeng He 001 (APSEC, 2008)

A Denotational Model for Web Services Choreography. - Geguang Pu; Yongxin Zhao; Zheng Wang 005; Libo Feng; Huibiao Zhu; Jifeng He 001 (ICDCIT, 2008)

Static Check of WS-CDL Documents. - Lei Zhou 007; Hanyi Zhang; Tao Wang; Chuchao Yang; Zheng Wang 005; Meng Sun; Geguang Pu (SOSE, 2008)

A Bigraphical Model of WSBPEL. - Min Zhang 007; Ling Shi 002; Longfei Zhu; Yifei Wang; Libo Feng; Geguang Pu (TASE, 2008)

Modelling and Verification of Web Navigation. - Zuohua Ding; Mingyue Jiang; Geguang Pu; Jeff W. Sanders (ICWE, 2009)

Towards Scalable Compositional Test Generation. - Tao Sun; Zheng Wang 005; Geguang Pu; Xiao Yu; Zongyan Qiu; Bin Gu 006 (QSIC, 2009)

Verification of channel passing in choreography with model checking. - Liyang Peng; Chao Cai 002; Zongyan Qiu; Geguang Pu (SOCA, 2009)

Simulation and validation of Web services choreography. - Lei Zhou 007; Hao Xiao; Jing Ping; Geguang Pu; Hanyi Zhang (SOCA, 2009)

Path-Based Approach to Integration Testing. - Jueliang Hu; Zuohua Ding; Geguang Pu (SSIRI, 2009)

Test Data Generation for Derived Types in C Program. - Zheng Wang 005; Xiao Yu; Tao Sun; Geguang Pu; Zuohua Ding; Jueliang Hu (TASE, 2009)

Static validation of WS-CDL documents. - Geguang Pu; Zheng Wang 005; Lei Zhou 007; Hanyi Zhang; Tao Wang; Chuchao Yang; Liyang Peng; Meng Sun (Simul. Model. Pract. Theory, 2009)

Model-Based Methods for Linking Web Service Choreography and Orchestration. - Jun Sun 001; Yang Liu 003; Jin Song Dong; Geguang Pu; Tian Huat Tan (APSEC, 2010)

Automatically Testing Web Services Choreography with Assertions. - Lei Zhou 007; Jing Ping; Hao Xiao; Zheng Wang 005; Geguang Pu; Zuohua Ding (ICFEM, 2010)

SPARDL: A Requirement Modeling Language for Periodic Control System. - Zheng Wang 005; Jianwen Li; Yongxin Zhao; Yanxia Qi; Geguang Pu; Jifeng He 001; Bin Gu 006 (ISoLA (1), 2010)

Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications. - Zuohua Ding; Mingyue Jiang; Geguang Pu; Jing Liu 012 (QSIC, 2010)

Constraint Checking for XML-Based Language Specification by SAT Solver. - Hao Xiao; Zheng Wang 005; Geguang Pu; Bin Gu 006 (SSIRI (Companion), 2010)

A Formal Model for Service Choreography with Exception Handling and Finalization. - Yongxin Zhao; Zheng Wang 005; Geguang Pu; Huibiao Zhu (TASE, 2010)

A Parallel Approach to Concolic Testing with Low-cost Synchronization. - Xiao Yu; Shuai Sun; Geguang Pu; Siyuan Jiang; Zheng Wang 005 (TTSS, 2010)

Linking denotational semantics with operational semantics for web services. - Huibiao Zhu; Jifeng He 001; Jing Li 062; Geguang Pu; Jonathan P. Bowen (Innov. Syst. Softw. Eng., 2010)

Web services choreography validation. - Zheng Wang 005; Lei Zhou 007; Yongxin Zhao; Jing Ping; Hao Xiao; Geguang Pu; Huibiao Zhu (Serv. Oriented Comput. Appl., 2010)

An Event-B Interpretation for SPARDL Model. - Jianwen Li; Zheng Wang 005; Yongxin Zhao; Geguang Pu; Yanxia Qi; Bin Gu 006 (HASE, 2011)

A Unifying Approach to Validating Specification-Oriented XML Constraints. - Yongxin Zhao; Zheng Wang 005; Hao Xiao; Jing Ping; Geguang Pu; Jifeng He 001; Huibiao Zhu (HASE, 2011)

An Approach to Requirement Analysis for Periodic Control Systems. - Jianwen Li; Geguang Pu; Zheng Wang 005; Yuxiang Chen; Liyun Zhang; Yanxia Qi; Bin Gu 006 (SEW, 2012)

A Type System for SPARDL. - Zheng Wang 005; Geguang Pu; Jianwen Li; Bin Gu 006 (TASE, 2012)

The stochastic semantics and verification for periodic control systems. - Mengfei Yang; Zheng Wang 005; Geguang Pu; Shengchao Qin; Bin Gu 006; Jifeng He 001 (Sci. China Inf. Sci., 2012)

MDM: A Mode Diagram Modeling Framework for Periodic Control Systems - Zheng Wang 005; Geguang Pu; Shengchao Qin; Jianwen Li; Kim G. Larsen; Jan Madsen; Bin Gu 006; Jifeng He 001 (CoRR, 2012)

On the Relationship between LTL Normal Forms and Buechi Automata - Jianwen Li; Geguang Pu; Lijun Zhang 001; Zheng Wang 005; Jifeng He 001; Kim G. Larsen (CoRR, 2012)

MDM: A Mode Diagram Modeling Framework - Zheng Wang 005; Geguang Pu; Jianwen Li; Jifeng He 001; Shengchao Qin; Kim G. Larsen; Jan Madsen; Bin Gu 006 (FTSCS, 2012)

On the Relationship between LTL Normal Forms and Büchi Automata. - Jianwen Li; Geguang Pu; Lijun Zhang 001; Zheng Wang 005; Jifeng He 001; Kim Guldstrand Larsen (Theories of Programming and Formal Methods, 2013)

Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis. - Mingsong Chen 001; Lei Zhou 007; Geguang Pu; Jifeng He 001 (CODES+ISSS, 2013)

Branch-and-bound style resource constrained scheduling using efficient structure-aware pruning. - Mingsong Chen 001; Saijie Huang; Geguang Pu; Prabhat Mishra 001 (ISVLSI, 2013)

LTL Satisfiability Checking Revisited. - Jianwen Li; Lijun Zhang 001; Geguang Pu; Moshe Y. Vardi; Jifeng He 001 (TIME, 2013)

Polsat: A Portfolio LTL Satisfiability Solver. - Jianwen Li; Geguang Pu; Lijun Zhang 001; Yinbo Yao; Moshe Y. Vardi; Jifeng He 001 (CoRR, 2013)

A novel requirement analysis approach for periodic control systems. - Zheng Wang 005; Geguang Pu; Jianwen Li; Yuxiang Chen; Yongxin Zhao; Mingsong Chen 001; Bin Gu 006; Mengfei Yang; Jifeng He 001 (Frontiers Comput. Sci., 2013)

Runtime Verification by Convergent Formula Progression. - Yan Shen; Jianwen Li; Zheng Wang 005; Ting Su 001; Bin Fang 004; Geguang Pu; Wanwei Liu; Mingsong Chen 001 (APSEC (1), 2014)

LTLf Satisfiability Checking. - Jianwen Li; Lijun Zhang 001; Geguang Pu; Moshe Y. Vardi; Jifeng He 001 (ECAI, 2014)

Formalizing Google File System. - Mengdi Wang; Bo Li; Yongxin Zhao; Geguang Pu (PRDC, 2014)

Aalta: an LTL satisfiability checker over Infinite/Finite traces. - Jianwen Li; Yinbo Yao; Geguang Pu; Lijun Zhang 001; Jifeng He 001 (SIGSOFT FSE, 2014)

Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution. - Ting Su 001; Geguang Pu; Bin Fang 004; Jifeng He 001; Jun Yan; Siyuan Jiang; Jianjun Zhao 001 (SERE, 2014)

Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking. - Wanwei Liu; Xiaoguang Mao; Geguang Pu; Rui Wang 017 (TASE, 2014)

Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling. - Mingsong Chen 001; Fan Gu; Lei Zhou 007; Geguang Pu; Xiao Liu 004 (VLSID, 2014)

Fast LTL Satisfiability Checking by SAT Solvers. - Jianwen Li; Geguang Pu; Lijun Zhang 001; Moshe Y. Vardi; Jifeng He 001 (CoRR, 2014)

The semantics and verification of timed service choreography. - Yongxin Zhao; Hao Xiao; Zheng Wang 005; Geguang Pu; Ting Su 001 (Int. J. Comput. Math., 2014)

On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. - Fu Song; Weikai Miao; Geguang Pu; Min Zhang 007 (CONCUR, 2015)

Modeling and Verifying Google File System. - Bo Li; Mengdi Wang; Yongxin Zhao; Geguang Pu; Huibiao Zhu; Fu Song (HASE, 2015)

SAT-Based Explicit LTL Reasoning. - Jianwen Li; Shufang Zhu 001; Geguang Pu; Moshe Y. Vardi (Haifa Verification Conference, 2015)

Formal Development of a Real-Time Operating System Memory Manager. - Wen Su; Jean-Raymond Abrial; Geguang Pu; Bin Fang 004 (ICECCS, 2015)

Combining Symbolic Execution and Model Checking for Data Flow Testing. - Ting Su 001; Zhoulai Fu; Geguang Pu; Jifeng He 001; Zhendong Su 001 (ICSE (1), 2015)

Fm-QCA: A Novel Approach to Multi-value Qualitative Comparative Analysis. - Ke Wu; Shiping Tang; Geguang Pu; Min Wu 003; Ting Su 001 (KSEM, 2015)

Automated Requirements Validation for ATP Software via Specification Review and Testing. - Weikai Miao; Geguang Pu; Yinbo Yao; Ting Su 001; Danzhu Bao; Yang Liu 003; Shuohao Chen; Kunpeng Xiong (ICFEM, 2016)

Automated coverage-driven testing: combining symbolic execution and model checking. - Ting Su 001; Geguang Pu; Weikai Miao; Jifeng He 001; Zhendong Su 001 (Sci. China Inf. Sci., 2016)

Approximate Reachability. - Jianwen Li; Shufang Zhu 001; Yueling Zhang; Geguang Pu; Moshe Y. Vardi (CoRR, 2016)

Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques. - Mingsong Chen 001; Xinqian Zhang; Geguang Pu; Xin Fu; Prabhat Mishra 001 (IEEE Trans. Computers, 2016)

A Symbolic Approach to Safety ltl Synthesis. - Shufang Zhu 001; Lucas M. Tabajara; Jianwen Li; Geguang Pu; Moshe Y. Vardi (Haifa Verification Conference, 2017)

Safety model checking with complementary approximations. - Jianwen Li; Shufang Zhu 001; Yueling Zhang; Geguang Pu; Moshe Y. Vardi (ICCAD, 2017)

Symbolic LTLf Synthesis. - Shufang Zhu 001; Lucas M. Tabajara; Jianwen Li; Geguang Pu; Moshe Y. Vardi (IJCAI, 2017)

Guided, stochastic model-based GUI testing of Android apps. - Ting Su 001; Guozhu Meng; Yuting Chen 001; Ke Wu; Weiming Yang; Yao Yao; Geguang Pu; Yang Liu 003; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2017)

Optimizing backbone filtering. - Yueling Zhang; Jianwen Li; Min Zhang 007; Geguang Pu; Fu Song (TASE, 2017)

A Survey on Data-Flow Testing. - Ting Su 001; Ke Wu; Weikai Miao; Geguang Pu; Jifeng He 001; Yuting Chen 001; Zhendong Su 001 (ACM Comput. Surv., 2017)

Efficient Resource Constrained Scheduling Using Parallel Two-Phase Branch-and-Bound Heuristics. - Mingsong Chen 001; Yongxiang Bao; Xin Fu; Geguang Pu; Tongquan Wei (IEEE Trans. Parallel Distributed Syst., 2017)

SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability. - Jianwen Li; Rohit Dureja; Geguang Pu; Kristin Yvonne Rozier; Moshe Y. Vardi (CAV (2), 2018)

Large-scale analysis of framework-specific exceptions in Android apps. - Lingling Fan 003; Ting Su 001; Sen Chen 001; Guozhu Meng; Yang Liu 003; Lihua Xu; Geguang Pu; Zhendong Su 001 (ICSE, 2018)

Smartunit: empirical evaluations for automated unit testing of embedded software in industry. - Chengyu Zhang 001; Yichen Yan; Hanru Zhou; Yinbo Yao; Ke Wu; Ting Su 001; Weikai Miao; Geguang Pu (ICSE (SEIP), 2018)

Efficiently manifesting asynchronous programming errors in Android apps. - Lingling Fan 003; Ting Su 001; Sen Chen 001; Guozhu Meng; Yang Liu 003; Lihua Xu; Geguang Pu (ASE, 2018)

Preface for the special issue for ATVA 2015. - Bernd Finkbeiner; Geguang Pu; Lijun Zhang 001 (Acta Informatica, 2018)

Towards backbone computing: A Greedy-Whitening based approach. - Yueling Zhang; Min Zhang 007; Geguang Pu; Fu Song; Jianwen Li (AI Commun., 2018)

Formal modelling of list based dynamic memory allocators. - Bin Fang 004; Mihaela Sighireanu; Geguang Pu; Wen Su; Jean-Raymond Abrial; Mengfei Yang; Lei Qiao 002 (Sci. China Inf. Sci., 2018)

Towards Efficient Data-flow Test Data Generation Using KLEE. - Chengyu Zhang 001; Ting Su 001; Yichen Yan; Ke Wu; Geguang Pu (CoRR, 2018)

Towards Efficient Data-flow Test Data Generation. - Ting Su 001; Chengyu Zhang 001; Yichen Yan; Lingling Fan 003; Geguang Pu; Yang Liu 003; Zhoulai Fu; Zhendong Su 001 (CoRR, 2018)

An explicit transition system construction approach to LTL satisfiability checking. - Jianwen Li; Lijun Zhang 001; Shufang Zhu 001; Geguang Pu; Moshe Y. Vardi; Jifeng He 001 (Formal Aspects Comput., 2018)

Accelerating LTL satisfiability checking by SAT solvers. - Jianwen Li; Geguang Pu; Lijun Zhang 001; Moshe Y. Vardi; Jifeng He 001 (J. Log. Comput., 2018)

Online Failure Prediction for Railway Transportation Systems Based on Fuzzy Rules and Data Analysis. - Zuohua Ding; Yuan Zhou 005; Geguang Pu; MengChu Zhou (IEEE Trans. Reliab., 2018)

SMTBCF: Efficient Backbone Computing for SMT Formulas. - Yueling Zhang; Geguang Pu; Min Zhang 007 (ICFEM, 2019)

Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. - Yihao Huang 001; Jincao Feng; Hanyue Zheng; Jiayi Zhu 002; Shang Wang; Siyuan Jiang; Weikai Miao; Geguang Pu (ASE, 2019)

Finding and understanding bugs in software model checkers. - Chengyu Zhang 001; Ting Su 001; Yichen Yan; Fuyuan Zhang; Geguang Pu; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2019)

First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation. - Shufang Zhu 001; Geguang Pu; Moshe Y. Vardi (TAMC, 2019)

Intersection and Rotation of Assumption Literals Boosts Bug-Finding. - Rohit Dureja; Jianwen Li; Geguang Pu; Moshe Y. Vardi; Kristin Y. Rozier (VSTTE, 2019)

First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation. - Shufang Zhu 001; Geguang Pu; Moshe Y. Vardi (CoRR, 2019)

SAT-based explicit LTL reasoning and its application to satisfiability checking. - Jianwen Li; Shufang Zhu 001; Geguang Pu; Lijun Zhang 001; Moshe Y. Vardi (Formal Methods Syst. Des., 2019)

Generating adversarial examples for DNN using pooling layers. - Yueling Zhang; Geguang Pu; Min Zhang 007; William Y (J. Intell. Fuzzy Syst., 2019)

LTLƒ Synthesis with Fairness and Stability Assumptions. - Shufang Zhu 001; Giuseppe De Giacomo; Geguang Pu; Moshe Y. Vardi (AAAI, 2020)

SAT-Based Automata Construction for LTL over Finite Traces. - Yingying Shi; Shengping Xiao; Jianwen Li; Jian Guo 005; Geguang Pu (APSEC, 2020)

MemLock: memory usage guided fuzzing. - Cheng Wen 002; Haijun Wang 002; Yuekang Li; Shengchao Qin; Yang Liu 003; Zhiwu Xu 001; Hongxu Chen 001; Xiaofei Xie; Geguang Pu; Ting Liu 002 (ICSE, 2020)

Accelerating All-SAT Computation with Short Blocking Clauses. - Yueling Zhang; Geguang Pu; Jun Sun 001 (ASE, 2020)

FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction. - Yihao Huang 001; Felix Juefei-Xu; Run Wang 001; Qing Guo 005; Lei Ma 003; Xiaofei Xie; Jianwen Li; Weikai Miao; Yang Liu 003; Geguang Pu (ACM Multimedia, 2020)

FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. - Jincao Feng; Weikai Miao; Hanyue Zheng; Yihao Huang 001; Jianwen Li; Zheng Wang 005; Ting Su 001; Bin Gu 006; Geguang Pu; Mengfei Yang; Jifeng He 001 (ESEC/SIGSOFT FSE, 2020)

Reinforcement Learning Guided Symbolic Execution. - Jie Wu; Chengyu Zhang 001; Geguang Pu (SANER, 2020)

SAT-based explicit LTLf satisfiability checking. - Jianwen Li; Geguang Pu; Yueling Zhang; Moshe Y. Vardi; Kristin Y. Rozier (Artif. Intell., 2020)

FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles. - Yihao Huang 001; Felix Juefei-Xu; Run Wang 001; Xiaofei Xie; Lei Ma 003; Jianwen Li; Weikai Miao; Yang Liu 003; Geguang Pu (CoRR, 2020)

FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise. - Yihao Huang 001; Felix Juefei-Xu; Qing Guo 005; Xiaofei Xie; Lei Ma 003; Weikai Miao; Yang Liu 003; Geguang Pu (CoRR, 2020)

Optimizing backbone filtering. - Yueling Zhang; Min Zhang 007; Geguang Pu (Sci. Comput. Program., 2020)

Blockchain Empowered Cooperative Authentication With Data Traceability in Vehicular Edge Computing. - Hong Liu 006; Pengfei Zhang; Geguang Pu; Tao Yang; Sabita Maharjan; Yan Zhang 002 (IEEE Trans. Veh. Technol., 2020)

On-the-fly Synthesis for LTL over Finite Traces. - Shengping Xiao; Jianwen Li; Shufang Zhu 001; Yingying Shi; Geguang Pu; Moshe Y. Vardi (AAAI, 2021)

Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers. - Chengyu Zhang 001; Minquan Sun; Jianwen Li; Ting Su 001; Geguang Pu (ICCAD, 2021)

Understanding and finding system setting-related defects in Android apps. - Jingling Sun; Ting Su 001; Junxin Li; Zhen Dong; Geguang Pu; Tao Xie 001; Zhendong Su 001 (ISSTA, 2021)

AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning. - Yihao Huang 001; Qing Guo 005; Felix Juefei-Xu; Lei Ma 003; Weikai Miao; Yang Liu 003; Geguang Pu (ACM Multimedia, 2021)

Generating Test Cases from Requirements: A Case Study in Railway Control System Domain. - Hanyue Zheng; Jincao Feng; Weikai Miao; Geguang Pu (TASE, 2021)

On the Power of Automata Minimization in Temporal Synthesis. - Shufang Zhu 001; Lucas M. Tabajara; Geguang Pu; Moshe Y. Vardi (GandALF, 2021)

AdvBokeh: Learning to Adversarially Defocus Blur. - Yihao Huang 001; Felix Juefei-Xu; Qing Guo 005; Weikai Miao; Yang Liu 003; Geguang Pu (CoRR, 2021)

Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs. - Ting Su 001; Yichen Yan; Jue Wang; Jingling Sun; Yiheng Xiong; Geguang Pu; Ke Wang 022; Zhendong Su 001 (Proc. ACM Program. Lang., 2021)

Blockchain and Federated Learning for Collaborative Intrusion Detection in Vehicular Edge Computing. - Hong Liu 006; Shuaipeng Zhang; Pengfei Zhang; Xinqiang Zhou; Xuebin Shao; Geguang Pu; Yan Zhang 002 (IEEE Trans. Veh. Technol., 2021)

Masked Faces with Faced Masks. - Jiayi Zhu 002; Qing Guo 005; Felix Juefei-Xu; Yihao Huang 001; Yang Liu 003; Geguang Pu (ECCV Workshops (1), 2022)

Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding. - Xiaoyu Zhang; Shengping Xiao; Jianwen Li; Geguang Pu; Ofer Strichman (ICCAD, 2022)

ALA: Adversarial Lightness Attack via Naturalness-aware Regularizations. - Liangru Sun; Felix Juefei-Xu; Yihao Huang 001; Qing Guo 005; Jiayi Zhu 002; Jincao Feng; Yang Liu 003; Geguang Pu (CoRR, 2022)

Identifying Boundary Conditions with the Syntax and Semantic Information of Goals. - Yechuan Xia; Jianwen Li; Shengping Xiao; Weikai Miao; Geguang Pu (CoRR, 2022)

Runtime Assurance of Learning-Based Lane Changing Control for Autonomous Driving Vehicles. - Qiang Wang 020; Guang Kou; Longquan Chen; Ying He 006; Weipeng Cao; Geguang Pu (J. Circuits Syst. Comput., 2022)

FakeLocator: Robust Localization of GAN-Based Face Manipulations. - Yihao Huang 001; Felix Juefei-Xu; Qing Guo 005; Yang Liu 003; Geguang Pu (IEEE Trans. Inf. Forensics Secur., 2022)

Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps. - Ting Su 001; Lingling Fan 003; Sen Chen 001; Yang Liu 003; Lihua Xu; Geguang Pu; Zhendong Su 001 (IEEE Trans. Software Eng., 2022)

Searching for i-Good Lemmas to Accelerate Safety Model Checking. - Yechuan Xia; Anna Becchi; Alessandro Cimatti; Alberto Griggio; Jianwen Li; Geguang Pu (CAV (2), 2023)

An Empirical Study of Functional Bugs in Android Apps. - Yiheng Xiong; Mengqian Xu; Ting Su 001; Jingling Sun; Jue Wang; He Wen; Geguang Pu; Jifeng He 001; Zhendong Su 001 (ISSTA, 2023)

ALA: Naturalness-aware Adversarial Lightness Attack. - Yihao Huang 001; Liangru Sun; Qing Guo 005; Felix Juefei-Xu; Jiayi Zhu 002; Jincao Feng; Yang Liu 003; Geguang Pu (ACM Multimedia, 2023)

LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems. - Yibo Dong 001; Xiaoyu Zhang; Yicong Xu; Chang Cai; Yu Chen; Weikai Miao; Jianwen Li; Geguang Pu (ESEC/SIGSOFT FSE, 2023)

Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android. - Enze Ma; Shan Huang; Weigang He; Ting Su 001; Jue Wang; Huiyu Liu; Geguang Pu; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2023)

Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps. - Jingling Sun; Ting Su 001; Jiayi Jiang; Jue Wang; Geguang Pu; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2023)

FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format. - Shengping Xiao; Chengyu Zhang 001; Jianwen Li; Geguang Pu (TACAS (2), 2023)

Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework. - Simiao Zhang; Jitao Bai; Menghong Guan; Yihao Huang 001; Yueling Zhang; Jun Sun 001; Geguang Pu (CoRR, 2023)

Characterizing and Finding System Setting-Related Defects in Android Apps. - Jingling Sun; Ting Su 001; Kai Liu; Chao Peng 002; Zhao Zhang; Geguang Pu; Tao Xie 001; Zhendong Su 001 (IEEE Trans. Software Eng., 2023)

Accelerate Safety Model Checking Based on Complementary Approximate Reachability. - Xiaoyu Zhang; Shengping Xiao; Yechuan Xia; Jianwen Li; Mingsong Chen 001; Geguang Pu (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Personalization as a Shortcut for Few-Shot Backdoor Attack against Text-to-Image Diffusion Models. - Yihao Huang 001; Felix Juefei-Xu; Qing Guo 005; Jie Zhang 002; Yutong Wu 009; Ming Hu 003; Tianlin Li; Geguang Pu; Yang Liu 003 (AAAI, 2024)

Cosalpure: Learning Concept from Group Images for Robust Co-Saliency Detection. - Jiayi Zhu 002; Qing Guo 005; Felix Juefei-Xu; Yihao Huang 001; Yang Liu 003; Geguang Pu (CVPR, 2024)

CFP: A Reinforcement Learning Framework for Comprehensive Fairness-Performance Trade-Off in Machine Learning. - Simiao Zhang; Jitao Bai; Menghong Guan; Yueling Zhang; Jun Sun 001; Yihao Huang 001; Jiaping Wang; Chengcheng Wan 001; Ting Su 001; Geguang Pu (ICANN (1), 2024)

Architecture-Agnostic Iterative Black-Box Certified Defense Against Adversarial Patches. - Di Yang; Yihao Huang 001; Qing Guo 005; Felix Juefei-Xu; Ming Hu 003; Yang Liu 003; Geguang Pu (ICASSP, 2024)

FIPSER: Improving Fairness Testing of DNN by Seed Prioritization. - Junwei Chen; Yueling Zhang; Lingfeng Zhang; Min Zhang 007; Chengcheng Wan 001; Ting Su 001; Geguang Pu (ASE, 2024)

General and Practical Property-based Testing for Android Apps. - Yiheng Xiong; Ting Su 001; Jue Wang; Jingling Sun; Geguang Pu; Zhendong Su 001 (ASE, 2024)

S3DA: A 3D Point Cloud Based PCB Solder Defect Detection Algorithm. - Yilongfei Xu; Zhewei Wang; Jinhao Liang; Yueling Zhang; Jincao Feng; Weikai Miao; Jiangtao Wang 009; Geguang Pu (SFPVV, 2024)

Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps. - Jingling Sun; Ting Su 001; Jun Sun 001; Jianwen Li; Mengfei Wang; Geguang Pu (SIGSOFT FSE Companion, 2024)

Model-Guided Synthesis for LTL over Finite Traces. - Shengping Xiao; Yongkang Li; Xinyue Huang; Yicong Xu; Jianwen Li; Geguang Pu; Ofer Strichman; Moshe Y. Vardi (VMCAI (1), 2024)

Experimenting a New Programming Practice with LLMs. - Simiao Zhang; Jiaping Wang; Guoliang Dong; Jun Sun 001; Yueling Zhang; Geguang Pu (CoRR, 2024)

Improving Robustness of LiDAR-Camera Fusion Model against Weather Corruption from Fusion Strategy Perspective. - Yihao Huang 001; Kaiyuan Yu; Qing Guo 005; Felix Juefei-Xu; Xiaojun Jia; Tianlin Li; Geguang Pu; Yang Liu 003 (CoRR, 2024)

Semantic-guided Prompt Organization for Universal Goal Hijacking against LLMs. - Yihao Huang 001; Chong Wang 013; Xiaojun Jia; Qing Guo 005; Felix Juefei-Xu; Jian Zhang 087; Geguang Pu; Yang Liu 003 (CoRR, 2024)

Text Modality Oriented Image Feature Extraction for Detecting Diffusion-based DeepFake. - Di Yang; Yihao Huang 001; Qing Guo 005; Felix Juefei-Xu; Xiaojun Jia; Run Wang 001; Geguang Pu; Yang Liu 003 (CoRR, 2024)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts. - Shengping Xiao; Yongkang Li; Shufang Zhu 001; Jun Sun 001; Jianwen Li; Geguang Pu; Moshe Y. Vardi (CoRR, 2024)

Efficient and Effective Universal Adversarial Attack against Vision-Language Pre-training Models. - Fan Yang; Yihao Huang 001; Kailong Wang 001; Ling Shi 002; Geguang Pu; Yang Liu 003; Haoyu Wang 001 (CoRR, 2024)

Revisiting Assumptions Ordering in CAR-Based Model Checking. - Yibo Dong 001; Yu Chen; Jianwen Li; Geguang Pu; Ofer Strichman (CoRR, 2024)

Concept Guided Co-saliency Objection Detection. - Jiayi Zhu 002; Qing Guo 005; Felix Juefei-Xu; Yihao Huang 001; Yang Liu 003; Geguang Pu (CoRR, 2024)

Texture Re-Scalable Universal Adversarial Perturbation. - Yihao Huang 001; Qing Guo 005; Felix Juefei-Xu; Ming Hu 003; Xiaojun Jia; Xiaochun Cao; Geguang Pu; Yang Liu 003 (IEEE Trans. Inf. Forensics Secur., 2024)

Natural & Adversarial Bokeh Rendering via Circle-of-Confusion Predictive Network. - Yihao Huang 001; Felix Juefei-Xu; Qing Guo 005; Geguang Pu; Yang Liu 003 (IEEE Trans. Multim., 2024)

Dodging DeepFake Detection via Implicit Spatial-Domain Notch Filtering. - Yihao Huang 001; Felix Juefei-Xu; Qing Guo 005; Yang Liu 003; Geguang Pu (IEEE Trans. Circuits Syst. Video Technol., 2024)

Perception-Guided Jailbreak Against Text-to-Image Models. - Yihao Huang 001; Le Liang; Tianlin Li; Xiaojun Jia; Run Wang 001; Weikai Miao; Geguang Pu; Yang Liu 003 (AAAI, 2025)

Efficient Universal Goal Hijacking with Semantics-guided Prompt Organization. - Yihao Huang 001; Chong Wang 013; Xiaojun Jia; Qing Guo 005; Felix Juefei-Xu; Jian Zhang 087; Yang Liu 003; Geguang Pu (ACL (1), 2025)

IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving. - Qichang Wang; Chuyang Chen; Ruiyang Xu; Haiying Sun; Chengcheng Wan 001; Ting Su 001; Yueling Zhang; Geguang Pu (ICSE Companion, 2025)

Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution: A Potential Approach for True Positive Confirmation (Registered Report). - Yihua Xu; Chengyu Zhang 001; Geguang Pu (ISSTA Companion, 2025)

Unleash the Hidden Power of CAR-Based Model Checking Through Dynamic Traversal. - Yibo Dong 001; Yu Chen; Jianwen Li; Geguang Pu (TASE, 2025)

Optimizing Input Minimization in Kernel Fuzzing. - Hui Guo; Hao Sun 021; Shan Huang; Ting Su 001; Geguang Pu; Shaohua Li 002 (USENIX ATC, 2025)

Scale-Invariant Adversarial Attack Against Arbitrary-Scale Super-Resolution. - Yihao Huang 001; Xin Luo; Qing Guo 005; Felix Juefei-Xu; Xiaojun Jia; Weikai Miao; Geguang Pu; Yang Liu 003 (IEEE Trans. Inf. Forensics Secur., 2025)

A Study of In-Context-Learning-Based Text-to-SQL Errors. - Jiawei Shen; Chengcheng Wan 001; Ruoyi Qiao; Jiazhen Zou; Hang Xu; Yuchen Shao; Yueling Zhang; Weikai Miao; Geguang Pu (CoRR, 2025)

Automated detection of atomicity violations in large-scale systems. - Hang He; Yixing Luo; Chengcheng Wan 001; Ting Su 001; Haiying Sun; Geguang Pu (CoRR, 2025)

Privacy Protection Against Personalized Text-to-Image Synthesis via Cross-image Consistency Constraints. - Guanyu Wang 005; Kailong Wang 001; Yihao Huang 001; Mingyi Zhou; Zhang Qing cnwatcher; Geguang Pu; Li Li 029 (CoRR, 2025)

Seeing It Before It Happens: In-Generation NSFW Detection for Diffusion-Based Text-to-Image Models. - Fan Yang; Yihao Huang 001; Jiayi Zhu 002; Ling Shi 002; Geguang Pu; Jin Song Dong; Kailong Wang 001 (CoRR, 2025)

A Compositional Framework for On-the-Fly LTLf Synthesis. - Yongkang Li; Shengping Xiao; Shufang Zhu 001; Jianwen Li; Geguang Pu (CoRR, 2025)