Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Huibiao Zhu
@article{DBLP:journals/fcsc/ChenZ24, author = {Ningning Chen and Huibiao Zhu}, title = {A proof system of the CaIT calculus}, journal = {Frontiers Comput. Sci.}, volume = {18}, number = {2}, pages = {182401}, year = {2024}, url = {https://doi.org/10.1007/s11704-022-2258-3}, doi = {10.1007/S11704-022-2258-3}, timestamp = {Fri, 22 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fcsc/ChenZ24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/ChenLZ24, author = {Sini Chen and Ran Li and Huibiao Zhu}, title = {Formalization and Verification of Enhanced Group Communication CoAP}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {34}, number = {2}, pages = {301--330}, year = {2024}, url = {https://doi.org/10.1142/S0218194023500535}, doi = {10.1142/S0218194023500535}, timestamp = {Fri, 22 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijseke/ChenLZ24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/comsis/XuYZX23, author = {Junya Xu and Jiaqi Yin and Huibiao Zhu and Lili Xiao}, title = {Formalization and verification of Kafka messaging mechanism using {CSP}}, journal = {Comput. Sci. Inf. Syst.}, volume = {20}, number = {1}, pages = {277--306}, year = {2023}, url = {https://doi.org/10.2298/csis210707057x}, doi = {10.2298/CSIS210707057X}, timestamp = {Thu, 16 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/comsis/XuYZX23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/comsis/PopovicPKZ23, author = {Miroslav Popovic and Marko Popovic and Branislav Kordic and Huibiao Zhu}, title = {Complete formal verification of the {PSTM} transaction Scheduler}, journal = {Comput. Sci. Inf. Syst.}, volume = {20}, number = {1}, pages = {307--327}, year = {2023}, url = {https://doi.org/10.2298/csis210908058p}, doi = {10.2298/CSIS210908058P}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/comsis/PopovicPKZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/FeiZY23, author = {Yuan Fei and Huibiao Zhu and Jiaqi Yin}, title = {{FVF-AKA:} {A} Formal Verification Framework of {AKA} Protocols for Multi-server IoT}, journal = {Formal Aspects Comput.}, volume = {35}, number = {4}, pages = {21:1--21:36}, year = {2023}, url = {https://doi.org/10.1145/3599731}, doi = {10.1145/3599731}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fac/FeiZY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicetd/ChenZ23, author = {Ningning Chen and Huibiao Zhu}, title = {IoT Modeling and Verification: From the CaIT Calculus to {UPPAAL}}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {106}, number = {9}, pages = {1507--1518}, year = {2023}, url = {https://doi.org/10.1587/transinf.2022edp7223}, doi = {10.1587/TRANSINF.2022EDP7223}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicetd/ChenZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iot/LiZB23, author = {Ran Li and Huibiao Zhu and Richard Banach}, title = {Translating and verifying Cyber-Physical systems with shared-variable concurrency in SpaceEx}, journal = {Internet Things}, volume = {23}, pages = {100864}, year = {2023}, url = {https://doi.org/10.1016/j.iot.2023.100864}, doi = {10.1016/J.IOT.2023.100864}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iot/LiZB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/smr/FeiZY23, author = {Yuan Fei and Huibiao Zhu and Jiaqi Yin}, title = {Modeling and verifying {NLSR} protocol of {NDN} for {CPS} using {UPPAAL}}, journal = {J. Softw. Evol. Process.}, volume = {35}, number = {7}, year = {2023}, url = {https://doi.org/10.1002/smr.2384}, doi = {10.1002/SMR.2384}, timestamp = {Fri, 07 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/smr/FeiZY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/WangYCZ23, author = {Danyang Wang and Jiaqi Yin and Sini Chen and Huibiao Zhu}, editor = {Tsuyoshi Nakajima and Toshihiro Komiyama and Horst Lichter and Thanwadee Sunetnanta and Toni Anwar}, title = {Formalization and Verification of Go-based New Simple Queue System}, booktitle = {Joint Proceedings of the 5th International Workshop on Experience with SQuaRE series and its Future Direction and the 11th International Workshop on Quantitative Approaches to Software Quality co-located with the 30th Asia Pacific Software Engineering Conference {(APSEC} 2023), Seoul, South Korea, December 4, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3612}, pages = {74--81}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3612/QuASoQ\_2023\_Paper\_05.pdf}, timestamp = {Wed, 10 Jan 2024 15:49:57 +0100}, biburl = {https://dblp.org/rec/conf/apsec/WangYCZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BowenZ23, author = {Jonathan P. Bowen and Huibiao Zhu}, editor = {Jonathan P. Bowen and Qin Li and Qiwen Xu}, title = {Jifeng He at Oxford and Beyond: An Appreciation}, booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday}, series = {Lecture Notes in Computer Science}, volume = {14080}, pages = {3--18}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40436-8\_1}, doi = {10.1007/978-3-031-40436-8\_1}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BowenZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cniot/XieZ023, author = {Wanling Xie and Huibiao Zhu and Xi Wu}, title = {A Timed Calculus with Mobility for Wireless Networks}, booktitle = {Proceedings of the 2023 4th International Conference on Computing, Networks and Internet of Things, {CNIOT} 2023, Xiamen, China, May 26-28, 2023}, pages = {653--657}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3603781.3603896}, doi = {10.1145/3603781.3603896}, timestamp = {Sat, 05 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cniot/XieZ023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecbseerc/LinCZ23, author = {Wei Lin and Sini Chen and Huibiao Zhu}, editor = {Jan Kofron and Tiziana Margaria and Cristina Seceleanu}, title = {Formalization and Verification of {MQTT-SN} Communication Using {CSP}}, booktitle = {Engineering of Computer-Based Systems - 8th International Conference, {ECBS} 2023, V{\"{a}}ster{\aa}s, Sweden, October 16-18, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14390}, pages = {115--132}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-49252-5\_10}, doi = {10.1007/978-3-031-49252-5\_10}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecbseerc/LinCZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issre/LvYCZ23, author = {Yixiao Lv and Jiaqi Yin and Sini Chen and Huibiao Zhu}, title = {Formalization and Verification of the {ICC} Mechanism in Android System Using {CSP}}, booktitle = {34th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2023 - Workshops, Florence, Italy, October 9-12, 2023}, pages = {89--95}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ISSREW60843.2023.00053}, doi = {10.1109/ISSREW60843.2023.00053}, timestamp = {Tue, 14 Nov 2023 16:09:48 +0100}, biburl = {https://dblp.org/rec/conf/issre/LvYCZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/DuFCZ23, author = {Yingjia Du and Yuan Fei and Sini Chen and Huibiao Zhu}, editor = {Shi{-}Kuo Chang}, title = {Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using {CSP}}, booktitle = {The 35th International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2023, {KSIR} Virtual Conference Center, USA, July 1-10, 2023}, pages = {404--409}, publisher = {{KSI} Research Inc.}, year = {2023}, url = {https://doi.org/10.18293/SEKE2023-172}, doi = {10.18293/SEKE2023-172}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seke/DuFCZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-08380, author = {Miroslav Popovic and Marko Popovic and Branislav Kordic and Huibiao Zhu}, title = {{PSTM} Transaction Scheduler Verification Based on {CSP} and Testing}, journal = {CoRR}, volume = {abs/2305.08380}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.08380}, doi = {10.48550/ARXIV.2305.08380}, eprinttype = {arXiv}, eprint = {2305.08380}, timestamp = {Wed, 17 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-08380.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsa/XiaoZ22, author = {Lili Xiao and Huibiao Zhu}, title = {{UTP} semantics for the {MCA} ARMv8 architecture}, journal = {J. Syst. Archit.}, volume = {125}, pages = {102438}, year = {2022}, url = {https://doi.org/10.1016/j.sysarc.2022.102438}, doi = {10.1016/J.SYSARC.2022.102438}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsa/XiaoZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/monet/LiYZV22, author = {Ran Li and Jiaqi Yin and Huibiao Zhu and Phan Cong Vinh}, title = {Verification of RabbitMQ with Kerberos Using Timed Automata}, journal = {Mob. Networks Appl.}, volume = {27}, number = {5}, pages = {2049--2067}, year = {2022}, url = {https://doi.org/10.1007/s11036-022-01986-8}, doi = {10.1007/S11036-022-01986-8}, timestamp = {Sun, 13 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/monet/LiYZV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/monet/XiaoZXV22, author = {Lili Xiao and Huibiao Zhu and Qiwen Xu and Phan Cong Vinh}, title = {Modeling and Verifying {PSO} Memory Model Using {CSP}}, journal = {Mob. Networks Appl.}, volume = {27}, number = {5}, pages = {2068--2083}, year = {2022}, url = {https://doi.org/10.1007/s11036-022-01989-5}, doi = {10.1007/S11036-022-01989-5}, timestamp = {Tue, 08 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/monet/XiaoZXV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/smr/ChenZYFXZ22, author = {Ningning Chen and Huibiao Zhu and Jiaqi Yin and Yuan Fei and Lili Xiao and Minghua Zhu}, title = {Modeling and verifying NDN-based IoV using {CSP}}, journal = {J. Softw. Evol. Process.}, volume = {34}, number = {10}, year = {2022}, url = {https://doi.org/10.1002/smr.2371}, doi = {10.1002/SMR.2371}, timestamp = {Tue, 18 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/smr/ChenZYFXZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/XiaoZHQ22, author = {Lili Xiao and Huibiao Zhu and Mengda He and Shengchao Qin}, editor = {Hong Va Leong and Sahra Sedigh Sarvestani and Yuuichi Teranishi and Alfredo Cuzzocrea and Hiroki Kashiwazaki and Dave Towey and Ji{-}Jiang Yang and Hossain Shahriar}, title = {Algebraic Semantics for {C++11} Memory Model}, booktitle = {46th {IEEE} Annual Computers, Software, and Applications Conferenc, {COMPSAC} 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022}, pages = {1--6}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/COMPSAC54236.2022.00240}, doi = {10.1109/COMPSAC54236.2022.00240}, timestamp = {Thu, 11 Aug 2022 16:32:00 +0200}, biburl = {https://dblp.org/rec/conf/compsac/XiaoZHQ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/LiYZXP22, author = {Peimu Li and Jiaqi Yin and Huibiao Zhu and Lili Xiao and Miroslav Popovic}, editor = {Hong Va Leong and Sahra Sedigh Sarvestani and Yuuichi Teranishi and Alfredo Cuzzocrea and Hiroki Kashiwazaki and Dave Towey and Ji{-}Jiang Yang and Hossain Shahriar}, title = {Formal Analysis and Verification of {DPSTM} v2 Architecture Using {CSP}}, booktitle = {46th {IEEE} Annual Computers, Software, and Applications Conferenc, {COMPSAC} 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022}, pages = {872--877}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/COMPSAC54236.2022.00138}, doi = {10.1109/COMPSAC54236.2022.00138}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/LiYZXP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/LiZB22, author = {Ran Li and Huibiao Zhu and Richard Banach}, title = {Denotational and Algebraic Semantics for Cyber-physical Systems}, booktitle = {26th International Conference on Engineering of Complex Computer Systems, {ICECCS} 2022, Hiroshima, Japan, March 26-30, 2022}, pages = {123--132}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ICECCS54210.2022.00023}, doi = {10.1109/ICECCS54210.2022.00023}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/LiZB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/YinZ22, author = {Jiaqi Yin and Huibiao Zhu}, title = {The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing}, booktitle = {26th International Conference on Engineering of Complex Computer Systems, {ICECCS} 2022, Hiroshima, Japan, March 26-30, 2022}, pages = {133--142}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ICECCS54210.2022.00024}, doi = {10.1109/ICECCS54210.2022.00024}, timestamp = {Thu, 12 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iceccs/YinZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/LiZB22, author = {Ran Li and Huibiao Zhu and Richard Banach}, editor = {Adri{\'{a}}n Riesco and Min Zhang}, title = {A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency}, booktitle = {Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, {ICFEM} 2022, Madrid, Spain, October 24-27, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13478}, pages = {244--262}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-17244-1\_15}, doi = {10.1007/978-3-031-17244-1\_15}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfem/LiZB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/ChenZ22, author = {Ningning Chen and Huibiao Zhu}, editor = {Helmut Seidl and Zhiming Liu and Corina S. Pasareanu}, title = {Denotational and Algebraic Semantics for the CaIT Calculus}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13572}, pages = {132--150}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-17715-6\_10}, doi = {10.1007/978-3-031-17715-6\_10}, timestamp = {Fri, 07 Oct 2022 16:33:00 +0200}, biburl = {https://dblp.org/rec/conf/ictac/ChenZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdcat/HouYZC22, author = {Zhiru Hou and Jiaqi Yin and Huibiao Zhu and Ningning Chen}, editor = {Hiroyuki Takizawa and Hong Shen and Toshihiro Hanawa and Jong Hyuk Park and Hui Tian and Ryusuke Egawa}, title = {Formalization and Verification of {SIP} Using {CSP}}, booktitle = {Parallel and Distributed Computing, Applications and Technologies - 23rd International Conference, {PDCAT} 2022, Sendai, Japan, December 7-9, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13798}, pages = {158--171}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-29927-8\_13}, doi = {10.1007/978-3-031-29927-8\_13}, timestamp = {Tue, 02 May 2023 15:08:25 +0200}, biburl = {https://dblp.org/rec/conf/pdcat/HouYZC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdcat/LuoYZ22, author = {Junfu Luo and Jiaqi Yin and Huibiao Zhu}, editor = {Hiroyuki Takizawa and Hong Shen and Toshihiro Hanawa and Jong Hyuk Park and Hui Tian and Ryusuke Egawa}, title = {{MEA:} {A} Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity}, booktitle = {Parallel and Distributed Computing, Applications and Technologies - 23rd International Conference, {PDCAT} 2022, Sendai, Japan, December 7-9, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13798}, pages = {387--398}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-29927-8\_30}, doi = {10.1007/978-3-031-29927-8\_30}, timestamp = {Tue, 02 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pdcat/LuoYZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/LiYZ22, author = {Peimu Li and Jiaqi Yin and Huibiao Zhu}, editor = {Rong Peng and Carlos Eduardo Pantoja and Pankaj Kamthan}, title = {Formal Verification of {COCO} Database Framework Using {CSP}}, booktitle = {The 34th International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2022, {KSIR} Virtual Conference Center, USA, July 1 - July 10, 2022}, pages = {363--368}, publisher = {{KSI} Research Inc.}, year = {2022}, url = {https://doi.org/10.18293/SEKE2022-072}, doi = {10.18293/SEKE2022-072}, timestamp = {Wed, 21 Sep 2022 17:47:56 +0200}, biburl = {https://dblp.org/rec/conf/seke/LiYZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ZhangZYC22, author = {Hongqin Zhang and Huibiao Zhu and Jiaqi Yin and Ningning Chen}, editor = {Rong Peng and Carlos Eduardo Pantoja and Pankaj Kamthan}, title = {Modeling and Verifying {AUPS} Using {CSP}}, booktitle = {The 34th International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2022, {KSIR} Virtual Conference Center, USA, July 1 - July 10, 2022}, pages = {568--573}, publisher = {{KSI} Research Inc.}, year = {2022}, url = {https://doi.org/10.18293/SEKE2022-088}, doi = {10.18293/SEKE2022-088}, timestamp = {Wed, 21 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seke/ZhangZYC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setta/LiZB22, author = {Ran Li and Huibiao Zhu and Richard Banach}, editor = {Wei Dong and Jean{-}Pierre Talpin}, title = {Translating {CPS} with Shared-Variable Concurrency in SpaceEx}, booktitle = {Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, {SETTA} 2022, Beijing, China, October 27-29, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13649}, pages = {127--133}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-21213-0\_8}, doi = {10.1007/978-3-031-21213-0\_8}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/setta/LiZB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/concurrency/XiaoZXV21, author = {Lili Xiao and Huibiao Zhu and Shuangqing Xiang and Phan Cong Vinh}, title = {Modeling and verifying {SDN} under Multi-controller architectures using {CSP}}, journal = {Concurr. Comput. Pract. Exp.}, volume = {33}, number = {2}, year = {2021}, url = {https://doi.org/10.1002/cpe.5334}, doi = {10.1002/CPE.5334}, timestamp = {Sat, 09 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/concurrency/XiaoZXV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/XieZX21, author = {Wanling Xie and Huibiao Zhu and Qiwen Xu}, title = {A process calculus BigrTiMo of mobile systems and its formal semantics}, journal = {Formal Aspects Comput.}, volume = {33}, number = {2}, pages = {207--249}, year = {2021}, url = {https://doi.org/10.1007/s00165-021-00530-x}, doi = {10.1007/S00165-021-00530-X}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/XieZX21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicetd/LiZY21, author = {Ran Li and Huibiao Zhu and Jiaqi Yin}, title = {Formalization and Analysis of Ceph Using Process Algebra}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {104-D}, number = {12}, pages = {2154--2163}, year = {2021}, url = {https://doi.org/10.1587/transinf.2021edp7070}, doi = {10.1587/TRANSINF.2021EDP7070}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ieicetd/LiZY21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/XiaoZX21, author = {Li{-}Li Xiao and Huibiao Zhu and Qi{-}Wen Xu}, title = {Trace Semantics and Algebraic Laws for Total Store Order Memory Model}, journal = {J. Comput. Sci. Technol.}, volume = {36}, number = {6}, pages = {1269--1290}, year = {2021}, url = {https://doi.org/10.1007/s11390-021-1616-1}, doi = {10.1007/S11390-021-1616-1}, timestamp = {Thu, 23 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcst/XiaoZX21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/monet/YinZF21, author = {Jiaqi Yin and Huibiao Zhu and Yuan Fei}, title = {Formal analysis and automated validation of privacy-preserving {AICE} protocol in mobile edge computing}, journal = {Mob. Networks Appl.}, volume = {26}, number = {6}, pages = {2258--2271}, year = {2021}, url = {https://doi.org/10.1007/s11036-021-01850-1}, doi = {10.1007/S11036-021-01850-1}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/monet/YinZF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/ZhangMZCLL21, author = {Yuanrui Zhang and Fr{\'{e}}d{\'{e}}ric Mallet and Huibiao Zhu and Yixiang Chen and Bo Liu and Zhiming Liu}, title = {A clock-based dynamic logic for schedulability analysis of {CCSL} specifications}, journal = {Sci. Comput. Program.}, volume = {202}, pages = {102546}, year = {2021}, url = {https://doi.org/10.1016/j.scico.2020.102546}, doi = {10.1016/J.SCICO.2020.102546}, timestamp = {Thu, 23 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/ZhangMZCLL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/smr/BanachZ21, author = {Richard Banach and Huibiao Zhu}, title = {Language evolution and healthiness for critical cyber-physical systems}, journal = {J. Softw. Evol. Process.}, volume = {33}, number = {9}, year = {2021}, url = {https://doi.org/10.1002/smr.2301}, doi = {10.1002/SMR.2301}, timestamp = {Tue, 12 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/smr/BanachZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BanachZ21, author = {Richard Banach and Huibiao Zhu}, editor = {Alexander Raschke and Elvinia Riccobene and Klaus{-}Dieter Schewe}, title = {Moded and Continuous Abstract State Machines}, booktitle = {Logic, Computation and Rigorous Methods - Essays Dedicated to Egon B{\"{o}}rger on the Occasion of His 75th Birthday}, series = {Lecture Notes in Computer Science}, volume = {12750}, pages = {29--62}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-76020-5\_3}, doi = {10.1007/978-3-030-76020-5\_3}, timestamp = {Sat, 12 Jun 2021 12:58:01 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BanachZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/YinZF21, author = {Jiaqi Yin and Huibiao Zhu and Yuan Fei}, title = {{SC4MEC:} Automated Implementation of {A} Secure Hierarchical Calculus for Mobile Edge Computing}, booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2021, Grenoble, France, February 1-5, 2021}, pages = {990--993}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.23919/DATE51398.2021.9474184}, doi = {10.23919/DATE51398.2021.9474184}, timestamp = {Wed, 21 Jul 2021 10:04:34 +0200}, biburl = {https://dblp.org/rec/conf/date/YinZF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecbseerc/XuYZX21, author = {Junya Xu and Jiaqi Yin and Huibiao Zhu and Lili Xiao}, title = {Modeling and Verifying Producer-Consumer Communication in Kafka Using {CSP}}, booktitle = {{ECBS} 2021: 7th Conference on the Engineering of Computer Based Systems, Novi Sad, Serbia}, pages = {9:1--9:10}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3459960.3459961}, doi = {10.1145/3459960.3459961}, timestamp = {Tue, 13 Jul 2021 21:02:59 +0200}, biburl = {https://dblp.org/rec/conf/ecbseerc/XuYZX21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecbseerc/PopovicPKZ21, author = {Miroslav Popovic and Marko Popovic and Branislav Kordic and Huibiao Zhu}, title = {{PSTM} Transaction Scheduler Verification Based on {CSP} and Testing}, booktitle = {{ECBS} 2021: 7th Conference on the Engineering of Computer Based Systems, Novi Sad, Serbia}, pages = {10:1--10:10}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3459960.3459962}, doi = {10.1145/3459960.3459962}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecbseerc/PopovicPKZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispa/ZhaoYZL21, author = {Chen Zhao and Jiaqi Yin and Huibiao Zhu and Ran Li}, title = {Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using {CSP}}, booktitle = {2021 {IEEE} Intl Conf on Parallel {\&} Distributed Processing with Applications, Big Data {\&} Cloud Computing, Sustainable Computing {\&} Communications, Social Computing {\&} Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30 - Oct. 3, 2021}, pages = {845--852}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ISPA-BDCloud-SocialCom-SustainCom52081.2021.00120}, doi = {10.1109/ISPA-BDCLOUD-SOCIALCOM-SUSTAINCOM52081.2021.00120}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ispa/ZhaoYZL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdcat/ChenLZ21, author = {Sini Chen and Ran Li and Huibiao Zhu}, editor = {Hong Shen and Yingpeng Sang and Yong Zhang and Nong Xiao and Hamid R. Arabnia and Geoffrey C. Fox and Ajay Gupta and Manu Malek}, title = {Formalization and Verification of Group Communication CoAP Using {CSP}}, booktitle = {Parallel and Distributed Computing, Applications and Technologies - 22nd International Conference, {PDCAT} 2021, Guangzhou, China, December 17-19, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13148}, pages = {616--628}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-96772-7\_58}, doi = {10.1007/978-3-030-96772-7\_58}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pdcat/ChenLZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ZhangYZC21, author = {Hongqin Zhang and Jiaqi Yin and Huibiao Zhu and Ningning Chen}, editor = {Shi{-}Kuo Chang}, title = {Formal Modeling and Verification of ICN-IoT Middleware Architecture {(S)}}, booktitle = {The 33rd International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2021, {KSIR} Virtual Conference Center, USA, July 1 - July 10, 2021}, pages = {102--107}, publisher = {{KSI} Research Inc.}, year = {2021}, url = {https://doi.org/10.18293/SEKE2021-003}, doi = {10.18293/SEKE2021-003}, timestamp = {Wed, 21 Sep 2022 17:47:55 +0200}, biburl = {https://dblp.org/rec/conf/seke/ZhangYZC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/HouYZ21, author = {Zhiru Hou and Jiaqi Yin and Huibiao Zhu}, editor = {Shi{-}Kuo Chang}, title = {Formalization and Verification of Dubbo Using {CSP}}, booktitle = {The 33rd International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2021, {KSIR} Virtual Conference Center, USA, July 1 - July 10, 2021}, pages = {154--159}, publisher = {{KSI} Research Inc.}, year = {2021}, url = {https://doi.org/10.18293/SEKE2021-077}, doi = {10.18293/SEKE2021-077}, timestamp = {Wed, 21 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seke/HouYZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setta/XiaoZ21, author = {Lili Xiao and Huibiao Zhu}, editor = {Shengchao Qin and Jim Woodcock and Wenhui Zhang}, title = {Trace Semantics and Algebraic Laws for {MCA} ARMv8 Architecture Based on {UTP}}, booktitle = {Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, {SETTA} 2021, Beijing, China, November 25-27, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13071}, pages = {81--101}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-91265-9\_5}, doi = {10.1007/978-3-030-91265-9\_5}, timestamp = {Fri, 17 Feb 2023 09:02:01 +0100}, biburl = {https://dblp.org/rec/conf/setta/XiaoZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/ChenZF21, author = {Ningning Chen and Huibiao Zhu and Huixing Fang}, title = {A Proof System for {HRML} with Extended Hoare Logic}, booktitle = {International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2021, Shanghai, China, August 25-27, 2021}, pages = {31--38}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/TASE52547.2021.00017}, doi = {10.1109/TASE52547.2021.00017}, timestamp = {Mon, 11 Oct 2021 17:13:04 +0200}, biburl = {https://dblp.org/rec/conf/tase/ChenZF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/YinZFX21, author = {Jiaqi Yin and Huibiao Zhu and Yuan Fei and Qiwen Xu}, title = {Formal Modelling and Verification of the {RTPS} Behavior Module}, booktitle = {International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2021, Shanghai, China, August 25-27, 2021}, pages = {127--134}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/TASE52547.2021.00028}, doi = {10.1109/TASE52547.2021.00028}, timestamp = {Mon, 11 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tase/YinZFX21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/trustcom/YinZF21, author = {Jiaqi Yin and Huibiao Zhu and Yuan Fei}, title = {Formal Verification of HPS-based Master-Slave Scheme in {MEC} with Timed Automata}, booktitle = {20th {IEEE} International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2021, Shenyang, China, October 20-22, 2021}, pages = {68--75}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/TrustCom53373.2021.00027}, doi = {10.1109/TRUSTCOM53373.2021.00027}, timestamp = {Sun, 13 Mar 2022 10:52:35 +0100}, biburl = {https://dblp.org/rec/conf/trustcom/YinZF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/ShengZHYB20, author = {Feng Sheng and Huibiao Zhu and Jifeng He and Zongyuan Yang and Jonathan P. Bowen}, title = {Theoretical and Practical Approaches to the Denotational Semantics for {MDESL} based on {UTP}}, journal = {Formal Aspects Comput.}, volume = {32}, number = {2-3}, pages = {275--314}, year = {2020}, url = {https://doi.org/10.1007/s00165-020-00513-4}, doi = {10.1007/S00165-020-00513-4}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/ShengZHYB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/JiangZLZZGH20, author = {Jianmin Jiang and Huibiao Zhu and Qin Li and Yongxin Zhao and Shi Zhang and Ping Gong and Zhong Hong}, title = {Event-based functional decomposition}, journal = {Inf. Comput.}, volume = {271}, pages = {104484}, year = {2020}, url = {https://doi.org/10.1016/j.ic.2019.104484}, doi = {10.1016/J.IC.2019.104484}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/JiangZLZZGH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/YinZF20, author = {Jiaqi Yin and Huibiao Zhu and Yuan Fei}, title = {Specification and Verification of the Zab Protocol with {TLA+}}, journal = {J. Comput. Sci. Technol.}, volume = {35}, number = {6}, pages = {1312--1323}, year = {2020}, url = {https://doi.org/10.1007/s11390-020-0538-7}, doi = {10.1007/S11390-020-0538-7}, timestamp = {Tue, 15 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcst/YinZF20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/LiuZPXZ20, author = {Ailun Liu and Huibiao Zhu and Miroslav Popovic and Shuangqing Xiang and Lei Zhang}, title = {Formal analysis and verification of the {PSTM} architecture using {CSP}}, journal = {J. Syst. Softw.}, volume = {165}, pages = {110559}, year = {2020}, url = {https://doi.org/10.1016/j.jss.2020.110559}, doi = {10.1016/J.JSS.2020.110559}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jss/LiuZPXZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/monet/YinZV20, author = {Jiaqi Yin and Huibiao Zhu and Phan Cong Vinh}, title = {Formalization and Analysis of Haystack Architecture from Process Algebra Perspective}, journal = {Mob. Networks Appl.}, volume = {25}, number = {3}, pages = {1125--1139}, year = {2020}, url = {https://doi.org/10.1007/s11036-019-01433-1}, doi = {10.1007/S11036-019-01433-1}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/monet/YinZV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/monet/FeiZV20, author = {Yuan Fei and Huibiao Zhu and Phan Cong Vinh}, title = {Security Analysis of the Access Control Solution of {NDN} Using {BAN} Logic}, journal = {Mob. Networks Appl.}, volume = {25}, number = {3}, pages = {1162--1173}, year = {2020}, url = {https://doi.org/10.1007/s11036-019-01435-z}, doi = {10.1007/S11036-019-01435-Z}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/monet/FeiZV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/XiangZWXBXZ20, author = {Shuangqing Xiang and Huibiao Zhu and Xi Wu and Lili Xiao and Marcello M. Bonsangue and Wanling Xie and Lei Zhang}, title = {Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra}, journal = {Sci. Comput. Program.}, volume = {187}, pages = {102343}, year = {2020}, url = {https://doi.org/10.1016/j.scico.2019.102343}, doi = {10.1016/J.SCICO.2019.102343}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/XiangZWXBXZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/ChenZFXY20, author = {Ningning Chen and Huibiao Zhu and Yuan Fei and Lili Xiao and Jiaqi Yin}, title = {Modeling and Verifying Data Access Mechanism of {NLSR} Trust Model}, booktitle = {27th Asia-Pacific Software Engineering Conference, {APSEC} 2020, Singapore, December 1-4, 2020}, pages = {198--207}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/APSEC51365.2020.00028}, doi = {10.1109/APSEC51365.2020.00028}, timestamp = {Sat, 20 Mar 2021 14:55:58 +0100}, biburl = {https://dblp.org/rec/conf/apsec/ChenZFXY20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ZhuXYFLL20, author = {Ran Li and Huibiao Zhu and Lili Xiao and Jiaqi Yin and Yuan Fei and Gang Lu}, editor = {Ra{\'{u}}l Garc{\'{\i}}a{-}Castro}, title = {Formalization and Verification of {VANET}}, booktitle = {The 32nd International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2020, {KSIR} Virtual Conference Center, USA, July 9-19, 2020}, pages = {1--6}, publisher = {{KSI} Research Inc.}, year = {2020}, url = {https://doi.org/10.18293/SEKE2020-011}, doi = {10.18293/SEKE2020-011}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/ZhuXYFLL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ZhuYXFC20, author = {Ningning Chen and Huibiao Zhu and Jiaqi Yin and Lili Xiao and Yuan Fei}, editor = {Ra{\'{u}}l Garc{\'{\i}}a{-}Castro}, title = {Modeling and Verifying NDN-based IoV Using {CSP}}, booktitle = {The 32nd International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2020, {KSIR} Virtual Conference Center, USA, July 9-19, 2020}, pages = {31--36}, publisher = {{KSI} Research Inc.}, year = {2020}, url = {https://doi.org/10.18293/SEKE2020-066}, doi = {10.18293/SEKE2020-066}, timestamp = {Tue, 26 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/ZhuYXFC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ZhuXYFLX20, author = {Junya Xu and Huibiao Zhu and Lili Xiao and Jiaqi Yin and Yuan Fei and Gang Lu}, editor = {Ra{\'{u}}l Garc{\'{\i}}a{-}Castro}, title = {Formal Modelling and Verification of {MCAC} Router Architecture in {ICN}}, booktitle = {The 32nd International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2020, {KSIR} Virtual Conference Center, USA, July 9-19, 2020}, pages = {222--227}, publisher = {{KSI} Research Inc.}, year = {2020}, url = {https://doi.org/10.18293/SEKE2020-048}, doi = {10.18293/SEKE2020-048}, timestamp = {Tue, 26 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/ZhuXYFLX20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/XieZQ20, author = {Wanling Xie and Huibiao Zhu and Shengchao Qin}, editor = {Toshiaki Aoki and Qin Li}, title = {An Axiomatic Approach to BigrTiMo}, booktitle = {International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2020, Hangzhou, China, December 11-13, 2020}, pages = {41--48}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/TASE49443.2020.00015}, doi = {10.1109/TASE49443.2020.00015}, timestamp = {Tue, 27 Apr 2021 14:38:43 +0200}, biburl = {https://dblp.org/rec/conf/tase/XieZQ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/trustcom/LiYZ20, author = {Ran Li and Jiaqi Yin and Huibiao Zhu}, editor = {Guojun Wang and Ryan K. L. Ko and Md. Zakirul Alam Bhuiyan and Yi Pan}, title = {Modeling and Analysis of RabbitMQ Using {UPPAAL}}, booktitle = {19th {IEEE} International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2020, Guangzhou, China, December 29, 2020 - January 1, 2021}, pages = {79--86}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/TrustCom50675.2020.00024}, doi = {10.1109/TRUSTCOM50675.2020.00024}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/trustcom/LiYZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/SunZFXLY19, author = {Dongzhen Sun and Huibiao Zhu and Yuan Fei and Lili Xiao and Gang Lu and Jiaqi Yin}, title = {Formalization and Verification of {TESAC} Using {CSP}}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {29}, number = {11{\&}12}, pages = {1741--1760}, year = {2019}, url = {https://doi.org/10.1142/S0218194019400199}, doi = {10.1142/S0218194019400199}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/SunZFXLY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/monet/XiangWZXXV19, author = {Shuangqing Xiang and Xi Wu and Huibiao Zhu and Wanling Xie and Lili Xiao and Phan Cong Vinh}, title = {Modeling and Verifying Basic Modules of Floodlight}, journal = {Mob. Networks Appl.}, volume = {24}, number = {1}, pages = {100--114}, year = {2019}, url = {https://doi.org/10.1007/s11036-018-1141-9}, doi = {10.1007/S11036-018-1141-9}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/monet/XiangWZXXV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/monet/XieZWV19, author = {Wanling Xie and Huibiao Zhu and Xi Wu and Phan Cong Vinh}, title = {Formal Verification of mCWQ Using Extended Hoare Logic}, journal = {Mob. Networks Appl.}, volume = {24}, number = {1}, pages = {134--144}, year = {2019}, url = {https://doi.org/10.1007/s11036-018-1142-8}, doi = {10.1007/S11036-018-1142-8}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/monet/XieZWV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/JiangZLZHZG19, author = {Jianmin Jiang and Huibiao Zhu and Qin Li and Yongxin Zhao and Zhong Hong and Shi Zhang and Ping Gong}, title = {Isolation Modeling and Analysis Based on Mobility}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {28}, number = {2}, pages = {10:1--10:31}, year = {2019}, url = {https://doi.org/10.1145/3306606}, doi = {10.1145/3306606}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/JiangZLZHZG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/ShengZHYB19, author = {Feng Sheng and Huibiao Zhu and Jifeng He and Zongyuan Yang and Jonathan P. Bowen}, title = {Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for {MDESL}}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {28}, number = {3}, pages = {14:1--14:46}, year = {2019}, url = {https://doi.org/10.1145/3295699}, doi = {10.1145/3295699}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/ShengZHYB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tr/ZhuZGLZH19, author = {Xiaoran Zhu and Min Zhang and Jian Guo and Xin Li and Huibiao Zhu and Jifeng He}, title = {Toward a Unified Executable Formal Automobile {OS} Kernel and Its Applications}, journal = {{IEEE} Trans. Reliab.}, volume = {68}, number = {3}, pages = {1117--1133}, year = {2019}, url = {https://doi.org/10.1109/TR.2018.2863744}, doi = {10.1109/TR.2018.2863744}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tr/ZhuZGLZH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/ShengZY19, author = {Feng Sheng and Huibiao Zhu and Zongyuan Yang}, title = {Towards the Mechanized Semantics and Refinement of {UML} Class Diagrams}, booktitle = {26th Asia-Pacific Software Engineering Conference, {APSEC} 2019, Putrajaya, Malaysia, December 2-5, 2019}, pages = {47--54}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/APSEC48747.2019.00016}, doi = {10.1109/APSEC48747.2019.00016}, timestamp = {Mon, 13 Jan 2020 17:06:02 +0100}, biburl = {https://dblp.org/rec/conf/apsec/ShengZY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/ZhaoZFX19, author = {Hongyan Zhao and Huibiao Zhu and Yucheng Fang and Lili Xiao}, editor = {Dongjin Yu and Vu Nguyen and Congfeng Jiang}, title = {Modeling and Verifying Storm Using {CSP}}, booktitle = {19th {IEEE} International Symposium on High Assurance Systems Engineering, {HASE} 2019, Hangzhou, China, January 3-5, 2019}, pages = {192--199}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/HASE.2019.00037}, doi = {10.1109/HASE.2019.00037}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/hase/ZhaoZFX19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/YinZFF19, author = {Jiaqi Yin and Huibiao Zhu and Yuan Fei and Yucheng Fang}, editor = {Dongjin Yu and Vu Nguyen and Congfeng Jiang}, title = {Modeling and Verifying Spark on {YARN} Using Process Algebra}, booktitle = {19th {IEEE} International Symposium on High Assurance Systems Engineering, {HASE} 2019, Hangzhou, China, January 3-5, 2019}, pages = {208--215}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/HASE.2019.00039}, doi = {10.1109/HASE.2019.00039}, timestamp = {Wed, 27 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/YinZFF19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/FeiZSY19, author = {Yuan Fei and Huibiao Zhu and Haiying Sun and Jiaqi Yin}, editor = {Yamine A{\"{\i}}t Ameur and Shengchao Qin}, title = {A Security Calculus for Wireless Networks of Named Data Networking}, 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 = {170--185}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-32409-4\_11}, doi = {10.1007/978-3-030-32409-4\_11}, timestamp = {Mon, 28 Oct 2019 17:04:46 +0100}, biburl = {https://dblp.org/rec/conf/icfem/FeiZSY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/XiangBZ19, author = {Shuangqing Xiang and Marcello M. Bonsangue and Huibiao Zhu}, editor = {Yamine A{\"{\i}}t Ameur and Shengchao Qin}, title = {PDNet: {A} Programming Language for Software-Defined Networks with {VLAN}}, 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 = {203--218}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-32409-4\_13}, doi = {10.1007/978-3-030-32409-4\_13}, timestamp = {Mon, 28 Oct 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfem/XiangBZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/YinZFXW19, author = {Jiaqi Yin and Huibiao Zhu and Yuan Fei and Qiwen Xu and Ruobiao Wu}, editor = {Angelo Perkusich}, title = {Formalization and Verification of {RTPS} StatefulWriter Module Using {CSP}}, booktitle = {The 31st International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019}, pages = {147--198}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2019}, url = {https://doi.org/10.18293/SEKE2019-060}, doi = {10.18293/SEKE2019-060}, timestamp = {Wed, 03 Feb 2021 08:31:37 +0100}, biburl = {https://dblp.org/rec/conf/seke/YinZFXW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ShengZYYL19, author = {Feng Sheng and Huibiao Zhu and Zongyuan Yang and Jiaqi Yin and Gang Lu}, editor = {Angelo Perkusich}, title = {Verifying Static Aspects of {UML} models using Prolog {(S)}}, booktitle = {The 31st International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019}, pages = {259--342}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2019}, url = {https://doi.org/10.18293/SEKE2019-175}, doi = {10.18293/SEKE2019-175}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/ShengZYYL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/SunZFXLY19, author = {Dongzhen Sun and Huibiao Zhu and Yuan Fei and Lili Xiao and Gang Lu and Jiaqi Yin}, editor = {Angelo Perkusich}, title = {Modeling and Verifying {TESAC} Using {CSP}}, booktitle = {The 31st International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019}, pages = {265--348}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2019}, url = {https://doi.org/10.18293/SEKE2019-122}, doi = {10.18293/SEKE2019-122}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/SunZFXLY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/ZhangMZC19, author = {Yuanrui Zhang and Fr{\'{e}}d{\'{e}}ric Mallet and Huibiao Zhu and Yixiang Chen}, editor = {Dominique M{\'{e}}ry and Shengchao Qin}, title = {A Logical Approach for the Schedulability Analysis of {CCSL}}, booktitle = {2019 International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2019, Guilin, China, July 29-31, 2019}, pages = {25--32}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/TASE.2019.00-23}, doi = {10.1109/TASE.2019.00-23}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tase/ZhangMZC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/FangZY19, author = {Yucheng Fang and Huibiao Zhu and Jiaqi Yin}, editor = {Dominique M{\'{e}}ry and Shengchao Qin}, title = {Verifying Opacity of a Modified {PSTM}}, booktitle = {2019 International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2019, Guilin, China, July 29-31, 2019}, pages = {232--239}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/TASE.2019.00008}, doi = {10.1109/TASE.2019.00008}, timestamp = {Sun, 08 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/FangZY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/Xu0ZP19, author = {Chao Xu and Xi Wu and Huibiao Zhu and Miroslav Popovic}, editor = {Dominique M{\'{e}}ry and Shengchao Qin}, title = {Modeling and Verifying Transaction Scheduling for Software Transactional Memory using {CSP}}, booktitle = {2019 International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2019, Guilin, China, July 29-31, 2019}, pages = {240--247}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/TASE.2019.00009}, doi = {10.1109/TASE.2019.00009}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tase/Xu0ZP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/utp/0005ZX19, author = {Xi Wu and Huibiao Zhu and Wanling Xie}, editor = {Pedro Ribeiro and Augusto Sampaio}, title = {{UTP} Semantics of a Calculus for Mobile Ad Hoc Networks}, booktitle = {Unifying Theories of Programming - 7th International Symposium, {UTP} 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11885}, pages = {198--216}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-31038-7\_10}, doi = {10.1007/978-3-030-31038-7\_10}, timestamp = {Mon, 23 Sep 2019 14:16:55 +0200}, biburl = {https://dblp.org/rec/conf/utp/0005ZX19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/XieXZ18, author = {Wanling Xie and Shuangqing Xiang and Huibiao Zhu}, title = {A {UTP} approach for rTiMo}, journal = {Formal Aspects Comput.}, volume = {30}, number = {6}, pages = {713--738}, year = {2018}, url = {https://doi.org/10.1007/s00165-018-0467-1}, doi = {10.1007/S00165-018-0467-1}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/XieXZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/WangZXF18, author = {Huiwen Wang and Huibiao Zhu and Lili Xiao and Yuan Fei}, title = {Formalization and Verification of the OpenFlow Bundle Mechanism Using {CSP}}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {28}, number = {11-12}, pages = {1657--1677}, year = {2018}, url = {https://doi.org/10.1142/S0218194018400223}, doi = {10.1142/S0218194018400223}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/WangZXF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/monet/ZhuXLGZV18, author = {Xiaoran Zhu and Yuanmin Xu and Xin Li and Jian Guo and Huibiao Zhu and Phan Cong Vinh}, title = {Formal Analysis of the PKMv3 Protocol}, journal = {Mob. Networks Appl.}, volume = {23}, number = {1}, pages = {44--56}, year = {2018}, url = {https://doi.org/10.1007/s11036-017-0903-0}, doi = {10.1007/S11036-017-0903-0}, timestamp = {Mon, 30 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/monet/ZhuXLGZV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/WuZ18, author = {Xi Wu and Huibiao Zhu}, title = {Formal analysis of a calculus for WSNs from quality perspective}, journal = {Sci. Comput. Program.}, volume = {154}, pages = {134--153}, year = {2018}, url = {https://doi.org/10.1016/j.scico.2017.08.007}, doi = {10.1016/J.SCICO.2017.08.007}, timestamp = {Mon, 11 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/WuZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/smr/FeiZWFQ18, author = {Yuan Fei and Huibiao Zhu and Xi Wu and Huixing Fang and Shengchao Qin}, title = {Comparative modelling and verification of Pthreads and Dthreads}, journal = {J. Softw. Evol. Process.}, volume = {30}, number = {3}, year = {2018}, url = {https://doi.org/10.1002/smr.1919}, doi = {10.1002/SMR.1919}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/smr/FeiZWFQ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/ZhangYLZCL18, author = {Yifan Zhang and Zhengfeng Yang and Wang Lin and Huibiao Zhu and Xin Chen and Xuandong Li}, title = {Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {37}, number = {11}, pages = {2768--2778}, year = {2018}, url = {https://doi.org/10.1109/TCAD.2018.2858383}, doi = {10.1109/TCAD.2018.2858383}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/ZhangYLZCL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccwc/FangZZF18, author = {Yucheng Fang and Huibiao Zhu and Frank Zeyda and Yuan Fei}, title = {Modeling and analysis of the disruptor framework in {CSP}}, booktitle = {{IEEE} 8th Annual Computing and Communication Workshop and Conference, {CCWC} 2018, Las Vegas, NV, USA, January 8-10, 2018}, pages = {803--809}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/CCWC.2018.8301703}, doi = {10.1109/CCWC.2018.8301703}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccwc/FangZZF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/XieZZLF18, author = {Wanling Xie and Huibiao Zhu and Min Zhang and Gang Lu and Yucheng Fang}, editor = {Sorel Reisman and Sheikh Iqbal Ahamed and Claudio Demartini and Thomas M. Conte and Ling Liu and William R. Claycomb and Motonori Nakamura and Edmundo Tovar and Stelvio Cimato and Chung{-}Horng Lung and Hiroki Takakura and Ji{-}Jiang Yang and Toyokazu Akiyama and Zhiyong Zhang and Kamrul Hasan}, title = {Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude}, booktitle = {2018 {IEEE} 42nd Annual Computer Software and Applications Conference, {COMPSAC} 2018, Tokyo, Japan, 23-27 July 2018, Volume 1}, pages = {213--218}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/COMPSAC.2018.00034}, doi = {10.1109/COMPSAC.2018.00034}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/XieZZLF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/FangZLXX18, author = {Yucheng Fang and Huibiao Zhu and Gang Lu and Lili Xiao and Wanling Xie}, editor = {Sorel Reisman and Sheikh Iqbal Ahamed and Claudio Demartini and Thomas M. Conte and Ling Liu and William R. Claycomb and Motonori Nakamura and Edmundo Tovar and Stelvio Cimato and Chung{-}Horng Lung and Hiroki Takakura and Ji{-}Jiang Yang and Toyokazu Akiyama and Zhiyong Zhang and Kamrul Hasan}, title = {Modeling and Verifying MooseFS in {CSP}}, booktitle = {2018 {IEEE} 42nd Annual Computer Software and Applications Conference, {COMPSAC} 2018, Tokyo, Japan, 23-27 July 2018, Volume 1}, pages = {270--275}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/COMPSAC.2018.00043}, doi = {10.1109/COMPSAC.2018.00043}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/FangZLXX18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/WangZXXL18, author = {Huiwen Wang and Huibiao Zhu and Lili Xiao and Wanling Xie and Gang Lu}, editor = {Sorel Reisman and Sheikh Iqbal Ahamed and Claudio Demartini and Thomas M. Conte and Ling Liu and William R. Claycomb and Motonori Nakamura and Edmundo Tovar and Stelvio Cimato and Chung{-}Horng Lung and Hiroki Takakura and Ji{-}Jiang Yang and Toyokazu Akiyama and Zhiyong Zhang and Kamrul Hasan}, title = {Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using {CSP}}, booktitle = {2018 {IEEE} 42nd Annual Computer Software and Applications Conference, {COMPSAC} 2018, Tokyo, Japan, 23-27 July 2018, Volume 2}, pages = {376--381}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/COMPSAC.2018.10261}, doi = {10.1109/COMPSAC.2018.10261}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/WangZXXL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fedcsis/ZhuXZ18, author = {Longfei Zhu and Qiwen Xu and Huibiao Zhu}, editor = {Maria Ganzha and Leszek A. Maciaszek and Marcin Paprzycki}, title = {Assertional Reasoning for Concurrent and Communicating BPEL-like Programs}, booktitle = {Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018, Pozna{\'{n}}, Poland, September 9-12, 2018}, series = {Annals of Computer Science and Information Systems}, volume = {17}, pages = {241--247}, year = {2018}, url = {https://doi.org/10.15439/2018F148}, doi = {10.15439/2018F148}, timestamp = {Mon, 07 Aug 2023 11:27:06 +0200}, biburl = {https://dblp.org/rec/conf/fedcsis/ZhuXZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/FeiZ18, author = {Yuan Fei and Huibiao Zhu}, editor = {Jing Sun and Meng Sun}, title = {Modeling and Verifying {NDN} Access Control Using {CSP}}, booktitle = {Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11232}, pages = {143--159}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-02450-5\_9}, doi = {10.1007/978-3-030-02450-5\_9}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/icfem/FeiZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/XieZQ18, author = {Wanling Xie and Huibiao Zhu and Shengchao Qin}, editor = {Jing Sun and Meng Sun}, title = {{UTP} Semantics for BigrTiMo}, booktitle = {Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11232}, pages = {337--353}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-02450-5\_20}, doi = {10.1007/978-3-030-02450-5\_20}, timestamp = {Mon, 05 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfem/XieZQ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/XiaoXZ18, author = {Lili Xiao and Shuangqing Xiang and Huibiao Zhu}, editor = {Hisham M. Haddad and Roger L. Wainwright and Richard Chbeir}, title = {Modeling and verifying {SDN} with multiple controllers}, booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing, {SAC} 2018, Pau, France, April 09-13, 2018}, pages = {419--422}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3167132.3167381}, doi = {10.1145/3167132.3167381}, timestamp = {Wed, 25 Sep 2019 18:12:13 +0200}, biburl = {https://dblp.org/rec/conf/sac/XiaoXZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/WangZFX18, author = {Huiwen Wang and Huibiao Zhu and Yuan Fei and Lili Xiao}, editor = {{\'{O}}scar Mort{\'{a}}gua Pereira}, title = {Formalization and Verification of the OpenFlow Bundle Mechanism Using {CSP}}, booktitle = {The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018}, pages = {169--168}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2018}, url = {https://doi.org/10.18293/SEKE2018-127}, doi = {10.18293/SEKE2018-127}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/WangZFX18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/FangZW18, author = {Yucheng Fang and Huibiao Zhu and Huiwen Wang}, editor = {{\'{O}}scar Mort{\'{a}}gua Pereira}, title = {Modeling and Verifying Leader Election Algorithm in {CSP} {(S)}}, booktitle = {The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018}, pages = {342--341}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2018}, url = {https://doi.org/10.18293/SEKE2018-067}, doi = {10.18293/SEKE2018-067}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/FangZW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/FeiZW18, author = {Yuan Fei and Huibiao Zhu and Huiwen Wang}, editor = {{\'{O}}scar Mort{\'{a}}gua Pereira}, title = {Security Analysis of the Access Control Solution of {NDN} Using {BAN} Logic {(S)}}, booktitle = {The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018}, pages = {659--658}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2018}, url = {https://doi.org/10.18293/SEKE2018-124}, doi = {10.18293/SEKE2018-124}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/FeiZW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/DuYZ18, author = {Wenjun Du and Zhengfeng Yang and Huibiao Zhu}, editor = {Jun Pang and Chenyi Zhang and Jifeng He and Jian Weng}, title = {A Fully Abstract Encoding for Sub Asynchronous Pi Calculus}, booktitle = {2018 International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2018, Guangzhou, China, August 29-31, 2018}, pages = {17--27}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/TASE.2018.00011}, doi = {10.1109/TASE.2018.00011}, timestamp = {Tue, 05 Apr 2022 10:08:08 +0200}, biburl = {https://dblp.org/rec/conf/tase/DuYZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/XiangZXX18, author = {Shuangqing Xiang and Huibiao Zhu and Lili Xiao and Wanling Xie}, editor = {Jun Pang and Chenyi Zhang and Jifeng He and Jian Weng}, title = {Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks}, booktitle = {2018 International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2018, Guangzhou, China, August 29-31, 2018}, pages = {84--91}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/TASE.2018.00019}, doi = {10.1109/TASE.2018.00019}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/XiangZXX18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/FeiZL18, author = {Yuan Fei and Huibiao Zhu and Xin Li}, editor = {Jun Pang and Chenyi Zhang and Jifeng He and Jian Weng}, title = {Modeling and Verification of {NLSR} Protocol using {UPPAAL}}, booktitle = {2018 International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2018, Guangzhou, China, August 29-31, 2018}, pages = {108--115}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/TASE.2018.00022}, doi = {10.1109/TASE.2018.00022}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/FeiZL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/monet/XieZWXGV17, author = {Wanling Xie and Huibiao Zhu and Xi Wu and Shuangqing Xiang and Jian Guo and Phan Cong Vinh}, title = {Modeling and Verifying {HDFS} Using Process Algebra}, journal = {Mob. Networks Appl.}, volume = {22}, number = {2}, pages = {318--331}, year = {2017}, url = {https://doi.org/10.1007/s11036-017-0812-2}, doi = {10.1007/S11036-017-0812-2}, timestamp = {Mon, 30 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/monet/XieZWXGV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BanachBQZ17, author = {Richard Banach and Michael J. Butler and Shengchao Qin and Huibiao Zhu}, title = {Core Hybrid Event-B {II:} Multiple cooperating Hybrid Event-B machines}, journal = {Sci. Comput. Program.}, volume = {139}, pages = {1--35}, year = {2017}, url = {https://doi.org/10.1016/j.scico.2016.12.003}, doi = {10.1016/J.SCICO.2016.12.003}, timestamp = {Thu, 28 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BanachBQZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcps/JiangZLZZZGHC17, author = {Jianmin Jiang and Huibiao Zhu and Qin Li and Yongxin Zhao and Lin Zhao and Shi Zhang and Ping Gong and Zhong Hong and Donghuo Chen}, title = {Event-Based Mobility Modeling and Analysis}, journal = {{ACM} Trans. Cyber Phys. Syst.}, volume = {1}, number = {2}, pages = {9:1--9:32}, year = {2017}, url = {https://doi.org/10.1145/2823353}, doi = {10.1145/2823353}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcps/JiangZLZZZGHC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/XuZX17, author = {Chao Xu and Huibiao Zhu and Wanling Xie}, editor = {Jian Lv and He Jason Zhang and Mike Hinchey and Xiao Liu}, title = {Modeling and Verifying Identity Authentication Security of {HDFS} Using {CSP}}, booktitle = {24th Asia-Pacific Software Engineering Conference, {APSEC} 2017, Nanjing, China, December 4-8, 2017}, pages = {259--268}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/APSEC.2017.32}, doi = {10.1109/APSEC.2017.32}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/XuZX17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/LiuPZ17, author = {Ailun Liu and Miroslav Popovic and Huibiao Zhu}, editor = {Jian Lv and He Jason Zhang and Mike Hinchey and Xiao Liu}, title = {Formalization and Verification of the {PSTM} Architecture}, booktitle = {24th Asia-Pacific Software Engineering Conference, {APSEC} 2017, Nanjing, China, December 4-8, 2017}, pages = {427--435}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/APSEC.2017.49}, doi = {10.1109/APSEC.2017.49}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/LiuPZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/WangXZ17, author = {Luyao Wang and Wanling Xie and Huibiao Zhu}, editor = {Luca Aceto and Giorgio Bacci and Giovanni Bacci and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Axel Legay and Radu Mardare}, title = {Assertion-Based Reasoning Method for Calculus of Wireless System}, booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {10460}, pages = {484--502}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-63121-9\_24}, doi = {10.1007/978-3-319-63121-9\_24}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/WangXZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/LiuZFXLX17, author = {Ailun Liu and Huibiao Zhu and Yuan Fei and Shuangqing Xiang and Gang Lu and Wanling Xie}, editor = {Sorel Reisman and Sheikh Iqbal Ahamed and Claudio Demartini and Thomas M. Conte and Ling Liu and William R. Claycomb and Motonori Nakamura and Edmundo Tovar and Stelvio Cimato and Chung{-}Horng Lung and Hiroki Takakura and Ji{-}Jiang Yang and Toyokazu Akiyama and Zhiyong Zhang and Kamrul Hasan}, title = {Modeling and Analysis of the Security Protocol in {C-DAX} Based on Process Algebra}, booktitle = {41st {IEEE} Annual Computer Software and Applications Conference, {COMPSAC} 2017, Turin, Italy, July 4-8, 2017. Volume 1}, pages = {39--44}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/COMPSAC.2017.170}, doi = {10.1109/COMPSAC.2017.170}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/LiuZFXLX17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/XieWZLL17, author = {Wanling Xie and Xi Wu and Huibiao Zhu and Gang Lu and Ailun Liu}, editor = {Sorel Reisman and Sheikh Iqbal Ahamed and Claudio Demartini and Thomas M. Conte and Ling Liu and William R. Claycomb and Motonori Nakamura and Edmundo Tovar and Stelvio Cimato and Chung{-}Horng Lung and Hiroki Takakura and Ji{-}Jiang Yang and Toyokazu Akiyama and Zhiyong Zhang and Kamrul Hasan}, title = {A Proof System for mCWQ}, booktitle = {41st {IEEE} Annual Computer Software and Applications Conference, {COMPSAC} 2017, Turin, Italy, July 4-8, 2017. Volume 1}, pages = {45--50}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/COMPSAC.2017.32}, doi = {10.1109/COMPSAC.2017.32}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/XieWZLL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/XuZZWGL17, author = {Yuanmin Xu and Huibiao Zhu and Xiaoran Zhu and Xi Wu and Jian Guo and Gang Lu}, editor = {Sorel Reisman and Sheikh Iqbal Ahamed and Claudio Demartini and Thomas M. Conte and Ling Liu and William R. Claycomb and Motonori Nakamura and Edmundo Tovar and Stelvio Cimato and Chung{-}Horng Lung and Hiroki Takakura and Ji{-}Jiang Yang and Toyokazu Akiyama and Zhiyong Zhang and Kamrul Hasan}, title = {Formalization and Verification of the PKMv3 Protocol Using {CSP}}, booktitle = {41st {IEEE} Annual Computer Software and Applications Conference, {COMPSAC} 2017, Turin, Italy, July 4-8, 2017. Volume 1}, pages = {499--504}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/COMPSAC.2017.133}, doi = {10.1109/COMPSAC.2017.133}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/XuZZWGL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fedcsis/LuXZF17, author = {Jianyu Lu and Wanling Xie and Huibiao Zhu and Yuan Fei}, editor = {Maria Ganzha and Leszek A. Maciaszek and Marcin Paprzycki}, title = {A Proof System for {MDESL}}, booktitle = {Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3-6, 2017}, series = {Annals of Computer Science and Information Systems}, volume = {13}, pages = {387--393}, year = {2017}, url = {https://doi.org/10.15439/2017F400}, doi = {10.15439/2017F400}, timestamp = {Mon, 07 Aug 2023 11:27:09 +0200}, biburl = {https://dblp.org/rec/conf/fedcsis/LuXZF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/XieZX17, author = {Wanling Xie and Huibiao Zhu and Qiwen Xu}, title = {BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems}, booktitle = {22nd International Conference on Engineering of Complex Computer Systems, {ICECCS} 2017, Fukuoka, Japan, November 5-8, 2017}, pages = {50--59}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/ICECCS.2017.13}, doi = {10.1109/ICECCS.2017.13}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/XieZX17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/YuanXXPZ17, author = {Yujie Yuan and Lihua Xu and Xusheng Xiao and Andy Podgurski and Huibiao Zhu}, editor = {Eric Bodden and Wilhelm Sch{\"{a}}fer and Arie van Deursen and Andrea Zisman}, title = {RunDroid: recovering execution call graphs for Android applications}, booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017}, pages = {949--953}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3106237.3122821}, doi = {10.1145/3106237.3122821}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/YuanXXPZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/utp/2016, editor = {Jonathan P. Bowen and Huibiao Zhu}, title = {Unifying Theories of Programming - 6th International Symposium, {UTP} 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10134}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-52228-9}, doi = {10.1007/978-3-319-52228-9}, isbn = {978-3-319-52227-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/utp/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fgcs/0001Z16, author = {Xi Wu and Huibiao Zhu}, title = {Formalization and analysis of the {REST} architecture from the process algebra perspective}, journal = {Future Gener. Comput. Syst.}, volume = {56}, pages = {153--168}, year = {2016}, url = {https://doi.org/10.1016/j.future.2015.09.007}, doi = {10.1016/J.FUTURE.2015.09.007}, timestamp = {Wed, 19 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fgcs/0001Z16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/HoareSMSZ16, author = {Tony Hoare and Stephan van Staden and Bernhard M{\"{o}}ller and Georg Struth and Huibiao Zhu}, title = {Developments in concurrent Kleene algebra}, journal = {J. Log. Algebraic Methods Program.}, volume = {85}, number = {4}, pages = {617--636}, year = {2016}, url = {https://doi.org/10.1016/j.jlamp.2015.09.012}, doi = {10.1016/J.JLAMP.2015.09.012}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlp/HoareSMSZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/monet/FangZH16, author = {Huixing Fang and Huibiao Zhu and Jifeng He}, title = {SMT-Based Symbolic Encoding and Formal Analysis of {HML} Models}, journal = {Mob. Networks Appl.}, volume = {21}, number = {1}, pages = {35--52}, year = {2016}, url = {https://doi.org/10.1007/s11036-015-0671-7}, doi = {10.1007/S11036-015-0671-7}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/monet/FangZH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Xu0JZY16, author = {Ming Xu and Lijun Zhang and David N. Jansen and Huibiao Zhu and Zongyuan Yang}, title = {Multiphase until formulas over Markov reward models: An algebraic approach}, journal = {Theor. Comput. Sci.}, volume = {611}, pages = {116--135}, year = {2016}, url = {https://doi.org/10.1016/j.tcs.2015.07.047}, doi = {10.1016/J.TCS.2015.07.047}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Xu0JZY16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/FanCXYZ16, author = {Lingling Fan and Sen Chen and Lihua Xu and Zongyuan Yang and Huibiao Zhu}, editor = {Alex Potanin and Gail C. Murphy and Steve Reeves and Jens Dietrich}, title = {Model-Based Continuous Verification}, booktitle = {23rd Asia-Pacific Software Engineering Conference, {APSEC} 2016, Hamilton, New Zealand, December 6-9, 2016}, pages = {81--88}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/APSEC.2016.022}, doi = {10.1109/APSEC.2016.022}, timestamp = {Fri, 15 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/FanCXYZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/XieZWXG16, author = {Wanling Xie and Huibiao Zhu and Xi Wu and Shuangqing Xiang and Jian Guo}, title = {Modeling and Verifying {HDFS} Using {CSP}}, booktitle = {40th {IEEE} Annual Computer Software and Applications Conference, {COMPSAC} 2016, Atlanta, GA, USA, June 10-14, 2016}, pages = {221--226}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/COMPSAC.2016.158}, doi = {10.1109/COMPSAC.2016.158}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/XieZWXG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftscs/BanachZ16, author = {Richard Banach and Huibiao Zhu}, editor = {Cyrille Artho and Peter Csaba {\"{O}}lveczky}, title = {Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems}, booktitle = {Formal Techniques for Safety-Critical Systems - 5th International Workshop, {FTSCS} 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {694}, pages = {109--125}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-53946-1\_7}, doi = {10.1007/978-3-319-53946-1\_7}, timestamp = {Wed, 24 May 2017 08:30:54 +0200}, biburl = {https://dblp.org/rec/conf/ftscs/BanachZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/FeiZWF16, author = {Yuan Fei and Huibiao Zhu and Xi Wu and Huixing Fang}, editor = {Radu F. Babiceanu and H{\'{e}}l{\`{e}}ne Waeselynck and Raymond A. Paul and Bojan Cukic and Jie Xu}, title = {Comparative Modeling and Verification of Pthreads and Dthreads}, booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering, {HASE} 2016, Orlando, FL, USA, January 7-9, 2016}, pages = {132--140}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/HASE.2016.15}, doi = {10.1109/HASE.2016.15}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/FeiZWF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/WuZZ16, author = {Xi Wu and Yongxin Zhao and Huibiao Zhu}, editor = {Radu F. Babiceanu and H{\'{e}}l{\`{e}}ne Waeselynck and Raymond A. Paul and Bojan Cukic and Jie Xu}, title = {Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks}, booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering, {HASE} 2016, Orlando, FL, USA, January 7-9, 2016}, pages = {220--227}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/HASE.2016.29}, doi = {10.1109/HASE.2016.29}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/WuZZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/ZhangMZ16, author = {Min Zhang and Fr{\'{e}}d{\'{e}}ric Mallet and Huibiao Zhu}, editor = {Kazuhiro Ogata and Mark Lawford and Shaoying Liu}, title = {An SMT-Based Approach to the Formal Analysis of {MARTE/CCSL}}, 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 = {433--449}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-47846-3\_27}, doi = {10.1007/978-3-319-47846-3\_27}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/icfem/ZhangMZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/ZhuHQB15, author = {Huibiao Zhu and Jifeng He and Shengchao Qin and Phillip J. Brooke}, title = {Denotational semantics and its algebraic derivation for an event-driven system-level language}, journal = {Formal Aspects Comput.}, volume = {27}, number = {1}, pages = {133--166}, year = {2015}, url = {https://doi.org/10.1007/s00165-014-0309-8}, doi = {10.1007/S00165-014-0309-8}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/ZhuHQB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fcsc/HuangHZZSQ15, author = {Yanhong Huang and Jifeng He and Huibiao Zhu and Yongxin Zhao and Jianqi Shi and Shengchao Qin}, title = {Semantic theories of programs with nested interrupts}, journal = {Frontiers Comput. Sci.}, volume = {9}, number = {3}, pages = {331--345}, year = {2015}, url = {https://doi.org/10.1007/s11704-015-3251-x}, doi = {10.1007/S11704-015-3251-X}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fcsc/HuangHZZSQ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BanachBQVZ15, author = {Richard Banach and Michael J. Butler and Shengchao Qin and Nitika Verma and Huibiao Zhu}, title = {Core Hybrid Event-B {I:} Single Hybrid Event-B machines}, journal = {Sci. Comput. Program.}, volume = {105}, pages = {92--123}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2015.02.003}, doi = {10.1016/J.SCICO.2015.02.003}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BanachBQVZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tecs/JiangZLZZZGH15, author = {Jianmin Jiang and Huibiao Zhu and Qin Li and Yongxin Zhao and Lin Zhao and Shi Zhang and Ping Gong and Zhong Hong}, title = {Analyzing Event-Based Scheduling in Concurrent Reactive Systems}, journal = {{ACM} Trans. Embed. Comput. Syst.}, volume = {14}, number = {4}, pages = {86:1--86:27}, year = {2015}, url = {https://doi.org/10.1145/2783438}, doi = {10.1145/2783438}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tecs/JiangZLZZZGH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftscs/WuZ15, author = {Xi Wu and Huibiao Zhu}, editor = {Cyrille Artho and Peter Csaba {\"{O}}lveczky}, title = {Probabilistic Analysis of a Calculus for Wireless Sensor Networks}, booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {596}, pages = {155--171}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-29510-7\_9}, doi = {10.1007/978-3-319-29510-7\_9}, timestamp = {Mon, 11 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ftscs/WuZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/FangZS15, author = {Huixing Fang and Huibiao Zhu and Jianqi Shi}, title = {An Object-Oriented Language for Modeling of Hybrid Systems}, booktitle = {16th {IEEE} International Symposium on High Assurance Systems Engineering, {HASE} 2015, Daytona Beach, FL, USA, January 8-10, 2015}, pages = {1--9}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/HASE.2015.9}, doi = {10.1109/HASE.2015.9}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/FangZS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/WangSHZ15, author = {Luyao Wang and Fengwei Sui and Yanhong Huang and Huibiao Zhu}, title = {Modeling and Verifying the Ballooning in Xen with {CSP}}, booktitle = {16th {IEEE} International Symposium on High Assurance Systems Engineering, {HASE} 2015, Daytona Beach, FL, USA, January 8-10, 2015}, pages = {18--25}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/HASE.2015.12}, doi = {10.1109/HASE.2015.12}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/WangSHZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/YanFKZ15, author = {Haixing Yan and Huixing Fang and Christian Kuka and Huibiao Zhu}, title = {Verification for OAuth Using ASLan++}, booktitle = {16th {IEEE} International Symposium on High Assurance Systems Engineering, {HASE} 2015, Daytona Beach, FL, USA, January 8-10, 2015}, pages = {76--84}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/HASE.2015.20}, doi = {10.1109/HASE.2015.20}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/YanFKZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/TangWZG15, author = {Yiting Tang and Xi Wu and Huibiao Zhu and Jian Guo}, title = {Formalization and Verification of {REST} Architecture in Viewpoints}, booktitle = {16th {IEEE} International Symposium on High Assurance Systems Engineering, {HASE} 2015, Daytona Beach, FL, USA, January 8-10, 2015}, pages = {197--206}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/HASE.2015.37}, doi = {10.1109/HASE.2015.37}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/TangWZG15.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/hase/WuZ15, author = {Xi Wu and Huibiao Zhu}, title = {A Calculus for Wireless Sensor Networks from Quality Perspective}, booktitle = {16th {IEEE} International Symposium on High Assurance Systems Engineering, {HASE} 2015, Daytona Beach, FL, USA, January 8-10, 2015}, pages = {223--231}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/HASE.2015.40}, doi = {10.1109/HASE.2015.40}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/WuZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/LiWXHZ15, author = {Qin Li and Jinxun Wang and Qiwen Xu and Yanhong Huang and Huibiao Zhu}, title = {A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems}, booktitle = {20th International Conference on Engineering of Complex Computer Systems, {ICECCS} 2015, Gold Coast, Australia, December 9-12, 2015}, pages = {150--159}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ICECCS.2015.34}, doi = {10.1109/ICECCS.2015.34}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/LiWXHZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/WuNZ15, author = {Xi Wu and Hanne Riis Nielson and Huibiao Zhu}, title = {A SAT-Based Analysis of a Calculus for Wireless Sensor Networks}, booktitle = {2015 International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2015, Nanjing, China, September 12-14, 2015}, pages = {23--30}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/TASE.2015.23}, doi = {10.1109/TASE.2015.23}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/WuNZ15.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} }
@article{DBLP:journals/fac/BanachZSH14, author = {Richard Banach and Huibiao Zhu and Wen Su and Runlei Huang}, title = {Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application}, journal = {Formal Aspects Comput.}, volume = {26}, number = {2}, pages = {319--366}, year = {2014}, url = {https://doi.org/10.1007/s00165-012-0263-2}, doi = {10.1007/S00165-012-0263-2}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BanachZSH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fcsc/LiZZH14, author = {Qin Li and Yongxin Zhao and Huibiao Zhu and Jifeng He}, title = {A {UTP} semantic model for Orc language with execution status and fault handling}, journal = {Frontiers Comput. Sci.}, volume = {8}, number = {5}, pages = {709--725}, year = {2014}, url = {https://doi.org/10.1007/s11704-014-3385-2}, doi = {10.1007/S11704-014-3385-2}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fcsc/LiZZH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/ZhaoHLZHLW14, author = {Yongxin Zhao and Yanhong Huang and Qin Li and Huibiao Zhu and Jifeng He and Jianwen Li and Xi Wu}, title = {Investigating System Survivability from a Probabilistic Perspective}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {97-D}, number = {9}, pages = {2356--2370}, year = {2014}, url = {https://doi.org/10.1587/transinf.2013EDP7339}, doi = {10.1587/TRANSINF.2013EDP7339}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ieicet/ZhaoHLZHLW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/LiSZ14, author = {Qin Li and Jianqi Shi and Huibiao Zhu}, title = {A formal framework for service mashups with dynamic service selection}, journal = {Innov. Syst. Softw. Eng.}, volume = {10}, number = {3}, pages = {219--234}, year = {2014}, url = {https://doi.org/10.1007/s11334-014-0238-y}, doi = {10.1007/S11334-014-0238-Y}, timestamp = {Thu, 26 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isse/LiSZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BanachZSW14, author = {Richard Banach and Huibiao Zhu and Wen Su and Xiaofeng Wu}, title = {ASM, controller synthesis, and complete refinement}, journal = {Sci. Comput. Program.}, volume = {94}, pages = {109--129}, year = {2014}, url = {https://doi.org/10.1016/j.scico.2014.04.013}, doi = {10.1016/J.SCICO.2014.04.013}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BanachZSW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/SuAZ14, author = {Wen Su and Jean{-}Raymond Abrial and Huibiao Zhu}, title = {Formalizing hybrid systems with Event-B and the Rodin Platform}, journal = {Sci. Comput. Program.}, volume = {94}, pages = {164--202}, year = {2014}, url = {https://doi.org/10.1016/j.scico.2014.04.015}, doi = {10.1016/J.SCICO.2014.04.015}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/SuAZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/FangSZGLD14, author = {Huixing Fang and Jianqi Shi and Huibiao Zhu and Jian Guo and Kim Guldstrand Larsen and Alexandre David}, title = {Formal verification and simulation for platform screen doors and collision avoidance in subway control systems}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {16}, number = {4}, pages = {339--361}, year = {2014}, url = {https://doi.org/10.1007/s10009-014-0318-1}, doi = {10.1007/S10009-014-0318-1}, timestamp = {Mon, 30 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sttt/FangSZGLD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/YukselNNZH14, author = {Ender Y{\"{u}}ksel and Hanne Riis Nielson and Flemming Nielson and Huibiao Zhu and Heqing Huang}, title = {Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {16}, number = {4}, pages = {421--435}, year = {2014}, url = {https://doi.org/10.1007/s10009-014-0311-8}, doi = {10.1007/S10009-014-0311-8}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/YukselNNZH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/BanachZSW14, author = {Richard Banach and Huibiao Zhu and Wen Su and Xiaofeng Wu}, title = {A Continuous {ASM} Modelling Approach to Pacemaker Sensing}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {24}, number = {1}, pages = {2:1--2:40}, year = {2014}, url = {https://doi.org/10.1145/2610375}, doi = {10.1145/2610375}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/BanachZSW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/HoareSMSVZO14, author = {Tony Hoare and Stephan van Staden and Bernhard M{\"{o}}ller and Georg Struth and Jules Villard and Huibiao Zhu and Peter W. O'Hearn}, editor = {Peter H{\"{o}}fner and Peter Jipsen and Wolfram Kahl and Martin Eric M{\"{u}}ller}, title = {Developments in Concurrent Kleene Algebra}, booktitle = {Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8428}, pages = {1--18}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-06251-8\_1}, doi = {10.1007/978-3-319-06251-8\_1}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/HoareSMSVZO14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/LiHSGZX14, author = {Xin Li and Yanhong Huang and Jianqi Shi and Jian Guo and Huibiao Zhu and Yuanmin Xu}, editor = {Sungdeok (Steve) Cha and Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and Gihwon Kwon}, title = {pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems}, booktitle = {21st Asia-Pacific Software Engineering Conference, {APSEC} 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers}, pages = {78--85}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/APSEC.2014.21}, doi = {10.1109/APSEC.2014.21}, timestamp = {Wed, 22 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/LiHSGZX14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prdc/Wu0ZZ14, author = {Xi Wu and Si Liu and Huibiao Zhu and Yongxin Zhao}, title = {Reasoning about Group-Based Mobility in MANETs}, booktitle = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing, {PRDC} 2014, Singapore, November 18-21, 2014}, pages = {244--253}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/PRDC.2014.39}, doi = {10.1109/PRDC.2014.39}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/prdc/Wu0ZZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/RanWLSGZ14, author = {Qinwen Ran and Xi Wu and Xin Li and Jianqi Shi and Jian Guo and Huibiao Zhu}, title = {Modeling and Verifying the {TTCAN} Protocol Using Timed {CSP}}, booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE} 2014, Changsha, China, September 1-3, 2014}, pages = {90--97}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/TASE.2014.8}, doi = {10.1109/TASE.2014.8}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/RanWLSGZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/JiangZLZGH14, author = {Jianmin Jiang and Huibiao Zhu and Qin Li and Shi Zhang and Ping Gong and Zhong Hong}, title = {Configuration of Services Based on Virtualization}, booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE} 2014, Changsha, China, September 1-3, 2014}, pages = {177--184}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/TASE.2014.28}, doi = {10.1109/TASE.2014.28}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/JiangZLZGH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/utp/WuZW14, author = {Xiaofeng Wu and Huibiao Zhu and Xi Wu}, editor = {David A. Naumann}, title = {Observation-Oriented Semantics for Calculus of Wireless Systems}, booktitle = {Unifying Theories of Programming - 5th International Symposium, {UTP} 2014, Singapore, May 13, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8963}, pages = {105--124}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-14806-9\_6}, doi = {10.1007/978-3-319-14806-9\_6}, timestamp = {Tue, 21 Mar 2023 21:03:09 +0100}, biburl = {https://dblp.org/rec/conf/utp/WuZW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/utp/ZhuXHZ14, author = {Longfei Zhu and Qiwen Xu and Jifeng He and Huibiao Zhu}, editor = {David A. Naumann}, title = {A Formal Model for a Hybrid Programming Language}, booktitle = {Unifying Theories of Programming - 5th International Symposium, {UTP} 2014, Singapore, May 13, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8963}, pages = {125--142}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-14806-9\_7}, doi = {10.1007/978-3-319-14806-9\_7}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/utp/ZhuXHZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/comsis/WuZZWL13, author = {Xi Wu and Huibiao Zhu and Yongxin Zhao and Zheng Wang and Si Liu}, title = {Modeling and verifying the Ariadne protocol using process algebra}, journal = {Comput. Sci. Inf. Syst.}, volume = {10}, number = {1}, pages = {393--421}, year = {2013}, url = {https://doi.org/10.2298/CSIS120601009W}, doi = {10.2298/CSIS120601009W}, timestamp = {Tue, 21 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/comsis/WuZZWL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/LiuZQBW13, author = {Peng Liu and Huibiao Zhu and Shengchao Qin and Phillip J. Brooke and Xi Wu}, editor = {Pornsiri Muenchaisri and Gregg Rothermel}, title = {Linking the Semantics of {BPEL} Using Maude}, booktitle = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1}, pages = {422--431}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/APSEC.2013.63}, doi = {10.1109/APSEC.2013.63}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/LiuZQBW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/ZhuZZX13, author = {Longfei Zhu and Yongxin Zhao and Huibiao Zhu and Qiwen Xu}, editor = {Zhiming Liu and Jim Woodcock and Huibiao Zhu}, title = {Towards a Modeling Language for Cyber-Physical Systems}, 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 = {394--411}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39698-4\_24}, doi = {10.1007/978-3-642-39698-4\_24}, timestamp = {Fri, 17 Feb 2023 09:02:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/ZhuZZX13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/JainDBGXZ13, author = {Nehul Jain and Saikat Dutta and Ansuman Banerjee and Anil Kumar Ghosh and Lihua Xu and Huibiao Zhu}, editor = {Jos{\'{e}} Luiz Fiadeiro and Zhiming Liu and Jinyun Xue}, title = {Using Daikon to Prioritize and Group Unit Bugs}, booktitle = {Formal Aspects of Component Software - 10th International Symposium, {FACS} 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8348}, pages = {215--233}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-07602-7\_14}, doi = {10.1007/978-3-319-07602-7\_14}, timestamp = {Fri, 09 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/JainDBGXZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/WuSZ13, author = {Xiaofeng Wu and Jeff W. Sanders and Huibiao Zhu}, title = {Formal Modelling and Analysis of {AODV}}, booktitle = {2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013}, pages = {93--100}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ICECCS.2013.22}, doi = {10.1109/ICECCS.2013.22}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/WuSZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/LiuZQBW13, author = {Peng Liu and Huibiao Zhu and Shengchao Qin and Phillip J. Brooke and Xi Wu}, title = {Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude}, booktitle = {2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013}, pages = {260--263}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ICECCS.2013.46}, doi = {10.1109/ICECCS.2013.46}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/LiuZQBW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/WuZ13, author = {Xiaofeng Wu and Huibiao Zhu}, editor = {Lindsay Groves and Jing Sun}, title = {Linking Operational Semantics and Algebraic Semantics for Wireless Networks}, booktitle = {Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8144}, pages = {380--396}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-41202-8\_25}, doi = {10.1007/978-3-642-41202-8\_25}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/icfem/WuZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/HuangZSZ13, author = {Yanhong Huang and Yongxin Zhao and Jianqi Shi and Huibiao Zhu}, title = {A Denotational Model for Interrupt-Driven Programs}, booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013}, pages = {15--20}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ICSTW.2013.9}, doi = {10.1109/ICSTW.2013.9}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/HuangZSZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/ZhuLSWZ13, author = {Longfei Zhu and Peng Liu and Jianqi Shi and Zheng Wang and Huibiao Zhu}, title = {A Timing Verification Framework for {AUTOSAR} {OS} Component Development Based on Real-Time Maude}, booktitle = {Seventh International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2013, 1-3 July 2013, Birmingham, {UK}}, pages = {29--36}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/TASE.2013.12}, doi = {10.1109/TASE.2013.12}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/ZhuLSWZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/WuXZ13, author = {Xiaofeng Wu and Qiwen Xu and Huibiao Zhu}, title = {Formal Analysis of {AODV} Using Rely-Guarantee}, booktitle = {Seventh International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2013, 1-3 July 2013, Birmingham, {UK}}, pages = {45--48}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/TASE.2013.14}, doi = {10.1109/TASE.2013.14}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/WuXZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/PanGZSZZ14, author = {Can Pan and Jian Guo and Longfei Zhu and Jianqi Shi and Huibiao Zhu and Xinyun Zhou}, editor = {Jinyun Xue and Volker Stolz}, title = {Modeling and Verification of {CAN} Bus with Application Layer using {UPPAAL}}, booktitle = {Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, {TTSS} 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013}, series = {Electronic Notes in Theoretical Computer Science}, volume = {309}, pages = {31--49}, publisher = {Elsevier}, year = {2013}, url = {https://doi.org/10.1016/j.entcs.2014.12.004}, doi = {10.1016/J.ENTCS.2014.12.004}, timestamp = {Tue, 22 Nov 2022 11:09:22 +0100}, biburl = {https://dblp.org/rec/journals/entcs/PanGZSZZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/YuanTWZZGQ14, author = {Ting Yuan and Yiting Tang and Xi Wu and Yue Zhang and Huibiao Zhu and Jian Guo and Weijun Qin}, editor = {Jinyun Xue and Volker Stolz}, title = {Formalization and Verification of {REST} on {HTTP} Using {CSP}}, booktitle = {Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, {TTSS} 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013}, series = {Electronic Notes in Theoretical Computer Science}, volume = {309}, pages = {75--93}, publisher = {Elsevier}, year = {2013}, url = {https://doi.org/10.1016/j.entcs.2014.12.007}, doi = {10.1016/J.ENTCS.2014.12.007}, timestamp = {Tue, 22 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/YuanTWZZGQ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/birthday/2013he, editor = {Zhiming Liu and Jim Woodcock and Huibiao Zhu}, title = {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}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39698-4}, doi = {10.1007/978-3-642-39698-4}, isbn = {978-3-642-39697-7}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/2013he.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icsoc/2012w, editor = {Aditya K. Ghose and Huibiao Zhu and Qi Yu and Alex Delis and Quan Z. Sheng and Olivier Perrin and Jianmin Wang and Yan Wang}, title = {Service-Oriented Computing - {ICSOC} 2012 Workshops - {ICSOC} 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7759}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-37804-1}, doi = {10.1007/978-3-642-37804-1}, isbn = {978-3-642-37803-4}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsoc/2012w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ictac/2013, editor = {Zhiming Liu and Jim Woodcock and Huibiao Zhu}, title = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8049}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39718-9}, doi = {10.1007/978-3-642-39718-9}, isbn = {978-3-642-39717-2}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictac/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ictac/2013s, editor = {Zhiming Liu and Jim Woodcock and Huibiao Zhu}, title = {Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at {ICTAC} 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures}, series = {Lecture Notes in Computer Science}, volume = {8050}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39721-9}, doi = {10.1007/978-3-642-39721-9}, isbn = {978-3-642-39720-2}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictac/2013s.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1304-6498, author = {Huixing Fang and Huibiao Zhu and Jianqi Shi}, title = {Apricot - An Object-Oriented Modeling Language for Hybrid Systems}, journal = {CoRR}, volume = {abs/1304.6498}, year = {2013}, url = {http://arxiv.org/abs/1304.6498}, eprinttype = {arXiv}, eprint = {1304.6498}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1304-6498.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/ZhuYHBSQ12, author = {Huibiao Zhu and Fan Yang and Jifeng He and Jonathan P. Bowen and Jeff W. Sanders and Shengchao Qin}, title = {Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language}, journal = {J. Log. Algebraic Methods Program.}, volume = {81}, number = {1}, pages = {2--25}, year = {2012}, url = {https://doi.org/10.1016/j.jlap.2011.06.003}, doi = {10.1016/J.JLAP.2011.06.003}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/ZhuYHBSQ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/BanachZSW12, author = {Richard Banach and Huibiao Zhu and Wen Su and Xiaofeng Wu}, editor = {John Derrick and John S. Fitzgerald and Stefania Gnesi and Sarfraz Khurshid and Michael Leuschel and Steve Reeves and Elvinia Riccobene}, title = {{ASM} and Controller Synthesis}, booktitle = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7316}, pages = {51--64}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30885-7\_4}, doi = {10.1007/978-3-642-30885-7\_4}, timestamp = {Sun, 02 Jun 2019 21:23:59 +0200}, biburl = {https://dblp.org/rec/conf/asm/BanachZSW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/BanachZSW12a, author = {Richard Banach and Huibiao Zhu and Wen Su and Xiaofeng Wu}, editor = {John Derrick and John S. Fitzgerald and Stefania Gnesi and Sarfraz Khurshid and Michael Leuschel and Steve Reeves and Elvinia Riccobene}, title = {Continuous ASM, and a Pacemaker Sensing Fragment}, booktitle = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7316}, pages = {65--78}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30885-7\_5}, doi = {10.1007/978-3-642-30885-7\_5}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/BanachZSW12a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/AbrialSZ12, author = {Jean{-}Raymond Abrial and Wen Su and Huibiao Zhu}, editor = {John Derrick and John S. Fitzgerald and Stefania Gnesi and Sarfraz Khurshid and Michael Leuschel and Steve Reeves and Elvinia Riccobene}, title = {Formalizing Hybrid Systems with Event-B}, booktitle = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7316}, pages = {178--193}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30885-7\_13}, doi = {10.1007/978-3-642-30885-7\_13}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/AbrialSZ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/BanachZSW12b, author = {Richard Banach and Huibiao Zhu and Wen Su and Xiaofeng Wu}, editor = {John Derrick and John S. Fitzgerald and Stefania Gnesi and Sarfraz Khurshid and Michael Leuschel and Steve Reeves and Elvinia Riccobene}, title = {Continuous Behaviour in Event-B: {A} Sketch}, booktitle = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7316}, pages = {349--352}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30885-7\_29}, doi = {10.1007/978-3-642-30885-7\_29}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/BanachZSW12b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecbs/WuLZZC12, author = {Xi Wu and Si Liu and Huibiao Zhu and Yongxin Zhao and Lei Chen}, editor = {Miroslav Popovic and Bernhard Sch{\"{a}}tz and Sebastian Voss}, title = {Modeling and Verifying the Ariadne Protocol Using {CSP}}, booktitle = {{IEEE} 19th International Conference and Workshops on Engineering of Computer-Based Systems, {ECBS} 2012, Novi Sad, Serbia, April 11-13, 2012}, pages = {24--32}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ECBS.2012.31}, doi = {10.1109/ECBS.2012.31}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecbs/WuLZZC12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/ShiZFGZY12, author = {Jianqi Shi and Longfei Zhu and Huixing Fang and Jian Guo and Huibiao Zhu and Xin Ye}, editor = {Isabelle Perseil and Karin K. Breitman and Marc Pouzet}, title = {xBIL - {A} Hardware Resource Oriented Binary Intermediate Language}, booktitle = {17th {IEEE} International Conference on Engineering of Complex Computer Systems, {ICECCS} 2012, Paris, France, July 18-20, 2012}, pages = {211--219}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.44}, doi = {10.1109/ICECCS.2012.44}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/ShiZFGZY12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/ShiHZFHZ12, author = {Jianqi Shi and Jifeng He and Huibiao Zhu and Huixing Fang and Yanhong Huang and Xiaoxian Zhang}, editor = {Isabelle Perseil and Karin K. Breitman and Marc Pouzet}, title = {{ORIENTAIS:} Formal Verified {OSEK/VDX} Real-Time Operating System}, booktitle = {17th {IEEE} International Conference on Engineering of Complex Computer Systems, {ICECCS} 2012, Paris, France, July 18-20, 2012}, pages = {293--301}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.27}, doi = {10.1109/ICECCS.2012.27}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/ShiHZFHZ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/SuAZ12, author = {Wen Su and Jean{-}Raymond Abrial and Huibiao Zhu}, editor = {Toshiaki Aoki and Kenji Taguchi}, title = {Complementary Methodologies for Developing Hybrid Systems with Event-B}, booktitle = {Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November 12-16, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7635}, pages = {230--248}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34281-3\_18}, doi = {10.1007/978-3-642-34281-3\_18}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/icfem/SuAZ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sbmf/HuangZSZQ12, author = {Yanhong Huang and Yongxin Zhao and Jianqi Shi and Huibiao Zhu and Shengchao Qin}, editor = {Rohit Gheyi and David A. Naumann}, title = {Investigating Time Properties of Interrupt-Driven Programs}, booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium, {SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7498}, pages = {131--146}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33296-8\_11}, doi = {10.1007/978-3-642-33296-8\_11}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/sbmf/HuangZSZQ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/ZhaoZZH12, author = {Yongxin Zhao and Longfei Zhu and Huibiao Zhu and Jifeng He}, editor = {George Eleftherakis and Mike Hinchey and Mike Holcombe}, title = {A Denotational Model for Instantaneous Signal Calculus}, booktitle = {Software Engineering and Formal Methods - 10th International Conference, {SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7504}, pages = {126--140}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33826-7\_9}, doi = {10.1007/978-3-642-33826-7\_9}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/ZhaoZZH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/ZhuXMQQ12, author = {Huibiao Zhu and Qiwen Xu and Chris Ma and Shengchao Qin and Zongyan Qiu}, editor = {George Eleftherakis and Mike Hinchey and Mike Holcombe}, title = {The Rely/Guarantee Approach to Verifying Concurrent {BPEL} Programs}, booktitle = {Software Engineering and Formal Methods - 10th International Conference, {SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7504}, pages = {172--187}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33826-7\_12}, doi = {10.1007/978-3-642-33826-7\_12}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sefm/ZhuXMQQ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/YukselZNHN12, author = {Ender Y{\"{u}}ksel and Huibiao Zhu and Hanne Riis Nielson and Heqing Huang and Flemming Nielson}, editor = {Tiziana Margaria and Zongyan Qiu and Hongli Yang}, title = {Modelling and Analysis of Smart Grid: {A} Stochastic Model Checking Case Study}, booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2012, 4-6 July 2012, Beijing, China}, pages = {25--32}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/TASE.2012.44}, doi = {10.1109/TASE.2012.44}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/YukselZNHN12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/FangGZS12, author = {Huixing Fang and Jian Guo and Huibiao Zhu and Jianqi Shi}, editor = {Tiziana Margaria and Zongyan Qiu and Hongli Yang}, title = {Formal Verification and Simulation: Co-verification for Subway Control Systems}, booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2012, 4-6 July 2012, Beijing, China}, pages = {145--152}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/TASE.2012.11}, doi = {10.1109/TASE.2012.11}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/FangGZS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/ShiZHGZFY12, author = {Jianqi Shi and Longfei Zhu and Yanhong Huang and Jian Guo and Huibiao Zhu and Huixing Fang and Xin Ye}, editor = {Tiziana Margaria and Zongyan Qiu and Hongli Yang}, title = {Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System}, booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2012, 4-6 July 2012, Beijing, China}, pages = {223--226}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/TASE.2012.46}, doi = {10.1109/TASE.2012.46}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/ShiZHGZFY12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/utp/ZhuLHQ12, author = {Huibiao Zhu and Peng Liu and Jifeng He and Shengchao Qin}, editor = {Burkhart Wolff and Marie{-}Claude Gaudel and Abderrahmane Feliachi}, title = {Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude}, booktitle = {Unifying Theories of Programming, 4th International Symposium, {UTP} 2012, Paris, France, August 27-28, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7681}, pages = {164--185}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35705-3\_8}, doi = {10.1007/978-3-642-35705-3\_8}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/utp/ZhuLHQ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/utp/WuZZ12, author = {Chengcheng Wu and Yongxin Zhao and Huibiao Zhu}, editor = {Burkhart Wolff and Marie{-}Claude Gaudel and Abderrahmane Feliachi}, title = {Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions}, booktitle = {Unifying Theories of Programming, 4th International Symposium, {UTP} 2012, Paris, France, August 27-28, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7681}, pages = {186--203}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35705-3\_9}, doi = {10.1007/978-3-642-35705-3\_9}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/utp/WuZZ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/utp/ZhuSHQ12, author = {Huibiao Zhu and Jeff W. Sanders and Jifeng He and Shengchao Qin}, editor = {Burkhart Wolff and Marie{-}Claude Gaudel and Abderrahmane Feliachi}, title = {Denotational Semantics for a Probabilistic Timed Shared-Variable Language}, booktitle = {Unifying Theories of Programming, 4th International Symposium, {UTP} 2012, Paris, France, August 27-28, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7681}, pages = {224--247}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35705-3\_11}, doi = {10.1007/978-3-642-35705-3\_11}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/utp/ZhuSHQ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/WuZZZSL12, author = {Xi Wu and Yue Zhang and Huibiao Zhu and Yongxin Zhao and Zailiang Sun and Peng Liu}, editor = {Maurice H. ter Beek and Niels Lohmann}, title = {Formal Modeling and Analysis of the {REST} Architecture Using {CSP}}, booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM} 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7843}, pages = {87--102}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-38230-7\_6}, doi = {10.1007/978-3-642-38230-7\_6}, timestamp = {Sat, 30 Sep 2023 09:59:28 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/WuZZZSL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sew/2012, editor = {Jonathan P. Bowen and Huibiao Zhu and Mike Hinchey}, title = {35th Annual {IEEE} Software Engineering Workshop, {SEW} 2012, Heraclion, Crete, Greece, October 12-13, 2012}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://ieeexplore.ieee.org/xpl/conhome/6479597/proceeding}, isbn = {978-1-4673-5574-2}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sew/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1205-6664, author = {Ender Y{\"{u}}ksel and Hanne Riis Nielson and Flemming Nielson and Huibiao Zhu and Heqing Huang}, title = {Modelling Chinese Smart Grid: {A} Stochastic Model Checking Case Study}, journal = {CoRR}, volume = {abs/1205.6664}, year = {2012}, url = {http://arxiv.org/abs/1205.6664}, eprinttype = {arXiv}, eprint = {1205.6664}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1205-6664.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/ZhuHLB11, author = {Huibiao Zhu and Jifeng He and Jing Li and Jonathan P. Bowen}, title = {Algebraic approach to linking the semantics of web services}, journal = {Innov. Syst. Softw. Eng.}, volume = {7}, number = {3}, pages = {209--224}, year = {2011}, url = {https://doi.org/10.1007/s11334-011-0172-1}, doi = {10.1007/S11334-011-0172-1}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isse/ZhuHLB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/SuYWGZ11, author = {Wen Su and Fan Yang and Xiaofeng Wu and Jian Guo and Huibiao Zhu}, title = {Formal Approaches to Mode Conversion and Positioning for Vehicle System}, booktitle = {Workshop Proceedings of the 35th Annual {IEEE} International Computer Software and Applications Conference, {COMPSAC} Workshops 2011, Munich, Germany, 18-22 July 2011}, pages = {416--421}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/COMPSACW.2011.76}, doi = {10.1109/COMPSACW.2011.76}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/SuYWGZ11.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/WangZ11, author = {Qian Wang and Huibiao Zhu}, editor = {Taghi M. Khoshgoftaar}, title = {Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services}, booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering, {HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011}, pages = {57--62}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/HASE.2011.56}, doi = {10.1109/HASE.2011.56}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/WangZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/LiuZZL11, author = {Si Liu and Yongxin Zhao and Huibiao Zhu and Qin Li}, editor = {Taghi M. Khoshgoftaar}, title = {A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective}, booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering, {HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011}, pages = {157--162}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/HASE.2011.13}, doi = {10.1109/HASE.2011.13}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/LiuZZL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/SuAHZ11, author = {Wen Su and Jean{-}Raymond Abrial and Runlei Huang and Huibiao Zhu}, editor = {Shengchao Qin and Zongyan Qiu}, title = {From Requirements to Development: Methodology and Example}, booktitle = {Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6991}, pages = {437--455}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24559-6\_30}, doi = {10.1007/978-3-642-24559-6\_30}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/icfem/SuAHZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssiri/ZhuZLG11, author = {Han Zhu and Huibiao Zhu and Si Liu and Jian Guo}, title = {Towards Denotational Semantics for Verilog in {PVS}}, booktitle = {Fifth International Conference on Secure Software Integration and Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume}, pages = {1--2}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/SSIRI-C.2011.10}, doi = {10.1109/SSIRI-C.2011.10}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ssiri/ZhuZLG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssiri/LiuWLZW11, author = {Si Liu and Xiaofeng Wu and Qin Li and Huibiao Zhu and Qian Wang}, title = {Formal Approaches to Wireless Sensor Networks}, booktitle = {Fifth International Conference on Secure Software Integration and Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume}, pages = {11--18}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/SSIRI-C.2011.13}, doi = {10.1109/SSIRI-C.2011.13}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ssiri/LiuWLZW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/ZhuZHSZ11, author = {Longfei Zhu and Min Zhang and Yanhong Huang and Jianqi Shi and Huibiao Zhu}, editor = {Zhenhua Duan and C.{-}H. Luke Ong}, title = {Formalizing Application Programming Interfaces of the {OSEK/VDX} Operating System Specification}, booktitle = {5th {IEEE} International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2011, Xi'an, China, 29-31 August 2011}, pages = {27--34}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/TASE.2011.12}, doi = {10.1109/TASE.2011.12}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/ZhuZHSZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/QinCXMQZ11, author = {Shengchao Qin and Aziem Chawdhary and Wei Xiong and Malcolm Munro and Zongyan Qiu and Huibiao Zhu}, editor = {Zhenhua Duan and C.{-}H. Luke Ong}, title = {Towards an Axiomatic Verification System for JavaScript}, booktitle = {5th {IEEE} International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2011, Xi'an, China, 29-31 August 2011}, pages = {133--141}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/TASE.2011.33}, doi = {10.1109/TASE.2011.33}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/QinCXMQZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/HuangZZLZS11, author = {Yanhong Huang and Yongxin Zhao and Longfei Zhu and Qin Li and Huibiao Zhu and Jianqi Shi}, editor = {Zhenhua Duan and C.{-}H. Luke Ong}, title = {Modeling and Verifying the Code-Level {OSEK/VDX} Operating System with {CSP}}, booktitle = {5th {IEEE} International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2011, Xi'an, China, 29-31 August 2011}, pages = {142--149}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/TASE.2011.11}, doi = {10.1109/TASE.2011.11}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/HuangZZLZS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/LiuZZL11, author = {Si Liu and Yongxin Zhao and Huibiao Zhu and Qin Li}, editor = {Zhenhua Duan and C.{-}H. Luke Ong}, title = {Towards a Probabilistic Calculus for Mobile Ad Hoc Networks}, booktitle = {5th {IEEE} International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2011, Xi'an, China, 29-31 August 2011}, pages = {195--198}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/TASE.2011.9}, doi = {10.1109/TASE.2011.9}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/LiuZZL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/WangZZL11, author = {Mengying Wang and Huibiao Zhu and Yongxin Zhao and Si Liu}, editor = {Zhenhua Duan and C.{-}H. Luke Ong}, title = {Modeling and Analyzing the (mu)TESLA Protocol Using {CSP}}, booktitle = {5th {IEEE} International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2011, Xi'an, China, 29-31 August 2011}, pages = {247--250}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/TASE.2011.10}, doi = {10.1109/TASE.2011.10}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/WangZZL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1106-4097, author = {Richard Banach and Huibiao Zhu and Wen Su and Runlei Huang}, editor = {John Derrick and Eerke A. Boiten and Steve Reeves}, title = {Formalising the Continuous/Discrete Modeling Step}, booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011}, series = {{EPTCS}}, volume = {55}, pages = {121--138}, year = {2011}, url = {https://doi.org/10.4204/EPTCS.55.8}, doi = {10.4204/EPTCS.55.8}, timestamp = {Wed, 12 Sep 2018 01:05:14 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1106-4097.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/ecbs/DingZZL10, author = {Jieqi Ding and Han Zhu and Huibiao Zhu and Qin Li}, editor = {Roy Sterritt and Brandon Eames and Jonathan Sprinkle}, title = {Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System}, booktitle = {17th {IEEE} International Conference and Workshops on the Engineering of Computer-Based Systems, {ECBS} 2010, Oxford, England, UK, 22-26 March 2010}, pages = {335--343}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/ECBS.2010.48}, doi = {10.1109/ECBS.2010.48}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecbs/DingZZL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecbs/YangSZL10, author = {Fan Yang and Wen Su and Huibiao Zhu and Qin Li}, editor = {Roy Sterritt and Brandon Eames and Jonathan Sprinkle}, title = {Formalizing MapReduce with {CSP}}, booktitle = {17th {IEEE} International Conference and Workshops on the Engineering of Computer-Based Systems, {ECBS} 2010, Oxford, England, UK, 22-26 March 2010}, pages = {358--367}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/ECBS.2010.50}, doi = {10.1109/ECBS.2010.50}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecbs/YangSZL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcit/KangLZW10, author = {Juanhua Kang and Qin Li and Huibiao Zhu and Wenjuan Wu}, editor = {Tomasz Janowski and Hrushikesha Mohanty}, title = {Formal Approaches to Location Management in Mobile Communications}, booktitle = {Distributed Computing and Internet Technology, 6th International Conference, {ICDCIT} 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5966}, pages = {243--254}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-11659-9\_27}, doi = {10.1007/978-3-642-11659-9\_27}, timestamp = {Thu, 26 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdcit/KangLZW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/LiZH10, author = {Qin Li and Huibiao Zhu and Jifeng He}, editor = {Ana Cavalcanti and David D{\'{e}}harbe and Marie{-}Claude Gaudel and Jim Woodcock}, title = {A Denotational Semantical Model for Orc Language}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6255}, pages = {106--120}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14808-8\_8}, doi = {10.1007/978-3-642-14808-8\_8}, timestamp = {Fri, 17 Feb 2023 09:02:01 +0100}, biburl = {https://dblp.org/rec/conf/ictac/LiZH10.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:conf/tase/ZhaoHLZ10, author = {Yongxin Zhao and Yanhong Huang and Jianwen Li and Huibiao Zhu}, editor = {Jing Liu and Doron A. Peled and Bow{-}Yaw Wang and Farn Wang}, title = {Probabilistic Model of System Survivability}, booktitle = {4th {IEEE} International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2010, Taipei, Taiwan, 25-27 August 2010}, pages = {193--200}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/TASE.2010.15}, doi = {10.1109/TASE.2010.15}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/ZhaoHLZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/utp/ZhaoWZ10, author = {Yongxin Zhao and Xu Wang and Huibiao Zhu}, editor = {Shengchao Qin}, title = {Towards a Pomset Semantics for a Shared-Variable Parallel Language}, booktitle = {Unifying Theories of Programming - Third International Symposium, {UTP} 2010, Shanghai, China, November 15-16, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6445}, pages = {271--285}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16690-7\_14}, doi = {10.1007/978-3-642-16690-7\_14}, timestamp = {Thu, 02 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/utp/ZhaoWZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/utp/ZhuYH10, author = {Huibiao Zhu and Fan Yang and Jifeng He}, editor = {Shengchao Qin}, title = {Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language}, booktitle = {Unifying Theories of Programming - Third International Symposium, {UTP} 2010, Shanghai, China, November 15-16, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6445}, pages = {286--308}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16690-7\_15}, doi = {10.1007/978-3-642-16690-7\_15}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/utp/ZhuYH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icfem/2010, editor = {Jin Song Dong and Huibiao Zhu}, title = {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}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16901-4}, doi = {10.1007/978-3-642-16901-4}, isbn = {978-3-642-16900-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfem/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/ZhuQHB09, author = {Huibiao Zhu and Shengchao Qin and Jifeng He and Jonathan P. Bowen}, title = {{PTSC:} probability, time and shared-variable concurrency}, journal = {Innov. Syst. Softw. Eng.}, volume = {5}, number = {4}, pages = {271--284}, year = {2009}, url = {https://doi.org/10.1007/s11334-009-0100-9}, doi = {10.1007/S11334-009-0100-9}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isse/ZhuQHB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aswec/LiZH09, author = {Qin Li and Huibiao Zhu and Jifeng He}, title = {A Formal Perspective for Service Coordination Framework in Service Oriented Architecture}, booktitle = {20th Australian Software Engineering Conference {(ASWEC} 2009), 14-17 April 2009, Gold Cost, Australia}, pages = {287--296}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/ASWEC.2009.11}, doi = {10.1109/ASWEC.2009.11}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aswec/LiZH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aswec/ZhuZH09, author = {Huibiao Zhu and Yongxin Zhao and Jifeng He}, title = {Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language}, booktitle = {20th Australian Software Engineering Conference {(ASWEC} 2009), 14-17 April 2009, Gold Cost, Australia}, pages = {297--306}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/ASWEC.2009.20}, doi = {10.1109/ASWEC.2009.20}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aswec/ZhuZH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csie/LiYZZ09, author = {Qin Li and Fan Yang and Huibiao Zhu and Longfei Zhu}, editor = {Mark Burgin and Masud H. Chowdhury and Chan H. Ham and Simone A. Ludwig and Weilian Su and Sumanth Yenduri}, title = {Formal Modeling and Analyzing Kerberos Protocol}, booktitle = {{CSIE} 2009, 2009 {WRI} World Congress on Computer Science and Information Engineering, March 31 - April 2, 2009, Los Angeles, California, USA, 7 Volumes}, pages = {813--819}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/CSIE.2009.64}, doi = {10.1109/CSIE.2009.64}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csie/LiYZZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fcst/MaoJLZ09, author = {Hongyan Mao and Ningkang Jiang and Qin Li and Huibiao Zhu}, title = {Formal Approaches to {SMS} Service Based on Pi Calculus}, booktitle = {Fourth International Conference on Frontier of Computer Science and Technology, {FCST} 2009, Shanghai, China, 17-19 December, 2009}, pages = {692--697}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/FCST.2009.110}, doi = {10.1109/FCST.2009.110}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fcst/MaoJLZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sew/LiZ09, author = {Qin Li and Huibiao Zhu}, editor = {Vera Werneck and Karin K. Breitman}, title = {Towards Specification and Refinement of Contracts with Environment Changes}, booktitle = {33rd Annual {IEEE} Software Engineering Workshop, {SEW} 2009, Sk{\"{o}}vde, Sweden, 13-14 October, 2009}, pages = {61--68}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/SEW.2009.12}, doi = {10.1109/SEW.2009.12}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sew/LiZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sew/ZhuYHBS09, author = {Huibiao Zhu and Fan Yang and Jifeng He and Jonathan P. Bowen and Jeff W. Sanders}, editor = {Vera Werneck and Karin K. Breitman}, title = {Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language}, booktitle = {33rd Annual {IEEE} Software Engineering Workshop, {SEW} 2009, Sk{\"{o}}vde, Sweden, 13-14 October, 2009}, pages = {104--114}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/SEW.2009.17}, doi = {10.1109/SEW.2009.17}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sew/ZhuYHBS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/SuYZL09, author = {Wen Su and Fan Yang and Huibiao Zhu and Qin Li}, editor = {Wei{-}Ngan Chin and Shengchao Qin}, title = {Modeling MapReduce with {CSP}}, booktitle = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China}, pages = {301--302}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/TASE.2009.28}, doi = {10.1109/TASE.2009.28}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/SuYZL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/DingZZL09, author = {Jieqi Ding and Han Zhu and Huibiao Zhu and Qin Li}, editor = {Wei{-}Ngan Chin and Shengchao Qin}, title = {Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources}, booktitle = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China}, pages = {327--328}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/TASE.2009.27}, doi = {10.1109/TASE.2009.27}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/DingZZL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/ZhuHB08, author = {Huibiao Zhu and Jifeng He and Jonathan P. Bowen}, title = {From algebraic semantics to denotational semantics for Verilog}, journal = {Innov. Syst. Softw. Eng.}, volume = {4}, number = {4}, pages = {341--360}, year = {2008}, url = {https://doi.org/10.1007/s11334-008-0069-9}, doi = {10.1007/S11334-008-0069-9}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isse/ZhuHB08.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/forte/LiZH08, author = {Jing Li and Huibiao Zhu and Jifeng He}, editor = {Kenji Suzuki and Teruo Higashino and Keiichi Yasumoto and Khaled El{-}Fakih}, title = {Specifying and Verifying Web Transactions}, booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE} 2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5048}, pages = {149--168}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68855-6\_10}, doi = {10.1007/978-3-540-68855-6\_10}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/LiZH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/LiZH08, author = {Qin Li and Huibiao Zhu and Jifeng He}, title = {Towards the Service Composition Through Buses}, booktitle = {11th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2008, Nanjing, China, December 3 - 5, 2008}, pages = {441--444}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/HASE.2008.56}, doi = {10.1109/HASE.2008.56}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/LiZH08.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/ictac/LiZH08, author = {Jing Li and Huibiao Zhu and Jifeng He}, editor = {John S. Fitzgerald and Anne E. Haxthausen and H{\"{u}}sn{\"{u}} Yenig{\"{u}}n}, title = {An Observational Model for Transactional Calculus of Services Orchestration}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5160}, pages = {201--215}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-85762-4\_14}, doi = {10.1007/978-3-540-85762-4\_14}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictac/LiZH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/JinZ08, author = {Naiyong Jin and Huibiao Zhu}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {{ASERE:} Assuring the Satisfiability of Sequential Extended Regular Expressions}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings}, series = {Communications in Computer and Information Science}, volume = {17}, pages = {237--251}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-88479-8\_17}, doi = {10.1007/978-3-540-88479-8\_17}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isola/JinZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/utp/ZhuHPJ08, author = {Huibiao Zhu and Jifeng He and Xiaoqing Peng and Naiyong Jin}, editor = {Andrew Butterfield}, title = {Denotational Approach to an Event-Driven System-Level Language}, booktitle = {Unifying Theories of Programming, Second International Symposium, {UTP} 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5713}, pages = {258--278}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-14521-6\_15}, doi = {10.1007/978-3-642-14521-6\_15}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/utp/ZhuHPJ08.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/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/icdcit/ZhuHL07, author = {Huibiao Zhu and Jifeng He and Jing Li}, editor = {Tomasz Janowski and Hrushikesha Mohanty}, title = {Unifying Denotational Semantics with Operational Semantics for Web Services}, booktitle = {Distributed Computing and Internet Technology, 4th International Conference, {ICDCIT} 2007, Bangalore, India, December 17-20, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4882}, pages = {225--239}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-77115-9\_23}, doi = {10.1007/978-3-540-77115-9\_23}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdcit/ZhuHL07.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/ictac/LiZH07, author = {Jing Li and Huibiao Zhu and Jifeng He}, editor = {Cliff B. Jones and Zhiming Liu and Jim Woodcock}, title = {Algebraic Semantics for Compensable Transactions}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4711}, pages = {306--321}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75292-9\_21}, doi = {10.1007/978-3-540-75292-9\_21}, timestamp = {Fri, 17 Feb 2023 09:02:01 +0100}, biburl = {https://dblp.org/rec/conf/ictac/LiZH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/ZhuHLB07, author = {Huibiao Zhu and Jifeng He and Jing Li and Jonathan P. Bowen}, title = {Algebraic Approach to Linking the Semantics of Web Services}, booktitle = {Fifth {IEEE} International Conference on Software Engineering and Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England, {UK}}, pages = {315--328}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/SEFM.2007.4}, doi = {10.1109/SEFM.2007.4}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/ZhuHLB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sew/LiZH07, author = {Qin Li and Huibiao Zhu and Jifeng He}, title = {An Inconsistency Free Formalization of {B/S} Architecture}, booktitle = {31st Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-31} 2007), 6-8 March 2007, Loyola College, Columbia, MD, {USA}}, pages = {75--88}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/SEW.2007.93}, doi = {10.1109/SEW.2007.93}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sew/LiZH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sew/ZhuHB07, author = {Huibiao Zhu and Jifeng He and Jonathan P. Bowen}, title = {Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability}, booktitle = {31st Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-31} 2007), 6-8 March 2007, Loyola College, Columbia, MD, {USA}}, pages = {131--143}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.ieeecomputersociety.org/10.1109/SEW.2007.90}, doi = {10.1109/SEW.2007.90}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sew/ZhuHB07.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:conf/wsfm/LiZLH07, author = {Qin Li and Huibiao Zhu and Jing Li and Jifeng He}, editor = {Marlon Dumas and Reiko Heckel}, title = {Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers}, booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM} 2007, Brisbane, Australia, September 28-29, 2007. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4937}, pages = {61--76}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-79230-7\_5}, doi = {10.1007/978-3-540-79230-7\_5}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wsfm/LiZLH07.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/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/ZhuHB06, author = {Huibiao Zhu and Jifeng He and Jonathan P. Bowen}, title = {From Algebraic Semantics to Denotational Semantics for Verilog}, booktitle = {11th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}}, pages = {139--151}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.57}, doi = {10.1109/ICECCS.2006.57}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/ZhuHB06.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/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/sew/ZhuQHB06, author = {Huibiao Zhu and Shengchao Qin and Jifeng He and Jonathan P. Bowen}, title = {Integrating Probability with Time and Shared-Variable Concurrency}, booktitle = {30th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-30} 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, {USA}}, pages = {179--189}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/SEW.2006.22}, doi = {10.1109/SEW.2006.22}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sew/ZhuQHB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sew/PengZHJ06, author = {Xiaoqing Peng and Huibiao Zhu and Jifeng He and Naiyong Jin}, title = {An Operational Semantics of an Event-Driven System-Level Simulator}, booktitle = {30th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-30} 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, {USA}}, pages = {190--202}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/SEW.2006.10}, doi = {10.1109/SEW.2006.10}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sew/PengZHJ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/ethos/Zhu05, author = {Huibiao Zhu}, title = {Linking the semantics of a multithreaded discrete event simulation language}, school = {London South Bank University, {UK}}, year = {2005}, url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.411142}, timestamp = {Tue, 05 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ethos/Zhu05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/HuibiaoBH02, author = {Huibiao Zhu and Jonathan P. Bowen and Jifeng He}, editor = {Chris George and Huaikou Miao}, title = {Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics}, booktitle = {Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October 21-25, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2495}, pages = {600--612}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36103-0\_61}, doi = {10.1007/3-540-36103-0\_61}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfem/HuibiaoBH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/ZhuBH01, author = {Huibiao Zhu and Jonathan P. Bowen and Jifeng He}, title = {Deriving Operational Semantics from Denotational Semantics for Verilog}, booktitle = {8th Asia-Pacific Software Engineering Conference {(APSEC} 2001), 4-7 December 2001, Macau, China}, pages = {177}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/APSEC.2001.991475}, doi = {10.1109/APSEC.2001.991475}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/ZhuBH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/charme/HuibiaoBJ01, author = {Huibiao Zhu and Jonathan P. Bowen and Jifeng He}, editor = {Tiziana Margaria and Thomas F. Melham}, title = {From Operational Semantics to Denotational Semantics for Verilog}, booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG} 10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2144}, pages = {449--466}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44798-9\_34}, doi = {10.1007/3-540-44798-9\_34}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/charme/HuibiaoBJ01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icecsys/HeZ00, author = {Jifeng He and Huibiao Zhu}, title = {Formalising {VERILOG}}, booktitle = {Proceedings of the 2000 7th {IEEE} International Conference on Electronics, Circuits and Systems, {ICECS} 2000, Jounieh, Lebanon, December 17-20, 2000}, pages = {412--415}, publisher = {{IEEE}}, year = {2000}, url = {https://doi.org/10.1109/ICECS.2000.911568}, doi = {10.1109/ICECS.2000.911568}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icecsys/HeZ00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.