An On-the-Fly Synthesis Framework for LTL over Finite Traces.

Geguang Pu https://orcid.org/0000-0001-9750-8334 https://www.wikidata.org/entity/Q130961844

Shengping Xiao Yongkang Li Shufang Zhu 0001 Jun Sun 0001 Jianwen Li Geguang Pu Moshe Y. Vardi An On-the-Fly Synthesis Framework for LTL over Finite Traces. 2026 April 115:1-115:33 35 ACM Trans. Softw. Eng. Methodol. 4 https://doi.org/10.1145/3749101 db/journals/tosem/tosem35.html#XiaoLZSLPV26 streams/journals/tosem

Xiaoyun Yu Li fan Xiangfei Qiu Nanqing Dong Yonggui Huang Honggang Qi Geguang Pu Wanli Ouyang Xi Chen 0004 Jilin Hu MEMTS: Internalizing Domain Knowledge via Parameterized Memory for Retrieval-Free Domain Adaptation of Time Series Foundation Models. 2026 February abs/2602.13783 CoRR https://doi.org/10.48550/arXiv.2602.13783 db/journals/corr/corr2602.html#abs-2602-13783 streams/journals/corr

Yiheng Xiong Ting Su 0001 Jingling Sun Jue Wang Qin Li Geguang Pu Zhendong Su 0001 From Natural Language to Executable Properties for Property-based Testing of Mobile Apps. 2026 March abs/2603.21263 CoRR https://doi.org/10.48550/arXiv.2603.21263 db/journals/corr/corr2603.html#abs-2603-21263 streams/journals/corr

Zidong Zhao Yihao Huang 0001 Qing Guo 0005 Tianlin Li Anran Li 0001 Kailong Wang 0001 Jin Song Dong 0001 Geguang Pu Verify Claimed Text-to-Image Models via Boundary-Aware Prompt Optimization. 2026 March abs/2603.26328 CoRR https://doi.org/10.48550/arXiv.2603.26328 db/journals/corr/corr2603.html#abs-2603-26328 streams/journals/corr

Quan Zhang 0003 Lianhang Fu Lvsi Lian Gwihwan Go Yujue Wang Chijin Zhou Yu Jiang 0001 Geguang Pu Evaluating Privilege Usage of Agents on Real-World Tools. 2026 March abs/2603.28166 CoRR https://doi.org/10.48550/arXiv.2603.28166 db/journals/corr/corr2603.html#abs-2603-28166 streams/journals/corr

Di Yang Xinou Xie Xiuwen Yang Ming Hu 0003 Yihao Huang 0001 Yueling Zhang Weikai Miao Ting Su 0001 Chengcheng Wan 0001 Geguang Pu Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation. 2026 April abs/2604.21505 CoRR https://doi.org/10.48550/arXiv.2604.21505 db/journals/corr/corr2604.html#abs-2604-21505 streams/journals/corr

Yibo Dong 0001 Yu Chen Jianwen Li Geguang Pu Ofer Strichman Revisiting Assumptions Ordering in CAR-Based Model Checking. 4032-4037 2025 October 44 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10 https://doi.org/10.1109/TCAD.2025.3551658 db/journals/tcad/tcad44.html#DongCLPS25 streams/journals/tcad

Yihao Huang 0001 Xin Luo Qing Guo 0005 Felix Juefei-Xu Xiaojun Jia Weikai Miao Geguang Pu Yang Liu 0003 Scale-Invariant Adversarial Attack Against Arbitrary-Scale Super-Resolution. 3909-3924 2025 20 IEEE Trans. Inf. Forensics Secur. https://doi.org/10.1109/TIFS.2025.3550079 db/journals/tifs/tifs20.html#HuangLGJJMPL25 streams/journals/tifs

Yihao Huang 0001 Le Liang Tianlin Li Xiaojun Jia Run Wang 0001 Weikai Miao Geguang Pu Yang Liu 0003 Perception-Guided Jailbreak Against Text-to-Image Models. 26238-26247 2025 AAAI https://doi.org/10.1609/aaai.v39i25.34821 conf/aaai/2025 db/conf/aaai/aaai2025.html#0001LLJWMPL25 Yihao Huang 0001 Chong Wang 0013 Xiaojun Jia Qing Guo 0005 Felix Juefei-Xu Jian Zhang 0087 Yang Liu 0003 Geguang Pu Efficient Universal Goal Hijacking with Semantics-guided Prompt Organization. 5796-5816 2025 ACL (1) https://doi.org/10.18653/v1/2025.acl-long.290 https://aclanthology.org/2025.acl-long.290/ conf/acl/2025-1 db/conf/acl/acl2025-1.html#0001WJGJZLP25 Yongkang Li Shengping Xiao Shufang Zhu 0001 Jianwen Li Geguang Pu A Compositional Framework for On-the-Fly LTLf Synthesis. 1711-1718 2025 ECAI https://doi.org/10.3233/FAIA250999 conf/ecai/2025 db/conf/ecai/ecai2025.html#LiX0LP25 Qichang Wang Chuyang Chen 0001 Ruiyang Xu Haiying Sun Chengcheng Wan 0001 Ting Su 0001 Yueling Zhang Geguang Pu IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving. 37-40 2025 ICSE Companion https://doi.org/10.1109/ICSE-Companion66252.2025.00019 conf/icse/2025c db/conf/icse/icse2025c.html#WangCXS00ZP25 Qian Wang 0002 Zhiyuan Hu Wei Ma Qiang Chen Yueling Zhang Geguang Pu Runtime Verification of Tactical Data Link. 1-8 2025 ISSREW https://doi.org/10.1109/ISSREW67781.2025.00037 conf/issre/2025w db/conf/issre/issre2025w.html#WangHMCZP25 streams/conf/issre Yihua Xu Chengyu Zhang 0001 Geguang Pu Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution: A Potential Approach for True Positive Confirmation (Registered Report). 124-132 2025 ISSTA Companion https://doi.org/10.1145/3713081.3731720 conf/issta/2025c db/conf/issta/issta2025c.html#Xu0P25 Yibo Dong 0001 Yicong Xu Wenjing Deng Yu Chen Xiaoyu Zhang Jianwen Li Chengyu Zhang 0001 Geguang Pu Diagnosing Performance Differences in Model Checkers via Runtime-Guided Problem Generation. 129-140 2025 ASE https://doi.org/10.1109/ASE63991.2025.00019 conf/kbse/2025 db/conf/kbse/ase2025.html#DongXDCZLZP25 streams/conf/kbse Yibo Dong 0001 Xiwei Wu Jianwen Li Geguang Pu Ofer Strichman Accelerating CAR-Based Model-Checking with Multiple Unsatisfiable Cores. 88-105 2025 SPIN https://doi.org/10.1007/978-3-032-06847-7_5 conf/spin/2025 db/conf/spin/spin2025.html#DongWLPS25 streams/conf/spin Yibo Dong 0001 Yu Chen Jianwen Li Geguang Pu Unleash the Hidden Power of CAR-Based Model Checking Through Dynamic Traversal. 380-397 2025 TASE https://doi.org/10.1007/978-3-031-98208-8_22 conf/tase/2025 db/conf/tase/tase2025.html#DongCLP25 streams/conf/tase Hui Guo Hao Sun 0021 Shan Huang Ting Su 0001 Geguang Pu Shaohua Li 0002 Optimizing Input Minimization in Kernel Fuzzing. 1451-1465 2025 USENIX ATC https://www.usenix.org/conference/atc25/presentation/guo conf/usenix/2025 db/conf/usenix/usenix2025.html#GuoSH0P025

Jiawei Shen Chengcheng Wan 0001 Ruoyi Qiao Jiazhen Zou Hang Xu Yuchen Shao Yueling Zhang Weikai Miao Geguang Pu A Study of In-Context-Learning-Based Text-to-SQL Errors. 2025 January abs/2501.09310 CoRR https://doi.org/10.48550/arXiv.2501.09310 db/journals/corr/corr2501.html#abs-2501-09310 streams/journals/corr

Yihao Huang 0001 Xin Luo Qing Guo 0005 Felix Juefei-Xu Xiaojun Jia Weikai Miao Geguang Pu Yang Liu 0003 Scale-Invariant Adversarial Attack against Arbitrary-scale Super-resolution. 2025 March abs/2503.04385 CoRR https://doi.org/10.48550/arXiv.2503.04385 db/journals/corr/corr2503.html#abs-2503-04385 streams/journals/corr

Hang He Yixing Luo Chengcheng Wan 0001 Ting Su 0001 Haiying Sun Geguang Pu Automated detection of atomicity violations in large-scale systems. 2025 April abs/2504.00521 CoRR https://doi.org/10.48550/arXiv.2504.00521 db/journals/corr/corr2504.html#abs-2504-00521 streams/journals/corr

Guanyu Wang 0005 Kailong Wang 0001 Yihao Huang 0001 Mingyi Zhou Zhang Qing cnwatcher Geguang Pu Li Li 0029 Privacy Protection Against Personalized Text-to-Image Synthesis via Cross-image Consistency Constraints. 2025 April abs/2504.12747 CoRR https://doi.org/10.48550/arXiv.2504.12747 db/journals/corr/corr2504.html#abs-2504-12747 streams/journals/corr

Fan Yang Yihao Huang 0001 Jiayi Zhu 0002 Ling Shi 0002 Geguang Pu Jin Song Dong 0001 Kailong Wang 0001 Seeing It Before It Happens: In-Generation NSFW Detection for Diffusion-Based Text-to-Image Models. 2025 August abs/2508.03006 CoRR https://doi.org/10.48550/arXiv.2508.03006 db/journals/corr/corr2508.html#abs-2508-03006 streams/journals/corr

Yongkang Li Shengping Xiao Shufang Zhu 0001 Jianwen Li Geguang Pu A Compositional Framework for On-the-Fly LTLf Synthesis. 2025 August abs/2508.04116 CoRR https://doi.org/10.48550/arXiv.2508.04116 db/journals/corr/corr2508.html#abs-2508-04116 streams/journals/corr

Jiayi Zhu 0002 Yihao Huang 0001 Yue Cao Xiaojun Jia Qing Guo 0005 Felix Juefei-Xu Geguang Pu Bin Wang Beyond Pixels: Semantic-aware Typographic Attack for Geo-Privacy Protection. 2025 November abs/2511.12575 CoRR https://doi.org/10.48550/arXiv.2511.12575 db/journals/corr/corr2511.html#abs-2511-12575 streams/journals/corr

Yihao Huang 0001 Felix Juefei-Xu Qing Guo 0005 Yang Liu 0003 Geguang Pu Dodging DeepFake Detection via Implicit Spatial-Domain Notch Filtering. 6949-6962 2024 August 34 IEEE Trans. Circuits Syst. Video Technol. 8 https://doi.org/10.1109/TCSVT.2023.3325427 db/journals/tcsv/tcsv34.html#HuangJGLP24 streams/journals/tcsv

Yihao Huang 0001 Qing Guo 0005 Felix Juefei-Xu Ming Hu 0003 Xiaojun Jia Xiaochun Cao Geguang Pu Yang Liu 0003 Texture Re-Scalable Universal Adversarial Perturbation. 8291-8305 2024 19 IEEE Trans. Inf. Forensics Secur. https://doi.org/10.1109/TIFS.2024.3416030 db/journals/tifs/tifs19.html#HuangGJHJCPL24 streams/journals/tifs

Yihao Huang 0001 Felix Juefei-Xu Qing Guo 0005 Geguang Pu Yang Liu 0003 Natural & Adversarial Bokeh Rendering via Circle-of-Confusion Predictive Network. 5729-5740 2024 26 IEEE Trans. Multim. https://doi.org/10.1109/TMM.2023.3338413 db/journals/tmm/tmm26.html#HuangJGPL24

Yihao Huang 0001 Felix Juefei-Xu Qing Guo 0005 Jie Zhang 0002 Yutong Wu 0009 Ming Hu 0003 Tianlin Li Geguang Pu Yang Liu 0003 Personalization as a Shortcut for Few-Shot Backdoor Attack against Text-to-Image Diffusion Models. 21169-21178 2024 AAAI https://doi.org/10.1609/aaai.v38i19.30110 conf/aaai/2024 db/conf/aaai/aaai2024.html#0001JGZ00LPL24 Jiayi Zhu 0002 Qing Guo 0005 Felix Juefei-Xu Yihao Huang 0001 Yang Liu 0003 Geguang Pu Cosalpure: Learning Concept from Group Images for Robust Co-Saliency Detection. 3669-3678 2024 CVPR https://doi.org/10.1109/CVPR52733.2024.00352 conf/cvpr/2024 db/conf/cvpr/cvpr2024.html#00020JH0P24 Simiao Zhang Jitao Bai Menghong Guan Yueling Zhang Jun Sun 0001 Yihao Huang 0001 Jiaping Wang Chengcheng Wan 0001 Ting Su 0001 Geguang Pu CFP: A Reinforcement Learning Framework for Comprehensive Fairness-Performance Trade-Off in Machine Learning. 463-477 2024 ICANN (1) https://doi.org/10.1007/978-3-031-72332-2_30 conf/icann/2024-1 db/conf/icann/icann2024-1.html#ZhangBGZSHWWSP24 streams/conf/icann Di Yang Yihao Huang 0001 Qing Guo 0005 Felix Juefei-Xu Ming Hu 0003 Yang Liu 0003 Geguang Pu Architecture-Agnostic Iterative Black-Box Certified Defense Against Adversarial Patches. 5985-5989 2024 ICASSP https://doi.org/10.1109/ICASSP48485.2024.10448145 conf/icassp/2024 db/conf/icassp/icassp2024.html#Yang00J0LP24 Yiheng Xiong Ting Su 0001 Jue Wang Jingling Sun Geguang Pu Zhendong Su 0001 General and Practical Property-based Testing for Android Apps. 53-64 2024 ASE https://doi.org/10.1145/3691620.3694986 conf/kbse/2024 db/conf/kbse/ase2024.html#Xiong0WSP024 Junwei Chen Yueling Zhang Lingfeng Zhang Min Zhang 0007 Chengcheng Wan 0001 Ting Su 0001 Geguang Pu FIPSER: Improving Fairness Testing of DNN by Seed Prioritization. 1069-1081 2024 ASE https://doi.org/10.1145/3691620.3695486 conf/kbse/2024 db/conf/kbse/ase2024.html#ChenZZZ00P24 Yilongfei Xu Zhewei Wang Jinhao Liang Yueling Zhang Jincao Feng Weikai Miao Jiangtao Wang 0009 Geguang Pu S3DA: A 3D Point Cloud Based PCB Solder Defect Detection Algorithm. 115-130 2024 SFPVV https://doi.org/10.1007/978-981-96-1621-3_8 conf/sfpvv/2024 db/conf/sfpvv/sfpvv2024.html#XuWLZFMWP24 streams/conf/sfpvv Jingling Sun Ting Su 0001 Jun Sun 0001 Jianwen Li Mengfei Wang Geguang Pu Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps. 2024 SIGSOFT FSE Companion https://doi.org/10.1145/3663529.3663863 https://www.wikidata.org/entity/Q131011708 conf/sigsoft/2024c db/conf/sigsoft/fse2024c.html#Sun00LWP24 440-451 Shengping Xiao Yongkang Li Xinyue Huang Yicong Xu Jianwen Li Geguang Pu Ofer Strichman Moshe Y. Vardi Model-Guided Synthesis for LTL over Finite Traces. 186-207 2024 VMCAI (1) https://doi.org/10.1007/978-3-031-50524-9_9 conf/vmcai/2024-1 db/conf/vmcai/vmcai2024-1.html#XiaoLHXLPSV24

Simiao Zhang Jiaping Wang Guoliang Dong Jun Sun 0001 Yueling Zhang Geguang Pu Experimenting a New Programming Practice with LLMs. 2024 abs/2401.01062 CoRR https://doi.org/10.48550/arXiv.2401.01062 db/journals/corr/corr2401.html#abs-2401-01062

Yihao Huang 0001 Kaiyuan Yu Qing Guo 0005 Felix Juefei-Xu Xiaojun Jia Tianlin Li Geguang Pu Yang Liu 0003 Improving Robustness of LiDAR-Camera Fusion Model against Weather Corruption from Fusion Strategy Perspective. 2024 abs/2402.02738 CoRR https://doi.org/10.48550/arXiv.2402.02738 db/journals/corr/corr2402.html#abs-2402-02738

Jiayi Zhu 0002 Qing Guo 0005 Felix Juefei-Xu Yihao Huang 0001 Yang Liu 0003 Geguang Pu CosalPure: Learning Concept from Group Images for Robust Co-Saliency Detection. 2024 abs/2403.18554 CoRR https://doi.org/10.48550/arXiv.2403.18554 db/journals/corr/corr2403.html#abs-2403-18554

Yihao Huang 0001 Chong Wang 0013 Xiaojun Jia Qing Guo 0005 Felix Juefei-Xu Jian Zhang 0087 Geguang Pu Yang Liu 0003 Semantic-guided Prompt Organization for Universal Goal Hijacking against LLMs. 2024 abs/2405.14189 CoRR https://doi.org/10.48550/arXiv.2405.14189 db/journals/corr/corr2405.html#abs-2405-14189

Di Yang Yihao Huang 0001 Qing Guo 0005 Felix Juefei-Xu Xiaojun Jia Run Wang 0001 Geguang Pu Yang Liu 0003 Text Modality Oriented Image Feature Extraction for Detecting Diffusion-based DeepFake. 2024 abs/2405.18071 CoRR https://doi.org/10.48550/arXiv.2405.18071 db/journals/corr/corr2405.html#abs-2405-18071

Yihao Huang 0001 Qing Guo 0005 Felix Juefei-Xu Ming Hu 0003 Xiaojun Jia Xiaochun Cao Geguang Pu Yang Liu 0003 Texture Re-scalable Universal Adversarial Perturbation. 2024 abs/2406.06089 CoRR https://doi.org/10.48550/arXiv.2406.06089 db/journals/corr/corr2406.html#abs-2406-06089

Shengping Xiao Yongkang Li Shufang Zhu 0001 Jun Sun 0001 Jianwen Li Geguang Pu Moshe Y. Vardi On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts. 2024 abs/2408.07324 CoRR https://doi.org/10.48550/arXiv.2408.07324 db/journals/corr/corr2408.html#abs-2408-07324 streams/journals/corr

Yihao Huang 0001 Le Liang Tianlin Li Xiaojun Jia Run Wang 0001 Weikai Miao Geguang Pu Yang Liu 0003 Perception-guided Jailbreak against Text-to-Image Models. 2024 abs/2408.10848 CoRR https://doi.org/10.48550/arXiv.2408.10848 db/journals/corr/corr2408.html#abs-2408-10848 streams/journals/corr

Fan Yang Yihao Huang 0001 Kailong Wang 0001 Ling Shi 0002 Geguang Pu Yang Liu 0003 Haoyu Wang 0001 Efficient and Effective Universal Adversarial Attack against Vision-Language Pre-training Models. 2024 abs/2410.11639 CoRR https://doi.org/10.48550/arXiv.2410.11639 db/journals/corr/corr2410.html#abs-2410-11639 streams/journals/corr

Yibo Dong 0001 Yu Chen Jianwen Li Geguang Pu Ofer Strichman Revisiting Assumptions Ordering in CAR-Based Model Checking. 2024 abs/2411.00026 CoRR https://doi.org/10.48550/arXiv.2411.00026 db/journals/corr/corr2411.html#abs-2411-00026 streams/journals/corr

Jiayi Zhu 0002 Qing Guo 0005 Felix Juefei-Xu Yihao Huang 0001 Yang Liu 0003 Geguang Pu Concept Guided Co-saliency Objection Detection. 2024 abs/2412.16609 CoRR https://doi.org/10.48550/arXiv.2412.16609 db/journals/corr/corr2412.html#abs-2412-16609 streams/journals/corr

Xiaoyu Zhang Shengping Xiao Yechuan Xia Jianwen Li Mingsong Chen 0001 Geguang Pu Accelerate Safety Model Checking Based on Complementary Approximate Reachability. 3105-3117 2023 September 42 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 9 https://doi.org/10.1109/TCAD.2023.3236272 db/journals/tcad/tcad42.html#ZhangXXLCP23

Jingling Sun Ting Su 0001 Kai Liu Chao Peng 0002 Zhao Zhang Geguang Pu Tao Xie 0001 Zhendong Su 0001 Characterizing and Finding System Setting-Related Defects in Android Apps. 2941-2963 2023 April 49 IEEE Trans. Software Eng. 4 https://doi.org/10.1109/TSE.2023.3236449 db/journals/tse/tse49.html#SunSLPZPXS23

Yechuan Xia Anna Becchi Alessandro Cimatti Alberto Griggio Jianwen Li Geguang Pu Searching for i-Good Lemmas to Accelerate Safety Model Checking. 288-308 2023 CAV (2) https://doi.org/10.1007/978-3-031-37703-7_14 conf/cav/2023-2 db/conf/cav/cav2023-2.html#XiaBCGLP23 Yiheng Xiong Mengqian Xu Ting Su 0001 Jingling Sun Jue Wang He Wen Geguang Pu Jifeng He 0001 Zhendong Su 0001 An Empirical Study of Functional Bugs in Android Apps. 1319-1331 2023 ISSTA https://doi.org/10.1145/3597926.3598138 https://www.wikidata.org/entity/Q131014583 conf/issta/2023 db/conf/issta/issta2023.html#XiongX0SWWP0023 Yihao Huang 0001 Liangru Sun Qing Guo 0005 Felix Juefei-Xu Jiayi Zhu 0002 Jincao Feng Yang Liu 0003 Geguang Pu ALA: Naturalness-aware Adversarial Lightness Attack. 2418-2426 2023 ACM Multimedia https://doi.org/10.1145/3581783.3611914 conf/mm/2023 db/conf/mm/mm2023.html#0001S0JZFLP23 Enze Ma Shan Huang Weigang He Ting Su 0001 Jue Wang Huiyu Liu Geguang Pu Zhendong Su 0001 Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android. 592-604 2023 ESEC/SIGSOFT FSE https://doi.org/10.1145/3611643.3616361 https://www.wikidata.org/entity/Q131013515 conf/sigsoft/2023 db/conf/sigsoft/fse2023.html#MaHH0WLP023 Jingling Sun Ting Su 0001 Jiayi Jiang Jue Wang Geguang Pu Zhendong Su 0001 Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps. 1088-1100 2023 ESEC/SIGSOFT FSE https://doi.org/10.1145/3611643.3616286 https://www.wikidata.org/entity/Q130961845 conf/sigsoft/2023 db/conf/sigsoft/fse2023.html#Sun0JWP023 Yibo Dong 0001 Xiaoyu Zhang Yicong Xu Chang Cai Yu Chen Weikai Miao Jianwen Li Geguang Pu LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems. 1914-1925 2023 ESEC/SIGSOFT FSE https://doi.org/10.1145/3611643.3613874 conf/sigsoft/2023 db/conf/sigsoft/fse2023.html#DongZXCCMLP23 Shengping Xiao Chengyu Zhang 0001 Jianwen Li Geguang Pu FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format. 36-43 2023 TACAS (2) https://doi.org/10.1007/978-3-031-30820-8_5 conf/tacas/2023-2 db/conf/tacas/tacas2023-2.html#XiaoZLP23

Di Yang Yihao Huang 0001 Qing Guo 0005 Felix Juefei-Xu Ming Hu 0003 Yang Liu 0003 Geguang Pu Architecture-agnostic Iterative Black-box Certified Defense against Adversarial Patches. 2023 abs/2305.10929 CoRR https://doi.org/10.48550/arXiv.2305.10929 db/journals/corr/corr2305.html#abs-2305-10929

Jincao Feng Weikai Miao Hanyue Zheng Yihao Huang 0001 Jianwen Li Zheng Wang 0005 Ting Su 0001 Bin Gu 0006 Geguang Pu Mengfei Yang Jifeng He 0001 FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain. 2023 abs/2306.01260 CoRR https://doi.org/10.48550/arXiv.2306.01260 db/journals/corr/corr2306.html#abs-2306-01260

Simiao Zhang Jitao Bai Menghong Guan Yihao Huang 0001 Yueling Zhang Jun Sun 0001 Geguang Pu Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework. 2023 abs/2307.11379 CoRR https://doi.org/10.48550/arXiv.2307.11379 db/journals/corr/corr2307.html#abs-2307-11379

Qiang Wang 0020 Guang Kou Longquan Chen Ying He 0006 Weipeng Cao Geguang Pu Runtime Assurance of Learning-Based Lane Changing Control for Autonomous Driving Vehicles. 2250249:1-2250249:22 2022 31 J. Circuits Syst. Comput. 14 https://doi.org/10.1142/S0218126622502498 db/journals/jcsc/jcsc31.html#WangKCHCP22

Yihao Huang 0001 Felix Juefei-Xu Qing Guo 0005 Yang Liu 0003 Geguang Pu FakeLocator: Robust Localization of GAN-Based Face Manipulations. 2657-2672 2022 17 IEEE Trans. Inf. Forensics Secur. https://doi.org/10.1109/TIFS.2022.3141262 https://www.wikidata.org/entity/Q113435671 db/journals/tifs/tifs17.html#HuangJGLP22

Ting Su 0001 Lingling Fan 0003 Sen Chen 0001 Yang Liu 0003 Lihua Xu Geguang Pu Zhendong Su 0001 Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps. 1115-1137 2022 48 IEEE Trans. Software Eng. 4 https://doi.org/10.1109/TSE.2020.3013438 db/journals/tse/tse48.html#SuFCLXPS22

Jiayi Zhu 0002 Qing Guo 0005 Felix Juefei-Xu Yihao Huang 0001 Yang Liu 0003 Geguang Pu Masked Faces with Faced Masks. 360-377 2022 ECCV Workshops (1) https://doi.org/10.1007/978-3-031-25056-9_24 conf/eccv/2022-w1 db/conf/eccv/eccv2022-w1.html#ZhuGJHLP22 Xiaoyu Zhang Shengping Xiao Jianwen Li Geguang Pu Ofer Strichman Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding. 126:1-126:9 2022 ICCAD https://doi.org/10.1145/3508352.3549393 https://ieeexplore.ieee.org/document/10069166 conf/iccad/2022 db/conf/iccad/iccad2022.html#ZhangXLPS22

Liangru Sun Felix Juefei-Xu Yihao Huang 0001 Qing Guo 0005 Jiayi Zhu 0002 Jincao Feng Yang Liu 0003 Geguang Pu ALA: Adversarial Lightness Attack via Naturalness-aware Regularizations. 2022 abs/2201.06070 CoRR https://arxiv.org/abs/2201.06070 db/journals/corr/corr2201.html#abs-2201-06070

Jiayi Zhu 0002 Qing Guo 0005 Felix Juefei-Xu Yihao Huang 0001 Yang Liu 0003 Geguang Pu Masked Faces with Faced Masks. 2022 abs/2201.06427 CoRR https://arxiv.org/abs/2201.06427 db/journals/corr/corr2201.html#abs-2201-06427

Yechuan Xia Jianwen Li Shengping Xiao Weikai Miao Geguang Pu Identifying Boundary Conditions with the Syntax and Semantic Information of Goals. 2022 abs/2203.12903 CoRR https://doi.org/10.48550/arXiv.2203.12903 db/journals/corr/corr2203.html#abs-2203-12903

Ting Su 0001 Yichen Yan Jue Wang Jingling Sun Yiheng Xiong Geguang Pu Ke Wang 0022 Zhendong Su 0001 Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs. 1-31 2021 5 Proc. ACM Program. Lang. OOPSLA https://doi.org/10.1145/3485533 https://www.wikidata.org/entity/Q114071139 db/journals/pacmpl/pacmpl5.html#SuYWSXPWS21

Hong Liu 0006 Shuaipeng Zhang Pengfei Zhang Xinqiang Zhou Xuebin Shao Geguang Pu Yan Zhang 0002 Blockchain and Federated Learning for Collaborative Intrusion Detection in Vehicular Edge Computing. 6073-6084 2021 70 IEEE Trans. Veh. Technol. 6 https://doi.org/10.1109/TVT.2021.3076780 db/journals/tvt/tvt70.html#LiuZZZSPZ21

Shengping Xiao Jianwen Li Shufang Zhu 0001 Yingying Shi Geguang Pu Moshe Y. Vardi On-the-fly Synthesis for LTL over Finite Traces. 6530-6537 2021 AAAI https://doi.org/10.1609/aaai.v35i7.16809 conf/aaai/2021 db/conf/aaai/aaai2021.html#XiaoL0SPV21 Chengyu Zhang 0001 Minquan Sun Jianwen Li Ting Su 0001 Geguang Pu Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers. 1-9 2021 ICCAD https://doi.org/10.1109/ICCAD51958.2021.9643509 conf/iccad/2021 db/conf/iccad/iccad2021.html#0001SL0P21 Jingling Sun Ting Su 0001 Junxin Li Zhen Dong Geguang Pu Tao Xie 0001 Zhendong Su 0001 Understanding and finding system setting-related defects in Android apps. 204-215 2021 ISSTA https://doi.org/10.1145/3460319.3464806 https://www.wikidata.org/entity/Q131014580 conf/issta/2021 db/conf/issta/issta2021.html#SunSLDPXS21 Yihao Huang 0001 Qing Guo 0005 Felix Juefei-Xu Lei Ma 0003 Weikai Miao Yang Liu 0003 Geguang Pu AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning. 395-403 2021 ACM Multimedia https://doi.org/10.1145/3474085.3475171 conf/mm/2021 db/conf/mm/mm2021.html#00010JMMLP21 Hanyue Zheng Jincao Feng Weikai Miao Geguang Pu Generating Test Cases from Requirements: A Case Study in Railway Control System Domain. 183-190 2021 TASE https://doi.org/10.1109/TASE52547.2021.00029 conf/tase/2021 db/conf/tase/tase2021.html#ZhengFMP21 Shufang Zhu 0001 Lucas M. Tabajara Geguang Pu Moshe Y. Vardi On the Power of Automata Minimization in Temporal Synthesis. GandALF 2021 117-134 journals/corr/abs-2109-07798 https://doi.org/10.4204/EPTCS.346.8 https://arxiv.org/abs/2008.06790 db/series/eptcs/eptcs346.html#abs-2008-06790

Yihao Huang 0001 Qing Guo 0005 Felix Juefei-Xu Lei Ma 0003 Weikai Miao Yang Liu 0003 Geguang Pu AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning. 2021 abs/2107.06501 CoRR https://arxiv.org/abs/2107.06501 db/journals/corr/corr2107.html#abs-2107-06501

Yihao Huang 0001 Felix Juefei-Xu Qing Guo 0005 Weikai Miao Yang Liu 0003 Geguang Pu AdvBokeh: Learning to Adversarially Defocus Blur. 2021 abs/2111.12971 CoRR https://arxiv.org/abs/2111.12971 db/journals/corr/corr2111.html#abs-2111-12971

Jianwen Li Geguang Pu Yueling Zhang Moshe Y. Vardi Kristin Y. Rozier SAT-based explicit LTLf satisfiability checking. 103369 2020 289 Artif. Intell. https://doi.org/10.1016/j.artint.2020.103369 db/journals/ai/ai289.html#LiPZVR20

Yueling Zhang Min Zhang 0007 Geguang Pu Optimizing backbone filtering. 102374 2020 187 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2019.102374 https://www.wikidata.org/entity/Q126646009 db/journals/scp/scp187.html#ZhangZP20

Hong Liu 0006 Pengfei Zhang Geguang Pu Tao Yang Sabita Maharjan Yan Zhang 0002 Blockchain Empowered Cooperative Authentication With Data Traceability in Vehicular Edge Computing. 4221-4232 2020 69 IEEE Trans. Veh. Technol. 4 https://doi.org/10.1109/TVT.2020.2969722 db/journals/tvt/tvt69.html#LiuZPYMZ20

Shufang Zhu 0001 Giuseppe De Giacomo Geguang Pu Moshe Y. Vardi LTLƒ Synthesis with Fairness and Stability Assumptions. 3088-3095 2020 AAAI https://doi.org/10.1609/aaai.v34i03.5704 conf/aaai/2020 db/conf/aaai/aaai2020.html#ZhuGPV20 Yingying Shi Shengping Xiao Jianwen Li Jian Guo 0005 Geguang Pu SAT-Based Automata Construction for LTL over Finite Traces. 1-10 2020 APSEC https://doi.org/10.1109/APSEC51365.2020.00008 conf/apsec/2020 db/conf/apsec/apsec2020.html#ShiXLGP20 Cheng Wen 0002 Haijun Wang 0002 Yuekang Li Shengchao Qin Yang Liu 0003 Zhiwu Xu 0001 Hongxu Chen 0001 Xiaofei Xie Geguang Pu Ting Liu 0002 MemLock: memory usage guided fuzzing. 765-777 2020 ICSE https://doi.org/10.1145/3377811.3380396 https://www.wikidata.org/entity/Q130929322 conf/icse/2020 db/conf/icse/icse2020.html#WenWLQLXCXPL20 Yueling Zhang Geguang Pu Jun Sun 0001 Accelerating All-SAT Computation with Short Blocking Clauses. 6-17 2020 ASE https://doi.org/10.1145/3324884.3416569 https://ieeexplore.ieee.org/document/9286096 conf/kbse/2020 db/conf/kbse/ase2020.html#ZhangPS20 Yihao Huang 0001 Felix Juefei-Xu Run Wang 0001 Qing Guo 0005 Lei Ma 0003 Xiaofei Xie Jianwen Li Weikai Miao Yang Liu 0003 Geguang Pu FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction. 1217-1226 2020 ACM Multimedia https://doi.org/10.1145/3394171.3413732 conf/mm/2020 db/conf/mm/mm2020.html#HuangJWGMXLMLP20 Jincao Feng Weikai Miao Hanyue Zheng Yihao Huang 0001 Jianwen Li Zheng Wang 0005 Ting Su 0001 Bin Gu 0006 Geguang Pu Mengfei Yang Jifeng He 0001 FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. 1376-1386 2020 ESEC/SIGSOFT FSE https://doi.org/10.1145/3368089.3417047 conf/sigsoft/2020 db/conf/sigsoft/fse2020.html#FengMZHL0SGPYH20 Jie Wu Chengyu Zhang 0001 Geguang Pu Reinforcement Learning Guided Symbolic Execution. 662-663 2020 SANER https://doi.org/10.1109/SANER48275.2020.9054815 conf/wcre/2020 db/conf/wcre/saner2020.html#WuZP20

Yihao Huang 0001 Felix Juefei-Xu Run Wang 0001 Xiaofei Xie Lei Ma 0003 Jianwen Li Weikai Miao Yang Liu 0003 Geguang Pu FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles. 2020 abs/2001.09598 CoRR https://arxiv.org/abs/2001.09598 db/journals/corr/corr2001.html#abs-2001-09598

Yihao Huang 0001 Felix Juefei-Xu Run Wang 0001 Qing Guo 0005 Lei Ma 0003 Xiaofei Xie Jianwen Li Weikai Miao Yang Liu 0003 Geguang Pu FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction. 2020 abs/2006.07533 CoRR https://arxiv.org/abs/2006.07533 db/journals/corr/corr2006.html#abs-2006-07533

Yihao Huang 0001 Felix Juefei-Xu Qing Guo 0005 Xiaofei Xie Lei Ma 0003 Weikai Miao Yang Liu 0003 Geguang Pu FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise. 2020 abs/2009.09213 CoRR https://arxiv.org/abs/2009.09213 db/journals/corr/corr2009.html#abs-2009-09213

Jianwen Li Shufang Zhu 0001 Geguang Pu Lijun Zhang 0001 Moshe Y. Vardi SAT-based explicit LTL reasoning and its application to satisfiability checking. 164-190 2019 54 Formal Methods Syst. Des. 2 https://doi.org/10.1007/s10703-018-00326-5 https://www.wikidata.org/entity/Q128686846 db/journals/fmsd/fmsd54.html#LiZPZV19

Yueling Zhang Geguang Pu Min Zhang 0007 William Y Generating adversarial examples for DNN using pooling layers. 4615-4620 2019 37 J. Intell. Fuzzy Syst. 4 https://doi.org/10.3233/JIFS-179295 db/journals/jifs/jifs37.html#ZhangPZY19

Jianwen Li Kristin Y. Rozier Geguang Pu Yueling Zhang Moshe Y. Vardi SAT-Based Explicit LTLf Satisfiability Checking. 2946-2953 2019 AAAI https://doi.org/10.1609/aaai.v33i01.33012946 conf/aaai/2019 db/conf/aaai/aaai2019.html#LiRPZV19 Yueling Zhang Geguang Pu Min Zhang 0007 SMTBCF: Efficient Backbone Computing for SMT Formulas. 36-51 2019 ICFEM https://doi.org/10.1007/978-3-030-32409-4_3 conf/icfem/2019 db/conf/icfem/icfem2019.html#ZhangPZ19 Yihao Huang 0001 Jincao Feng Hanyue Zheng Jiayi Zhu 0002 Shang Wang Siyuan Jiang Weikai Miao Geguang Pu Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. 1166-1169 2019 ASE https://doi.org/10.1109/ASE.2019.00128 conf/kbse/2019 db/conf/kbse/ase2019.html#HuangFZZWJMP19 Chengyu Zhang 0001 Ting Su 0001 Yichen Yan Fuyuan Zhang Geguang Pu Zhendong Su 0001 Finding and understanding bugs in software model checkers. 763-773 2019 ESEC/SIGSOFT FSE https://doi.org/10.1145/3338906.3338932 conf/sigsoft/2019 db/conf/sigsoft/fse2019.html#ZhangSYZPS19 Shufang Zhu 0001 Geguang Pu Moshe Y. Vardi First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation. 684-705 2019 TAMC https://doi.org/10.1007/978-3-030-14812-6_43 conf/tamc/2019 db/conf/tamc/tamc2019.html#ZhuPV19 Rohit Dureja Jianwen Li Geguang Pu Moshe Y. Vardi Kristin Y. Rozier Intersection and Rotation of Assumption Literals Boosts Bug-Finding. 180-192 2019 VSTTE https://doi.org/10.1007/978-3-030-41600-3_12 conf/vstte/2019 db/conf/vstte/vstte2019.html#DurejaLPVR19

Shufang Zhu 0001 Geguang Pu Moshe Y. Vardi First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation. 2019 abs/1901.06108 CoRR http://arxiv.org/abs/1901.06108 db/journals/corr/corr1901.html#abs-1901-06108

Shufang Zhu 0001 Giuseppe De Giacomo Geguang Pu Moshe Y. Vardi LTLf Synthesis with Fairness and Stability Assumptions. 2019 abs/1912.07804 CoRR http://arxiv.org/abs/1912.07804 db/journals/corr/corr1912.html#abs-1912-07804

Yihao Huang 0001 Jincao Feng Hanyue Zheng Jiayi Zhu 0002 Shang Wang Siyuan Jiang Weikai Miao Geguang Pu Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. 2019 abs/1912.07817 CoRR http://arxiv.org/abs/1912.07817 db/journals/corr/corr1912.html#abs-1912-07817

Bernd Finkbeiner Geguang Pu Lijun Zhang 0001 Preface for the special issue for ATVA 2015. 625-626 2018 55 Acta Informatica 8 https://doi.org/10.1007/s00236-018-0330-0 https://www.wikidata.org/entity/Q128858469 db/journals/acta/acta55.html#FinkbeinerPZ18

Yueling Zhang Min Zhang 0007 Geguang Pu Fu Song Jianwen Li Towards backbone computing: A Greedy-Whitening based approach. 267-280 2018 31 AI Commun. 3 https://doi.org/10.3233/AIC-180763 https://www.wikidata.org/entity/Q129943914 db/journals/aicom/aicom31.html#ZhangZPSL18

Bin Fang 0004 Mihaela Sighireanu Geguang Pu Wen Su Jean-Raymond Abrial Mengfei Yang Lei Qiao 0002 Formal modelling of list based dynamic memory allocators. 122103:1-122103:16 2018 61 Sci. China Inf. Sci. 12 https://doi.org/10.1007/s11432-017-9280-9 db/journals/chinaf/chinaf61.html#FangSPSAYQ18

Jianwen Li Lijun Zhang 0001 Shufang Zhu 0001 Geguang Pu Moshe Y. Vardi Jifeng He 0001 An explicit transition system construction approach to LTL satisfiability checking. 193-217 2018 30 Formal Aspects Comput. 2 https://doi.org/10.1007/s00165-017-0442-2 db/journals/fac/fac30.html#LiZZPVH18

Jianwen Li Geguang Pu Lijun Zhang 0001 Moshe Y. Vardi Jifeng He 0001 Accelerating LTL satisfiability checking by SAT solvers. 1011-1030 2018 28 J. Log. Comput. 6 https://doi.org/10.1093/logcom/exy013 https://www.wikidata.org/entity/Q130117311 db/journals/logcom/logcom28.html#LiP0VH18

Zuohua Ding Yuan Zhou 0005 Geguang Pu MengChu Zhou Online Failure Prediction for Railway Transportation Systems Based on Fuzzy Rules and Data Analysis. 1143-1158 2018 67 IEEE Trans. Reliab. 3 https://doi.org/10.1109/TR.2018.2828113 https://www.wikidata.org/entity/Q129893641 db/journals/tr/tr67.html#DingZPZ18

Jianwen Li Rohit Dureja Geguang Pu Kristin Yvonne Rozier Moshe Y. Vardi SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability. 37-44 2018 CAV (2) https://doi.org/10.1007/978-3-319-96142-2_5 conf/cav/2018-2 db/conf/cav/cav2018-2.html#LiDPRV18 Chengyu Zhang 0001 Yichen Yan Hanru Zhou Yinbo Yao Ke Wu Ting Su 0001 Weikai Miao Geguang Pu Smartunit: empirical evaluations for automated unit testing of embedded software in industry. 296-305 2018 ICSE (SEIP) https://doi.org/10.1145/3183519.3183554 https://ieeexplore.ieee.org/document/8449263 https://www.wikidata.org/entity/Q130867485 conf/icse/2018seip db/conf/icse/seip2018.html#ZhangYZYWSMP18 Lingling Fan 0003 Ting Su 0001 Sen Chen 0001 Guozhu Meng Yang Liu 0003 Lihua Xu Geguang Pu Zhendong Su 0001 Large-scale analysis of framework-specific exceptions in Android apps. 408-419 2018 ICSE https://doi.org/10.1145/3180155.3180222 https://ieeexplore.ieee.org/document/8453100 conf/icse/2018 db/conf/icse/icse2018.html#FanSCMLXPS18 Lingling Fan 0003 Ting Su 0001 Sen Chen 0001 Guozhu Meng Yang Liu 0003 Lihua Xu Geguang Pu Efficiently manifesting asynchronous programming errors in Android apps. 486-497 2018 ASE https://doi.org/10.1145/3238147.3238170 https://www.wikidata.org/entity/Q130973692 conf/kbse/2018 db/conf/kbse/ase2018.html#FanSCMLXP18

Lingling Fan 0003 Ting Su 0001 Sen Chen 0001 Guozhu Meng Yang Liu 0003 Lihua Xu Geguang Pu Zhendong Su 0001 Large-Scale Analysis of Framework-Specific Exceptions in Android Apps. 2018 abs/1801.07009 CoRR http://arxiv.org/abs/1801.07009 db/journals/corr/corr1801.html#abs-1801-07009

Chengyu Zhang 0001 Yichen Yan Hanru Zhou Yinbo Yao Ke Wu Ting Su 0001 Weikai Miao Geguang Pu SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry. 2018 abs/1802.08547 CoRR http://arxiv.org/abs/1802.08547 db/journals/corr/corr1802.html#abs-1802-08547

Chengyu Zhang 0001 Ting Su 0001 Yichen Yan Ke Wu Geguang Pu Towards Efficient Data-flow Test Data Generation Using KLEE. 2018 abs/1803.06516 CoRR http://arxiv.org/abs/1803.06516 db/journals/corr/corr1803.html#abs-1803-06516

Ting Su 0001 Chengyu Zhang 0001 Yichen Yan Lingling Fan 0003 Geguang Pu Yang Liu 0003 Zhoulai Fu Zhendong Su 0001 Towards Efficient Data-flow Test Data Generation. 2018 abs/1803.10431 CoRR http://arxiv.org/abs/1803.10431 db/journals/corr/corr1803.html#abs-1803-10431

Lingling Fan 0003 Ting Su 0001 Sen Chen 0001 Guozhu Meng Yang Liu 0003 Lihua Xu Geguang Pu Efficiently Manifesting Asynchronous Programming Errors in Android Apps. 2018 abs/1808.03178 CoRR http://arxiv.org/abs/1808.03178 db/journals/corr/corr1808.html#abs-1808-03178

Jianwen Li Kristin Y. Rozier Geguang Pu Yueling Zhang Moshe Y. Vardi SAT-based Explicit LTLf Satisfiability Checking. 2018 abs/1811.03176 CoRR http://arxiv.org/abs/1811.03176 db/journals/corr/corr1811.html#abs-1811-03176

Ting Su 0001 Ke Wu Weikai Miao Geguang Pu Jifeng He 0001 Yuting Chen 0001 Zhendong Su 0001 A Survey on Data-Flow Testing. 5:1-5:35 2017 50 ACM Comput. Surv. 1 https://doi.org/10.1145/3020266 db/journals/csur/csur50.html#SuWMPHCS17

Mingsong Chen 0001 Yongxiang Bao Xin Fu 0001 Geguang Pu Tongquan Wei Efficient Resource Constrained Scheduling Using Parallel Two-Phase Branch-and-Bound Heuristics. 1299-1314 2017 28 IEEE Trans. Parallel Distributed Syst. 5 https://doi.org/10.1109/TPDS.2016.2621768 http://doi.ieeecomputersociety.org/10.1109/TPDS.2016.2621768 db/journals/tpds/tpds28.html#ChenBFPW17

Shufang Zhu 0001 Lucas M. Tabajara Jianwen Li Geguang Pu Moshe Y. Vardi A Symbolic Approach to Safety ltl Synthesis. 147-162 2017 Haifa Verification Conference https://doi.org/10.1007/978-3-319-70389-3_10 conf/hvc/2017 db/conf/hvc/hvc2017.html#ZhuTLPV17 Jianwen Li Shufang Zhu 0001 Yueling Zhang Geguang Pu Moshe Y. Vardi Safety model checking with complementary approximations. 95-100 2017 ICCAD https://doi.org/10.1109/ICCAD.2017.8203765 http://dl.acm.org/citation.cfm?id=3199713 conf/iccad/2017 db/conf/iccad/iccad2017.html#LiZZPV17 Shufang Zhu 0001 Lucas M. Tabajara Jianwen Li Geguang Pu Moshe Y. Vardi Symbolic LTLf Synthesis. 1362-1369 2017 IJCAI https://doi.org/10.24963/ijcai.2017/189 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#ZhuTLPV17 Ting Su 0001 Guozhu Meng Yuting Chen 0001 Ke Wu Weiming Yang Yao Yao Geguang Pu Yang Liu 0003 Zhendong Su 0001 Guided, stochastic model-based GUI testing of Android apps. 245-256 2017 ESEC/SIGSOFT FSE https://doi.org/10.1145/3106237.3106298 conf/sigsoft/2017 db/conf/sigsoft/fse2017.html#SuMCWYYPLS17 Yueling Zhang Jianwen Li Min Zhang 0007 Geguang Pu Fu Song Optimizing backbone filtering. 1-8 2017 TASE https://doi.org/10.1109/TASE.2017.8285627 https://doi.ieeecomputersociety.org/10.1109/TASE.2017.8285627 conf/tase/2017 db/conf/tase/tase2017.html#ZhangLZPS17

Shufang Zhu 0001 Lucas M. Tabajara Jianwen Li Geguang Pu Moshe Y. Vardi Symbolic LTLf Synthesis. 2017 abs/1705.08426 CoRR http://arxiv.org/abs/1705.08426 db/journals/corr/corr1705.html#ZhuTLPV17

Shufang Zhu 0001 Lucas M. Tabajara Jianwen Li Geguang Pu Moshe Y. Vardi A Symbolic Approach to Safety LTL Synthesis. 2017 abs/1709.07495 CoRR http://arxiv.org/abs/1709.07495 db/journals/corr/corr1709.html#abs-1709-07495

Ting Su 0001 Geguang Pu Weikai Miao Jifeng He 0001 Zhendong Su 0001 Automated coverage-driven testing: combining symbolic execution and model checking. 98101 2016 59 Sci. China Inf. Sci. 9 https://doi.org/10.1007/s11432-016-5589-6 db/journals/chinaf/chinaf59.html#SuPMHS16

Mingsong Chen 0001 Xinqian Zhang Geguang Pu Xin Fu 0001 Prabhat Mishra 0001 Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques. 2059-2073 2016 65 IEEE Trans. Computers 7 https://doi.org/10.1109/TC.2015.2468230 http://doi.ieeecomputersociety.org/10.1109/TC.2015.2468230 db/journals/tc/tc65.html#ChenZPFM16

Weikai Miao Geguang Pu Yinbo Yao Ting Su 0001 Danzhu Bao Yang Liu 0003 Shuohao Chen Kunpeng Xiong Automated Requirements Validation for ATP Software via Specification Review and Testing. 26-40 2016 ICFEM https://doi.org/10.1007/978-3-319-47846-3_3 conf/icfem/2016 db/conf/icfem/icfem2016.html#MiaoPYSB0CX16

Jianwen Li Shufang Zhu 0001 Yueling Zhang Geguang Pu Moshe Y. Vardi Approximate Reachability. 2016 abs/1611.04946 CoRR http://arxiv.org/abs/1611.04946 db/journals/corr/corr1611.html#LiZZPV16

Fu Song Weikai Miao Geguang Pu Min Zhang 0007 On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. 383-397 2015 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2015.383 conf/concur/2015 db/conf/concur/concur2015.html#SongMPZ15 Bo Li Mengdi Wang 0008 Yongxin Zhao Geguang Pu Huibiao Zhu Fu Song Modeling and Verifying Google File System. 207-214 2015 HASE https://doi.org/10.1109/HASE.2015.38 https://doi.ieeecomputersociety.org/10.1109/HASE.2015.38 conf/hase/2015 db/conf/hase/hase2015.html#LiWZPZS15 Jianwen Li Shufang Zhu 0001 Geguang Pu Moshe Y. Vardi SAT-Based Explicit LTL Reasoning. 209-224 2015 Haifa Verification Conference https://doi.org/10.1007/978-3-319-26287-1_13 conf/hvc/2015 db/conf/hvc/hvc2015.html#LiZPV15 Wen Su Jean-Raymond Abrial Geguang Pu Bin Fang 0004 Formal Development of a Real-Time Operating System Memory Manager. 130-139 2015 ICECCS https://doi.org/10.1109/ICECCS.2015.24 https://doi.ieeecomputersociety.org/10.1109/ICECCS.2015.24 conf/iceccs/2015 db/conf/iceccs/iceccs2015.html#SuAPF15 Ting Su 0001 Zhoulai Fu Geguang Pu Jifeng He 0001 Zhendong Su 0001 Combining Symbolic Execution and Model Checking for Data Flow Testing. 654-665 2015 ICSE (1) https://doi.org/10.1109/ICSE.2015.81 https://doi.ieeecomputersociety.org/10.1109/ICSE.2015.81 http://dl.acm.org/citation.cfm?id=2818834 conf/icse/2015-1 db/conf/icse/icse2015-1.html#SuFPHS15 Ke Wu Shiping Tang Geguang Pu Min Wu 0003 Ting Su 0001 Fm-QCA: A Novel Approach to Multi-value Qualitative Comparative Analysis. 115-127 2015 KSEM https://doi.org/10.1007/978-3-319-25159-2_10 https://www.wikidata.org/entity/Q111706066 conf/ksem/2015 db/conf/ksem/ksem2015.html#WuTPMS15 Bernd Finkbeiner Geguang Pu Lijun Zhang 0001 Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings ATVA Springer 2015 Lecture Notes in Computer Science 9364 978-3-319-24952-0 https://doi.org/10.1007/978-3-319-24953-7 db/conf/atva/atva2015.html

Jianwen Li Shufang Zhu 0001 Geguang Pu Moshe Y. Vardi SAT-based Explicit LTL Reasoning. 2015 abs/1507.02519 CoRR http://arxiv.org/abs/1507.02519 db/journals/corr/corr1507.html#LiZPV15

Yongxin Zhao Hao Xiao Zheng Wang 0005 Geguang Pu Ting Su 0001 The semantics and verification of timed service choreography. 384-402 2014 91 Int. J. Comput. Math. 3 https://doi.org/10.1080/00207160.2013.796369 db/journals/ijcm/ijcm91.html#ZhaoXWPS14

Yan Shen Jianwen Li Zheng Wang 0005 Ting Su 0001 Bin Fang 0004 Geguang Pu Wanwei Liu Mingsong Chen 0001 Runtime Verification by Convergent Formula Progression. 255-262 2014 APSEC (1) https://doi.org/10.1109/APSEC.2014.47 conf/apsec/2014-1 db/conf/apsec/apsec2014-1.html#ShenLWSFPLC14 Jianwen Li Lijun Zhang 0001 Geguang Pu Moshe Y. Vardi Jifeng He 0001 LTLf Satisfiability Checking. 513-518 2014 ECAI https://doi.org/10.3233/978-1-61499-419-0-513 conf/ecai/2014 db/conf/ecai/ecai2014.html#Li0PVH14 Mengdi Wang 0008 Bo Li Yongxin Zhao Geguang Pu Formalizing Google File System. 190-191 2014 PRDC https://doi.org/10.1109/PRDC.2014.32 https://doi.ieeecomputersociety.org/10.1109/PRDC.2014.32 conf/prdc/2014 db/conf/prdc/prdc2014.html#WangLZP14 Jianwen Li Yinbo Yao Geguang Pu Lijun Zhang 0001 Jifeng He 0001 Aalta: an LTL satisfiability checker over Infinite/Finite traces. 731-734 2014 SIGSOFT FSE https://doi.org/10.1145/2635868.2661669 conf/sigsoft/2014 db/conf/sigsoft/fse2014.html#LiYP0H14 Ting Su 0001 Geguang Pu Bin Fang 0004 Jifeng He 0001 Jun Yan Siyuan Jiang Jianjun Zhao 0001 Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution. 98-107 2014 SERE https://doi.org/10.1109/SERE.2014.23 conf/ssiri/2014 db/conf/ssiri/sere2014.html#SuPFHYJZ14 Wanwei Liu Xiaoguang Mao Geguang Pu Rui Wang 0017 Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking. 82-89 2014 TASE https://doi.org/10.1109/TASE.2014.13 https://doi.ieeecomputersociety.org/10.1109/TASE.2014.13 conf/tase/2014 db/conf/tase/tase2014.html#LiuMPW14 Mingsong Chen 0001 Fan Gu Lei Zhou 0007 Geguang Pu Xiao Liu 0004 Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling. 162-167 2014 VLSID https://doi.org/10.1109/VLSID.2014.35 https://doi.ieeecomputersociety.org/10.1109/VLSID.2014.35 conf/vlsid/2014 db/conf/vlsid/vlsid2014.html#ChenGZPL14

Jianwen Li Geguang Pu Lijun Zhang 0001 Moshe Y. Vardi Jifeng He 0001 Fast LTL Satisfiability Checking by SAT Solvers. 2014 abs/1401.5677 CoRR http://arxiv.org/abs/1401.5677 db/journals/corr/corr1401.html#LiP0VH14

Jianwen Li Lijun Zhang 0001 Geguang Pu Moshe Y. Vardi Jifeng He 0001 LTLf satisfiability checking. 2014 abs/1403.1666 CoRR http://arxiv.org/abs/1403.1666 db/journals/corr/corr1403.html#Li0PVH14

Zheng Wang 0005 Geguang Pu Jianwen Li Yuxiang Chen Yongxin Zhao Mingsong Chen 0001 Bin Gu 0006 Mengfei Yang Jifeng He 0001 A novel requirement analysis approach for periodic control systems. 214-235 2013 7 Frontiers Comput. Sci. 2 https://doi.org/10.1007/s11704-013-2008-1 db/journals/fcsc/fcsc7.html#WangPLCZCGYH13

Jianwen Li Geguang Pu Lijun Zhang 0001 Zheng Wang 0005 Jifeng He 0001 Kim Guldstrand Larsen On the Relationship between LTL Normal Forms and Büchi Automata. 256-270 2013 Theories of Programming and Formal Methods https://doi.org/10.1007/978-3-642-39698-4_16 conf/birthday/2013he db/conf/birthday/he2013.html#LiP0WHL13 Mingsong Chen 0001 Lei Zhou 0007 Geguang Pu Jifeng He 0001 Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis. 14:1-14:10 2013 CODES+ISSS https://doi.org/10.1109/CODES-ISSS.2013.6659001 http://dl.acm.org/citation.cfm?id=2555706 conf/codes/2013 db/conf/codes/codes2013.html#ChenZPH13 Mingsong Chen 0001 Saijie Huang Geguang Pu Prabhat Mishra 0001 Branch-and-bound style resource constrained scheduling using efficient structure-aware pruning. 224-229 2013 ISVLSI https://doi.org/10.1109/ISVLSI.2013.6654637 https://doi.ieeecomputersociety.org/10.1109/ISVLSI.2013.6654637 conf/isvlsi/2013 db/conf/isvlsi/isvlsi2013.html#ChenHPM13 Jianwen Li Lijun Zhang 0001 Geguang Pu Moshe Y. Vardi Jifeng He 0001 LTL Satisfiability Checking Revisited. 91-98 2013 TIME https://doi.org/10.1109/TIME.2013.19 https://doi.ieeecomputersociety.org/10.1109/TIME.2013.19 conf/time/2013 db/conf/time/time2013.html#LiZPVH13

Jianwen Li Geguang Pu Lijun Zhang 0001 Yinbo Yao Moshe Y. Vardi Jifeng He 0001 Polsat: A Portfolio LTL Satisfiability Solver. 2013 CoRR http://arxiv.org/abs/1311.1602 abs/1311.1602 db/journals/corr/corr1311.html#LiP0YVH13

Mengfei Yang Zheng Wang 0005 Geguang Pu Shengchao Qin Bin Gu 0006 Jifeng He 0001 The stochastic semantics and verification for periodic control systems. 2675-2693 2012 55 Sci. China Inf. Sci. 12 https://doi.org/10.1007/s11432-012-4750-0 db/journals/chinaf/chinaf55.html#YangWPQGH12

Jianwen Li Geguang Pu Zheng Wang 0005 Yuxiang Chen Liyun Zhang Yanxia Qi Bin Gu 0006 An Approach to Requirement Analysis for Periodic Control Systems. 130-139 2012 SEW https://doi.org/10.1109/SEW.2012.20 https://doi.ieeecomputersociety.org/10.1109/SEW.2012.20 conf/sew/2012 db/conf/sew/sew2012.html#LiPWCZQG12 Zheng Wang 0005 Geguang Pu Jianwen Li Bin Gu 0006 A Type System for SPARDL. 209-216 2012 TASE https://doi.org/10.1109/TASE.2012.47 https://doi.ieeecomputersociety.org/10.1109/TASE.2012.47 conf/tase/2012 db/conf/tase/tase2012.html#WangPLG12 Zheng Wang 0005 Geguang Pu Jianwen Li Jifeng He 0001 Shengchao Qin Kim G. Larsen Jan Madsen Bin Gu 0006 MDM: A Mode Diagram Modeling Framework FTSCS 2012 135-149 https://doi.org/10.4204/EPTCS.105.10 http://arxiv.org/abs/1301.0046 https://www.wikidata.org/entity/Q54483868 journals/corr/abs-1212-6574 db/series/eptcs/eptcs105.html#abs-1301-0046

Zheng Wang 0005 Geguang Pu Shengchao Qin Jianwen Li Kim G. Larsen Jan Madsen Bin Gu 0006 Jifeng He 0001 MDM: A Mode Diagram Modeling Framework for Periodic Control Systems http://arxiv.org/abs/1207.0922 2012 CoRR abs/1207.0922 db/journals/corr/corr1207.html#abs-1207-0922

Jianwen Li Geguang Pu Lijun Zhang 0001 Zheng Wang 0005 Jifeng He 0001 Kim G. Larsen On the Relationship between LTL Normal Forms and Buechi Automata http://arxiv.org/abs/1207.3866 2012 CoRR abs/1207.3866 db/journals/corr/corr1207.html#abs-1207-3866

Yongxin Zhao Zheng Wang 0005 Hao Xiao Jing Ping Geguang Pu Jifeng He 0001 Huibiao Zhu A Unifying Approach to Validating Specification-Oriented XML Constraints. 33-40 2011 HASE https://doi.org/10.1109/HASE.2011.28 https://doi.ieeecomputersociety.org/10.1109/HASE.2011.28 conf/hase/2011 db/conf/hase/hase2011.html#ZhaoWXPPHZ11 Jianwen Li Zheng Wang 0005 Yongxin Zhao Geguang Pu Yanxia Qi Bin Gu 0006 An Event-B Interpretation for SPARDL Model. 41-48 2011 HASE https://doi.org/10.1109/HASE.2011.27 https://doi.ieeecomputersociety.org/10.1109/HASE.2011.27 conf/hase/2011 db/conf/hase/hase2011.html#LiWZPQG11

Huibiao Zhu Jifeng He 0001 Jing Li 0062 Geguang Pu Jonathan P. Bowen Linking denotational semantics with operational semantics for web services. 283-298 2010 6 Innov. Syst. Softw. Eng. 4 https://doi.org/10.1007/s11334-010-0134-z https://www.wikidata.org/entity/Q56939674 db/journals/isse/isse6.html#ZhuHLPB10

Zheng Wang 0005 Lei Zhou 0007 Yongxin Zhao Jing Ping Hao Xiao Geguang Pu Huibiao Zhu Web services choreography validation. 291-305 2010 4 Serv. Oriented Comput. Appl. 4 https://doi.org/10.1007/s11761-010-0072-5 db/journals/soca/soca4.html#WangZZPXPZ10

Jun Sun 0001 Yang Liu 0003 Jin Song Dong 0001 Geguang Pu Tian Huat Tan Model-Based Methods for Linking Web Service Choreography and Orchestration. 166-175 2010 APSEC https://doi.org/10.1109/APSEC.2010.28 https://doi.ieeecomputersociety.org/10.1109/APSEC.2010.28 conf/apsec/2010 db/conf/apsec/apsec2010.html#SunLDPT10 Lei Zhou 0007 Jing Ping Hao Xiao Zheng Wang 0005 Geguang Pu Zuohua Ding Automatically Testing Web Services Choreography with Assertions. 138-154 2010 ICFEM https://doi.org/10.1007/978-3-642-16901-4_11 conf/icfem/2010 db/conf/icfem/icfem2010.html#ZhouPXWPD10 Zheng Wang 0005 Jianwen Li Yongxin Zhao Yanxia Qi Geguang Pu Jifeng He 0001 Bin Gu 0006 SPARDL: A Requirement Modeling Language for Periodic Control System. 594-608 2010 ISoLA (1) https://doi.org/10.1007/978-3-642-16558-0_48 conf/isola/2010-1 db/conf/isola/isola2010-1.html#WangLZQPHG10 Zuohua Ding Mingyue Jiang Geguang Pu Jing Liu 0012 Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications. 341-344 2010 QSIC https://doi.org/10.1109/QSIC.2010.17 https://doi.ieeecomputersociety.org/10.1109/QSIC.2010.17 conf/qsic/2010 db/conf/qsic/qsic2010.html#DingJPL10 Hao Xiao Zheng Wang 0005 Geguang Pu Bin Gu 0006 Constraint Checking for XML-Based Language Specification by SAT Solver. 26-27 2010 SSIRI (Companion) https://doi.org/10.1109/SSIRI-C.2010.15 https://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.15 conf/ssiri/2010c db/conf/ssiri/ssiri2010c.html#XiaoWPG10 Yongxin Zhao Zheng Wang 0005 Geguang Pu Huibiao Zhu A Formal Model for Service Choreography with Exception Handling and Finalization. 15-24 2010 TASE https://doi.org/10.1109/TASE.2010.19 https://doi.ieeecomputersociety.org/10.1109/TASE.2010.19 conf/tase/2010 db/conf/tase/tase2010.html#ZhaoWPZ10 Xiao Yu Shuai Sun Geguang Pu Siyuan Jiang Zheng Wang 0005 A Parallel Approach to Concolic Testing with Low-cost Synchronization. 83-96 2010 conf/ttss/2010 TTSS https://doi.org/10.1016/j.entcs.2011.07.008 https://www.wikidata.org/entity/Q113318248 db/journals/entcs/entcs274.html#YuSPJW11

Geguang Pu Zheng Wang 0005 Lei Zhou 0007 Hanyi Zhang Tao Wang Chuchao Yang Liyang Peng Meng Sun Static validation of WS-CDL documents. 1367-1377 2009 17 Simul. Model. Pract. Theory 8 https://doi.org/10.1016/j.simpat.2009.06.013 db/journals/simpra/simpra17.html#PuWZZWYPS09

Zuohua Ding Mingyue Jiang Geguang Pu Jeff W. Sanders Modelling and Verification of Web Navigation. 181-188 2009 ICWE https://doi.org/10.1007/978-3-642-02818-2_13 conf/icwe/2009 db/conf/icwe/icwe2009.html#DingJPS09 Tao Sun Zheng Wang 0005 Geguang Pu Xiao Yu Zongyan Qiu Bin Gu 0006 Towards Scalable Compositional Test Generation. 353-358 2009 QSIC https://doi.org/10.1109/QSIC.2009.53 https://doi.ieeecomputersociety.org/10.1109/QSIC.2009.53 conf/qsic/2009 db/conf/qsic/qsic2009.html#SunWPYQG09 Liyang Peng Chao Cai 0002 Zongyan Qiu Geguang Pu Verification of channel passing in choreography with model checking. 1-5 2009 SOCA https://doi.org/10.1109/SOCA.2009.5410263 conf/soca/2009 db/conf/soca/soca2009.html#PengCQP09 Lei Zhou 0007 Hao Xiao Jing Ping Geguang Pu Hanyi Zhang Simulation and validation of Web services choreography. 1-8 2009 SOCA https://doi.org/10.1109/SOCA.2009.5410262 conf/soca/2009 db/conf/soca/soca2009.html#ZhouXPPZ09 Jueliang Hu Zuohua Ding Geguang Pu Path-Based Approach to Integration Testing. 445-446 2009 SSIRI https://doi.org/10.1109/SSIRI.2009.48 https://doi.ieeecomputersociety.org/10.1109/SSIRI.2009.48 conf/ssiri/2009 db/conf/ssiri/ssiri2009.html#HuDP09 Zheng Wang 0005 Xiao Yu Tao Sun Geguang Pu Zuohua Ding Jueliang Hu Test Data Generation for Derived Types in C Program. 155-162 2009 TASE https://doi.org/10.1109/TASE.2009.10 https://doi.ieeecomputersociety.org/10.1109/TASE.2009.10 conf/tase/2009 db/conf/tase/tase2009.html#WangYSPDH09 Zheng Wang 0005 Xiao Yu Geguang Pu Libo Feng Huibiao Zhu Jifeng He 0001 Execution Semantics for rCOS. 119-126 2008 APSEC https://doi.org/10.1109/APSEC.2008.11 https://doi.ieeecomputersociety.org/10.1109/APSEC.2008.11 conf/apsec/2008 db/conf/apsec/apsec2008.html#WangYPFZH08 Geguang Pu Yongxin Zhao Zheng Wang 0005 Libo Feng Huibiao Zhu Jifeng He 0001 A Denotational Model for Web Services Choreography. 1-12 2008 ICDCIT https://doi.org/10.1007/978-3-540-89737-8_1 conf/icdcit/2008 db/conf/icdcit/icdcit2008.html#PuZWFZH08 Lei Zhou 0007 Hanyi Zhang Tao Wang Chuchao Yang Zheng Wang 0005 Meng Sun Geguang Pu Static Check of WS-CDL Documents. 142-147 2008 SOSE https://doi.org/10.1109/SOSE.2008.36 https://doi.ieeecomputersociety.org/10.1109/SOSE.2008.36 conf/sose/2008 db/conf/sose/sose2008.html#ZhouZWYWSP08 Min Zhang 0007 Ling Shi 0002 Longfei Zhu Yifei Wang Libo Feng Geguang Pu A Bigraphical Model of WSBPEL. 117-120 2008 TASE https://doi.org/10.1109/TASE.2008.47 https://doi.ieeecomputersociety.org/10.1109/TASE.2008.47 conf/tase/2008 db/conf/tase/tase2008.html#ZhangSZWFP08 Geguang Pu Volker Stolz Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007 TTSS Electronic Notes in Theoretical Computer Science 207 Elsevier 2008 https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/207/suppl/C db/journals/entcs/entcs207.html

Jifeng He 0001 Huibiao Zhu Geguang Pu A model for BPEL-like languages. 9-19 2007 1 Frontiers Comput. Sci. China 1 https://doi.org/10.1007/s11704-007-0002-7 db/journals/fcsc/fcsc1.html#HeZP07

Geguang Pu Jianqi Shi Zheng Wang 0005 Lu Jin Jing Liu 0012 Jifeng He 0001 The Validation and Verification of WSCDL. 81-88 2007 conf/apsec/2007 APSEC https://doi.org/10.1109/APSEC.2007.93 db/conf/apsec/apsec2007.html#PuSWJLH07 Yi Qian Yuming Xu Zheng Wang 0005 Geguang Pu Huibiao Zhu Chao Cai 0002 Tool Support for BPEL Verification in ActiveBPEL Engine. 90-100 2007 ASWEC https://doi.org/10.1109/ASWEC.2007.50 https://doi.ieeecomputersociety.org/10.1109/ASWEC.2007.50 conf/aswec/2007 db/conf/aswec/aswec2007.html#QianXWPZC07 Jing Li 0062 Huibiao Zhu Geguang Pu Jifeng He 0001 A Formal Model for Compensable Transactions. 64-73 2007 conf/iceccs/2007 ICECCS https://doi.org/10.1109/ICECCS.2007.8 https://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.8 db/conf/iceccs/iceccs2007.html#LiZPH07 Jing Li 0062 Huibiao Zhu Geguang Pu Jifeng He 0001 Looking into Compensable Transactions. 154-166 2007 conf/sew/2007 SEW https://doi.ieeecomputersociety.org/10.1109/SEW.2007.100 db/conf/sew/sew2007.html#LiZPH07 Huibiao Zhu Jifeng He 0001 Geguang Pu Jing Li 0062 An Operational Approach to BPEL-like Programming. 236-245 2007 conf/sew/2007 SEW https://doi.ieeecomputersociety.org/10.1109/SEW.2007.94 db/conf/sew/sew2007.html#ZhuHPL07 Jing Li 0062 Jifeng He 0001 Huibiao Zhu Geguang Pu Modeling and Verifying Web Services Choreography Using Process Algebra. 256-268 2007 conf/sew/2007 SEW https://doi.org/10.1109/SEW.2007.105 https://doi.ieeecomputersociety.org/10.1109/SEW.2007.105 db/conf/sew/sew2007.html#LiHZP07 Jing Li 0062 Huibiao Zhu Geguang Pu Conformance Validation between Choreography and Orchestration. 473-482 2007 conf/tase/2007 TASE https://doi.org/10.1109/TASE.2007.16 https://doi.ieeecomputersociety.org/10.1109/TASE.2007.16 db/conf/tase/tase2007.html#LiZP07 Geguang Pu Volker Stolz Preface. 1-2 2007 conf/ttss/2007 TTSS https://doi.org/10.1016/j.entcs.2008.03.081 db/journals/entcs/entcs207.html#PuS08 Xiao Yu Zheng Wang 0005 Geguang Pu Dingding Mao Jing Liu 0012 The Verification of rCOS Using Spin. 49-67 2007 conf/ttss/2007 TTSS https://doi.org/10.1016/j.entcs.2008.03.085 db/journals/entcs/entcs207.html#YuWPML08 Huibiao Zhu Geguang Pu Jifeng He 0001 A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. 28-36 2006 ASIAN https://doi.org/10.1007/978-3-540-77505-8_3 conf/asian/2006 db/conf/asian/asian2006.html#ZhuPH06 Geguang Pu Jifeng He 0001 Zongyan Qiu An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. 151-152 2006 conf/ddecs/2006 DDECS db/conf/ddecs/ddecs2006.html#PuHQ06 https://doi.org/10.1109/DDECS.2006.1649599 https://doi.ieeecomputersociety.org/10.1109/DDECS.2006.1649599 Geguang Pu Huibiao Zhu Zongyan Qiu Shuling Wang Xiangpeng Zhao Jifeng He 0001 Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. 251-266 2006 conf/fmoods/2006 FMOODS https://doi.org/10.1007/11768869_19 db/conf/fmoods/fmoods2006.html#PuZQWZH06 Geguang Pu Chong Zhang Zongyan Qiu Jifeng He 0001 Wang Yi 0001 Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. 131-138 2006 conf/iceccs/2006 ICECCS https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.60 db/conf/iceccs/iceccs2006.html#PuZQHY06 Jing Li 0062 Jifeng He 0001 Geguang Pu Huibiao Zhu Towards the Semantics for Web Service Choreography Description Language. 246-263 2006 conf/icfem/2006 ICFEM https://doi.org/10.1007/11901433_14 db/conf/icfem/icfem2006.html#LiHPZ06 Hongli Yang Xiangpeng Zhao Zongyan Qiu Chao Cai 0002 Geguang Pu Type Checking Choreography Description Language. 264-283 2006 conf/icfem/2006 ICFEM https://doi.org/10.1007/11901433_15 db/conf/icfem/icfem2006.html#YangZQCP06 Hongli Yang Xiangpeng Zhao Zongyan Qiu Geguang Pu Shuling Wang A Formal Model forWeb Service Choreography Description Language (WS-CDL). 893-894 2006 conf/icws/2006 ICWS https://doi.org/10.1109/ICWS.2006.3 https://doi.ieeecomputersociety.org/10.1109/ICWS.2006.3 db/conf/icws/icws2006.html#YangZQPW06 Geguang Pu Huibiao Zhu Jifeng He 0001 Zongyan Qiu Hongli Yang Xiangpeng Zhao Patterns with Algebraic Properties in BPEL0. 363-370 2006 ISoLA https://doi.org/10.1109/ISoLA.2006.57 https://doi.ieeecomputersociety.org/10.1109/ISoLA.2006.57 conf/isola/2006 db/conf/isola/isola2006.html#PuZHQYZ06 Geguang Pu Chong Zhang Zongyan Qiu Zuoquan Lin Jifeng He 0001 A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. 459-466 2006 conf/kes/2006-1 KES (1) https://doi.org/10.1007/11892960_56 db/conf/kes/kes2006-1.html#PuZQLH06

Jifeng He 0001 Dang Van Hung Geguang Pu Zongyan Qiu Wang Yi 0001 Exploring optimal solution to hardware/software partitioning for synchronous model. 443-460 2005 17 Formal Aspects Comput. 4 https://doi.org/10.1007/s00165-005-0072-y db/journals/fac/fac17.html#HeHPQY05

Zongyan Qiu Shuling Wang Geguang Pu Xiangpeng Zhao Semantics of BPEL4WS-Like Fault and Compensation Handling. 350-365 2005 conf/fm/2005 FM https://doi.org/10.1007/11526841_24 db/conf/fm/fm2005.html#QiuWPZ05 Geguang Pu Xiangpeng Zhao Shuling Wang Zongyan Qiu Towards the Semantics and Verification of BPEL4WS. 33-52 2005 conf/fm/2005wlfm WLFM@FM https://doi.org/10.1016/j.entcs.2005.07.035 db/conf/fm/wlfm2005.html#PuZWQ06 Geguang Pu Dang Van Hung Jifeng He 0001 Wang Yi 0001 An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. 363-381 https://doi.org/10.1007/978-3-540-24756-2_20 2004 conf/ifm/2004 IFM db/conf/ifm/ifm2004.html#PuHHY04 Geguang Pu Xiangpeng Zhao Shuling Wang Zongyan Qiu Jifeng He 0001 Wang Yi 0001 An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. 376-385 2004 conf/sefm/2004 SEFM https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.5 db/conf/sefm/sefm2004.html#GeguangXSZHY04 Geguang Pu Zongyan Qiu Jifeng He 0001 Integrating Time and Resource into Circus. 401-418 2004 conf/sbmf/2004 SBMF https://doi.org/10.1016/j.entcs.2005.03.020 db/journals/entcs/entcs130.html#PuQH05 Zheng Chen 0001 Shengping Liu Liu Wenyin Geguang Pu Wei-Ying Ma Building a web thesaurus from web link structure. 48-55 2003 conf/sigir/2003 SIGIR https://doi.org/10.1145/860435.860447 db/conf/sigir/sigir2003.html#ChenLWPM03 Jean-Raymond Abrial Jitao Bai Danzhu Bao Yongxiang Bao Anna Becchi Jonathan P. Bowen Chang Cai Chao Cai 0002 Weipeng Cao Xiaochun Cao Yue Cao Chuyang Chen 0001 Hongxu Chen 0001 Junwei Chen Longquan Chen Mingsong Chen 0001 Qiang Chen Sen Chen 0001 Shuohao Chen Xi Chen 0004 Yu Chen Yuting Chen 0001 Yuxiang Chen Zheng Chen 0001 Alessandro Cimatti Zhang Qing cnwatcher Wenjing Deng Zuohua Ding Guoliang Dong Jin Song Dong 0001 Nanqing Dong Yibo Dong 0001 Zhen Dong Rohit Dureja Li fan Lingling Fan 0003 Bin Fang 0004 Jincao Feng Libo Feng Bernd Finkbeiner Lianhang Fu Xin Fu 0001 Zhoulai Fu Giuseppe De Giacomo Gwihwan Go Alberto Griggio Bin Gu 0006 Fan Gu Menghong Guan Hui Guo Jian Guo 0005 Qing Guo 0005 Hang He Jifeng He 0001 Weigang He Ying He 0006 Jilin Hu Jueliang Hu Ming Hu 0003 Zhiyuan Hu Saijie Huang Shan Huang Xinyue Huang Yihao Huang 0001 Yonggui Huang Dang Van Hung Xiaojun Jia Jiayi Jiang Mingyue Jiang Siyuan Jiang Yu Jiang 0001 Lu Jin Felix Juefei-Xu Guang Kou Kim G. LarsenKim Guldstrand Larsen Anran Li 0001 Bo Li Jianwen Li Jing Li 0062 Junxin Li Li Li 0029 Qin Li Shaohua Li 0002 Tianlin Li Yongkang Li Yuekang Li Lvsi Lian Jinhao Liang Le Liang Zuoquan Lin Hong Liu 0006 Huiyu Liu Jing Liu 0012 Kai Liu Shengping Liu Ting Liu 0002 Wanwei Liu Wenyin LiuLiu Wenyin Xiao Liu 0004 Yang Liu 0003 Xin Luo Yixing Luo Enze Ma Lei Ma 0003 Wei Ma Wei-Ying Ma Jan Madsen Sabita Maharjan Dingding Mao Xiaoguang Mao Guozhu Meng Weikai Miao Prabhat Mishra 0001 Wanli Ouyang Chao Peng 0002 Liyang Peng Jing Ping Honggang Qi Yanxia Qi Yi Qian Lei Qiao 0002 Ruoyi Qiao Shengchao Qin Xiangfei Qiu Zongyan Qiu Kristin Y. RozierKristin Yvonne Rozier Jeff W. Sanders Xuebin Shao Yuchen Shao Jiawei Shen Yan Shen Jianqi Shi Ling Shi 0002 Yingying Shi Mihaela Sighireanu Fu Song Volker Stolz Ofer Strichman Ting Su 0001 Wen Su Zhendong Su 0001 Haiying Sun Hao Sun 0021 Jingling Sun Jun Sun 0001 Liangru Sun Meng Sun Minquan Sun Shuai Sun Tao Sun Lucas M. Tabajara Tian Huat Tan Shiping Tang Moshe Y. Vardi Chengcheng Wan 0001 Bin Wang Chong Wang 0013 Guanyu Wang 0005 Haijun Wang 0002 Haoyu Wang 0001 Jiangtao Wang 0009 Jiaping Wang Jue Wang Kailong Wang 0001 Ke Wang 0022 Mengdi Wang 0008 Mengfei Wang Qian Wang 0002 Qiang Wang 0020 Qichang Wang Rui Wang 0017 Run Wang 0001 Shang Wang Shuling Wang Tao Wang Yifei Wang Yujue Wang Zheng Wang 0005 Zhewei Wang Tongquan Wei Cheng Wen 0002 He Wen Jie Wu Ke Wu Min Wu 0003 Xiwei Wu Yutong Wu 0009 Yechuan Xia Hao Xiao Shengping Xiao Tao Xie 0001 Xiaofei Xie Xinou Xie Kunpeng Xiong Yiheng Xiong Hang Xu Lihua Xu Mengqian Xu Ruiyang Xu Yicong Xu Yihua Xu Yilongfei Xu Yuming Xu Zhiwu Xu 0001 William Y Jun Yan Yichen Yan Chuchao Yang Di Yang Fan Yang Hongli Yang Mengfei Yang Tao Yang Weiming Yang Xiuwen Yang Yao Yao Yinbo Yao Wang Yi 0001 Kaiyuan Yu Xiao Yu Xiaoyun Yu Chengyu Zhang 0001 Chong Zhang Fuyuan Zhang Hanyi Zhang Jian Zhang 0087 Jie Zhang 0002 Lijun Zhang 0001 Lingfeng Zhang Liyun Zhang Min Zhang 0007 Pengfei Zhang Quan Zhang 0003 Shuaipeng Zhang Simiao Zhang Xiaoyu Zhang Xinqian Zhang Yan Zhang 0002 Yueling Zhang Zhao Zhang Jianjun Zhao 0001 Xiangpeng Zhao Yongxin Zhao Zidong Zhao Hanyue Zheng Chijin Zhou Hanru Zhou Lei Zhou 0007 MengChu Zhou Mingyi Zhou Xinqiang Zhou Yuan Zhou 0005 Huibiao Zhu Jiayi Zhu 0002 Longfei Zhu Shufang Zhu 0001 Jiazhen Zou