BibTeX records: Huibiao Zhu

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics