![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Huibiao Zhu
Person information
- affiliation: East China Normal University, Shanghai, China
- unicode name: 朱惠彪
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2005
- [b1]Huibiao Zhu:
Linking the semantics of a multithreaded discrete event simulation language. London South Bank University, UK, 2005
Journal Articles
- 2024
- [j69]Ningning Chen, Huibiao Zhu:
A proof system of the CaIT calculus. Frontiers Comput. Sci. 18(2): 182401 (2024) - [j68]Sini Chen
, Ran Li
, Huibiao Zhu
:
Formalization and Verification of Enhanced Group Communication CoAP. Int. J. Softw. Eng. Knowl. Eng. 34(2): 301-330 (2024) - [j67]Ran Li, Huibiao Zhu, Richard Banach:
An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency. J. Log. Algebraic Methods Program. 139: 100973 (2024) - [j66]Ningning Chen
, Huibiao Zhu:
A process calculus SMrCaIT for IoT. J. Softw. Evol. Process. 36(5) (2024) - [j65]Jiaqi Yin, Sini Chen, Yixiao Lv, Huibiao Zhu:
Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system. Softw. Qual. J. 32(3): 1175-1202 (2024) - 2023
- [j64]Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao:
Formalization and verification of Kafka messaging mechanism using CSP. Comput. Sci. Inf. Syst. 20(1): 277-306 (2023) - [j63]Miroslav Popovic
, Marko Popovic
, Branislav Kordic, Huibiao Zhu:
Complete formal verification of the PSTM transaction Scheduler. Comput. Sci. Inf. Syst. 20(1): 307-327 (2023) - [j62]Yuan Fei
, Huibiao Zhu
, Jiaqi Yin
:
FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT. Formal Aspects Comput. 35(4): 21:1-21:36 (2023) - [j61]Ningning Chen, Huibiao Zhu:
IoT Modeling and Verification: From the CaIT Calculus to UPPAAL. IEICE Trans. Inf. Syst. 106(9): 1507-1518 (2023) - [j60]Ran Li
, Huibiao Zhu, Richard Banach:
Translating and verifying Cyber-Physical systems with shared-variable concurrency in SpaceEx. Internet Things 23: 100864 (2023) - [j59]Yuan Fei
, Huibiao Zhu, Jiaqi Yin
:
Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL. J. Softw. Evol. Process. 35(7) (2023) - 2022
- [j58]Lili Xiao, Huibiao Zhu:
UTP semantics for the MCA ARMv8 architecture. J. Syst. Archit. 125: 102438 (2022) - [j57]Ran Li
, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh:
Verification of RabbitMQ with Kerberos Using Timed Automata. Mob. Networks Appl. 27(5): 2049-2067 (2022) - [j56]Lili Xiao, Huibiao Zhu, Qiwen Xu, Phan Cong Vinh:
Modeling and Verifying PSO Memory Model Using CSP. Mob. Networks Appl. 27(5): 2068-2083 (2022) - [j55]Ningning Chen
, Huibiao Zhu, Jiaqi Yin
, Yuan Fei, Lili Xiao, Minghua Zhu:
Modeling and verifying NDN-based IoV using CSP. J. Softw. Evol. Process. 34(10) (2022) - 2021
- [j54]Lili Xiao, Huibiao Zhu, Shuangqing Xiang, Phan Cong Vinh
:
Modeling and verifying SDN under Multi-controller architectures using CSP. Concurr. Comput. Pract. Exp. 33(2) (2021) - [j53]Wanling Xie
, Huibiao Zhu, Qiwen Xu:
A process calculus BigrTiMo of mobile systems and its formal semantics. Formal Aspects Comput. 33(2): 207-249 (2021) - [j52]Ran Li
, Huibiao Zhu, Jiaqi Yin:
Formalization and Analysis of Ceph Using Process Algebra. IEICE Trans. Inf. Syst. 104-D(12): 2154-2163 (2021) - [j51]Li-Li Xiao, Huibiao Zhu, Qi-Wen Xu:
Trace Semantics and Algebraic Laws for Total Store Order Memory Model. J. Comput. Sci. Technol. 36(6): 1269-1290 (2021) - [j50]Jiaqi Yin, Huibiao Zhu, Yuan Fei:
Formal analysis and automated validation of privacy-preserving AICE protocol in mobile edge computing. Mob. Networks Appl. 26(6): 2258-2271 (2021) - [j49]Yuanrui Zhang
, Frédéric Mallet
, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu
:
A clock-based dynamic logic for schedulability analysis of CCSL specifications. Sci. Comput. Program. 202: 102546 (2021) - [j48]Richard Banach
, Huibiao Zhu:
Language evolution and healthiness for critical cyber-physical systems. J. Softw. Evol. Process. 33(9) (2021) - 2020
- [j47]Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
:
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP. Formal Aspects Comput. 32(2-3): 275-314 (2020) - [j46]Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Shi Zhang, Ping Gong, Zhong Hong:
Event-based functional decomposition. Inf. Comput. 271: 104484 (2020) - [j45]Jiaqi Yin, Huibiao Zhu, Yuan Fei:
Specification and Verification of the Zab Protocol with TLA+. J. Comput. Sci. Technol. 35(6): 1312-1323 (2020) - [j44]Ailun Liu, Huibiao Zhu, Miroslav Popovic
, Shuangqing Xiang, Lei Zhang:
Formal analysis and verification of the PSTM architecture using CSP. J. Syst. Softw. 165: 110559 (2020) - [j43]Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh
:
Formalization and Analysis of Haystack Architecture from Process Algebra Perspective. Mob. Networks Appl. 25(3): 1125-1139 (2020) - [j42]Yuan Fei, Huibiao Zhu, Phan Cong Vinh
:
Security Analysis of the Access Control Solution of NDN Using BAN Logic. Mob. Networks Appl. 25(3): 1162-1173 (2020) - [j41]Shuangqing Xiang
, Huibiao Zhu, Xi Wu, Lili Xiao, Marcello M. Bonsangue, Wanling Xie, Lei Zhang:
Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra. Sci. Comput. Program. 187: 102343 (2020) - 2019
- [j40]Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin:
Formalization and Verification of TESAC Using CSP. Int. J. Softw. Eng. Knowl. Eng. 29(11&12): 1741-1760 (2019) - [j39]Shuangqing Xiang, Xi Wu, Huibiao Zhu, Wanling Xie, Lili Xiao, Phan Cong Vinh
:
Modeling and Verifying Basic Modules of Floodlight. Mob. Networks Appl. 24(1): 100-114 (2019) - [j38]Wanling Xie, Huibiao Zhu, Xi Wu, Phan Cong Vinh
:
Formal Verification of mCWQ Using Extended Hoare Logic. Mob. Networks Appl. 24(1): 134-144 (2019) - [j37]Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Zhong Hong, Shi Zhang, Ping Gong:
Isolation Modeling and Analysis Based on Mobility. ACM Trans. Softw. Eng. Methodol. 28(2): 10:1-10:31 (2019) - [j36]Feng Sheng
, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
:
Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL. ACM Trans. Softw. Eng. Methodol. 28(3): 14:1-14:46 (2019) - [j35]Xiaoran Zhu
, Min Zhang
, Jian Guo, Xin Li, Huibiao Zhu, Jifeng He:
Toward a Unified Executable Formal Automobile OS Kernel and Its Applications. IEEE Trans. Reliab. 68(3): 1117-1133 (2019) - 2018
- [j34]Wanling Xie
, Shuangqing Xiang, Huibiao Zhu:
A UTP approach for rTiMo. Formal Aspects Comput. 30(6): 713-738 (2018) - [j33]Huiwen Wang, Huibiao Zhu, Lili Xiao, Yuan Fei:
Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP. Int. J. Softw. Eng. Knowl. Eng. 28(11-12): 1657-1677 (2018) - [j32]Xiaoran Zhu, Yuanmin Xu, Xin Li, Jian Guo, Huibiao Zhu, Phan Cong Vinh
:
Formal Analysis of the PKMv3 Protocol. Mob. Networks Appl. 23(1): 44-56 (2018) - [j31]Xi Wu, Huibiao Zhu:
Formal analysis of a calculus for WSNs from quality perspective. Sci. Comput. Program. 154: 134-153 (2018) - [j30]Yuan Fei
, Huibiao Zhu, Xi Wu, Huixing Fang
, Shengchao Qin
:
Comparative modelling and verification of Pthreads and Dthreads. J. Softw. Evol. Process. 30(3) (2018) - [j29]Yifan Zhang
, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, Xuandong Li:
Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2768-2778 (2018) - 2017
- [j28]Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo, Phan Cong Vinh:
Modeling and Verifying HDFS Using Process Algebra. Mob. Networks Appl. 22(2): 318-331 (2017) - [j27]Richard Banach
, Michael J. Butler, Shengchao Qin
, Huibiao Zhu:
Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines. Sci. Comput. Program. 139: 1-35 (2017) - [j26]Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong, Donghuo Chen:
Event-Based Mobility Modeling and Analysis. ACM Trans. Cyber Phys. Syst. 1(2): 9:1-9:32 (2017) - 2016
- [j25]Xi Wu, Huibiao Zhu:
Formalization and analysis of the REST architecture from the process algebra perspective. Future Gener. Comput. Syst. 56: 153-168 (2016) - [j24]Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu:
Developments in concurrent Kleene algebra. J. Log. Algebraic Methods Program. 85(4): 617-636 (2016) - [j23]Huixing Fang
, Huibiao Zhu, Jifeng He:
SMT-Based Symbolic Encoding and Formal Analysis of HML Models. Mob. Networks Appl. 21(1): 35-52 (2016) - [j22]Ming Xu
, Lijun Zhang, David N. Jansen
, Huibiao Zhu, Zongyuan Yang:
Multiphase until formulas over Markov reward models: An algebraic approach. Theor. Comput. Sci. 611: 116-135 (2016) - 2015
- [j21]Huibiao Zhu, Jifeng He, Shengchao Qin
, Phillip J. Brooke:
Denotational semantics and its algebraic derivation for an event-driven system-level language. Formal Aspects Comput. 27(1): 133-166 (2015) - [j20]Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin
:
Semantic theories of programs with nested interrupts. Frontiers Comput. Sci. 9(3): 331-345 (2015) - [j19]Richard Banach, Michael J. Butler
, Shengchao Qin
, Nitika Verma
, Huibiao Zhu:
Core Hybrid Event-B I: Single Hybrid Event-B machines. Sci. Comput. Program. 105: 92-123 (2015) - [j18]Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong:
Analyzing Event-Based Scheduling in Concurrent Reactive Systems. ACM Trans. Embed. Comput. Syst. 14(4): 86:1-86:27 (2015) - 2014
- [j17]Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang:
Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application. Formal Aspects Comput. 26(2): 319-366 (2014) - [j16]Qin Li, Yongxin Zhao, Huibiao Zhu, Jifeng He:
A UTP semantic model for Orc language with execution status and fault handling. Frontiers Comput. Sci. 8(5): 709-725 (2014) - [j15]Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu:
Investigating System Survivability from a Probabilistic Perspective. IEICE Trans. Inf. Syst. 97-D(9): 2356-2370 (2014) - [j14]Qin Li, Jianqi Shi, Huibiao Zhu:
A formal framework for service mashups with dynamic service selection. Innov. Syst. Softw. Eng. 10(3): 219-234 (2014) - [j13]Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu:
ASM, controller synthesis, and complete refinement. Sci. Comput. Program. 94: 109-129 (2014) - [j12]Wen Su, Jean-Raymond Abrial, Huibiao Zhu:
Formalizing hybrid systems with Event-B and the Rodin Platform. Sci. Comput. Program. 94: 164-202 (2014) - [j11]Huixing Fang
, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen
, Alexandre David:
Formal verification and simulation for platform screen doors and collision avoidance in subway control systems. Int. J. Softw. Tools Technol. Transf. 16(4): 339-361 (2014) - [j10]Ender Yüksel, Hanne Riis Nielson
, Flemming Nielson
, Huibiao Zhu, Heqing Huang:
Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study. Int. J. Softw. Tools Technol. Transf. 16(4): 421-435 (2014) - [j9]Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu:
A Continuous ASM Modelling Approach to Pacemaker Sensing. ACM Trans. Softw. Eng. Methodol. 24(1): 2:1-2:40 (2014) - 2013
- [j8]Xi Wu, Huibiao Zhu, Yongxin Zhao, Zheng Wang, Si Liu
:
Modeling and verifying the Ariadne protocol using process algebra. Comput. Sci. Inf. Syst. 10(1): 393-421 (2013) - 2012
- [j7]Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen
, Jeff W. Sanders, Shengchao Qin
:
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. J. Log. Algebraic Methods Program. 81(1): 2-25 (2012) - 2011
- [j6]Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen
:
Algebraic approach to linking the semantics of web services. Innov. Syst. Softw. Eng. 7(3): 209-224 (2011) - 2010
- [j5]Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen
:
Linking denotational semantics with operational semantics for web services. Innov. Syst. Softw. Eng. 6(4): 283-298 (2010) - [j4]Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu:
Web services choreography validation. Serv. Oriented Comput. Appl. 4(4): 291-305 (2010) - 2009
- [j3]Huibiao Zhu, Shengchao Qin
, Jifeng He, Jonathan P. Bowen
:
PTSC: probability, time and shared-variable concurrency. Innov. Syst. Softw. Eng. 5(4): 271-284 (2009) - 2008
- [j2]Huibiao Zhu, Jifeng He, Jonathan P. Bowen
:
From algebraic semantics to denotational semantics for Verilog. Innov. Syst. Softw. Eng. 4(4): 341-360 (2008) - 2007
- [j1]Jifeng He, Huibiao Zhu, Geguang Pu:
A model for BPEL-like languages. Frontiers Comput. Sci. China 1(1): 9-19 (2007)
Conference and Workshop Papers
- 2024
- [c183]Jiapeng Wang
, Sini Chen
, Huibiao Zhu
:
Verification of Scapegoat Trees Using Dafny. NFM 2024: 118-135 - [c182]Bangjie Zhu
, Jiaqi Yin
, Sini Chen
, Huibiao Zhu
:
Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP. SAC 2024: 300-304 - 2023
- [c181]Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu:
Formalization and Verification of Go-based New Simple Queue System. IWESQ/QuASoQ@APSEC 2023: 74-81 - [c180]Jonathan P. Bowen
, Huibiao Zhu
:
Jifeng He at Oxford and Beyond: An Appreciation. Theories of Programming and Formal Methods 2023: 3-18 - [c179]Wanling Xie
, Huibiao Zhu
, Xi Wu
:
A Timed Calculus with Mobility for Wireless Networks. CNIOT 2023: 653-657 - [c178]Wei Lin, Sini Chen, Huibiao Zhu
:
Formalization and Verification of MQTT-SN Communication Using CSP. ECBS 2023: 115-132 - [c177]Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu:
Formalization and Verification of the ICC Mechanism in Android System Using CSP. ISSREW 2023: 89-95 - [c176]Yingjia Du, Yuan Fei, Sini Chen
, Huibiao Zhu:
Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP. SEKE 2023: 404-409 - 2022
- [c175]Lili Xiao, Huibiao Zhu, Mengda He, Shengchao Qin
:
Algebraic Semantics for C++11 Memory Model. COMPSAC 2022: 1-6 - [c174]Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic
:
Formal Analysis and Verification of DPSTM v2 Architecture Using CSP. COMPSAC 2022: 872-877 - [c173]Ran Li
, Huibiao Zhu, Richard Banach:
Denotational and Algebraic Semantics for Cyber-physical Systems. ICECCS 2022: 123-132 - [c172]Jiaqi Yin, Huibiao Zhu:
The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing. ICECCS 2022: 133-142 - [c171]Ran Li
, Huibiao Zhu, Richard Banach:
A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency. ICFEM 2022: 244-262 - [c170]Ningning Chen, Huibiao Zhu:
Denotational and Algebraic Semantics for the CaIT Calculus. ICTAC 2022: 132-150 - [c169]Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen:
Formalization and Verification of SIP Using CSP. PDCAT 2022: 158-171 - [c168]Junfu Luo, Jiaqi Yin, Huibiao Zhu:
MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity. PDCAT 2022: 387-398 - [c167]Peimu Li, Jiaqi Yin, Huibiao Zhu:
Formal Verification of COCO Database Framework Using CSP. SEKE 2022: 363-368 - [c166]Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen:
Modeling and Verifying AUPS Using CSP. SEKE 2022: 568-573 - [c165]Ran Li
, Huibiao Zhu, Richard Banach:
Translating CPS with Shared-Variable Concurrency in SpaceEx. SETTA 2022: 127-133 - 2021
- [c164]Richard Banach, Huibiao Zhu:
Moded and Continuous Abstract State Machines. Logic, Computation and Rigorous Methods 2021: 29-62 - [c163]Jiaqi Yin, Huibiao Zhu, Yuan Fei:
SC4MEC: Automated Implementation of A Secure Hierarchical Calculus for Mobile Edge Computing. DATE 2021: 990-993 - [c162]Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao:
Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP. ECBS 2021: 9:1-9:10 - [c161]Miroslav Popovic
, Marko Popovic
, Branislav Kordic, Huibiao Zhu:
PSTM Transaction Scheduler Verification Based on CSP and Testing. ECBS 2021: 10:1-10:10 - [c160]Chen Zhao, Jiaqi Yin, Huibiao Zhu, Ran Li
:
Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP. ISPA/BDCloud/SocialCom/SustainCom 2021: 845-852 - [c159]Sini Chen
, Ran Li
, Huibiao Zhu:
Formalization and Verification of Group Communication CoAP Using CSP. PDCAT 2021: 616-628 - [c158]Hongqin Zhang, Jiaqi Yin, Huibiao Zhu, Ningning Chen:
Formal Modeling and Verification of ICN-IoT Middleware Architecture (S). SEKE 2021: 102-107 - [c157]Zhiru Hou, Jiaqi Yin, Huibiao Zhu:
Formalization and Verification of Dubbo Using CSP. SEKE 2021: 154-159 - [c156]Lili Xiao, Huibiao Zhu:
Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP. SETTA 2021: 81-101 - [c155]Ningning Chen, Huibiao Zhu, Huixing Fang:
A Proof System for HRML with Extended Hoare Logic. TASE 2021: 31-38 - [c154]Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu:
Formal Modelling and Verification of the RTPS Behavior Module. TASE 2021: 127-134 - [c153]Jiaqi Yin, Huibiao Zhu, Yuan Fei:
Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata. TrustCom 2021: 68-75 - 2020
- [c152]Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin:
Modeling and Verifying Data Access Mechanism of NLSR Trust Model. APSEC 2020: 198-207 - [c151]Ran Li
, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu:
Formalization and Verification of VANET. SEKE 2020: 1-6 - [c150]Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei:
Modeling and Verifying NDN-based IoV Using CSP. SEKE 2020: 31-36 - [c149]Junya Xu, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu:
Formal Modelling and Verification of MCAC Router Architecture in ICN. SEKE 2020: 222-227 - [c148]Wanling Xie, Huibiao Zhu, Shengchao Qin:
An Axiomatic Approach to BigrTiMo. TASE 2020: 41-48 - [c147]Ran Li
, Jiaqi Yin, Huibiao Zhu:
Modeling and Analysis of RabbitMQ Using UPPAAL. TrustCom 2020: 79-86 - 2019
- [c146]Feng Sheng, Huibiao Zhu, Zongyuan Yang:
Towards the Mechanized Semantics and Refinement of UML Class Diagrams. APSEC 2019: 47-54 - [c145]Hongyan Zhao, Huibiao Zhu, Yucheng Fang, Lili Xiao:
Modeling and Verifying Storm Using CSP. HASE 2019: 192-199 - [c144]Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang:
Modeling and Verifying Spark on YARN Using Process Algebra. HASE 2019: 208-215 - [c143]Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin:
A Security Calculus for Wireless Networks of Named Data Networking. ICFEM 2019: 170-185 - [c142]Shuangqing Xiang, Marcello M. Bonsangue, Huibiao Zhu:
PDNet: A Programming Language for Software-Defined Networks with VLAN. ICFEM 2019: 203-218 - [c141]Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu:
Formalization and Verification of RTPS StatefulWriter Module Using CSP. SEKE 2019: 147-198 - [c140]Feng Sheng, Huibiao Zhu, Zongyuan Yang, Jiaqi Yin, Gang Lu:
Verifying Static Aspects of UML models using Prolog (S). SEKE 2019: 259-342 - [c139]Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin:
Modeling and Verifying TESAC Using CSP. SEKE 2019: 265-348 - [c138]Yuanrui Zhang, Frédéric Mallet
, Huibiao Zhu, Yixiang Chen:
A Logical Approach for the Schedulability Analysis of CCSL. TASE 2019: 25-32 - [c137]Yucheng Fang, Huibiao Zhu, Jiaqi Yin:
Verifying Opacity of a Modified PSTM. TASE 2019: 232-239 - [c136]Chao Xu, Xi Wu, Huibiao Zhu, Miroslav Popovic
:
Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP. TASE 2019: 240-247 - [c135]Xi Wu, Huibiao Zhu, Wanling Xie:
UTP Semantics of a Calculus for Mobile Ad Hoc Networks. UTP 2019: 198-216 - 2018
- [c134]Yucheng Fang, Huibiao Zhu, Frank Zeyda
, Yuan Fei:
Modeling and analysis of the disruptor framework in CSP. CCWC 2018: 803-809 - [c133]Wanling Xie, Huibiao Zhu, Min Zhang
, Gang Lu, Yucheng Fang:
Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude. COMPSAC (1) 2018: 213-218 - [c132]Yucheng Fang, Huibiao Zhu, Gang Lu, Lili Xiao, Wanling Xie:
Modeling and Verifying MooseFS in CSP. COMPSAC (1) 2018: 270-275 - [c131]Huiwen Wang, Huibiao Zhu, Lili Xiao, Wanling Xie, Gang Lu:
Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using CSP. COMPSAC (2) 2018: 376-381 - [c130]Longfei Zhu, Qiwen Xu, Huibiao Zhu:
Assertional Reasoning for Concurrent and Communicating BPEL-like Programs. FedCSIS (Communication Papers) 2018: 241-247 - [c129]Yuan Fei, Huibiao Zhu:
Modeling and Verifying NDN Access Control Using CSP. ICFEM 2018: 143-159 - [c128]Wanling Xie, Huibiao Zhu, Shengchao Qin:
UTP Semantics for BigrTiMo. ICFEM 2018: 337-353 - [c127]Lili Xiao, Shuangqing Xiang, Huibiao Zhu:
Modeling and verifying SDN with multiple controllers. SAC 2018: 419-422 - [c126]Huiwen Wang, Huibiao Zhu, Yuan Fei, Lili Xiao:
Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP. SEKE 2018: 169-168 - [c125]Yucheng Fang, Huibiao Zhu, Huiwen Wang:
Modeling and Verifying Leader Election Algorithm in CSP (S). SEKE 2018: 342-341 - [c124]Yuan Fei, Huibiao Zhu, Huiwen Wang:
Security Analysis of the Access Control Solution of NDN Using BAN Logic (S). SEKE 2018: 659-658 - [c123]Wenjun Du, Zhengfeng Yang, Huibiao Zhu:
A Fully Abstract Encoding for Sub Asynchronous Pi Calculus. TASE 2018: 17-27 - [c122]Shuangqing Xiang, Huibiao Zhu, Lili Xiao, Wanling Xie:
Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks. TASE 2018: 84-91 - [c121]Yuan Fei, Huibiao Zhu, Xin Li:
Modeling and Verification of NLSR Protocol using UPPAAL. TASE 2018: 108-115 - 2017
- [c120]Chao Xu, Huibiao Zhu, Wanling Xie:
Modeling and Verifying Identity Authentication Security of HDFS Using CSP. APSEC 2017: 259-268 - [c119]Ailun Liu, Miroslav Popovic
, Huibiao Zhu:
Formalization and Verification of the PSTM Architecture. APSEC 2017: 427-435 - [c118]Luyao Wang, Wanling Xie, Huibiao Zhu:
Assertion-Based Reasoning Method for Calculus of Wireless System. Models, Algorithms, Logics and Tools 2017: 484-502 - [c117]Ailun Liu, Huibiao Zhu, Yuan Fei, Shuangqing Xiang, Gang Lu, Wanling Xie:
Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra. COMPSAC (1) 2017: 39-44 - [c116]Wanling Xie, Xi Wu, Huibiao Zhu, Gang Lu, Ailun Liu:
A Proof System for mCWQ. COMPSAC (1) 2017: 45-50 - [c115]Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu:
Formalization and Verification of the PKMv3 Protocol Using CSP. COMPSAC (1) 2017: 499-504 - [c114]Jianyu Lu, Wanling Xie, Huibiao Zhu, Yuan Fei:
A Proof System for MDESL. FedCSIS (Communication Papers) 2017: 387-393 - [c113]Wanling Xie, Huibiao Zhu, Qiwen Xu:
BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. ICECCS 2017: 50-59 - [c112]Yujie Yuan, Lihua Xu, Xusheng Xiao
, Andy Podgurski, Huibiao Zhu:
RunDroid: recovering execution call graphs for Android applications. ESEC/SIGSOFT FSE 2017: 949-953 - 2016
- [c111]Lingling Fan, Sen Chen, Lihua Xu, Zongyuan Yang, Huibiao Zhu:
Model-Based Continuous Verification. APSEC 2016: 81-88 - [c110]Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo:
Modeling and Verifying HDFS Using CSP. COMPSAC 2016: 221-226 - [c109]Richard Banach, Huibiao Zhu:
Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems. FTSCS 2016: 109-125 - [c108]Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang
:
Comparative Modeling and Verification of Pthreads and Dthreads. HASE 2016: 132-140 - [c107]Xi Wu, Yongxin Zhao, Huibiao Zhu:
Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks. HASE 2016: 220-227 - [c106]Min Zhang
, Frédéric Mallet
, Huibiao Zhu:
An SMT-Based Approach to the Formal Analysis of MARTE/CCSL. ICFEM 2016: 433-449 - 2015
- [c105]Xi Wu, Huibiao Zhu:
Probabilistic Analysis of a Calculus for Wireless Sensor Networks. FTSCS 2015: 155-171 - [c104]Huixing Fang
, Huibiao Zhu, Jianqi Shi:
An Object-Oriented Language for Modeling of Hybrid Systems. HASE 2015: 1-9 - [c103]Luyao Wang, Fengwei Sui, Yanhong Huang, Huibiao Zhu:
Modeling and Verifying the Ballooning in Xen with CSP. HASE 2015: 18-25 - [c102]Haixing Yan, Huixing Fang
, Christian Kuka, Huibiao Zhu:
Verification for OAuth Using ASLan++. HASE 2015: 76-84 - [c101]Yiting Tang, Xi Wu, Huibiao Zhu, Jian Guo:
Formalization and Verification of REST Architecture in Viewpoints. HASE 2015: 197-206 - [c100]Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song:
Modeling and Verifying Google File System. HASE 2015: 207-214 - [c99]Xi Wu, Huibiao Zhu:
A Calculus for Wireless Sensor Networks from Quality Perspective. HASE 2015: 223-231 - [c98]Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu:
A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems. ICECCS 2015: 150-159 - [c97]Xi Wu, Hanne Riis Nielson
, Huibiao Zhu:
A SAT-Based Analysis of a Calculus for Wireless Sensor Networks. TASE 2015: 23-30 - [c96]Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao:
Formal Verification of PKMv3 Protocol Using DT-Spin. TASE 2015: 71-78 - 2014
- [c95]Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard
, Huibiao Zhu, Peter W. O'Hearn:
Developments in Concurrent Kleene Algebra. RAMiCS 2014: 1-18 - [c94]Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu:
pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems. APSEC (1) 2014: 78-85 - [c93]Xi Wu, Si Liu
, Huibiao Zhu, Yongxin Zhao:
Reasoning about Group-Based Mobility in MANETs. PRDC 2014: 244-253 - [c92]Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu:
Modeling and Verifying the TTCAN Protocol Using Timed CSP. TASE 2014: 90-97 - [c91]Jianmin Jiang, Huibiao Zhu, Qin Li, Shi Zhang, Ping Gong, Zhong Hong:
Configuration of Services Based on Virtualization. TASE 2014: 177-184 - [c90]Xiaofeng Wu, Huibiao Zhu, Xi Wu:
Observation-Oriented Semantics for Calculus of Wireless Systems. UTP 2014: 105-124 - [c89]Longfei Zhu, Qiwen Xu, Jifeng He, Huibiao Zhu:
A Formal Model for a Hybrid Programming Language. UTP 2014: 125-142 - 2013
- [c88]Peng Liu, Huibiao Zhu, Shengchao Qin
, Phillip J. Brooke, Xi Wu:
Linking the Semantics of BPEL Using Maude. APSEC (1) 2013: 422-431 - [c87]Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu:
Towards a Modeling Language for Cyber-Physical Systems. Theories of Programming and Formal Methods 2013: 394-411 - [c86]Nehul Jain, Saikat Dutta, Ansuman Banerjee, Anil Kumar Ghosh, Lihua Xu, Huibiao Zhu:
Using Daikon to Prioritize and Group Unit Bugs. FACS 2013: 215-233 - [c85]Xiaofeng Wu, Jeff W. Sanders, Huibiao Zhu:
Formal Modelling and Analysis of AODV. ICECCS 2013: 93-100 - [c84]Peng Liu, Huibiao Zhu, Shengchao Qin
, Phillip J. Brooke, Xi Wu:
Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude. ICECCS 2013: 260-263 - [c83]Xiaofeng Wu, Huibiao Zhu:
Linking Operational Semantics and Algebraic Semantics for Wireless Networks. ICFEM 2013: 380-396 - [c82]Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu:
A Denotational Model for Interrupt-Driven Programs. ICST Workshops 2013: 15-20 - [c81]Longfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu:
A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude. TASE 2013: 29-36 - [c80]Xiaofeng Wu, Qiwen Xu, Huibiao Zhu:
Formal Analysis of AODV Using Rely-Guarantee. TASE 2013: 45-48 - [c79]Can Pan, Jian Guo, Longfei Zhu, Jianqi Shi, Huibiao Zhu, Xinyun Zhou:
Modeling and Verification of CAN Bus with Application Layer using UPPAAL. TTSS 2013: 31-49 - [c78]Ting Yuan, Yiting Tang, Xi Wu, Yue Zhang, Huibiao Zhu, Jian Guo, Weijun Qin:
Formalization and Verification of REST on HTTP Using CSP. TTSS 2013: 75-93 - 2012
- [c77]Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu:
ASM and Controller Synthesis. ABZ 2012: 51-64 - [c76]Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu:
Continuous ASM, and a Pacemaker Sensing Fragment. ABZ 2012: 65-78 - [c75]Jean-Raymond Abrial, Wen Su, Huibiao Zhu:
Formalizing Hybrid Systems with Event-B. ABZ 2012: 178-193 - [c74]Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu:
Continuous Behaviour in Event-B: A Sketch. ABZ 2012: 349-352 - [c73]Xi Wu, Si Liu
, Huibiao Zhu, Yongxin Zhao, Lei Chen:
Modeling and Verifying the Ariadne Protocol Using CSP. ECBS 2012: 24-32 - [c72]Jianqi Shi, Longfei Zhu, Huixing Fang
, Jian Guo, Huibiao Zhu, Xin Ye:
xBIL - A Hardware Resource Oriented Binary Intermediate Language. ICECCS 2012: 211-219 - [c71]Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang
, Yanhong Huang, Xiaoxian Zhang:
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. ICECCS 2012: 293-301 - [c70]Wen Su, Jean-Raymond Abrial, Huibiao Zhu:
Complementary Methodologies for Developing Hybrid Systems with Event-B. ICFEM 2012: 230-248 - [c69]Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin
:
Investigating Time Properties of Interrupt-Driven Programs. SBMF 2012: 131-146 - [c68]Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He:
A Denotational Model for Instantaneous Signal Calculus. SEFM 2012: 126-140 - [c67]Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin
, Zongyan Qiu:
The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. SEFM 2012: 172-187 - [c66]Ender Yüksel, Huibiao Zhu, Hanne Riis Nielson
, Heqing Huang, Flemming Nielson
:
Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. TASE 2012: 25-32 - [c65]Huixing Fang
, Jian Guo, Huibiao Zhu, Jianqi Shi:
Formal Verification and Simulation: Co-verification for Subway Control Systems. TASE 2012: 145-152 - [c64]Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang
, Xin Ye:
Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. TASE 2012: 223-226 - [c63]Huibiao Zhu, Peng Liu, Jifeng He, Shengchao Qin
:
Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude. UTP 2012: 164-185 - [c62]Chengcheng Wu, Yongxin Zhao, Huibiao Zhu:
Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions. UTP 2012: 186-203 - [c61]Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin
:
Denotational Semantics for a Probabilistic Timed Shared-Variable Language. UTP 2012: 224-247 - [c60]Xi Wu, Yue Zhang, Huibiao Zhu, Yongxin Zhao, Zailiang Sun, Peng Liu:
Formal Modeling and Analysis of the REST Architecture Using CSP. WS-FM 2012: 87-102 - 2011
- [c59]Wen Su, Fan Yang, Xiaofeng Wu, Jian Guo, Huibiao Zhu:
Formal Approaches to Mode Conversion and Positioning for Vehicle System. COMPSAC Workshops 2011: 416-421 - [c58]Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu:
A Unifying Approach to Validating Specification-Oriented XML Constraints. HASE 2011: 33-40 - [c57]Qian Wang, Huibiao Zhu:
Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services. HASE 2011: 57-62 - [c56]Si Liu
, Yongxin Zhao, Huibiao Zhu, Qin Li:
A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective. HASE 2011: 157-162 - [c55]Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu:
From Requirements to Development: Methodology and Example. ICFEM 2011: 437-455 - [c54]Han Zhu, Huibiao Zhu, Si Liu
, Jian Guo:
Towards Denotational Semantics for Verilog in PVS. SSIRI (Companion) 2011: 1-2 - [c53]Si Liu
, Xiaofeng Wu, Qin Li, Huibiao Zhu, Qian Wang:
Formal Approaches to Wireless Sensor Networks. SSIRI (Companion) 2011: 11-18 - [c52]Longfei Zhu, Min Zhang
, Yanhong Huang, Jianqi Shi, Huibiao Zhu:
Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. TASE 2011: 27-34 - [c51]Shengchao Qin
, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu:
Towards an Axiomatic Verification System for JavaScript. TASE 2011: 133-141 - [c50]Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi:
Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. TASE 2011: 142-149 - [c49]Si Liu
, Yongxin Zhao, Huibiao Zhu, Qin Li:
Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. TASE 2011: 195-198 - [c48]Mengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu
:
Modeling and Analyzing the (mu)TESLA Protocol Using CSP. TASE 2011: 247-250 - [c47]Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang:
Formalising the Continuous/Discrete Modeling Step. Refine@FM 2011: 121-138 - 2010
- [c46]Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li:
Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System. ECBS 2010: 335-343 - [c45]Fan Yang, Wen Su, Huibiao Zhu, Qin Li:
Formalizing MapReduce with CSP. ECBS 2010: 358-367 - [c44]Juanhua Kang, Qin Li, Huibiao Zhu, Wenjuan Wu:
Formal Approaches to Location Management in Mobile Communications. ICDCIT 2010: 243-254 - [c43]Qin Li, Huibiao Zhu, Jifeng He:
A Denotational Semantical Model for Orc Language. ICTAC 2010: 106-120 - [c42]Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu:
A Formal Model for Service Choreography with Exception Handling and Finalization. TASE 2010: 15-24 - [c41]Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu:
Probabilistic Model of System Survivability. TASE 2010: 193-200 - [c40]Yongxin Zhao, Xu Wang, Huibiao Zhu:
Towards a Pomset Semantics for a Shared-Variable Parallel Language. UTP 2010: 271-285 - [c39]Huibiao Zhu, Fan Yang, Jifeng He:
Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language. UTP 2010: 286-308 - 2009
- [c38]Qin Li, Huibiao Zhu, Jifeng He:
A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. Australian Software Engineering Conference 2009: 287-296 - [c37]Huibiao Zhu, Yongxin Zhao, Jifeng He:
Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. Australian Software Engineering Conference 2009: 297-306 - [c36]Qin Li, Fan Yang, Huibiao Zhu, Longfei Zhu:
Formal Modeling and Analyzing Kerberos Protocol. CSIE (7) 2009: 813-819 - [c35]Hongyan Mao, Ningkang Jiang, Qin Li, Huibiao Zhu:
Formal Approaches to SMS Service Based on Pi Calculus. FCST 2009: 692-697 - [c34]Qin Li, Huibiao Zhu:
Towards Specification and Refinement of Contracts with Environment Changes. SEW 2009: 61-68 - [c33]Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen
, Jeff W. Sanders:
Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. SEW 2009: 104-114 - [c32]Wen Su, Fan Yang, Huibiao Zhu, Qin Li:
Modeling MapReduce with CSP. TASE 2009: 301-302 - [c31]Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li:
Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. TASE 2009: 327-328 - 2008
- [c30]Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He:
Execution Semantics for rCOS. APSEC 2008: 119-126 - [c29]Jing Li, Huibiao Zhu, Jifeng He:
Specifying and Verifying Web Transactions. FORTE 2008: 149-168 - [c28]Qin Li, Huibiao Zhu, Jifeng He:
Towards the Service Composition Through Buses. HASE 2008: 441-444 - [c27]Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He:
A Denotational Model for Web Services Choreography. ICDCIT 2008: 1-12 - [c26]Jing Li, Huibiao Zhu, Jifeng He:
An Observational Model for Transactional Calculus of Services Orchestration. ICTAC 2008: 201-215 - [c25]Naiyong Jin, Huibiao Zhu:
ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions. ISoLA 2008: 237-251 - [c24]Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin:
Denotational Approach to an Event-Driven System-Level Language. UTP 2008: 258-278 - 2007
- [c23]Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai:
Tool Support for BPEL Verification in ActiveBPEL Engine. ASWEC 2007: 90-100 - [c22]Huibiao Zhu, Jifeng He, Jing Li:
Unifying Denotational Semantics with Operational Semantics for Web Services. ICDCIT 2007: 225-239 - [c21]Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He:
A Formal Model for Compensable Transactions. ICECCS 2007: 64-73 - [c20]Jing Li, Huibiao Zhu, Jifeng He:
Algebraic Semantics for Compensable Transactions. ICTAC 2007: 306-321 - [c19]Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen
:
Algebraic Approach to Linking the Semantics of Web Services. SEFM 2007: 315-328 - [c18]Qin Li, Huibiao Zhu, Jifeng He:
An Inconsistency Free Formalization of B/S Architecture. SEW 2007: 75-88 - [c17]Huibiao Zhu, Jifeng He, Jonathan P. Bowen:
Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. SEW 2007: 131-143 - [c16]Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He:
Looking into Compensable Transactions. SEW 2007: 154-166 - [c15]Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li:
An Operational Approach to BPEL-like Programming. SEW 2007: 236-245 - [c14]Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu:
Modeling and Verifying Web Services Choreography Using Process Algebra. SEW 2007: 256-268 - [c13]Jing Li, Huibiao Zhu, Geguang Pu:
Conformance Validation between Choreography and Orchestration. TASE 2007: 473-482 - [c12]Qin Li, Huibiao Zhu, Jing Li, Jifeng He:
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. WS-FM 2007: 61-76 - 2006
- [c11]Huibiao Zhu, Geguang Pu, Jifeng He:
A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. ASIAN 2006: 28-36 - [c10]Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He:
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. FMOODS 2006: 251-266 - [c9]Huibiao Zhu, Jifeng He, Jonathan P. Bowen:
From Algebraic Semantics to Denotational Semantics for Verilog. ICECCS 2006: 139-151 - [c8]Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu:
Towards the Semantics for Web Service Choreography Description Language. ICFEM 2006: 246-263 - [c7]Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao:
Patterns with Algebraic Properties in BPEL0. ISoLA 2006: 363-370 - [c6]Huibiao Zhu, Shengchao Qin
, Jifeng He, Jonathan P. Bowen
:
Integrating Probability with Time and Shared-Variable Concurrency. SEW 2006: 179-189 - [c5]Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin:
An Operational Semantics of an Event-Driven System-Level Simulator. SEW 2006: 190-202 - 2002
- [c4]Huibiao Zhu, Jonathan P. Bowen
, Jifeng He:
Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. ICFEM 2002: 600-612 - 2001
- [c3]Huibiao Zhu, Jonathan P. Bowen
, Jifeng He:
Deriving Operational Semantics from Denotational Semantics for Verilog. APSEC 2001: 177- - [c2]Huibiao Zhu, Jonathan P. Bowen
, Jifeng He:
From Operational Semantics to Denotational Semantics for Verilog. CHARME 2001: 449-466 - 2000
- [c1]Jifeng He, Huibiao Zhu:
Formalising VERILOG. ICECS 2000: 412-415
Editorship
- 2017
- [e7]Jonathan P. Bowen
, Huibiao Zhu:
Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10134, Springer 2017, ISBN 978-3-319-52227-2 [contents] - 2013
- [e6]Zhiming Liu, Jim Woodcock
, Huibiao Zhu:
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 8051, Springer 2013, ISBN 978-3-642-39697-7 [contents] - [e5]Aditya K. Ghose, Huibiao Zhu, Qi Yu
, Alex Delis, Quan Z. Sheng, Olivier Perrin, Jianmin Wang
, Yan Wang:
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. Lecture Notes in Computer Science 7759, Springer 2013, ISBN 978-3-642-37803-4 [contents] - [e4]Zhiming Liu, Jim Woodcock
, Huibiao Zhu:
Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Lecture Notes in Computer Science 8049, Springer 2013, ISBN 978-3-642-39717-2 [contents] - [e3]Zhiming Liu, Jim Woodcock
, Huibiao Zhu:
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. Lecture Notes in Computer Science 8050, Springer 2013, ISBN 978-3-642-39720-2 [contents] - 2012
- [e2]Jonathan P. Bowen, Huibiao Zhu, Mike Hinchey:
35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-5574-2 [contents] - 2010
- [e1]Jin Song Dong, Huibiao Zhu:
Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. Lecture Notes in Computer Science 6447, Springer 2010, ISBN 978-3-642-16900-7 [contents]
Informal and Other Publications
- 2023
- [i3]Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu:
PSTM Transaction Scheduler Verification Based on CSP and Testing. CoRR abs/2305.08380 (2023) - 2013
- [i2]Huixing Fang, Huibiao Zhu, Jianqi Shi:
Apricot - An Object-Oriented Modeling Language for Hybrid Systems. CoRR abs/1304.6498 (2013) - 2012
- [i1]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang:
Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study. CoRR abs/1205.6664 (2012)
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-17 23:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint