Geguang Pu

According to our database, Geguang Pu authored at least 161 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Dodging DeepFake Detection via Implicit Spatial-Domain Notch Filtering.

Yihao Huang, Felix Juefei-Xu, Qing Guo, Yang Liu, Geguang Pu

IEEE Trans. Circuits Syst. Video Technol., August, 2024

Natural & Adversarial Bokeh Rendering via Circle-of-Confusion Predictive Network.

Yihao Huang, Felix Juefei-Xu, Qing Guo, Geguang Pu, Yang Liu

IEEE Trans. Multim., 2024

Texture Re-Scalable Universal Adversarial Perturbation.

Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Xiaojun Jia, Xiaochun Cao, Geguang Pu, Yang Liu

IEEE Trans. Inf. Forensics Secur., 2024

Revisiting Assumptions Ordering in CAR-Based Model Checking.

Yibo Dong, Yu Chen, Jianwen Li, Geguang Pu, Ofer Strichman

CoRR, 2024

Efficient and Effective Universal Adversarial Attack against Vision-Language Pre-training Models.

Fan Yang, Yihao Huang, Kailong Wang, Ling Shi, Geguang Pu, Yang Liu, Haoyu Wang

CoRR, 2024

Perception-guided Jailbreak against Text-to-Image Models.

Yihao Huang, Le Liang, Tianlin Li, Xiaojun Jia, Run Wang, Weikai Miao, Geguang Pu, Yang Liu

CoRR, 2024

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts.

Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Y. Vardi

CoRR, 2024

Text Modality Oriented Image Feature Extraction for Detecting Diffusion-based DeepFake.

Di Yang, Yihao Huang, Qing Guo, Felix Juefei-Xu, Xiaojun Jia, Run Wang, Geguang Pu, Yang Liu

CoRR, 2024

Semantic-guided Prompt Organization for Universal Goal Hijacking against LLMs.

Yihao Huang, Chong Wang, Xiaojun Jia, Qing Guo, Felix Juefei-Xu, Jian Zhang, Geguang Pu, Yang Liu

CoRR, 2024

Improving Robustness of LiDAR-Camera Fusion Model against Weather Corruption from Fusion Strategy Perspective.

Yihao Huang, Kaiyuan Yu, Qing Guo, Felix Juefei-Xu, Xiaojun Jia, Tianlin Li, Geguang Pu, Yang Liu

CoRR, 2024

Experimenting a New Programming Practice with LLMs.

Simiao Zhang, Jiaping Wang, Guoliang Dong, Jun Sun, Yueling Zhang, Geguang Pu

CoRR, 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

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps.

Jingling Sun, Ting Su, Jun Sun, Jianwen Li, Mengfei Wang, Geguang Pu

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

Architecture-Agnostic Iterative Black-Box Certified Defense Against Adversarial Patches.

Di Yang, Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Yang Liu, Geguang Pu

Proceedings of the IEEE International Conference on Acoustics, 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, Yihao Huang, Jiaping Wang, Chengcheng Wan, Ting Su, Geguang Pu

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2024, 2024

Cosalpure: Learning Concept from Group Images for Robust Co-Saliency Detection.

Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

Personalization as a Shortcut for Few-Shot Backdoor Attack against Text-to-Image Diffusion Models.

Yihao Huang, Felix Juefei-Xu, Qing Guo, Jie Zhang, Yutong Wu, Ming Hu, Tianlin Li, Geguang Pu, Yang Liu

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Accelerate Safety Model Checking Based on Complementary Approximate Reachability.

Xiaoyu Zhang, Shengping Xiao, Yechuan Xia, Jianwen Li, Mingsong Chen, Geguang Pu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., September, 2023

Characterizing and Finding System Setting-Related Defects in Android Apps.

Jingling Sun, Ting Su, Kai Liu, Chao Peng, Zhao Zhang, Geguang Pu, Tao Xie, Zhendong Su

IEEE Trans. Software Eng., April, 2023

Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework.

Simiao Zhang, Jitao Bai, Menghong Guan, Yihao Huang, Yueling Zhang, Jun Sun, Geguang Pu

CoRR, 2023

FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format.

Shengping Xiao, Chengyu Zhang, Jianwen Li, Geguang Pu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps.

Jingling Sun, Ting Su, Jiayi Jiang, Jue Wang, Geguang Pu, Zhendong Su

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android.

Enze Ma, Shan Huang, Weigang He, Ting Su, Jue Wang, Huiyu Liu, Geguang Pu, Zhendong Su

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems.

Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, Geguang Pu

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

ALA: Naturalness-aware Adversarial Lightness Attack.

Yihao Huang, Liangru Sun, Qing Guo, Felix Juefei-Xu, Jiayi Zhu, Jincao Feng, Yang Liu, Geguang Pu

Proceedings of the 31st ACM International Conference on Multimedia, 2023

An Empirical Study of Functional Bugs in Android Apps.

Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, Zhendong Su

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Searching for i-Good Lemmas to Accelerate Safety Model Checking.

Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps.

Ting Su, Lingling Fan, Sen Chen, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su

IEEE Trans. Software Eng., 2022

FakeLocator: Robust Localization of GAN-Based Face Manipulations.

Yihao Huang, Felix Juefei-Xu, Qing Guo, Yang Liu, Geguang Pu

IEEE Trans. Inf. Forensics Secur., 2022

Runtime Assurance of Learning-Based Lane Changing Control for Autonomous Driving Vehicles.

Qiang Wang, Guang Kou, Longquan Chen, Ying He, Weipeng Cao, Geguang Pu

J. Circuits Syst. Comput., 2022

Identifying Boundary Conditions with the Syntax and Semantic Information of Goals.

Yechuan Xia, Jianwen Li, Shengping Xiao, Weikai Miao, Geguang Pu

CoRR, 2022

ALA: Adversarial Lightness Attack via Naturalness-aware Regularizations.

Liangru Sun, Felix Juefei-Xu, Yihao Huang, Qing Guo, Jiayi Zhu, Jincao Feng, Yang Liu, Geguang Pu

CoRR, 2022

Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding.

Xiaoyu Zhang, Shengping Xiao, Jianwen Li, Geguang Pu, Ofer Strichman

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

Masked Faces with Faced Masks.

Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu

Proceedings of the Computer Vision - ECCV 2022 Workshops, 2022

2021

Blockchain and Federated Learning for Collaborative Intrusion Detection in Vehicular Edge Computing.

Hong Liu, Shuaipeng Zhang, Pengfei Zhang, Xinqiang Zhou, Xuebin Shao, Geguang Pu, Yan Zhang

IEEE Trans. Veh. Technol., 2021

Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs.

Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, Zhendong Su

Proc. ACM Program. Lang., 2021

AdvBokeh: Learning to Adversarially Defocus Blur.

Yihao Huang, Felix Juefei-Xu, Qing Guo, Weikai Miao, Yang Liu, Geguang Pu

CoRR, 2021

On the Power of Automata Minimization in Temporal Synthesis.

Shufang Zhu, Lucas M. Tabajara, Geguang Pu, Moshe Y. Vardi

Proceedings of the Proceedings 12th International Symposium on Games, 2021

Generating Test Cases from Requirements: A Case Study in Railway Control System Domain.

Hanyue Zheng, Jincao Feng, Weikai Miao, Geguang Pu

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning.

Yihao Huang, Qing Guo, Felix Juefei-Xu, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu

Proceedings of the MM '21: ACM Multimedia Conference, Virtual Event, China, October 20, 2021

Understanding and finding system setting-related defects in Android apps.

Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, Zhendong Su

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers.

Chengyu Zhang, Minquan Sun, Jianwen Li, Ting Su, Geguang Pu

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

On-the-fly Synthesis for LTL over Finite Traces.

Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Blockchain Empowered Cooperative Authentication With Data Traceability in Vehicular Edge Computing.

Hong Liu, Pengfei Zhang, Geguang Pu, Tao Yang, Sabita Maharjan, Yan Zhang

IEEE Trans. Veh. Technol., 2020

Optimizing backbone filtering.

Yueling Zhang, Min Zhang, Geguang Pu

Sci. Comput. Program., 2020

FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise.

Yihao Huang, Felix Juefei-Xu, Qing Guo, Xiaofei Xie, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu

CoRR, 2020

FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles.

Yihao Huang, Felix Juefei-Xu, Run Wang, Xiaofei Xie, Lei Ma, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu

CoRR, 2020

SAT-based explicit LTLf satisfiability checking.

Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier

Artif. Intell., 2020

Reinforcement Learning Guided Symbolic Execution.

Jie Wu, Chengyu Zhang, Geguang Pu

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.

Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction.

Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

Accelerating All-SAT Computation with Short Blocking Clauses.

Yueling Zhang, Geguang Pu, Jun Sun

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

MemLock: memory usage guided fuzzing.

Cheng Wen, Haijun Wang, Yuekang Li, Shengchao Qin, Yang Liu, Zhiwu Xu, Hongxu Chen, Xiaofei Xie, Geguang Pu, Ting Liu

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

SAT-Based Automata Construction for LTL over Finite Traces.

Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo, Geguang Pu

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

LTLƒ Synthesis with Fairness and Stability Assumptions.

Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Generating adversarial examples for DNN using pooling layers.

Yueling Zhang, Geguang Pu, Min Zhang, William Y

J. Intell. Fuzzy Syst., 2019

SAT-based explicit LTL reasoning and its application to satisfiability checking.

Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi

Formal Methods Syst. Des., 2019

First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation.

Shufang Zhu, Geguang Pu, Moshe Y. Vardi

CoRR, 2019

Intersection and Rotation of Assumption Literals Boosts Bug-Finding.

Rohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi, Kristin Y. Rozier

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

First-Order vs. Second-Order Encodings for \textsc ltl_f -to-Automata Translation.

Shufang Zhu, Geguang Pu, Moshe Y. Vardi

Proceedings of the Theory and Applications of Models of Computation, 2019

Finding and understanding bugs in software model checkers.

Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, Zhendong Su

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Prema: A Tool for Precise Requirements Editing, Modeling and Analysis.

Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

SMTBCF: Efficient Backbone Computing for SMT Formulas.

Yueling Zhang, Geguang Pu, Min Zhang

Proceedings of the Formal Methods and Software Engineering, 2019

2018

Online Failure Prediction for Railway Transportation Systems Based on Fuzzy Rules and Data Analysis.

Zuohua Ding, Yuan Zhou, Geguang Pu, MengChu Zhou

IEEE Trans. Reliab., 2018

Accelerating LTL satisfiability checking by SAT solvers.

Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He

J. Log. Comput., 2018

An explicit transition system construction approach to LTL satisfiability checking.

Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He

Formal Aspects Comput., 2018

Towards Efficient Data-flow Test Data Generation.

Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu, Zhoulai Fu, Zhendong Su

CoRR, 2018

Towards Efficient Data-flow Test Data Generation Using KLEE.

Chengyu Zhang, Ting Su, Yichen Yan, Ke Wu, Geguang Pu

CoRR, 2018

Formal modelling of list based dynamic memory allocators.

Bin Fang, Mihaela Sighireanu, Geguang Pu, Wen Su, Jean-Raymond Abrial, Mengfei Yang, Lei Qiao

Sci. China Inf. Sci., 2018

Towards backbone computing: A Greedy-Whitening based approach.

Yueling Zhang, Min Zhang, Geguang Pu, Fu Song, Jianwen Li

AI Commun., 2018

Preface for the special issue for ATVA 2015.

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

Acta Informatica, 2018

Efficiently manifesting asynchronous programming errors in Android apps.

Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Smartunit: empirical evaluations for automated unit testing of embedded software in industry.

Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu

Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

Large-scale analysis of framework-specific exceptions in Android apps.

Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su

Proceedings of the 40th International Conference on Software Engineering, 2018

SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability.

Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Y. Vardi

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Efficient Resource Constrained Scheduling Using Parallel Two-Phase Branch-and-Bound Heuristics.

Mingsong Chen, Yongxiang Bao, Xin Fu, Geguang Pu, Tongquan Wei

IEEE Trans. Parallel Distributed Syst., 2017

A Survey on Data-Flow Testing.

Ting Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su

ACM Comput. Surv., 2017

Optimizing backbone filtering.

Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Guided, stochastic model-based GUI testing of Android apps.

Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, Zhendong Su

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Symbolic LTLf Synthesis.

Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Safety model checking with complementary approximations.

Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

A Symbolic Approach to Safety ltl Synthesis.

Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi

Proceedings of the Hardware and Software: Verification and Testing, 2017

2016

Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques.

Mingsong Chen, Xinqian Zhang, Geguang Pu, Xin Fu, Prabhat Mishra

IEEE Trans. Computers, 2016

Approximate Reachability.

Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi

CoRR, 2016

Automated coverage-driven testing: combining symbolic execution and model checking.

Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su

Sci. China Inf. Sci., 2016

Automated Requirements Validation for ATP Software via Specification Review and Testing.

Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen, Kunpeng Xiong

Proceedings of the Formal Methods and Software Engineering, 2016

2015

Fm-QCA: A Novel Approach to Multi-value Qualitative Comparative Analysis.

Ke Wu, Shiping Tang, Geguang Pu, Min Wu, Ting Su

Proceedings of the Knowledge Science, Engineering and Management, 2015

Combining Symbolic Execution and Model Checking for Data Flow Testing.

Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Formal Development of a Real-Time Operating System Memory Manager.

Wen Su, Jean-Raymond Abrial, Geguang Pu, Bin Fang

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

SAT-Based Explicit LTL Reasoning.

Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi

Proceedings of the Hardware and Software: Verification and Testing, 2015

Modeling and Verifying Google File System.

Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference.

Fu Song, Weikai Miao, Geguang Pu, Min Zhang

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

The semantics and verification of timed service choreography.

Yongxin Zhao, Hao Xiao, Zheng Wang, Geguang Pu, Ting Su

Int. J. Comput. Math., 2014

Fast LTL Satisfiability Checking by SAT Solvers.

Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He

CoRR, 2014

Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling.

Mingsong Chen, Fan Gu, Lei Zhou, Geguang Pu, Xiao Liu

Proceedings of the 2014 27th International Conference on VLSI Design, 2014

Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking.

Wanwei Liu, Xiaoguang Mao, Geguang Pu, Rui Wang

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution.

Ting Su, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Siyuan Jiang, Jianjun Zhao

Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

Aalta: an LTL satisfiability checker over Infinite/Finite traces.

Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, Jifeng He

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Formalizing Google File System.

Mengdi Wang, Bo Li, Yongxin Zhao, Geguang Pu

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

LTLf Satisfiability Checking.

Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Runtime Verification by Convergent Formula Progression.

Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

A novel requirement analysis approach for periodic control systems.

Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He

Frontiers Comput. Sci., 2013

Polsat: A Portfolio LTL Satisfiability Solver.

Jianwen Li, Geguang Pu, Lijun Zhang, Yinbo Yao, Moshe Y. Vardi, Jifeng He

CoRR, 2013

LTL Satisfiability Checking Revisited.

Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He

Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Branch-and-bound style resource constrained scheduling using efficient structure-aware pruning.

Mingsong Chen, Saijie Huang, Geguang Pu, Prabhat Mishra

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2013

Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis.

Mingsong Chen, Lei Zhou, Geguang Pu, Jifeng He

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013

On the Relationship between LTL Normal Forms and Büchi Automata.

Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim Guldstrand Larsen

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

MDM: A Mode Diagram Modeling Framework

Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu

Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

On the Relationship between LTL Normal Forms and Buechi Automata

Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen

CoRR, 2012

MDM: A Mode Diagram Modeling Framework for Periodic Control Systems

Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He

CoRR, 2012

The stochastic semantics and verification for periodic control systems.

Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He

Sci. China Inf. Sci., 2012

A Type System for SPARDL.

Zheng Wang, Geguang Pu, Jianwen Li, Bin Gu

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

An Approach to Requirement Analysis for Periodic Control Systems.

Jianwen Li, Geguang Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

2011

A Unifying Approach to Validating Specification-Oriented XML Constraints.

Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

An Event-B Interpretation for SPARDL Model.

Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010

Web services choreography validation.

Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu

Serv. Oriented Comput. Appl., 2010

Linking denotational semantics with operational semantics for web services.

Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen

Innov. Syst. Softw. Eng., 2010

A Parallel Approach to Concolic Testing with Low-cost Synchronization.

Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, Zheng Wang

Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 2010

A Formal Model for Service Choreography with Exception Handling and Finalization.

Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Constraint Checking for XML-Based Language Specification by SAT Solver.

Hao Xiao, Zheng Wang, Geguang Pu, Bin Gu

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications.

Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu

Proceedings of the 10th International Conference on Quality Software, 2010

SPARDL: A Requirement Modeling Language for Periodic Control System.

Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Automatically Testing Web Services Choreography with Assertions.

Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding

Proceedings of the Formal Methods and Software Engineering, 2010

Model-Based Methods for Linking Web Service Choreography and Orchestration.

Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu, Tian Huat Tan

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009

Static validation of WS-CDL documents.

Geguang Pu, Zheng Wang, Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Liyang Peng, Meng Sun

Simul. Model. Pract. Theory, 2009

Test Data Generation for Derived Types in C Program.

Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu

Proceedings of the TASE 2009, 2009

Path-Based Approach to Integration Testing.

Jueliang Hu, Zuohua Ding, Geguang Pu

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Simulation and validation of Web services choreography.

Lei Zhou, Hao Xiao, Jing Ping, Geguang Pu, Hanyi Zhang

Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

Verification of channel passing in choreography with model checking.

Liyang Peng, Chao Cai, Zongyan Qiu, Geguang Pu

Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

Towards Scalable Compositional Test Generation.

Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu

Proceedings of the Ninth International Conference on Quality Software, 2009

Modelling and Verification of Web Navigation.

Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders

Proceedings of the Web Engineering, 9th International Conference, 2009

2008

A Bigraphical Model of WSBPEL.

Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Static Check of WS-CDL Documents.

Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Zheng Wang, Meng Sun, Geguang Pu

Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

A Denotational Model for Web Services Choreography.

Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He

Proceedings of the Distributed Computing and Internet Technology, 2008

Execution Semantics for rCOS.

Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007

A model for BPEL-like languages.

Jifeng He, Huibiao Zhu, Geguang Pu

Frontiers Comput. Sci. China, 2007

The Verification of rCOS Using Spin.

Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

Preface.

Geguang Pu, Volker Stolz

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

Conformance Validation between Choreography and Orchestration.

Jing Li, Huibiao Zhu, Geguang Pu

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

An Operational Approach to BPEL-like Programming.

Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Looking into Compensable Transactions.

Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Modeling and Verifying Web Services Choreography Using Process Algebra.

Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

A Formal Model for Compensable Transactions.

Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Tool Support for BPEL Verification in ActiveBPEL Engine.

Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

The Validation and Verification of WSCDL.

Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata.

Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2006

Patterns with Algebraic Properties in BPEL0.

Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao

Proceedings of the Leveraging Applications of Formal Methods, 2006

A Formal Model forWeb Service Choreography Description Language (WS-CDL).

Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Type Checking Choreography Description Language.

Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu

Proceedings of the Formal Methods and Software Engineering, 2006

Towards the Semantics for Web Service Choreography Description Language.

Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu

Proceedings of the Formal Methods and Software Engineering, 2006

Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning.

Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service.

Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem.

Geguang Pu, Jifeng He, Zongyan Qiu

Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), 2006

A Denotational Approach to Scope-Based Compensable Flow Language for Web Service.

Huibiao Zhu, Geguang Pu, Jifeng He

Proceedings of the Advances in Computer Science, 2006

2005

Exploring optimal solution to hardware/software partitioning for synchronous model.

Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi

Formal Aspects Comput., 2005

Towards the Semantics and Verification of BPEL4WS.

Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu

Proceedings of the International Workshop on Web Languages and Formal Methods, 2005

Semantics of BPEL4WS-Like Fault and Compensation Handling.

Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao

Proceedings of the FM 2005: Formal Methods, 2005

2004

Integrating Time and Resource into <i>Circus</i>.

Geguang Pu, Zongyan Qiu, Jifeng He

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model.

Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

An Optimal Approach to Hardware/Software Partitioning for Synchronous Model.

Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

Building a web thesaurus from web link structure.

Zheng Chen, Shengping Liu, Liu Wenyin, Geguang Pu, Wei-Ying Ma

Proceedings of the SIGIR 2003: Proceedings of the 26th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, July 28, 2003