Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Weikai Miao
@article{DBLP:journals/iotj/MiaoLG23,
author = {Weikai Miao and
Bofeng Li and
Yang Gao},
title = {The Superiority of Multi-GNSS L5/E5a/B2a Frequency Signals in Smartphones:
Stochastic Modeling, Ambiguity Resolution, and {RTK} Positioning},
journal = {{IEEE} Internet Things J.},
volume = {10},
number = {8, April 15},
pages = {7315--7326},
year = {2023},
url = {https://doi.org/10.1109/JIOT.2022.3228769},
doi = {10.1109/JIOT.2022.3228769},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iotj/MiaoLG23.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 11:02:39 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DongZXCCMLP23.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}
}
@inproceedings{DBLP:conf/seke/WangM22,
author = {Xi Wang and
Weikai Miao},
editor = {Rong Peng and
Carlos Eduardo Pantoja and
Pankaj Kamthan},
title = {A framework for Requirements specification of machine-learning systems},
booktitle = {The 34th International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2022, {KSIR} Virtual Conference Center, USA, July
1 - July 10, 2022},
pages = {7--12},
publisher = {{KSI} Research Inc.},
year = {2022},
url = {https://doi.org/10.18293/SEKE2022-143},
doi = {10.18293/SEKE2022-143},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/WangM22.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/jss/LiuM21,
author = {Shaoying Liu and
Weikai Miao},
title = {A formal specification animation method for operation validation},
journal = {J. Syst. Softw.},
volume = {178},
pages = {110948},
year = {2021},
url = {https://doi.org/10.1016/j.jss.2021.110948},
doi = {10.1016/J.JSS.2021.110948},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/LiuM21.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/seke/WenMZ21,
author = {Zhaosen Wen and
Weikai Miao and
Min Zhang},
editor = {Shi{-}Kuo Chang},
title = {Fine-Grained Neural Network Abstraction for Efficient Formal Verification},
booktitle = {The 33rd International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2021, {KSIR} Virtual Conference Center, USA, July
1 - July 10, 2021},
pages = {144--149},
publisher = {{KSI} Research Inc.},
year = {2021},
url = {https://doi.org/10.18293/SEKE2021-071},
doi = {10.18293/SEKE2021-071},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/WenMZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/WangKM21,
author = {Xi Wang and
Ridha Kh{\'{e}}dri and
Weikai Miao},
title = {A Formal Engineering Approach to Product Family Modeling},
booktitle = {International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2021, Shanghai, China, August 25-27, 2021},
pages = {87--94},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/TASE52547.2021.00015},
doi = {10.1109/TASE52547.2021.00015},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/WangKM21.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 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/ZhengFMP21.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}
}
@inproceedings{DBLP:conf/ica3pp/TangWM20,
author = {Xudong Tang and
Qiang Wang and
Weikai Miao},
editor = {Meikang Qiu},
title = {Behavioral Fault Modelling and Analysis with {BIP:} {A} Wheel Brake
System Case Study},
booktitle = {Algorithms and Architectures for Parallel Processing - 20th International
Conference, {ICA3PP} 2020, New York City, NY, USA, October 2-4, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12454},
pages = {231--250},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60248-2\_16},
doi = {10.1007/978-3-030-60248-2\_16},
timestamp = {Thu, 01 Oct 2020 14:14:33 +0200},
biburl = {https://dblp.org/rec/conf/ica3pp/TangWM20.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}
}
@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}
}
@inproceedings{DBLP:conf/apsec/MiaoYHFZ19,
author = {Weikai Miao and
Qianqian Yan and
Yihao Huang and
Jincao Feng and
Hanyue Zheng},
title = {A Domain Experts Centric Approach to Formal Requirements Modeling
and V{\&}V of Embedded Control Software},
booktitle = {26th Asia-Pacific Software Engineering Conference, {APSEC} 2019, Putrajaya,
Malaysia, December 2-5, 2019},
pages = {15--22},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/APSEC48747.2019.00012},
doi = {10.1109/APSEC48747.2019.00012},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/MiaoYHFZ19.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}
}
@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}
}
@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}
}
@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/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}
}
@inproceedings{DBLP:conf/seke/ShaoDSGZM17,
author = {Lixu Shao and
Yucong Duan and
Xiaobing Sun and
Honghao Gao and
Donghai Zhu and
Weikai Miao},
editor = {Xudong He},
title = {Answering Who/When, What, How, Why through Constructing Data Graph,
Information Graph, Knowledge Graph and Wisdom Graph},
booktitle = {The 29th International Conference on Software Engineering and Knowledge
Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA,
USA, July 5-7, 2017},
pages = {1--6},
publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
year = {2017},
url = {https://doi.org/10.18293/SEKE2017-079},
doi = {10.18293/SEKE2017-079},
timestamp = {Tue, 14 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ShaoDSGZM17.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/ijseke/MiaoW16,
author = {Weikai Miao and
Xi Wang},
title = {An Evolutionary Method for the Formal Specification Construction of
Service-Based Software},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {26},
number = {4},
pages = {587--610},
year = {2016},
url = {https://doi.org/10.1142/S0218194016400039},
doi = {10.1142/S0218194016400039},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijseke/MiaoW16.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}
}
@inproceedings{DBLP:conf/qrs/XuMKWC16,
author = {Siyuan Xu and
Weikai Miao and
Thomas Kunz and
Tongquan Wei and
Mingsong Chen},
title = {Quantitative Analysis of Variation-Aware Internet of Things Designs
Using Statistical Model Checking},
booktitle = {2016 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2016, Vienna, Austria, August 1-3, 2016},
pages = {274--285},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/QRS.2016.39},
doi = {10.1109/QRS.2016.39},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/qrs/XuMKWC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/WangM16,
author = {Xi Wang and
Weikai Miao},
editor = {Yihai Chen},
title = {Automatic support for formal specification construction using pattern
knowledge},
booktitle = {17th {IEEE/ACIS} International Conference on Software Engineering,
Artificial Intelligence, Networking and Parallel/Distributed Computing,
{SNPD} 2016, Shanghai, China, May 30 - June 1, 2016},
pages = {363--372},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SNPD.2016.7515926},
doi = {10.1109/SNPD.2016.7515926},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/WangM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangMM16,
author = {Xi Wang and
Huaikou Miao and
Weikai Miao},
editor = {Shaoying Liu and
Zhenhua Duan and
Cong Tian and
Fumiko Nagoya},
title = {Automated Safety Analysis on Scenario-Based Requirements for Train
Control System},
booktitle = {Structured Object-Oriented Formal Language and Method - 6th International
Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10189},
pages = {55--73},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57708-1\_4},
doi = {10.1007/978-3-319-57708-1\_4},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/WangMM16.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/icfem/LiuWM15,
author = {Shaoying Liu and
Xi Wang and
Weikai Miao},
editor = {Michael J. Butler and
Sylvain Conchon and
Fatiha Za{\"{\i}}di},
title = {Supporting Requirements Analysis Using Pattern-Based Formal Specification
Construction},
booktitle = {Formal Methods and Software Engineering - 17th International Conference
on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
3-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9407},
pages = {100--115},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25423-4\_7},
doi = {10.1007/978-3-319-25423-4\_7},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/LiuWM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZhuXGWZM15,
author = {Xiaoran Zhu and
Yuanmin Xu and
Jian Guo and
Xi Wu and
Huibiao Zhu and
Weikai Miao},
title = {Formal Verification of PKMv3 Protocol Using DT-Spin},
booktitle = {2015 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2015, Nanjing, China, September 12-14, 2015},
pages = {71--78},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/TASE.2015.20},
doi = {10.1109/TASE.2015.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ZhuXGWZM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/MiaoWL15,
author = {Weikai Miao and
Xi Wang and
Shaoying Liu},
title = {A Tool for Supporting Requirements Formalization Based on Specification
Pattern Knowledge},
booktitle = {2015 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2015, Nanjing, China, September 12-14, 2015},
pages = {127--130},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/TASE.2015.13},
doi = {10.1109/TASE.2015.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/MiaoWL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ChenSM14,
author = {Yuting Chen and
Qiuwei Shi and
Weikai Miao},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Incremental Points-to Analysis for Java via Edit Propagation},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {164--178},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_11},
doi = {10.1007/978-3-319-17404-4\_11},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ChenSM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/MiaoL13,
author = {Weikai Miao and
Shaoying Liu},
title = {A Formal Engineering Framework for Service-Based Software Modeling},
journal = {{IEEE} Trans. Serv. Comput.},
volume = {6},
number = {4},
pages = {536--550},
year = {2013},
url = {https://doi.org/10.1109/TSC.2012.22},
doi = {10.1109/TSC.2012.22},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsc/MiaoL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/MiaoL13,
author = {Weikai Miao and
Shaoying Liu},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Prototype Tool for Supporting a Formal Engineering Approach to Service-Based
Software Modeling},
booktitle = {Structured Object-Oriented Formal Language and Method - Third International
Workshop, {SOFL+MSVL} 2013, Queenstown, New Zealand, October 29, 2013,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8332},
pages = {89--103},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04915-1\_7},
doi = {10.1007/978-3-319-04915-1\_7},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/sofl/MiaoL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/MiaoL12,
author = {Weikai Miao and
Shaoying Liu},
editor = {Shaoying Liu},
title = {A Formal Specification-Based Integration Testing Approach},
booktitle = {Structured Object-Oriented Formal Language and Method - Second International
Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7787},
pages = {26--43},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39277-1\_3},
doi = {10.1007/978-3-642-39277-1\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/sofl/MiaoL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apscc/MiaoL11,
author = {Weikai Miao and
Shaoying Liu},
editor = {James J. Park and
Christos Nikolaou and
Jiannong Cao},
title = {A Formal Specification-Based Testing Approach to Accurate Web Service
Selection},
booktitle = {2011 {IEEE} Asia-Pacific Services Computing Conference, {APSCC} 2011,
Jeju, Korea (South), December 12-15, 2011},
pages = {259--266},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/APSCC.2011.34},
doi = {10.1109/APSCC.2011.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apscc/MiaoL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apscc/MiaoL09,
author = {Weikai Miao and
Shaoying Liu},
editor = {Markus Kirchberg and
Patrick C. K. Hung and
Barbara Carminati and
Chi{-}Hung Chi and
Rajaraman Kanagasabai and
Emanuele Della Valle and
Kun{-}Chan Lan and
Ling{-}Jyh Chen},
title = {Service-oriented modeling using the {SOFL} formal engineering method},
booktitle = {4th {IEEE} Asia-Pacific Services Computing Conference, {IEEE} {APSCC}
2009, Singapore, December 7-11 2009, Proceedings},
pages = {187--192},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/APSCC.2009.5394123},
doi = {10.1109/APSCC.2009.5394123},
timestamp = {Sun, 08 Aug 2021 01:40:51 +0200},
biburl = {https://dblp.org/rec/conf/apscc/MiaoL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcc/MiaoT07,
author = {Weikai Miao and
Weiqin Tong},
title = {Agent based ServiceBSP Model with Superstep Service for Grid Computing},
booktitle = {Grid and Cooperative Computing, Sixth International Conference on
Grid and Cooperative Computing, {GCC} 2007, August 16-18, 2007, Urumchi,
Xinjiang, China, Proceedings},
pages = {255--260},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/GCC.2007.39},
doi = {10.1109/GCC.2007.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcc/MiaoT07.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:48 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:
