Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Geguang Pu
@article{DBLP:journals/tmm/HuangJGPL24,
author = {Yihao Huang and
Felix Juefei{-}Xu and
Qing Guo and
Geguang Pu and
Yang Liu},
title = {Natural {\&} Adversarial Bokeh Rendering via Circle-of-Confusion
Predictive Network},
journal = {{IEEE} Trans. Multim.},
volume = {26},
pages = {5729--5740},
year = {2024},
url = {https://doi.org/10.1109/TMM.2023.3338413},
doi = {10.1109/TMM.2023.3338413},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmm/HuangJGPL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/0001JGZ00LPL24,
author = {Yihao Huang and
Felix Juefei{-}Xu and
Qing Guo and
Jie Zhang and
Yutong Wu and
Ming Hu and
Tianlin Li and
Geguang Pu and
Yang Liu},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Personalization as a Shortcut for Few-Shot Backdoor Attack against
Text-to-Image Diffusion Models},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {21169--21178},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i19.30110},
doi = {10.1609/AAAI.V38I19.30110},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/0001JGZ00LPL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/XiaoLHXLPSV24,
author = {Shengping Xiao and
Yongkang Li and
Xinyue Huang and
Yicong Xu and
Jianwen Li and
Geguang Pu and
Ofer Strichman and
Moshe Y. Vardi},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Model-Guided Synthesis for {LTL} over Finite Traces},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {186--207},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_9},
doi = {10.1007/978-3-031-50524-9\_9},
timestamp = {Sun, 14 Jan 2024 19:41:04 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/XiaoLHXLPSV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-01062,
author = {Simiao Zhang and
Jiaping Wang and
Guoliang Dong and
Jun Sun and
Yueling Zhang and
Geguang Pu},
title = {Experimenting a New Programming Practice with LLMs},
journal = {CoRR},
volume = {abs/2401.01062},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.01062},
doi = {10.48550/ARXIV.2401.01062},
eprinttype = {arXiv},
eprint = {2401.01062},
timestamp = {Mon, 15 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-01062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-02738,
author = {Yihao Huang and
Kaiyuan Yu and
Qing Guo and
Felix Juefei{-}Xu and
Xiaojun Jia and
Tianlin Li and
Geguang Pu and
Yang Liu},
title = {Improving Robustness of LiDAR-Camera Fusion Model against Weather
Corruption from Fusion Strategy Perspective},
journal = {CoRR},
volume = {abs/2402.02738},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.02738},
doi = {10.48550/ARXIV.2402.02738},
eprinttype = {arXiv},
eprint = {2402.02738},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-02738.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-18554,
author = {Jiayi Zhu and
Qing Guo and
Felix Juefei{-}Xu and
Yihao Huang and
Yang Liu and
Geguang Pu},
title = {CosalPure: Learning Concept from Group Images for Robust Co-Saliency
Detection},
journal = {CoRR},
volume = {abs/2403.18554},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.18554},
doi = {10.48550/ARXIV.2403.18554},
eprinttype = {arXiv},
eprint = {2403.18554},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-18554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ZhangXXLCP23,
author = {Xiaoyu Zhang and
Shengping Xiao and
Yechuan Xia and
Jianwen Li and
Mingsong Chen and
Geguang Pu},
title = {Accelerate Safety Model Checking Based on Complementary Approximate
Reachability},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {42},
number = {9},
pages = {3105--3117},
year = {2023},
url = {https://doi.org/10.1109/TCAD.2023.3236272},
doi = {10.1109/TCAD.2023.3236272},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ZhangXXLCP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SunSLPZPXS23,
author = {Jingling Sun and
Ting Su and
Kai Liu and
Chao Peng and
Zhao Zhang and
Geguang Pu and
Tao Xie and
Zhendong Su},
title = {Characterizing and Finding System Setting-Related Defects in Android
Apps},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {4},
pages = {2941--2963},
year = {2023},
url = {https://doi.org/10.1109/TSE.2023.3236449},
doi = {10.1109/TSE.2023.3236449},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SunSLPZPXS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/XiaBCGLP23,
author = {Yechuan Xia and
Anna Becchi and
Alessandro Cimatti and
Alberto Griggio and
Jianwen Li and
Geguang Pu},
editor = {Constantin Enea and
Akash Lal},
title = {Searching for i-Good Lemmas to Accelerate Safety Model Checking},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13965},
pages = {288--308},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37703-7\_14},
doi = {10.1007/978-3-031-37703-7\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/XiaBCGLP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/XiongX0SWWP0023,
author = {Yiheng Xiong and
Mengqian Xu and
Ting Su and
Jingling Sun and
Jue Wang and
He Wen and
Geguang Pu and
Jifeng He and
Zhendong Su},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {An Empirical Study of Functional Bugs in Android Apps},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1319--1331},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598138},
doi = {10.1145/3597926.3598138},
timestamp = {Mon, 17 Jul 2023 11:49:17 +0200},
biburl = {https://dblp.org/rec/conf/issta/XiongX0SWWP0023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/0001S0JZFLP23,
author = {Yihao Huang and
Liangru Sun and
Qing Guo and
Felix Juefei{-}Xu and
Jiayi Zhu and
Jincao Feng and
Yang Liu and
Geguang Pu},
editor = {Abdulmotaleb El{-}Saddik and
Tao Mei and
Rita Cucchiara and
Marco Bertini and
Diana Patricia Tobon Vallejo and
Pradeep K. Atrey and
M. Shamim Hossain},
title = {{ALA:} Naturalness-aware Adversarial Lightness Attack},
booktitle = {Proceedings of the 31st {ACM} International Conference on Multimedia,
{MM} 2023, Ottawa, ON, Canada, 29 October 2023- 3 November 2023},
pages = {2418--2426},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3581783.3611914},
doi = {10.1145/3581783.3611914},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mm/0001S0JZFLP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MaHH0WLP023,
author = {Enze Ma and
Shan Huang and
Weigang He and
Ting Su and
Jue Wang and
Huiyu Liu and
Geguang Pu and
Zhendong Su},
editor = {Satish Chandra and
Kelly Blincoe and
Paolo Tonella},
title = {Automata-Based Trace Analysis for Aiding Diagnosing {GUI} Testing
Tools for Android},
booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023},
pages = {592--604},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3611643.3616361},
doi = {10.1145/3611643.3616361},
timestamp = {Mon, 04 Dec 2023 11:02:39 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MaHH0WLP023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Sun0JWP023,
author = {Jingling Sun and
Ting Su and
Jiayi Jiang and
Jue Wang and
Geguang Pu and
Zhendong Su},
editor = {Satish Chandra and
Kelly Blincoe and
Paolo Tonella},
title = {Property-Based Fuzzing for Finding Data Manipulation Errors in Android
Apps},
booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023},
pages = {1088--1100},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3611643.3616286},
doi = {10.1145/3611643.3616286},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Sun0JWP023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DongZXCCMLP23,
author = {Yibo Dong and
Xiaoyu Zhang and
Yicong Xu and
Chang Cai and
Yu Chen and
Weikai Miao and
Jianwen Li and
Geguang Pu},
editor = {Satish Chandra and
Kelly Blincoe and
Paolo Tonella},
title = {LightF3: {A} Lightweight Fully-Process Formal Framework for Automated
Verifying Railway Interlocking Systems},
booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023},
pages = {1914--1925},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3611643.3613874},
doi = {10.1145/3611643.3613874},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DongZXCCMLP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/XiaoZLP23,
author = {Shengping Xiao and
Chengyu Zhang and
Jianwen Li and
Geguang Pu},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {FuzzBtor2: {A} Random Generator of Word-Level Model Checking Problems
in Btor2 Format},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {36--43},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_5},
doi = {10.1007/978-3-031-30820-8\_5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/XiaoZLP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-10929,
author = {Di Yang and
Yihao Huang and
Qing Guo and
Felix Juefei{-}Xu and
Ming Hu and
Yang Liu and
Geguang Pu},
title = {Architecture-agnostic Iterative Black-box Certified Defense against
Adversarial Patches},
journal = {CoRR},
volume = {abs/2305.10929},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.10929},
doi = {10.48550/ARXIV.2305.10929},
eprinttype = {arXiv},
eprint = {2305.10929},
timestamp = {Thu, 25 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-10929.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-01260,
author = {Jincao Feng and
Weikai Miao and
Hanyue Zheng and
Yihao Huang and
Jianwen Li and
Zheng Wang and
Ting Su and
Bin Gu and
Geguang Pu and
Mengfei Yang and
Jifeng He},
title = {{FREPA:} An Automated and Formal Approach to Requirement Modeling
and Analysis in Aircraft Control Domain},
journal = {CoRR},
volume = {abs/2306.01260},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.01260},
doi = {10.48550/ARXIV.2306.01260},
eprinttype = {arXiv},
eprint = {2306.01260},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-01260.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-11379,
author = {Simiao Zhang and
Jitao Bai and
Menghong Guan and
Yihao Huang and
Yueling Zhang and
Jun Sun and
Geguang Pu},
title = {Towards Better Fairness-Utility Trade-off: {A} Comprehensive Measurement-Based
Reinforcement Learning Framework},
journal = {CoRR},
volume = {abs/2307.11379},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.11379},
doi = {10.48550/ARXIV.2307.11379},
eprinttype = {arXiv},
eprint = {2307.11379},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-11379.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcsc/WangKCHCP22,
author = {Qiang Wang and
Guang Kou and
Longquan Chen and
Ying He and
Weipeng Cao and
Geguang Pu},
title = {Runtime Assurance of Learning-Based Lane Changing Control for Autonomous
Driving Vehicles},
journal = {J. Circuits Syst. Comput.},
volume = {31},
number = {14},
pages = {2250249:1--2250249:22},
year = {2022},
url = {https://doi.org/10.1142/S0218126622502498},
doi = {10.1142/S0218126622502498},
timestamp = {Sun, 03 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcsc/WangKCHCP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tifs/HuangJGLP22,
author = {Yihao Huang and
Felix Juefei{-}Xu and
Qing Guo and
Yang Liu and
Geguang Pu},
title = {FakeLocator: Robust Localization of GAN-Based Face Manipulations},
journal = {{IEEE} Trans. Inf. Forensics Secur.},
volume = {17},
pages = {2657--2672},
year = {2022},
url = {https://doi.org/10.1109/TIFS.2022.3141262},
doi = {10.1109/TIFS.2022.3141262},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tifs/HuangJGLP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SuFCLXPS22,
author = {Ting Su and
Lingling Fan and
Sen Chen and
Yang Liu and
Lihua Xu and
Geguang Pu and
Zhendong Su},
title = {Why My App Crashes? Understanding and Benchmarking Framework-Specific
Exceptions of Android Apps},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {4},
pages = {1115--1137},
year = {2022},
url = {https://doi.org/10.1109/TSE.2020.3013438},
doi = {10.1109/TSE.2020.3013438},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/SuFCLXPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccv/ZhuGJHLP22,
author = {Jiayi Zhu and
Qing Guo and
Felix Juefei{-}Xu and
Yihao Huang and
Yang Liu and
Geguang Pu},
editor = {Leonid Karlinsky and
Tomer Michaeli and
Ko Nishino},
title = {Masked Faces with Faced Masks},
booktitle = {Computer Vision - {ECCV} 2022 Workshops - Tel Aviv, Israel, October
23-27, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13801},
pages = {360--377},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25056-9\_24},
doi = {10.1007/978-3-031-25056-9\_24},
timestamp = {Mon, 20 Feb 2023 17:49:52 +0100},
biburl = {https://dblp.org/rec/conf/eccv/ZhuGJHLP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ZhangXLPS22,
author = {Xiaoyu Zhang and
Shengping Xiao and
Jianwen Li and
Geguang Pu and
Ofer Strichman},
editor = {Tulika Mitra and
Evangeline F. Y. Young and
Jinjun Xiong},
title = {Combining {BMC} and Complementary Approximate Reachability to Accelerate
Bug-Finding},
booktitle = {Proceedings of the 41st {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 2022, San Diego, California, USA, 30 October 2022
- 3 November 2022},
pages = {126:1--126:9},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3508352.3549393},
doi = {10.1145/3508352.3549393},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/ZhangXLPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-06070,
author = {Liangru Sun and
Felix Juefei{-}Xu and
Yihao Huang and
Qing Guo and
Jiayi Zhu and
Jincao Feng and
Yang Liu and
Geguang Pu},
title = {{ALA:} Adversarial Lightness Attack via Naturalness-aware Regularizations},
journal = {CoRR},
volume = {abs/2201.06070},
year = {2022},
url = {https://arxiv.org/abs/2201.06070},
eprinttype = {arXiv},
eprint = {2201.06070},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-06070.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-06427,
author = {Jiayi Zhu and
Qing Guo and
Felix Juefei{-}Xu and
Yihao Huang and
Yang Liu and
Geguang Pu},
title = {Masked Faces with Faced Masks},
journal = {CoRR},
volume = {abs/2201.06427},
year = {2022},
url = {https://arxiv.org/abs/2201.06427},
eprinttype = {arXiv},
eprint = {2201.06427},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-06427.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-12903,
author = {Yechuan Xia and
Jianwen Li and
Shengping Xiao and
Weikai Miao and
Geguang Pu},
title = {Identifying Boundary Conditions with the Syntax and Semantic Information
of Goals},
journal = {CoRR},
volume = {abs/2203.12903},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.12903},
doi = {10.48550/ARXIV.2203.12903},
eprinttype = {arXiv},
eprint = {2203.12903},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-12903.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SuYWSXPWS21,
author = {Ting Su and
Yichen Yan and
Jue Wang and
Jingling Sun and
Yiheng Xiong and
Geguang Pu and
Ke Wang and
Zhendong Su},
title = {Fully automated functional fuzzing of Android apps for detecting non-crashing
logic bugs},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--31},
year = {2021},
url = {https://doi.org/10.1145/3485533},
doi = {10.1145/3485533},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/SuYWSXPWS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvt/LiuZZZSPZ21,
author = {Hong Liu and
Shuaipeng Zhang and
Pengfei Zhang and
Xinqiang Zhou and
Xuebin Shao and
Geguang Pu and
Yan Zhang},
title = {Blockchain and Federated Learning for Collaborative Intrusion Detection
in Vehicular Edge Computing},
journal = {{IEEE} Trans. Veh. Technol.},
volume = {70},
number = {6},
pages = {6073--6084},
year = {2021},
url = {https://doi.org/10.1109/TVT.2021.3076780},
doi = {10.1109/TVT.2021.3076780},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvt/LiuZZZSPZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/XiaoL0SPV21,
author = {Shengping Xiao and
Jianwen Li and
Shufang Zhu and
Yingying Shi and
Geguang Pu and
Moshe Y. Vardi},
title = {On-the-fly Synthesis for {LTL} over Finite Traces},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {6530--6537},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i7.16809},
doi = {10.1609/AAAI.V35I7.16809},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/XiaoL0SPV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/0001SL0P21,
author = {Chengyu Zhang and
Minquan Sun and
Jianwen Li and
Ting Su and
Geguang Pu},
title = {Feedback-Guided Circuit Structure Mutation for Testing Hardware Model
Checkers},
booktitle = {{IEEE/ACM} International Conference On Computer Aided Design, {ICCAD}
2021, Munich, Germany, November 1-4, 2021},
pages = {1--9},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCAD51958.2021.9643509},
doi = {10.1109/ICCAD51958.2021.9643509},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/0001SL0P21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SunSLDPXS21,
author = {Jingling Sun and
Ting Su and
Junxin Li and
Zhen Dong and
Geguang Pu and
Tao Xie and
Zhendong Su},
editor = {Cristian Cadar and
Xiangyu Zhang},
title = {Understanding and finding system setting-related defects in Android
apps},
booktitle = {{ISSTA} '21: 30th {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021},
pages = {204--215},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460319.3464806},
doi = {10.1145/3460319.3464806},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/SunSLDPXS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/00010JMMLP21,
author = {Yihao Huang and
Qing Guo and
Felix Juefei{-}Xu and
Lei Ma and
Weikai Miao and
Yang Liu and
Geguang Pu},
editor = {Heng Tao Shen and
Yueting Zhuang and
John R. Smith and
Yang Yang and
Pablo C{\'{e}}sar and
Florian Metze and
Balakrishnan Prabhakaran},
title = {AdvFilter: Predictive Perturbation-aware Filtering against Adversarial
Attack via Multi-domain Learning},
booktitle = {{MM} '21: {ACM} Multimedia Conference, Virtual Event, China, October
20 - 24, 2021},
pages = {395--403},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3474085.3475171},
doi = {10.1145/3474085.3475171},
timestamp = {Mon, 22 Apr 2024 21:24:20 +0200},
biburl = {https://dblp.org/rec/conf/mm/00010JMMLP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZhengFMP21,
author = {Hanyue Zheng and
Jincao Feng and
Weikai Miao and
Geguang Pu},
title = {Generating Test Cases from Requirements: {A} Case Study in Railway
Control System Domain},
booktitle = {International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2021, Shanghai, China, August 25-27, 2021},
pages = {183--190},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/TASE52547.2021.00029},
doi = {10.1109/TASE52547.2021.00029},
timestamp = {Mon, 11 Oct 2021 17:13:04 +0200},
biburl = {https://dblp.org/rec/conf/tase/ZhengFMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-06790,
author = {Shufang Zhu and
Lucas M. Tabajara and
Geguang Pu and
Moshe Y. Vardi},
editor = {Pierre Ganty and
Davide Bresolin},
title = {On the Power of Automata Minimization in Temporal Synthesis},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {117--134},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.8},
doi = {10.4204/EPTCS.346.8},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-06790.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-06501,
author = {Yihao Huang and
Qing Guo and
Felix Juefei{-}Xu and
Lei Ma and
Weikai Miao and
Yang Liu and
Geguang Pu},
title = {AdvFilter: Predictive Perturbation-aware Filtering against Adversarial
Attack via Multi-domain Learning},
journal = {CoRR},
volume = {abs/2107.06501},
year = {2021},
url = {https://arxiv.org/abs/2107.06501},
eprinttype = {arXiv},
eprint = {2107.06501},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-06501.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-12971,
author = {Yihao Huang and
Felix Juefei{-}Xu and
Qing Guo and
Weikai Miao and
Yang Liu and
Geguang Pu},
title = {AdvBokeh: Learning to Adversarially Defocus Blur},
journal = {CoRR},
volume = {abs/2111.12971},
year = {2021},
url = {https://arxiv.org/abs/2111.12971},
eprinttype = {arXiv},
eprint = {2111.12971},
timestamp = {Thu, 02 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-12971.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LiPZVR20,
author = {Jianwen Li and
Geguang Pu and
Yueling Zhang and
Moshe Y. Vardi and
Kristin Y. Rozier},
title = {SAT-based explicit LTLf satisfiability checking},
journal = {Artif. Intell.},
volume = {289},
pages = {103369},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2020.103369},
doi = {10.1016/J.ARTINT.2020.103369},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/LiPZVR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhangZP20,
author = {Yueling Zhang and
Min Zhang and
Geguang Pu},
title = {Optimizing backbone filtering},
journal = {Sci. Comput. Program.},
volume = {187},
pages = {102374},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2019.102374},
doi = {10.1016/J.SCICO.2019.102374},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ZhangZP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvt/LiuZPYMZ20,
author = {Hong Liu and
Pengfei Zhang and
Geguang Pu and
Tao Yang and
Sabita Maharjan and
Yan Zhang},
title = {Blockchain Empowered Cooperative Authentication With Data Traceability
in Vehicular Edge Computing},
journal = {{IEEE} Trans. Veh. Technol.},
volume = {69},
number = {4},
pages = {4221--4232},
year = {2020},
url = {https://doi.org/10.1109/TVT.2020.2969722},
doi = {10.1109/TVT.2020.2969722},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvt/LiuZPYMZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhuGPV20,
author = {Shufang Zhu and
Giuseppe De Giacomo and
Geguang Pu and
Moshe Y. Vardi},
title = {LTL{\(f\)} Synthesis with Fairness and Stability Assumptions},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {3088--3095},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i03.5704},
doi = {10.1609/AAAI.V34I03.5704},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZhuGPV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ShiXLGP20,
author = {Yingying Shi and
Shengping Xiao and
Jianwen Li and
Jian Guo and
Geguang Pu},
title = {SAT-Based Automata Construction for {LTL} over Finite Traces},
booktitle = {27th Asia-Pacific Software Engineering Conference, {APSEC} 2020, Singapore,
December 1-4, 2020},
pages = {1--10},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/APSEC51365.2020.00008},
doi = {10.1109/APSEC51365.2020.00008},
timestamp = {Sun, 26 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ShiXLGP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WenWLQLXCXPL20,
author = {Cheng Wen and
Haijun Wang and
Yuekang Li and
Shengchao Qin and
Yang Liu and
Zhiwu Xu and
Hongxu Chen and
Xiaofei Xie and
Geguang Pu and
Ting Liu},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {MemLock: memory usage guided fuzzing},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {765--777},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380396},
doi = {10.1145/3377811.3380396},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/WenWLQLXCXPL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangPS20,
author = {Yueling Zhang and
Geguang Pu and
Jun Sun},
title = {Accelerating All-SAT Computation with Short Blocking Clauses},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {6--17},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3416569},
doi = {10.1145/3324884.3416569},
timestamp = {Fri, 12 Feb 2021 13:04:43 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ZhangPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/HuangJWGMXLMLP20,
author = {Yihao Huang and
Felix Juefei{-}Xu and
Run Wang and
Qing Guo and
Lei Ma and
Xiaofei Xie and
Jianwen Li and
Weikai Miao and
Yang Liu and
Geguang Pu},
editor = {Chang Wen Chen and
Rita Cucchiara and
Xian{-}Sheng Hua and
Guo{-}Jun Qi and
Elisa Ricci and
Zhengyou Zhang and
Roger Zimmermann},
title = {FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction},
booktitle = {{MM} '20: The 28th {ACM} International Conference on Multimedia, Virtual
Event / Seattle, WA, USA, October 12-16, 2020},
pages = {1217--1226},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3394171.3413732},
doi = {10.1145/3394171.3413732},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mm/HuangJWGMXLMLP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FengMZHL0SGPYH20,
author = {Jincao Feng and
Weikai Miao and
Hanyue Zheng and
Yihao Huang and
Jianwen Li and
Zheng Wang and
Ting Su and
Bin Gu and
Geguang Pu and
Mengfei Yang and
Jifeng He},
editor = {Prem Devanbu and
Myra B. Cohen and
Thomas Zimmermann},
title = {{FREPA:} an automated and formal approach to requirement modeling
and analysis in aircraft control domain},
booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Virtual
Event, USA, November 8-13, 2020},
pages = {1376--1386},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368089.3417047},
doi = {10.1145/3368089.3417047},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/FengMZHL0SGPYH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/WuZP20,
author = {Jie Wu and
Chengyu Zhang and
Geguang Pu},
editor = {Kostas Kontogiannis and
Foutse Khomh and
Alexander Chatzigeorgiou and
Marios{-}Eleftherios Fokaefs and
Minghui Zhou},
title = {Reinforcement Learning Guided Symbolic Execution},
booktitle = {27th {IEEE} International Conference on Software Analysis, Evolution
and Reengineering, {SANER} 2020, London, ON, Canada, February 18-21,
2020},
pages = {662--663},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SANER48275.2020.9054815},
doi = {10.1109/SANER48275.2020.9054815},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcre/WuZP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-09598,
author = {Yihao Huang and
Felix Juefei{-}Xu and
Run Wang and
Xiaofei Xie and
Lei Ma and
Jianwen Li and
Weikai Miao and
Yang Liu and
Geguang Pu},
title = {FakeLocator: Robust Localization of GAN-Based Face Manipulations via
Semantic Segmentation Networks with Bells and Whistles},
journal = {CoRR},
volume = {abs/2001.09598},
year = {2020},
url = {https://arxiv.org/abs/2001.09598},
eprinttype = {arXiv},
eprint = {2001.09598},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-09598.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-07533,
author = {Yihao Huang and
Felix Juefei{-}Xu and
Run Wang and
Qing Guo and
Lei Ma and
Xiaofei Xie and
Jianwen Li and
Weikai Miao and
Yang Liu and
Geguang Pu},
title = {FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction},
journal = {CoRR},
volume = {abs/2006.07533},
year = {2020},
url = {https://arxiv.org/abs/2006.07533},
eprinttype = {arXiv},
eprint = {2006.07533},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-07533.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-09213,
author = {Yihao Huang and
Felix Juefei{-}Xu and
Qing Guo and
Xiaofei Xie and
Lei Ma and
Weikai Miao and
Yang Liu and
Geguang Pu},
title = {FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate
Noise},
journal = {CoRR},
volume = {abs/2009.09213},
year = {2020},
url = {https://arxiv.org/abs/2009.09213},
eprinttype = {arXiv},
eprint = {2009.09213},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-09213.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/LiZPZV19,
author = {Jianwen Li and
Shufang Zhu and
Geguang Pu and
Lijun Zhang and
Moshe Y. Vardi},
title = {SAT-based explicit {LTL} reasoning and its application to satisfiability
checking},
journal = {Formal Methods Syst. Des.},
volume = {54},
number = {2},
pages = {164--190},
year = {2019},
url = {https://doi.org/10.1007/s10703-018-00326-5},
doi = {10.1007/S10703-018-00326-5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/LiZPZV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jifs/ZhangPZY19,
author = {Yueling Zhang and
Geguang Pu and
Min Zhang and
William Y},
title = {Generating adversarial examples for {DNN} using pooling layers},
journal = {J. Intell. Fuzzy Syst.},
volume = {37},
number = {4},
pages = {4615--4620},
year = {2019},
url = {https://doi.org/10.3233/JIFS-179295},
doi = {10.3233/JIFS-179295},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jifs/ZhangPZY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LiRPZV19,
author = {Jianwen Li and
Kristin Y. Rozier and
Geguang Pu and
Yueling Zhang and
Moshe Y. Vardi},
title = {SAT-Based Explicit LTLf Satisfiability Checking},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {2946--2953},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33012946},
doi = {10.1609/AAAI.V33I01.33012946},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LiRPZV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ZhangPZ19,
author = {Yueling Zhang and
Geguang Pu and
Min Zhang},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {{SMTBCF:} Efficient Backbone Computing for {SMT} Formulas},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {36--51},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_3},
doi = {10.1007/978-3-030-32409-4\_3},
timestamp = {Mon, 28 Oct 2019 17:04:46 +0100},
biburl = {https://dblp.org/rec/conf/icfem/ZhangPZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HuangFZZWJMP19,
author = {Yihao Huang and
Jincao Feng and
Hanyue Zheng and
Jiayi Zhu and
Shang Wang and
Siyuan Jiang and
Weikai Miao and
Geguang Pu},
title = {Prema: {A} Tool for Precise Requirements Editing, Modeling and Analysis},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {1166--1169},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00128},
doi = {10.1109/ASE.2019.00128},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/HuangFZZWJMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZhangSYZPS19,
author = {Chengyu Zhang and
Ting Su and
Yichen Yan and
Fuyuan Zhang and
Geguang Pu and
Zhendong Su},
editor = {Marlon Dumas and
Dietmar Pfahl and
Sven Apel and
Alessandra Russo},
title = {Finding and understanding bugs in software model checkers},
booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
pages = {763--773},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338906.3338932},
doi = {10.1145/3338906.3338932},
timestamp = {Sat, 30 Sep 2023 09:56:36 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/ZhangSYZPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/ZhuPV19,
author = {Shufang Zhu and
Geguang Pu and
Moshe Y. Vardi},
editor = {T. V. Gopal and
Junzo Watada},
title = {First-Order vs. Second-Order Encodings for {\textbackslash}textsc
ltl{\_}f -to-Automata Translation},
booktitle = {Theory and Applications of Models of Computation - 15th Annual Conference,
{TAMC} 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11436},
pages = {684--705},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-14812-6\_43},
doi = {10.1007/978-3-030-14812-6\_43},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/ZhuPV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/DurejaLPVR19,
author = {Rohit Dureja and
Jianwen Li and
Geguang Pu and
Moshe Y. Vardi and
Kristin Y. Rozier},
editor = {Supratik Chakraborty and
Jorge A. Navas},
title = {Intersection and Rotation of Assumption Literals Boosts Bug-Finding},
booktitle = {Verified Software. Theories, Tools, and Experiments - 11th International
Conference, {VSTTE} 2019, New York City, NY, USA, July 13-14, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12031},
pages = {180--192},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41600-3\_12},
doi = {10.1007/978-3-030-41600-3\_12},
timestamp = {Mon, 16 Mar 2020 13:24:49 +0100},
biburl = {https://dblp.org/rec/conf/vstte/DurejaLPVR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-06108,
author = {Shufang Zhu and
Geguang Pu and
Moshe Y. Vardi},
title = {First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation},
journal = {CoRR},
volume = {abs/1901.06108},
year = {2019},
url = {http://arxiv.org/abs/1901.06108},
eprinttype = {arXiv},
eprint = {1901.06108},
timestamp = {Fri, 30 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-06108.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-07804,
author = {Shufang Zhu and
Giuseppe De Giacomo and
Geguang Pu and
Moshe Y. Vardi},
title = {LTLf Synthesis with Fairness and Stability Assumptions},
journal = {CoRR},
volume = {abs/1912.07804},
year = {2019},
url = {http://arxiv.org/abs/1912.07804},
eprinttype = {arXiv},
eprint = {1912.07804},
timestamp = {Fri, 30 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-07804.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-07817,
author = {Yihao Huang and
Jincao Feng and
Hanyue Zheng and
Jiayi Zhu and
Shang Wang and
Siyuan Jiang and
Weikai Miao and
Geguang Pu},
title = {Prema: {A} Tool for Precise Requirements Editing, Modeling and Analysis},
journal = {CoRR},
volume = {abs/1912.07817},
year = {2019},
url = {http://arxiv.org/abs/1912.07817},
eprinttype = {arXiv},
eprint = {1912.07817},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-07817.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/FinkbeinerPZ18,
author = {Bernd Finkbeiner and
Geguang Pu and
Lijun Zhang},
title = {Preface for the special issue for {ATVA} 2015},
journal = {Acta Informatica},
volume = {55},
number = {8},
pages = {625--626},
year = {2018},
url = {https://doi.org/10.1007/s00236-018-0330-0},
doi = {10.1007/S00236-018-0330-0},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/FinkbeinerPZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/ZhangZPSL18,
author = {Yueling Zhang and
Min Zhang and
Geguang Pu and
Fu Song and
Jianwen Li},
title = {Towards backbone computing: {A} Greedy-Whitening based approach},
journal = {{AI} Commun.},
volume = {31},
number = {3},
pages = {267--280},
year = {2018},
url = {https://doi.org/10.3233/AIC-180763},
doi = {10.3233/AIC-180763},
timestamp = {Wed, 23 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/ZhangZPSL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/FangSPSAYQ18,
author = {Bin Fang and
Mihaela Sighireanu and
Geguang Pu and
Wen Su and
Jean{-}Raymond Abrial and
Mengfei Yang and
Lei Qiao},
title = {Formal modelling of list based dynamic memory allocators},
journal = {Sci. China Inf. Sci.},
volume = {61},
number = {12},
pages = {122103:1--122103:16},
year = {2018},
url = {https://doi.org/10.1007/s11432-017-9280-9},
doi = {10.1007/S11432-017-9280-9},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/FangSPSAYQ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LiZZPVH18,
author = {Jianwen Li and
Lijun Zhang and
Shufang Zhu and
Geguang Pu and
Moshe Y. Vardi and
Jifeng He},
title = {An explicit transition system construction approach to {LTL} satisfiability
checking},
journal = {Formal Aspects Comput.},
volume = {30},
number = {2},
pages = {193--217},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0442-2},
doi = {10.1007/S00165-017-0442-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LiZZPVH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LiP0VH18,
author = {Jianwen Li and
Geguang Pu and
Lijun Zhang and
Moshe Y. Vardi and
Jifeng He},
title = {Accelerating {LTL} satisfiability checking by {SAT} solvers},
journal = {J. Log. Comput.},
volume = {28},
number = {6},
pages = {1011--1030},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy013},
doi = {10.1093/LOGCOM/EXY013},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/LiP0VH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/DingZPZ18,
author = {Zuohua Ding and
Yuan Zhou and
Geguang Pu and
MengChu Zhou},
title = {Online Failure Prediction for Railway Transportation Systems Based
on Fuzzy Rules and Data Analysis},
journal = {{IEEE} Trans. Reliab.},
volume = {67},
number = {3},
pages = {1143--1158},
year = {2018},
url = {https://doi.org/10.1109/TR.2018.2828113},
doi = {10.1109/TR.2018.2828113},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/DingZPZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LiDPRV18,
author = {Jianwen Li and
Rohit Dureja and
Geguang Pu and
Kristin Yvonne Rozier and
Moshe Y. Vardi},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {37--44},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_5},
doi = {10.1007/978-3-319-96142-2\_5},
timestamp = {Fri, 09 Apr 2021 18:35:26 +0200},
biburl = {https://dblp.org/rec/conf/cav/LiDPRV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhangYZYWSMP18,
author = {Chengyu Zhang and
Yichen Yan and
Hanru Zhou and
Yinbo Yao and
Ke Wu and
Ting Su and
Weikai Miao and
Geguang Pu},
editor = {Frances Paulisch and
Jan Bosch},
title = {Smartunit: empirical evaluations for automated unit testing of embedded
software in industry},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Software Engineering in Practice, {ICSE} {(SEIP)} 2018, Gothenburg,
Sweden, May 27 - June 03, 2018},
pages = {296--305},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183519.3183554},
doi = {10.1145/3183519.3183554},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZhangYZYWSMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FanSCMLXPS18,
author = {Lingling Fan and
Ting Su and
Sen Chen and
Guozhu Meng and
Yang Liu and
Lihua Xu and
Geguang Pu and
Zhendong Su},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Large-scale analysis of framework-specific exceptions in Android apps},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {408--419},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180222},
doi = {10.1145/3180155.3180222},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FanSCMLXPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FanSCMLXP18,
author = {Lingling Fan and
Ting Su and
Sen Chen and
Guozhu Meng and
Yang Liu and
Lihua Xu and
Geguang Pu},
editor = {Marianne Huchard and
Christian K{\"{a}}stner and
Gordon Fraser},
title = {Efficiently manifesting asynchronous programming errors in Android
apps},
booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
2018},
pages = {486--497},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3238147.3238170},
doi = {10.1145/3238147.3238170},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/FanSCMLXP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-07009,
author = {Lingling Fan and
Ting Su and
Sen Chen and
Guozhu Meng and
Yang Liu and
Lihua Xu and
Geguang Pu and
Zhendong Su},
title = {Large-Scale Analysis of Framework-Specific Exceptions in Android Apps},
journal = {CoRR},
volume = {abs/1801.07009},
year = {2018},
url = {http://arxiv.org/abs/1801.07009},
eprinttype = {arXiv},
eprint = {1801.07009},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-07009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-08547,
author = {Chengyu Zhang and
Yichen Yan and
Hanru Zhou and
Yinbo Yao and
Ke Wu and
Ting Su and
Weikai Miao and
Geguang Pu},
title = {SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded
Software in Industry},
journal = {CoRR},
volume = {abs/1802.08547},
year = {2018},
url = {http://arxiv.org/abs/1802.08547},
eprinttype = {arXiv},
eprint = {1802.08547},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-08547.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-06516,
author = {Chengyu Zhang and
Ting Su and
Yichen Yan and
Ke Wu and
Geguang Pu},
title = {Towards Efficient Data-flow Test Data Generation Using {KLEE}},
journal = {CoRR},
volume = {abs/1803.06516},
year = {2018},
url = {http://arxiv.org/abs/1803.06516},
eprinttype = {arXiv},
eprint = {1803.06516},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-06516.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-10431,
author = {Ting Su and
Chengyu Zhang and
Yichen Yan and
Lingling Fan and
Geguang Pu and
Yang Liu and
Zhoulai Fu and
Zhendong Su},
title = {Towards Efficient Data-flow Test Data Generation},
journal = {CoRR},
volume = {abs/1803.10431},
year = {2018},
url = {http://arxiv.org/abs/1803.10431},
eprinttype = {arXiv},
eprint = {1803.10431},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10431.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-03178,
author = {Lingling Fan and
Ting Su and
Sen Chen and
Guozhu Meng and
Yang Liu and
Lihua Xu and
Geguang Pu},
title = {Efficiently Manifesting Asynchronous Programming Errors in Android
Apps},
journal = {CoRR},
volume = {abs/1808.03178},
year = {2018},
url = {http://arxiv.org/abs/1808.03178},
eprinttype = {arXiv},
eprint = {1808.03178},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-03178.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-03176,
author = {Jianwen Li and
Kristin Y. Rozier and
Geguang Pu and
Yueling Zhang and
Moshe Y. Vardi},
title = {SAT-based Explicit LTLf Satisfiability Checking},
journal = {CoRR},
volume = {abs/1811.03176},
year = {2018},
url = {http://arxiv.org/abs/1811.03176},
eprinttype = {arXiv},
eprint = {1811.03176},
timestamp = {Thu, 22 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-03176.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/SuWMPHCS17,
author = {Ting Su and
Ke Wu and
Weikai Miao and
Geguang Pu and
Jifeng He and
Yuting Chen and
Zhendong Su},
title = {A Survey on Data-Flow Testing},
journal = {{ACM} Comput. Surv.},
volume = {50},
number = {1},
pages = {5:1--5:35},
year = {2017},
url = {https://doi.org/10.1145/3020266},
doi = {10.1145/3020266},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/SuWMPHCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/ChenBFPW17,
author = {Mingsong Chen and
Yongxiang Bao and
Xin Fu and
Geguang Pu and
Tongquan Wei},
title = {Efficient Resource Constrained Scheduling Using Parallel Two-Phase
Branch-and-Bound Heuristics},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {28},
number = {5},
pages = {1299--1314},
year = {2017},
url = {https://doi.org/10.1109/TPDS.2016.2621768},
doi = {10.1109/TPDS.2016.2621768},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/ChenBFPW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ZhuTLPV17,
author = {Shufang Zhu and
Lucas M. Tabajara and
Jianwen Li and
Geguang Pu and
Moshe Y. Vardi},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {A Symbolic Approach to Safety ltl Synthesis},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {147--162},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_10},
doi = {10.1007/978-3-319-70389-3\_10},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ZhuTLPV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LiZZPV17,
author = {Jianwen Li and
Shufang Zhu and
Yueling Zhang and
Geguang Pu and
Moshe Y. Vardi},
editor = {Sri Parameswaran},
title = {Safety model checking with complementary approximations},
booktitle = {2017 {IEEE/ACM} International Conference on Computer-Aided Design,
{ICCAD} 2017, Irvine, CA, USA, November 13-16, 2017},
pages = {95--100},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICCAD.2017.8203765},
doi = {10.1109/ICCAD.2017.8203765},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/LiZZPV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhuTLPV17,
author = {Shufang Zhu and
Lucas M. Tabajara and
Jianwen Li and
Geguang Pu and
Moshe Y. Vardi},
editor = {Carles Sierra},
title = {Symbolic LTLf Synthesis},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {1362--1369},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/189},
doi = {10.24963/IJCAI.2017/189},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ZhuTLPV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SuMCWYYPLS17,
author = {Ting Su and
Guozhu Meng and
Yuting Chen and
Ke Wu and
Weiming Yang and
Yao Yao and
Geguang Pu and
Yang Liu and
Zhendong Su},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {Guided, stochastic model-based {GUI} testing of Android apps},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {245--256},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3106298},
doi = {10.1145/3106237.3106298},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/SuMCWYYPLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZhangLZPS17,
author = {Yueling Zhang and
Jianwen Li and
Min Zhang and
Geguang Pu and
Fu Song},
editor = {Fr{\'{e}}d{\'{e}}ric Mallet and
Min Zhang and
Eric Madelaine},
title = {Optimizing backbone filtering},
booktitle = {11th International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2017, Sophia Antipolis, France, September 13-15, 2017},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/TASE.2017.8285627},
doi = {10.1109/TASE.2017.8285627},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ZhangLZPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZhuTLPV17,
author = {Shufang Zhu and
Lucas M. Tabajara and
Jianwen Li and
Geguang Pu and
Moshe Y. Vardi},
title = {Symbolic LTLf Synthesis},
journal = {CoRR},
volume = {abs/1705.08426},
year = {2017},
url = {http://arxiv.org/abs/1705.08426},
eprinttype = {arXiv},
eprint = {1705.08426},
timestamp = {Fri, 30 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZhuTLPV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-07495,
author = {Shufang Zhu and
Lucas M. Tabajara and
Jianwen Li and
Geguang Pu and
Moshe Y. Vardi},
title = {A Symbolic Approach to Safety {LTL} Synthesis},
journal = {CoRR},
volume = {abs/1709.07495},
year = {2017},
url = {http://arxiv.org/abs/1709.07495},
eprinttype = {arXiv},
eprint = {1709.07495},
timestamp = {Fri, 30 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-07495.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/SuPMHS16,
author = {Ting Su and
Geguang Pu and
Weikai Miao and
Jifeng He and
Zhendong Su},
title = {Automated coverage-driven testing: combining symbolic execution and
model checking},
journal = {Sci. China Inf. Sci.},
volume = {59},
number = {9},
pages = {98101},
year = {2016},
url = {https://doi.org/10.1007/s11432-016-5589-6},
doi = {10.1007/S11432-016-5589-6},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/SuPMHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ChenZPFM16,
author = {Mingsong Chen and
Xinqian Zhang and
Geguang Pu and
Xin Fu and
Prabhat Mishra},
title = {Efficient Resource Constrained Scheduling Using Parallel Structure-Aware
Pruning Techniques},
journal = {{IEEE} Trans. Computers},
volume = {65},
number = {7},
pages = {2059--2073},
year = {2016},
url = {https://doi.org/10.1109/TC.2015.2468230},
doi = {10.1109/TC.2015.2468230},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ChenZPFM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/MiaoPYSB0CX16,
author = {Weikai Miao and
Geguang Pu and
Yinbo Yao and
Ting Su and
Danzhu Bao and
Yang Liu and
Shuohao Chen and
Kunpeng Xiong},
editor = {Kazuhiro Ogata and
Mark Lawford and
Shaoying Liu},
title = {Automated Requirements Validation for {ATP} Software via Specification
Review and Testing},
booktitle = {Formal Methods and Software Engineering - 18th International Conference
on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
14-18, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10009},
pages = {26--40},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47846-3\_3},
doi = {10.1007/978-3-319-47846-3\_3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/MiaoPYSB0CX16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiZZPV16,
author = {Jianwen Li and
Shufang Zhu and
Yueling Zhang and
Geguang Pu and
Moshe Y. Vardi},
title = {Approximate Reachability},
journal = {CoRR},
volume = {abs/1611.04946},
year = {2016},
url = {http://arxiv.org/abs/1611.04946},
eprinttype = {arXiv},
eprint = {1611.04946},
timestamp = {Fri, 30 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiZZPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/SongMPZ15,
author = {Fu Song and
Weikai Miao and
Geguang Pu and
Min Zhang},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {On Reachability Analysis of Pushdown Systems with Transductions: Application
to Boolean Programs with Call-by-Reference},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {383--397},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.383},
doi = {10.4230/LIPICS.CONCUR.2015.383},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/SongMPZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/LiWZPZS15,
author = {Bo Li and
Mengdi Wang and
Yongxin Zhao and
Geguang Pu and
Huibiao Zhu and
Fu Song},
title = {Modeling and Verifying Google File System},
booktitle = {16th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2015, Daytona Beach, FL, USA, January 8-10, 2015},
pages = {207--214},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/HASE.2015.38},
doi = {10.1109/HASE.2015.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/LiWZPZS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/LiZPV15,
author = {Jianwen Li and
Shufang Zhu and
Geguang Pu and
Moshe Y. Vardi},
editor = {Nir Piterman},
title = {SAT-Based Explicit {LTL} Reasoning},
booktitle = {Hardware and Software: Verification and Testing - 11th International
Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9434},
pages = {209--224},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26287-1\_13},
doi = {10.1007/978-3-319-26287-1\_13},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/LiZPV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SuAPF15,
author = {Wen Su and
Jean{-}Raymond Abrial and
Geguang Pu and
Bin Fang},
title = {Formal Development of a Real-Time Operating System Memory Manager},
booktitle = {20th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2015, Gold Coast, Australia, December 9-12, 2015},
pages = {130--139},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICECCS.2015.24},
doi = {10.1109/ICECCS.2015.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/SuAPF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SuFPHS15,
author = {Ting Su and
Zhoulai Fu and
Geguang Pu and
Jifeng He and
Zhendong Su},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Combining Symbolic Execution and Model Checking for Data Flow Testing},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {654--665},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.81},
doi = {10.1109/ICSE.2015.81},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SuFPHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/WuTPMS15,
author = {Ke Wu and
Shiping Tang and
Geguang Pu and
Min Wu and
Ting Su},
editor = {Songmao Zhang and
Martin Wirsing and
Zili Zhang},
title = {Fm-QCA: {A} Novel Approach to Multi-value Qualitative Comparative
Analysis},
booktitle = {Knowledge Science, Engineering and Management - 8th International
Conference, {KSEM} 2015, Chongqing, China, October 28-30, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9403},
pages = {115--127},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25159-2\_10},
doi = {10.1007/978-3-319-25159-2\_10},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ksem/WuTPMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2015,
editor = {Bernd Finkbeiner and
Geguang Pu and
Lijun Zhang},
title = {Automated Technology for Verification and Analysis - 13th International
Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9364},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24953-7},
doi = {10.1007/978-3-319-24953-7},
isbn = {978-3-319-24952-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiZPV15,
author = {Jianwen Li and
Shufang Zhu and
Geguang Pu and
Moshe Y. Vardi},
title = {SAT-based Explicit {LTL} Reasoning},
journal = {CoRR},
volume = {abs/1507.02519},
year = {2015},
url = {http://arxiv.org/abs/1507.02519},
eprinttype = {arXiv},
eprint = {1507.02519},
timestamp = {Fri, 30 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiZPV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/ZhaoXWPS14,
author = {Yongxin Zhao and
Hao Xiao and
Zheng Wang and
Geguang Pu and
Ting Su},
title = {The semantics and verification of timed service choreography},
journal = {Int. J. Comput. Math.},
volume = {91},
number = {3},
pages = {384--402},
year = {2014},
url = {https://doi.org/10.1080/00207160.2013.796369},
doi = {10.1080/00207160.2013.796369},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcm/ZhaoXWPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ShenLWSFPLC14,
author = {Yan Shen and
Jianwen Li and
Zheng Wang and
Ting Su and
Bin Fang and
Geguang Pu and
Wanwei Liu and
Mingsong Chen},
editor = {Sungdeok (Steve) Cha and
Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and
Gihwon Kwon},
title = {Runtime Verification by Convergent Formula Progression},
booktitle = {21st Asia-Pacific Software Engineering Conference, {APSEC} 2014, Jeju,
South Korea, December 1-4, 2014. Volume 1: Research Papers},
pages = {255--262},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/APSEC.2014.47},
doi = {10.1109/APSEC.2014.47},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/ShenLWSFPLC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Li0PVH14,
author = {Jianwen Li and
Lijun Zhang and
Geguang Pu and
Moshe Y. Vardi and
Jifeng He},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {LTLf Satisfiability Checking},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {513--518},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-513},
doi = {10.3233/978-1-61499-419-0-513},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Li0PVH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/WangLZP14,
author = {Mengdi Wang and
Bo Li and
Yongxin Zhao and
Geguang Pu},
title = {Formalizing Google File System},
booktitle = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2014, Singapore, November 18-21, 2014},
pages = {190--191},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/PRDC.2014.32},
doi = {10.1109/PRDC.2014.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/WangLZP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LiYP0H14,
author = {Jianwen Li and
Yinbo Yao and
Geguang Pu and
Lijun Zhang and
Jifeng He},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {Aalta: an {LTL} satisfiability checker over Infinite/Finite traces},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {731--734},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2661669},
doi = {10.1145/2635868.2661669},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LiYP0H14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/SuPFHYJZ14,
author = {Ting Su and
Geguang Pu and
Bin Fang and
Jifeng He and
Jun Yan and
Siyuan Jiang and
Jianjun Zhao},
title = {Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic
Execution},
booktitle = {Eighth International Conference on Software Security and Reliability,
{SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
pages = {98--107},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SERE.2014.23},
doi = {10.1109/SERE.2014.23},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/SuPFHYJZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LiuMPW14,
author = {Wanwei Liu and
Xiaoguang Mao and
Geguang Pu and
Rui Wang},
title = {Combining Syntactic and Semantic Encoding for {LTL} Bounded Model
Checking},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {82--89},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.13},
doi = {10.1109/TASE.2014.13},
timestamp = {Wed, 05 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/LiuMPW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/ChenGZPL14,
author = {Mingsong Chen and
Fan Gu and
Lei Zhou and
Geguang Pu and
Xiao Liu},
title = {Efficient Two-Phase Approaches for Branch-and-Bound Style Resource
Constrained Scheduling},
booktitle = {2014 27th International Conference on {VLSI} Design, {VLSID} 2014,
and 2014 13th International Conference on Embedded Systems, Mumbai,
India, January 5-9, 2014},
pages = {162--167},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/VLSID.2014.35},
doi = {10.1109/VLSID.2014.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/ChenGZPL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiP0VH14,
author = {Jianwen Li and
Geguang Pu and
Lijun Zhang and
Moshe Y. Vardi and
Jifeng He},
title = {Fast {LTL} Satisfiability Checking by {SAT} Solvers},
journal = {CoRR},
volume = {abs/1401.5677},
year = {2014},
url = {http://arxiv.org/abs/1401.5677},
eprinttype = {arXiv},
eprint = {1401.5677},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LiP0VH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Li0PVH14,
author = {Jianwen Li and
Lijun Zhang and
Geguang Pu and
Moshe Y. Vardi and
Jifeng He},
title = {LTLf satisfiability checking},
journal = {CoRR},
volume = {abs/1403.1666},
year = {2014},
url = {http://arxiv.org/abs/1403.1666},
eprinttype = {arXiv},
eprint = {1403.1666},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Li0PVH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/WangPLCZCGYH13,
author = {Zheng Wang and
Geguang Pu and
Jianwen Li and
Yuxiang Chen and
Yongxin Zhao and
Mingsong Chen and
Bin Gu and
Mengfei Yang and
Jifeng He},
title = {A novel requirement analysis approach for periodic control systems},
journal = {Frontiers Comput. Sci.},
volume = {7},
number = {2},
pages = {214--235},
year = {2013},
url = {https://doi.org/10.1007/s11704-013-2008-1},
doi = {10.1007/S11704-013-2008-1},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcsc/WangPLCZCGYH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LiP0WHL13,
author = {Jianwen Li and
Geguang Pu and
Lijun Zhang and
Zheng Wang and
Jifeng He and
Kim Guldstrand Larsen},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {On the Relationship between {LTL} Normal Forms and B{\"{u}}chi
Automata},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8051},
pages = {256--270},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39698-4\_16},
doi = {10.1007/978-3-642-39698-4\_16},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/LiP0WHL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/ChenZPH13,
author = {Mingsong Chen and
Lei Zhou and
Geguang Pu and
Jifeng He},
title = {Bound-oriented parallel pruning approaches for efficient resource
constrained scheduling of high-level synthesis},
booktitle = {Proceedings of the International Conference on Hardware/Software Codesign
and System Synthesis, {CODES+ISSS} 2013, Montreal, QC, Canada, September
29 - October 4, 2013},
pages = {14:1--14:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CODES-ISSS.2013.6659001},
doi = {10.1109/CODES-ISSS.2013.6659001},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/codes/ChenZPH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvlsi/ChenHPM13,
author = {Mingsong Chen and
Saijie Huang and
Geguang Pu and
Prabhat Mishra},
title = {Branch-and-bound style resource constrained scheduling using efficient
structure-aware pruning},
booktitle = {{IEEE} Computer Society Annual Symposium on VLSI, {ISVLSI} 2013, Natal,
Brazil, August 5-7, 2013},
pages = {224--229},
publisher = {{IEEE} Computer Socity},
year = {2013},
url = {https://doi.org/10.1109/ISVLSI.2013.6654637},
doi = {10.1109/ISVLSI.2013.6654637},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isvlsi/ChenHPM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/LiZPVH13,
author = {Jianwen Li and
Lijun Zhang and
Geguang Pu and
Moshe Y. Vardi and
Jifeng He},
editor = {C{\'{e}}sar S{\'{a}}nchez and
Kristen Brent Venable and
Esteban Zim{\'{a}}nyi},
title = {{LTL} Satisfiability Checking Revisited},
booktitle = {2013 20th International Symposium on Temporal Representation and Reasoning,
Pensacola, FL, USA, September 26-28, 2013},
pages = {91--98},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TIME.2013.19},
doi = {10.1109/TIME.2013.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/LiZPVH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiP0YVH13,
author = {Jianwen Li and
Geguang Pu and
Lijun Zhang and
Yinbo Yao and
Moshe Y. Vardi and
Jifeng He},
title = {Polsat: {A} Portfolio {LTL} Satisfiability Solver},
journal = {CoRR},
volume = {abs/1311.1602},
year = {2013},
url = {http://arxiv.org/abs/1311.1602},
eprinttype = {arXiv},
eprint = {1311.1602},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LiP0YVH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/YangWPQGH12,
author = {Mengfei Yang and
Zheng Wang and
Geguang Pu and
Shengchao Qin and
Bin Gu and
Jifeng He},
title = {The stochastic semantics and verification for periodic control systems},
journal = {Sci. China Inf. Sci.},
volume = {55},
number = {12},
pages = {2675--2693},
year = {2012},
url = {https://doi.org/10.1007/s11432-012-4750-0},
doi = {10.1007/S11432-012-4750-0},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/YangWPQGH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/LiPWCZQG12,
author = {Jianwen Li and
Geguang Pu and
Zheng Wang and
Yuxiang Chen and
Liyun Zhang and
Yanxia Qi and
Bin Gu},
editor = {Jonathan P. Bowen and
Huibiao Zhu and
Mike Hinchey},
title = {An Approach to Requirement Analysis for Periodic Control Systems},
booktitle = {35th Annual {IEEE} Software Engineering Workshop, {SEW} 2012, Heraclion,
Crete, Greece, October 12-13, 2012},
pages = {130--139},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SEW.2012.20},
doi = {10.1109/SEW.2012.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/LiPWCZQG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/WangPLG12,
author = {Zheng Wang and
Geguang Pu and
Jianwen Li and
Bin Gu},
editor = {Tiziana Margaria and
Zongyan Qiu and
Hongli Yang},
title = {A Type System for {SPARDL}},
booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2012, 4-6 July 2012, Beijing, China},
pages = {209--216},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TASE.2012.47},
doi = {10.1109/TASE.2012.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/WangPLG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-0046,
author = {Zheng Wang and
Geguang Pu and
Jianwen Li and
Jifeng He and
Shengchao Qin and
Kim G. Larsen and
Jan Madsen and
Bin Gu},
editor = {Peter Csaba {\"{O}}lveczky and
Cyrille Artho},
title = {{MDM:} {A} Mode Diagram Modeling Framework},
booktitle = {Proceedings First International Workshop on Formal Techniques for
Safety-Critical Systems, {FTSCS} 2012, Kyoto, Japan, November 12,
2012},
series = {{EPTCS}},
volume = {105},
pages = {135--149},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.105.10},
doi = {10.4204/EPTCS.105.10},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-0046.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-0922,
author = {Zheng Wang and
Geguang Pu and
Shengchao Qin and
Jianwen Li and
Kim G. Larsen and
Jan Madsen and
Bin Gu and
Jifeng He},
title = {{MDM:} {A} Mode Diagram Modeling Framework for Periodic Control Systems},
journal = {CoRR},
volume = {abs/1207.0922},
year = {2012},
url = {http://arxiv.org/abs/1207.0922},
eprinttype = {arXiv},
eprint = {1207.0922},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-0922.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-3866,
author = {Jianwen Li and
Geguang Pu and
Lijun Zhang and
Zheng Wang and
Jifeng He and
Kim G. Larsen},
title = {On the Relationship between {LTL} Normal Forms and Buechi Automata},
journal = {CoRR},
volume = {abs/1207.3866},
year = {2012},
url = {http://arxiv.org/abs/1207.3866},
eprinttype = {arXiv},
eprint = {1207.3866},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-3866.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ZhaoWXPPHZ11,
author = {Yongxin Zhao and
Zheng Wang and
Hao Xiao and
Jing Ping and
Geguang Pu and
Jifeng He and
Huibiao Zhu},
editor = {Taghi M. Khoshgoftaar},
title = {A Unifying Approach to Validating Specification-Oriented {XML} Constraints},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {33--40},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.28},
doi = {10.1109/HASE.2011.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/ZhaoWXPPHZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/LiWZPQG11,
author = {Jianwen Li and
Zheng Wang and
Yongxin Zhao and
Geguang Pu and
Yanxia Qi and
Bin Gu},
editor = {Taghi M. Khoshgoftaar},
title = {An Event-B Interpretation for {SPARDL} Model},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {41--48},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.27},
doi = {10.1109/HASE.2011.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/LiWZPQG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/ZhuHLPB10,
author = {Huibiao Zhu and
Jifeng He and
Jing Li and
Geguang Pu and
Jonathan P. Bowen},
title = {Linking denotational semantics with operational semantics for web
services},
journal = {Innov. Syst. Softw. Eng.},
volume = {6},
number = {4},
pages = {283--298},
year = {2010},
url = {https://doi.org/10.1007/s11334-010-0134-z},
doi = {10.1007/S11334-010-0134-Z},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/ZhuHLPB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/WangZZPXPZ10,
author = {Zheng Wang and
Lei Zhou and
Yongxin Zhao and
Jing Ping and
Hao Xiao and
Geguang Pu and
Huibiao Zhu},
title = {Web services choreography validation},
journal = {Serv. Oriented Comput. Appl.},
volume = {4},
number = {4},
pages = {291--305},
year = {2010},
url = {https://doi.org/10.1007/s11761-010-0072-5},
doi = {10.1007/S11761-010-0072-5},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soca/WangZZPXPZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/SunLDPT10,
author = {Jun Sun and
Yang Liu and
Jin Song Dong and
Geguang Pu and
Tian Huat Tan},
editor = {Jun Han and
Tran Dan Thu},
title = {Model-Based Methods for Linking Web Service Choreography and Orchestration},
booktitle = {17th Asia Pacific Software Engineering Conference, {APSEC} 2010, Sydney,
Australia, November 30 - December 3, 2010},
pages = {166--175},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/APSEC.2010.28},
doi = {10.1109/APSEC.2010.28},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/SunLDPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ZhouPXWPD10,
author = {Lei Zhou and
Jing Ping and
Hao Xiao and
Zheng Wang and
Geguang Pu and
Zuohua Ding},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {Automatically Testing Web Services Choreography with Assertions},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {138--154},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_11},
doi = {10.1007/978-3-642-16901-4\_11},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ZhouPXWPD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WangLZQPHG10,
author = {Zheng Wang and
Jianwen Li and
Yongxin Zhao and
Yanxia Qi and
Geguang Pu and
Jifeng He and
Bin Gu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{SPARDL:} {A} Requirement Modeling Language for Periodic Control System},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6415},
pages = {594--608},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16558-0\_48},
doi = {10.1007/978-3-642-16558-0\_48},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/WangLZQPHG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/DingJPL10,
author = {Zuohua Ding and
Mingyue Jiang and
Geguang Pu and
Jing Liu},
editor = {Ji Wang and
W. K. Chan and
Fei{-}Ching Kuo},
title = {Requirement Checking: Generating Uses Cases out of Navigational Logs
in Web Applications},
booktitle = {Proceedings of the 10th International Conference on Quality Software,
{QSIC} 2010, Zhangjiajie, China, 14-15 July 2010},
pages = {341--344},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QSIC.2010.17},
doi = {10.1109/QSIC.2010.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/DingJPL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/XiaoWPG10,
author = {Hao Xiao and
Zheng Wang and
Geguang Pu and
Bin Gu},
title = {Constraint Checking for XML-Based Language Specification by {SAT}
Solver},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {26--27},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.15},
doi = {10.1109/SSIRI-C.2010.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/XiaoWPG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZhaoWPZ10,
author = {Yongxin Zhao and
Zheng Wang and
Geguang Pu and
Huibiao Zhu},
editor = {Jing Liu and
Doron A. Peled and
Bow{-}Yaw Wang and
Farn Wang},
title = {A Formal Model for Service Choreography with Exception Handling and
Finalization},
booktitle = {4th {IEEE} International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2010, Taipei, Taiwan, 25-27 August 2010},
pages = {15--24},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/TASE.2010.19},
doi = {10.1109/TASE.2010.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ZhaoWPZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/YuSPJW11,
author = {Xiao Yu and
Shuai Sun and
Geguang Pu and
Siyuan Jiang and
Zheng Wang},
editor = {Min Zhang and
Volker Stolz},
title = {A Parallel Approach to Concolic Testing with Low-cost Synchronization},
booktitle = {4th International Workshop on Harnessing Theories for Tool Support
in Software, {TTSS} 2010, Shanghai, China, November 15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {274},
pages = {83--96},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.07.008},
doi = {10.1016/J.ENTCS.2011.07.008},
timestamp = {Fri, 10 Mar 2023 14:58:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/YuSPJW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/PuWZZWYPS09,
author = {Geguang Pu and
Zheng Wang and
Lei Zhou and
Hanyi Zhang and
Tao Wang and
Chuchao Yang and
Liyang Peng and
Meng Sun},
title = {Static validation of {WS-CDL} documents},
journal = {Simul. Model. Pract. Theory},
volume = {17},
number = {8},
pages = {1367--1377},
year = {2009},
url = {https://doi.org/10.1016/j.simpat.2009.06.013},
doi = {10.1016/J.SIMPAT.2009.06.013},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/simpra/PuWZZWYPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/DingJPS09,
author = {Zuohua Ding and
Mingyue Jiang and
Geguang Pu and
Jeff W. Sanders},
editor = {Martin Gaedke and
Michael Grossniklaus and
Oscar D{\'{\i}}az},
title = {Modelling and Verification of Web Navigation},
booktitle = {Web Engineering, 9th International Conference, {ICWE} 2009, San Sebasti{\'{a}}n,
Spain, June 24-26, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5648},
pages = {181--188},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02818-2\_13},
doi = {10.1007/978-3-642-02818-2\_13},
timestamp = {Sat, 09 Apr 2022 12:43:15 +0200},
biburl = {https://dblp.org/rec/conf/icwe/DingJPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/SunWPYQG09,
author = {Tao Sun and
Zheng Wang and
Geguang Pu and
Xiao Yu and
Zongyan Qiu and
Bin Gu},
editor = {Byoungju Choi},
title = {Towards Scalable Compositional Test Generation},
booktitle = {Proceedings of the Ninth International Conference on Quality Software,
{QSIC} 2009, Jeju, Korea, August 24-25, 2009},
pages = {353--358},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/QSIC.2009.53},
doi = {10.1109/QSIC.2009.53},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/SunWPYQG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/PengCQP09,
author = {Liyang Peng and
Chao Cai and
Zongyan Qiu and
Geguang Pu},
title = {Verification of channel passing in choreography with model checking},
booktitle = {{IEEE} International Conference on Service-Oriented Computing and
Applications, {SOCA} 2009, 14-15 December 2009, Taipei, Taiwan},
pages = {1--5},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SOCA.2009.5410263},
doi = {10.1109/SOCA.2009.5410263},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/soca/PengCQP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/ZhouXPPZ09,
author = {Lei Zhou and
Hao Xiao and
Jing Ping and
Geguang Pu and
Hanyi Zhang},
title = {Simulation and validation of Web services choreography},
booktitle = {{IEEE} International Conference on Service-Oriented Computing and
Applications, {SOCA} 2009, 14-15 December 2009, Taipei, Taiwan},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SOCA.2009.5410262},
doi = {10.1109/SOCA.2009.5410262},
timestamp = {Fri, 28 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soca/ZhouXPPZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/HuDP09,
author = {Jueliang Hu and
Zuohua Ding and
Geguang Pu},
title = {Path-Based Approach to Integration Testing},
booktitle = {Third {IEEE} International Conference on Secure Software Integration
and Reliability Improvement, {SSIRI} 2009, Shanghai, China, July 8-10,
2009},
pages = {445--446},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SSIRI.2009.48},
doi = {10.1109/SSIRI.2009.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/HuDP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/WangYSPDH09,
author = {Zheng Wang and
Xiao Yu and
Tao Sun and
Geguang Pu and
Zuohua Ding and
Jueliang Hu},
editor = {Wei{-}Ngan Chin and
Shengchao Qin},
title = {Test Data Generation for Derived Types in {C} Program},
booktitle = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects
of Software Engineering, 29-31 July 2009, Tianjin, China},
pages = {155--162},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/TASE.2009.10},
doi = {10.1109/TASE.2009.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/WangYSPDH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/WangYPFZH08,
author = {Zheng Wang and
Xiao Yu and
Geguang Pu and
Libo Feng and
Huibiao Zhu and
Jifeng He},
title = {Execution Semantics for rCOS},
booktitle = {15th Asia-Pacific Software Engineering Conference {(APSEC} 2008),
3-5 December 2008, Beijing, China},
pages = {119--126},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/APSEC.2008.11},
doi = {10.1109/APSEC.2008.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/WangYPFZH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/PuZWFZH08,
author = {Geguang Pu and
Yongxin Zhao and
Zheng Wang and
Libo Feng and
Huibiao Zhu and
Jifeng He},
editor = {Manish Parashar and
Sanjeev K. Aggarwal},
title = {A Denotational Model for Web Services Choreography},
booktitle = {Distributed Computing and Internet Technology, 5th International Conference,
{ICDCIT} 2008, New Delhi, India, December 10-12, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5375},
pages = {1--12},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89737-8\_1},
doi = {10.1007/978-3-540-89737-8\_1},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcit/PuZWFZH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/ZhouZWYWSP08,
author = {Lei Zhou and
Hanyi Zhang and
Tao Wang and
Chuchao Yang and
Zheng Wang and
Meng Sun and
Geguang Pu},
editor = {Jonathan Lee and
Deron Liang and
Y. C. Cheng},
title = {Static Check of {WS-CDL} Documents},
booktitle = {The Fourth {IEEE} International Symposium on Service-Oriented System
Engineering, {SOSE} 2008, 18-19 December 2008, Jhongli, Taiwan},
pages = {142--147},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SOSE.2008.36},
doi = {10.1109/SOSE.2008.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/ZhouZWYWSP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZhangSZWFP08,
author = {Min Zhang and
Ling Shi and
Longfei Zhu and
Yifei Wang and
Libo Feng and
Geguang Pu},
title = {A Bigraphical Model of {WSBPEL}},
booktitle = {Second {IEEE/IFIP} International Symposium on Theoretical Aspects
of Software Engineering, {TASE} 2008, June 17-19, 2008, Nanjing, China},
pages = {117--120},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TASE.2008.47},
doi = {10.1109/TASE.2008.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ZhangSZWFP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ttss/2007,
editor = {Geguang Pu and
Volker Stolz},
title = {Proceedings of the 1st International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2007, Macau, September 22-23,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {207},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/207/suppl/C},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ttss/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/HeZP07,
author = {Jifeng He and
Huibiao Zhu and
Geguang Pu},
title = {A model for BPEL-like languages},
journal = {Frontiers Comput. Sci. China},
volume = {1},
number = {1},
pages = {9--19},
year = {2007},
url = {https://doi.org/10.1007/s11704-007-0002-7},
doi = {10.1007/S11704-007-0002-7},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcsc/HeZP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/PuSWJLH07,
author = {Geguang Pu and
Jianqi Shi and
Zheng Wang and
Lu Jin and
Jing Liu and
Jifeng He},
title = {The Validation and Verification of {WSCDL}},
booktitle = {14th Asia-Pacific Software Engineering Conference {(APSEC} 2007),
5-7 December 2007, Nagoya, Japan},
pages = {81--88},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/APSEC.2007.93},
doi = {10.1109/APSEC.2007.93},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/PuSWJLH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/QianXWPZC07,
author = {Yi Qian and
Yuming Xu and
Zheng Wang and
Geguang Pu and
Huibiao Zhu and
Chao Cai},
title = {Tool Support for {BPEL} Verification in ActiveBPEL Engine},
booktitle = {18th Australian Software Engineering Conference {(ASWEC} 2007), April
10-13, 2007, Melbourne, Australia},
pages = {90--100},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ASWEC.2007.50},
doi = {10.1109/ASWEC.2007.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/QianXWPZC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LiZPH07,
author = {Jing Li and
Huibiao Zhu and
Geguang Pu and
Jifeng He},
title = {A Formal Model for Compensable Transactions},
booktitle = {12th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
pages = {64--73},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICECCS.2007.8},
doi = {10.1109/ICECCS.2007.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LiZPH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/LiZPH07,
author = {Jing Li and
Huibiao Zhu and
Geguang Pu and
Jifeng He},
title = {Looking into Compensable Transactions},
booktitle = {31st Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-31}
2007), 6-8 March 2007, Loyola College, Columbia, MD, {USA}},
pages = {154--166},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/SEW.2007.100},
doi = {10.1109/SEW.2007.100},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/LiZPH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/ZhuHPL07,
author = {Huibiao Zhu and
Jifeng He and
Geguang Pu and
Jing Li},
title = {An Operational Approach to BPEL-like Programming},
booktitle = {31st Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-31}
2007), 6-8 March 2007, Loyola College, Columbia, MD, {USA}},
pages = {236--245},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/SEW.2007.94},
doi = {10.1109/SEW.2007.94},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/ZhuHPL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/LiHZP07,
author = {Jing Li and
Jifeng He and
Huibiao Zhu and
Geguang Pu},
title = {Modeling and Verifying Web Services Choreography Using Process Algebra},
booktitle = {31st Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-31}
2007), 6-8 March 2007, Loyola College, Columbia, MD, {USA}},
pages = {256--268},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEW.2007.105},
doi = {10.1109/SEW.2007.105},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/LiHZP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LiZP07,
author = {Jing Li and
Huibiao Zhu and
Geguang Pu},
title = {Conformance Validation between Choreography and Orchestration},
booktitle = {First Joint {IEEE/IFIP} Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2007, June 5-8, 2007, Shanghai, China},
pages = {473--482},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/TASE.2007.16},
doi = {10.1109/TASE.2007.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/LiZP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PuS08,
author = {Geguang Pu and
Volker Stolz},
editor = {Geguang Pu and
Volker Stolz},
title = {Preface},
booktitle = {Proceedings of the 1st International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2007, Macau, September 22-23,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {207},
pages = {1--2},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.081},
doi = {10.1016/J.ENTCS.2008.03.081},
timestamp = {Mon, 13 Feb 2023 14:02:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PuS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/YuWPML08,
author = {Xiao Yu and
Zheng Wang and
Geguang Pu and
Dingding Mao and
Jing Liu},
editor = {Geguang Pu and
Volker Stolz},
title = {The Verification of rCOS Using Spin},
booktitle = {Proceedings of the 1st International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2007, Macau, September 22-23,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {207},
pages = {49--67},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.085},
doi = {10.1016/J.ENTCS.2008.03.085},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/YuWPML08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/ZhuPH06,
author = {Huibiao Zhu and
Geguang Pu and
Jifeng He},
editor = {Mitsu Okada and
Ichiro Satoh},
title = {A Denotational Approach to Scope-Based Compensable Flow Language for
Web Service},
booktitle = {Advances in Computer Science - {ASIAN} 2006. Secure Software and Related
Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December
6-8, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4435},
pages = {28--36},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77505-8\_3},
doi = {10.1007/978-3-540-77505-8\_3},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asian/ZhuPH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/PuHQ06,
author = {Geguang Pu and
Jifeng He and
Zongyan Qiu},
editor = {Matteo Sonza Reorda and
Ondrej Nov{\'{a}}k and
Bernd Straube and
Hana Kub{\'{a}}tov{\'{a}} and
Zdenek Kot{\'{a}}sek and
Pavel Kubal{\'{\i}}k and
Raimund Ubar and
Jir{\'{\i}} Bucek},
title = {An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling
Problem},
booktitle = {Proceedings of the 9th {IEEE} Workshop on Design {\&} Diagnostics
of Electronic Circuits {\&} Systems {(DDECS} 2006), Prague, Czech
Republic, April 18-21, 2006},
pages = {151--152},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/DDECS.2006.1649599},
doi = {10.1109/DDECS.2006.1649599},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ddecs/PuHQ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/PuZQWZH06,
author = {Geguang Pu and
Huibiao Zhu and
Zongyan Qiu and
Shuling Wang and
Xiangpeng Zhao and
Jifeng He},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Theoretical Foundations of Scope-Based Compensable Flow Language for
Web Service},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {251--266},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_19},
doi = {10.1007/11768869\_19},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/PuZQWZH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/PuZQHY06,
author = {Geguang Pu and
Chong Zhang and
Zongyan Qiu and
Jifeng He and
Wang Yi},
title = {Integrating Timed Automata into Tabu Algorithm for {HW-SW} Partitioning},
booktitle = {11th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
pages = {131--138},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.60},
doi = {10.1109/ICECCS.2006.60},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/PuZQHY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiHPZ06,
author = {Jing Li and
Jifeng He and
Geguang Pu and
Huibiao Zhu},
editor = {Zhiming Liu and
Jifeng He},
title = {Towards the Semantics for Web Service Choreography Description Language},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {246--263},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_14},
doi = {10.1007/11901433\_14},
timestamp = {Mon, 21 Mar 2022 22:43:10 +0100},
biburl = {https://dblp.org/rec/conf/icfem/LiHPZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/YangZQCP06,
author = {Hongli Yang and
Xiangpeng Zhao and
Zongyan Qiu and
Chao Cai and
Geguang Pu},
editor = {Zhiming Liu and
Jifeng He},
title = {Type Checking Choreography Description Language},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {264--283},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_15},
doi = {10.1007/11901433\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/YangZQCP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/YangZQPW06,
author = {Hongli Yang and
Xiangpeng Zhao and
Zongyan Qiu and
Geguang Pu and
Shuling Wang},
title = {A Formal Model forWeb Service Choreography Description Language {(WS-CDL)}},
booktitle = {2006 {IEEE} International Conference on Web Services {(ICWS} 2006),
18-22 September 2006, Chicago, Illinois, {USA}},
pages = {893--894},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICWS.2006.3},
doi = {10.1109/ICWS.2006.3},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/YangZQPW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/PuZHQYZ06,
author = {Geguang Pu and
Huibiao Zhu and
Jifeng He and
Zongyan Qiu and
Hongli Yang and
Xiangpeng Zhao},
title = {Patterns with Algebraic Properties in {BPEL0}},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {363--370},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.57},
doi = {10.1109/ISOLA.2006.57},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/PuZHQYZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/PuZQLH06,
author = {Geguang Pu and
Chong Zhang and
Zongyan Qiu and
Zuoquan Lin and
Jifeng He},
editor = {Bogdan Gabrys and
Robert J. Howlett and
Lakhmi C. Jain},
title = {A Hybrid Heuristic Algorithm for {HW-SW} Partitioning Within Timed
Automata},
booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 10th
International Conference, {KES} 2006, Bournemouth, UK, October 9-11,
2006, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {4251},
pages = {459--466},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11892960\_56},
doi = {10.1007/11892960\_56},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kes/PuZQLH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HeHPQY05,
author = {Jifeng He and
Dang Van Hung and
Geguang Pu and
Zongyan Qiu and
Wang Yi},
title = {Exploring optimal solution to hardware/software partitioning for synchronous
model},
journal = {Formal Aspects Comput.},
volume = {17},
number = {4},
pages = {443--460},
year = {2005},
url = {https://doi.org/10.1007/s00165-005-0072-y},
doi = {10.1007/S00165-005-0072-Y},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HeHPQY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/QiuWPZ05,
author = {Zongyan Qiu and
Shuling Wang and
Geguang Pu and
Xiangpeng Zhao},
editor = {John S. Fitzgerald and
Ian J. Hayes and
Andrzej Tarlecki},
title = {Semantics of BPEL4WS-Like Fault and Compensation Handling},
booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3582},
pages = {350--365},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11526841\_24},
doi = {10.1007/11526841\_24},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/QiuWPZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PuZWQ06,
author = {Geguang Pu and
Xiangpeng Zhao and
Shuling Wang and
Zongyan Qiu},
editor = {Alvaro Arenas and
Jin Song Dong and
Andrew Martin and
Brian Matthews},
title = {Towards the Semantics and Verification of {BPEL4WS}},
booktitle = {Proceedings of the International Workshop on Web Languages and Formal
Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {151},
number = {2},
pages = {33--52},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.035},
doi = {10.1016/J.ENTCS.2005.07.035},
timestamp = {Fri, 20 Jan 2023 10:05:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PuZWQ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PuHHY04,
author = {Geguang Pu and
Dang Van Hung and
Jifeng He and
Wang Yi},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {An Optimal Approach to Hardware/Software Partitioning for Synchronous
Model},
booktitle = {Integrated Formal Methods, 4th International Conference, {IFM} 2004,
Canterbury, UK, April 4-7, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2999},
pages = {363--381},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24756-2\_20},
doi = {10.1007/978-3-540-24756-2\_20},
timestamp = {Thu, 07 Apr 2022 08:44:27 +0200},
biburl = {https://dblp.org/rec/conf/ifm/PuHHY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GeguangXSZHY04,
author = {Geguang Pu and
Xiangpeng Zhao and
Shuling Wang and
Zongyan Qiu and
Jifeng He and
Wang Yi},
title = {An Approach to Hardware/Software Partitioning for Multiple Hardware
Devices Model},
booktitle = {2nd International Conference on Software Engineering and Formal Methods
{(SEFM} 2004), 28-30 September 2004, Beijing, China},
pages = {376--385},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.5},
doi = {10.1109/SEFM.2004.5},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/GeguangXSZHY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PuQH05,
author = {Geguang Pu and
Zongyan Qiu and
Jifeng He},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Integrating Time and Resource into \emph{Circus}},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {401--418},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.020},
doi = {10.1016/J.ENTCS.2005.03.020},
timestamp = {Mon, 12 Dec 2022 15:57:02 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PuQH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigir/ChenLWPM03,
author = {Zheng Chen and
Shengping Liu and
Liu Wenyin and
Geguang Pu and
Wei{-}Ying Ma},
editor = {Charles L. A. Clarke and
Gordon V. Cormack and
Jamie Callan and
David Hawking and
Alan F. Smeaton},
title = {Building a web thesaurus from web link structure},
booktitle = {{SIGIR} 2003: Proceedings of the 26th Annual International {ACM} {SIGIR}
Conference on Research and Development in Information Retrieval, July
28 - August 1, 2003, Toronto, Canada},
pages = {48--55},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/860435.860447},
doi = {10.1145/860435.860447},
timestamp = {Tue, 06 Nov 2018 11:07:23 +0100},
biburl = {https://dblp.org/rec/conf/sigir/ChenLWPM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
