Huibiao Zhu - RankMe

291 papers A 2B 23C 68Misc 35Journal 82Unranked 75

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Proof System for the SMrCaIT Calculus. ACM Trans. Embed. Comput. Syst. Ningning Chen, Huibiao Zhu
2026	J	`jnl`	Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+. J. Circuits Syst. Comput. Lili Xiao, Zhiru Hou, Huibiao Zhu, Mengda He, Shengchao Qin
2025	—	`conf`	A Framework for Verifying BPMN with Hoare Logic. QRS Companion Wei Lin, Sini Chen, Huibiao Zhu
2025	C	`conf`	BDafny: A Formal Execution and Verification Framework of BPMN 2.0 in Dafny. APSEC Ziqing Su, Sini Chen, Ran Li, Huibiao Zhu, Jiapeng Wang
2025	C	`conf`	Formal Modeling and Verification of AMQP Protocol Using Multiparty Session Types (S). SEKE Huiying Liu, Huibiao Zhu, Sini Chen
2025	J	`jnl`	Formal Verification and Security Analysis of Go-based New Simple Queue System. J. Circuits Syst. Comput. Zhiru Hou, Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu
2025	J	`jnl`	Formal verification and security analysis of FastDFS using process algebra. Internet Things Zhiru Hou, Huibiao Zhu
2025	J	`jnl`	Formal verification and security analysis of MQTT-SN. Int. J. Softw. Tools Technol. Transf. Wei Lin, Sini Chen, Huibiao Zhu
2025	C	`conf`	Formalization and Verification of XMPP Communication Mechanism Using CSP (S). SEKE Di Wu, Wenting Dong, Huibiao Zhu
2025	B	`conf`	NL2CSP: Towards Automated CSP Code Generation with Large Language Models. ICPADS Chenhui Wang, Nuowei Liu, Han Bao, Di Wu, Huiying Liu, Jiaqi Yin, Huibiao Zhu
2025	J	`jnl`	Theoretical and Practical Approach to the Soundness and Completeness of Operational Semantics based on Denotational Semantics for MDESL. Formal Aspects Comput. Hongyan Zhao, Huibiao Zhu, Feng Sheng, Jifeng He, Jonathan P. Bowen
2025	J	`jnl`	Validating Secure Cloud Communication Mechanisms of Graphene with CSP-Based Modeling. Int. J. Softw. Eng. Knowl. Eng. Jianhao Liu, Zhiru Hou, Huibiao Zhu
2025	C	`conf`	Verifying the Communication and Security Mechanisms of WAMP. SEKE Han Bao, Chenhui Wang, Huibiao Zhu
2024	A	`conf`	A Security Verification Framework for the LoRaWAN Protocol with Application in the Manufacturing Industry. ISSRE Wenting Dong, Huibiao Zhu, Sini Chen, Ning Ge
2024	J	`jnl`	A process calculus SMrCaIT for IoT. J. Softw. Evol. Process. Ningning Chen, Huibiao Zhu
2024	J	`jnl`	A proof system of the CaIT calculus. Frontiers Comput. Sci. Ningning Chen, Huibiao Zhu
2024	J	`jnl`	An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency. J. Log. Algebraic Methods Program. Ran Li, Huibiao Zhu, Richard Banach
2024	—	`conf`	Denotational and Algebraic Semantics for the SMrCaIT Calculus Based on UTP. The Application of Formal Methods Ningning Chen, Huibiao Zhu, Jifeng He
2024	J	`jnl`	Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system. Softw. Qual. J. Jiaqi Yin, Sini Chen, Yixiao Lv, Huibiao Zhu
2024	C	`conf`	Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs. ICTAC Sini Chen, Huibiao Zhu, Ran Li, Lili Xiao, Jiapeng Wang, Ning Ge, Xinbin Cao
2024	J	`jnl`	Formal Modeling and Verifying Dubbo Using Process Algebra. Mob. Networks Appl. Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh
2024	B	`conf`	Formal Verification and Security Analysis of AMQP. COMPSAC Huiying Liu, Wenting Dong, Huibiao Zhu, Ziqing Su
2024	J	`jnl`	Formalization and Analysis of Aeolus-based File System from Process Algebra Perspective. Mob. Networks Appl. Zhiru Hou, Lili Xiao, Huibiao Zhu, Phan Cong Vinh
2024	Misc	`conf`	Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP. SAC Bangjie Zhu, Jiaqi Yin, Sini Chen, Huibiao Zhu
2024	J	`jnl`	Formalization and Verification of Enhanced Group Communication CoAP. Int. J. Softw. Eng. Knowl. Eng. Sini Chen, Ran Li, Huibiao Zhu
2024	B	`conf`	Formalization and Verification of OpenStack Swift Using CSP. COMPSAC Ziqing Su, Wei Lin, Huibiao Zhu
2024	B	`conf`	Formalization and Verification of Percolator Using CSP. COMPSAC Chenhui Wang, Ziqing Su, Huibiao Zhu
2024	C	`conf`	Formalization and Verification of the Message Delivery Mechanism of Apache Pulsar. SEKE Wenbin Wu, Zhiru Hou, Huibiao Zhu
2024	C	`conf`	Modeling and Verifying OPC UA of Aggregating Server Architecture for Vertical Integration. SEKE Zifan Liang, Wei Lin, Sini Chen, Huibiao Zhu
2024	—	`ch.`	Modelling and Verifying Programs Under the Total Store Order Memory Model in an Algebraic Semantics Style. The Practice of Formal Methods (II) Lili Xiao, Huibiao Zhu, Jonathan P. Bowen, Sini Chen
2024	—	`conf`	Relational Denotational and Algebraic Semantics Based on UTP. SFPVV Zhiru Hou, Huibiao Zhu
2024	J	`jnl`	Trace Semantics for C++11 Memory Model. Formal Aspects Comput. Lili Xiao, Huibiao Zhu, Sini Chen, Mengda He, Shengchao Qin
2024	B	`conf`	Trace and Algebraic Semantics for Partial Store Order Memory Model. COMPSAC Junfu Luo, Lili Xiao, Huibiao Zhu, Ziqing Su
2024	C	`conf`	Validating Secure Cloud Communication Mechanisms of Graphene with CSP-based Modeling. SEKE Jianhao Liu, Zhiru Hou, Huibiao Zhu
2024	—	`conf`	Verification of Scapegoat Trees Using Dafny. NFM Jiapeng Wang, Sini Chen, Huibiao Zhu
2023	—	`conf`	A Timed Calculus with Mobility for Wireless Networks. CNIOT Wanling Xie, Huibiao Zhu, Xi Wu
2023	J	`jnl`	Complete formal verification of the PSTM transaction Scheduler. Comput. Sci. Inf. Syst. Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
2023	J	`jnl`	FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT. Formal Aspects Comput. Yuan Fei, Huibiao Zhu, Jiaqi Yin
2023	C	`conf`	Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP. SEKE Yingjia Du, Yuan Fei, Sini Chen, Huibiao Zhu
2023	—	`conf`	Formalization and Verification of Go-based New Simple Queue System. IWESQ/QuASoQ@APSEC Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu
2023	—	`conf`	Formalization and Verification of MQTT-SN Communication Using CSP. ECBS Wei Lin, Sini Chen, Huibiao Zhu
2023	—	`conf`	Formalization and Verification of the ICC Mechanism in Android System Using CSP. ISSREW Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu
2023	J	`jnl`	Formalization and verification of Kafka messaging mechanism using CSP. Comput. Sci. Inf. Syst. Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao
2023	J	`jnl`	IoT Modeling and Verification: From the CaIT Calculus to UPPAAL. IEICE Trans. Inf. Syst. Ningning Chen, Huibiao Zhu
2023	—	`conf`	Jifeng He at Oxford and Beyond: An Appreciation. Theories of Programming and Formal Methods Jonathan P. Bowen, Huibiao Zhu
2023	J	`jnl`	Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL. J. Softw. Evol. Process. Yuan Fei, Huibiao Zhu, Jiaqi Yin
2023	J	`jnl`	PSTM Transaction Scheduler Verification Based on CSP and Testing. CoRR Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
2023	J	`jnl`	Translating and verifying Cyber-Physical systems with shared-variable concurrency in SpaceEx. Internet Things Ran Li, Huibiao Zhu, Richard Banach
2022	C	`conf`	A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency. ICFEM Ran Li, Huibiao Zhu, Richard Banach
2022	B	`conf`	Algebraic Semantics for C++11 Memory Model. COMPSAC Lili Xiao, Huibiao Zhu, Mengda He, Shengchao Qin
2022	B	`conf`	Denotational and Algebraic Semantics for Cyber-physical Systems. ICECCS Ran Li, Huibiao Zhu, Richard Banach
2022	C	`conf`	Denotational and Algebraic Semantics for the CaIT Calculus. ICTAC Ningning Chen, Huibiao Zhu
2022	B	`conf`	Formal Analysis and Verification of DPSTM v2 Architecture Using CSP. COMPSAC Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic
2022	C	`conf`	Formal Verification of COCO Database Framework Using CSP. SEKE Peimu Li, Jiaqi Yin, Huibiao Zhu
2022	C	`conf`	Formalization and Verification of SIP Using CSP. PDCAT Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen
2022	C	`conf`	MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity. PDCAT Junfu Luo, Jiaqi Yin, Huibiao Zhu
2022	C	`conf`	Modeling and Verifying AUPS Using CSP. SEKE Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen
2022	J	`jnl`	Modeling and Verifying PSO Memory Model Using CSP. Mob. Networks Appl. Lili Xiao, Huibiao Zhu, Qiwen Xu, Phan Cong Vinh
2022	J	`jnl`	Modeling and verifying NDN-based IoV using CSP. J. Softw. Evol. Process. Ningning Chen, Huibiao Zhu, Jiaqi Yin, Yuan Fei, Lili Xiao, Minghua Zhu
2022	B	`conf`	The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing. ICECCS Jiaqi Yin, Huibiao Zhu
2022	Misc	`conf`	Translating CPS with Shared-Variable Concurrency in SpaceEx. SETTA Ran Li, Huibiao Zhu, Richard Banach
2022	J	`jnl`	UTP semantics for the MCA ARMv8 architecture. J. Syst. Archit. Lili Xiao, Huibiao Zhu
2022	J	`jnl`	Verification of RabbitMQ with Kerberos Using Timed Automata. Mob. Networks Appl. Ran Li, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh
2021	Misc	`conf`	A Proof System for HRML with Extended Hoare Logic. TASE Ningning Chen, Huibiao Zhu, Huixing Fang
2021	J	`jnl`	A clock-based dynamic logic for schedulability analysis of CCSL specifications. Sci. Comput. Program. Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu
2021	J	`jnl`	A process calculus BigrTiMo of mobile systems and its formal semantics. Formal Aspects Comput. Wanling Xie, Huibiao Zhu, Qiwen Xu
2021	C	`conf`	Formal Modeling and Verification of ICN-IoT Middleware Architecture (S). SEKE Hongqin Zhang, Jiaqi Yin, Huibiao Zhu, Ningning Chen
2021	Misc	`conf`	Formal Modelling and Verification of the RTPS Behavior Module. TASE Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu
2021	B	`conf`	Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata. TrustCom Jiaqi Yin, Huibiao Zhu, Yuan Fei
2021	J	`jnl`	Formal analysis and automated validation of privacy-preserving AICE protocol in mobile edge computing. Mob. Networks Appl. Jiaqi Yin, Huibiao Zhu, Yuan Fei
2021	J	`jnl`	Formalization and Analysis of Ceph Using Process Algebra. IEICE Trans. Inf. Syst. Ran Li, Huibiao Zhu, Jiaqi Yin
2021	C	`conf`	Formalization and Verification of Dubbo Using CSP. SEKE Zhiru Hou, Jiaqi Yin, Huibiao Zhu
2021	C	`conf`	Formalization and Verification of Group Communication CoAP Using CSP. PDCAT Sini Chen, Ran Li, Huibiao Zhu
2021	J	`jnl`	Language evolution and healthiness for critical cyber-physical systems. J. Softw. Evol. Process. Richard Banach, Huibiao Zhu
2021	—	`conf`	Moded and Continuous Abstract State Machines. Logic, Computation and Rigorous Methods Richard Banach, Huibiao Zhu
2021	—	`conf`	Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP. ECBS Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao
2021	—	`conf`	Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP. ISPA/BDCloud/SocialCom/SustainCom Chen Zhao, Jiaqi Yin, Huibiao Zhu, Ran Li
2021	J	`jnl`	Modeling and verifying SDN under Multi-controller architectures using CSP. Concurr. Comput. Pract. Exp. Lili Xiao, Huibiao Zhu, Shuangqing Xiang, Phan Cong Vinh
2021	—	`conf`	PSTM Transaction Scheduler Verification Based on CSP and Testing. ECBS Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
2021	A	`conf`	SC4MEC: Automated Implementation of A Secure Hierarchical Calculus for Mobile Edge Computing. DATE Jiaqi Yin, Huibiao Zhu, Yuan Fei
2021	Misc	`conf`	Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP. SETTA Lili Xiao, Huibiao Zhu
2021	J	`jnl`	Trace Semantics and Algebraic Laws for Total Store Order Memory Model. J. Comput. Sci. Technol. Lili Xiao, Huibiao Zhu, Qi-Wen Xu
2020	Misc	`conf`	An Axiomatic Approach to BigrTiMo. TASE Wanling Xie, Huibiao Zhu, Shengchao Qin
2020	J	`jnl`	Event-based functional decomposition. Inf. Comput. Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Shi Zhang, Ping Gong, Zhong Hong
2020	C	`conf`	Formal Modelling and Verification of MCAC Router Architecture in ICN. SEKE Junya Xu, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu
2020	J	`jnl`	Formal analysis and verification of the PSTM architecture using CSP. J. Syst. Softw. Ailun Liu, Huibiao Zhu, Miroslav Popovic, Shuangqing Xiang, Lei Zhang
2020	J	`jnl`	Formalization and Analysis of Haystack Architecture from Process Algebra Perspective. Mob. Networks Appl. Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh
2020	C	`conf`	Formalization and Verification of VANET. SEKE Ran Li, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu
2020	B	`conf`	Modeling and Analysis of RabbitMQ Using UPPAAL. TrustCom Ran Li, Jiaqi Yin, Huibiao Zhu
2020	C	`conf`	Modeling and Verifying Data Access Mechanism of NLSR Trust Model. APSEC Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin
2020	C	`conf`	Modeling and Verifying NDN-based IoV Using CSP. SEKE Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei
2020	J	`jnl`	Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra. Sci. Comput. Program. Shuangqing Xiang, Huibiao Zhu, Xi Wu, Lili Xiao, Marcello M. Bonsangue, Wanling Xie, Lei Zhang
2020	J	`jnl`	Security Analysis of the Access Control Solution of NDN Using BAN Logic. Mob. Networks Appl. Yuan Fei, Huibiao Zhu, Phan Cong Vinh
2020	J	`jnl`	Specification and Verification of the Zab Protocol with TLA+. J. Comput. Sci. Technol. Jiaqi Yin, Huibiao Zhu, Yuan Fei
2020	J	`jnl`	Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP. Formal Aspects Comput. Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
2019	Misc	`conf`	A Logical Approach for the Schedulability Analysis of CCSL. TASE Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen
2019	C	`conf`	A Security Calculus for Wireless Networks of Named Data Networking. ICFEM Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin
2019	J	`jnl`	Formal Verification of mCWQ Using Extended Hoare Logic. Mob. Networks Appl. Wanling Xie, Huibiao Zhu, Xi Wu, Phan Cong Vinh
2019	C	`conf`	Formalization and Verification of RTPS StatefulWriter Module Using CSP. SEKE Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu
2019	J	`jnl`	Formalization and Verification of TESAC Using CSP. Int. J. Softw. Eng. Knowl. Eng. Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin
2019	J	`jnl`	Isolation Modeling and Analysis Based on Mobility. ACM Trans. Softw. Eng. Methodol. Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Zhong Hong, Shi Zhang, Ping Gong
2019	J	`jnl`	Modeling and Verifying Basic Modules of Floodlight. Mob. Networks Appl. Shuangqing Xiang, Xi Wu, Huibiao Zhu, Wanling Xie, Lili Xiao, Phan Cong Vinh
2019	—	`conf`	Modeling and Verifying Spark on YARN Using Process Algebra. HASE Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang
2019	—	`conf`	Modeling and Verifying Storm Using CSP. HASE Hongyan Zhao, Huibiao Zhu, Yucheng Fang, Lili Xiao
2019	C	`conf`	Modeling and Verifying TESAC Using CSP. SEKE Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin
2019	Misc	`conf`	Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP. TASE Chao Xu, Xi Wu, Huibiao Zhu, Miroslav Popovic
2019	C	`conf`	PDNet: A Programming Language for Software-Defined Networks with VLAN. ICFEM Shuangqing Xiang, Marcello M. Bonsangue, Huibiao Zhu
2019	J	`jnl`	Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL. ACM Trans. Softw. Eng. Methodol. Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
2019	J	`jnl`	Toward a Unified Executable Formal Automobile OS Kernel and Its Applications. IEEE Trans. Reliab. Xiaoran Zhu, Min Zhang, Jian Guo, Xin Li, Huibiao Zhu, Jifeng He
2019	C	`conf`	Towards the Mechanized Semantics and Refinement of UML Class Diagrams. APSEC Feng Sheng, Huibiao Zhu, Zongyuan Yang
2019	—	`conf`	UTP Semantics of a Calculus for Mobile Ad Hoc Networks. UTP Xi Wu, Huibiao Zhu, Wanling Xie
2019	Misc	`conf`	Verifying Opacity of a Modified PSTM. TASE Yucheng Fang, Huibiao Zhu, Jiaqi Yin
2019	C	`conf`	Verifying Static Aspects of UML models using Prolog (S). SEKE Feng Sheng, Huibiao Zhu, Zongyuan Yang, Jiaqi Yin, Gang Lu
2018	Misc	`conf`	A Fully Abstract Encoding for Sub Asynchronous Pi Calculus. TASE Wenjun Du, Zhengfeng Yang, Huibiao Zhu
2018	J	`jnl`	A UTP approach for rTiMo. Formal Aspects Comput. Wanling Xie, Shuangqing Xiang, Huibiao Zhu
2018	—	`conf`	Assertional Reasoning for Concurrent and Communicating BPEL-like Programs. FedCSIS (Communication Papers) Longfei Zhu, Qiwen Xu, Huibiao Zhu
2018	J	`jnl`	Comparative modelling and verification of Pthreads and Dthreads. J. Softw. Evol. Process. Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang, Shengchao Qin
2018	J	`jnl`	Formal Analysis of the PKMv3 Protocol. Mob. Networks Appl. Xiaoran Zhu, Yuanmin Xu, Xin Li, Jian Guo, Huibiao Zhu, Phan Cong Vinh
2018	J	`jnl`	Formal analysis of a calculus for WSNs from quality perspective. Sci. Comput. Program. Xi Wu, Huibiao Zhu
2018	—	`conf`	Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude. COMPSAC (1) Wanling Xie, Huibiao Zhu, Min Zhang, Gang Lu, Yucheng Fang
2018	C	`conf`	Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP. SEKE Huiwen Wang, Huibiao Zhu, Yuan Fei, Lili Xiao
2018	J	`jnl`	Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP. Int. J. Softw. Eng. Knowl. Eng. Huiwen Wang, Huibiao Zhu, Lili Xiao, Yuan Fei
2018	Misc	`conf`	Modeling and Verification of NLSR Protocol using UPPAAL. TASE Yuan Fei, Huibiao Zhu, Xin Li
2018	C	`conf`	Modeling and Verifying Leader Election Algorithm in CSP (S). SEKE Yucheng Fang, Huibiao Zhu, Huiwen Wang
2018	—	`conf`	Modeling and Verifying MooseFS in CSP. COMPSAC (1) Yucheng Fang, Huibiao Zhu, Gang Lu, Lili Xiao, Wanling Xie
2018	C	`conf`	Modeling and Verifying NDN Access Control Using CSP. ICFEM Yuan Fei, Huibiao Zhu
2018	—	`conf`	Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using CSP. COMPSAC (2) Huiwen Wang, Huibiao Zhu, Lili Xiao, Wanling Xie, Gang Lu
2018	Misc	`conf`	Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks. TASE Shuangqing Xiang, Huibiao Zhu, Lili Xiao, Wanling Xie
2018	—	`conf`	Modeling and analysis of the disruptor framework in CSP. CCWC Yucheng Fang, Huibiao Zhu, Frank Zeyda, Yuan Fei
2018	Misc	`conf`	Modeling and verifying SDN with multiple controllers. SAC Lili Xiao, Shuangqing Xiang, Huibiao Zhu
2018	J	`jnl`	Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yifan Zhang, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, Xuandong Li
2018	C	`conf`	Security Analysis of the Access Control Solution of NDN Using BAN Logic (S). SEKE Yuan Fei, Huibiao Zhu, Huiwen Wang
2018	C	`conf`	UTP Semantics for BigrTiMo. ICFEM Wanling Xie, Huibiao Zhu, Shengchao Qin
2017	—	`conf`	A Proof System for MDESL. FedCSIS (Communication Papers) Jianyu Lu, Wanling Xie, Huibiao Zhu, Yuan Fei
2017	—	`conf`	A Proof System for mCWQ. COMPSAC (1) Wanling Xie, Xi Wu, Huibiao Zhu, Gang Lu, Ailun Liu
2017	—	`conf`	Assertion-Based Reasoning Method for Calculus of Wireless System. Models, Algorithms, Logics and Tools Luyao Wang, Wanling Xie, Huibiao Zhu
2017	B	`conf`	BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. ICECCS Wanling Xie, Huibiao Zhu, Qiwen Xu
2017	J	`jnl`	Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines. Sci. Comput. Program. Richard Banach, Michael J. Butler, Shengchao Qin, Huibiao Zhu
2017	J	`jnl`	Event-Based Mobility Modeling and Analysis. ACM Trans. Cyber Phys. Syst. Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong, Donghuo Chen
2017	—	`conf`	Formalization and Verification of the PKMv3 Protocol Using CSP. COMPSAC (1) Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu
2017	C	`conf`	Formalization and Verification of the PSTM Architecture. APSEC Ailun Liu, Miroslav Popovic, Huibiao Zhu
2017	—	`conf`	Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra. COMPSAC (1) Ailun Liu, Huibiao Zhu, Yuan Fei, Shuangqing Xiang, Gang Lu, Wanling Xie
2017	J	`jnl`	Modeling and Verifying HDFS Using Process Algebra. Mob. Networks Appl. Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo, Phan Cong Vinh
2017	C	`conf`	Modeling and Verifying Identity Authentication Security of HDFS Using CSP. APSEC Chao Xu, Huibiao Zhu, Wanling Xie
2017	—	`conf`	RunDroid: recovering execution call graphs for Android applications. ESEC/SIGSOFT FSE Yujie Yuan, Lihua Xu, Xusheng Xiao, Andy Podgurski, Huibiao Zhu
2017	—	`ed.`	Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers UTP Jonathan P. Bowen, Huibiao Zhu
2016	C	`conf`	An SMT-Based Approach to the Formal Analysis of MARTE/CCSL. ICFEM Min Zhang, Frédéric Mallet, Huibiao Zhu
2016	—	`conf`	Comparative Modeling and Verification of Pthreads and Dthreads. HASE Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang
2016	J	`jnl`	Developments in concurrent Kleene algebra. J. Log. Algebraic Methods Program. Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu
2016	J	`jnl`	Formalization and analysis of the REST architecture from the process algebra perspective. Future Gener. Comput. Syst. Xi Wu, Huibiao Zhu
2016	—	`conf`	Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks. HASE Xi Wu, Yongxin Zhao, Huibiao Zhu
2016	C	`conf`	Model-Based Continuous Verification. APSEC Lingling Fan, Sen Chen, Lihua Xu, Zongyuan Yang, Huibiao Zhu
2016	B	`conf`	Modeling and Verifying HDFS Using CSP. COMPSAC Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo
2016	J	`jnl`	Multiphase until formulas over Markov reward models: An algebraic approach. Theor. Comput. Sci. Ming Xu, Lijun Zhang, David N. Jansen, Huibiao Zhu, Zongyuan Yang
2016	J	`jnl`	SMT-Based Symbolic Encoding and Formal Analysis of HML Models. Mob. Networks Appl. Huixing Fang, Huibiao Zhu, Jifeng He
2016	—	`conf`	Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems. FTSCS Richard Banach, Huibiao Zhu
2015	—	`conf`	A Calculus for Wireless Sensor Networks from Quality Perspective. HASE Xi Wu, Huibiao Zhu
2015	B	`conf`	A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems. ICECCS Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu
2015	Misc	`conf`	A SAT-Based Analysis of a Calculus for Wireless Sensor Networks. TASE Xi Wu, Hanne Riis Nielson, Huibiao Zhu
2015	—	`conf`	An Object-Oriented Language for Modeling of Hybrid Systems. HASE Huixing Fang, Huibiao Zhu, Jianqi Shi
2015	J	`jnl`	Analyzing Event-Based Scheduling in Concurrent Reactive Systems. ACM Trans. Embed. Comput. Syst. Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong
2015	J	`jnl`	Core Hybrid Event-B I: Single Hybrid Event-B machines. Sci. Comput. Program. Richard Banach, Michael J. Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu
2015	J	`jnl`	Denotational semantics and its algebraic derivation for an event-driven system-level language. Formal Aspects Comput. Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke
2015	Misc	`conf`	Formal Verification of PKMv3 Protocol Using DT-Spin. TASE Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao
2015	—	`conf`	Formalization and Verification of REST Architecture in Viewpoints. HASE Yiting Tang, Xi Wu, Huibiao Zhu, Jian Guo
2015	—	`conf`	Modeling and Verifying Google File System. HASE Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song
2015	—	`conf`	Modeling and Verifying the Ballooning in Xen with CSP. HASE Luyao Wang, Fengwei Sui, Yanhong Huang, Huibiao Zhu
2015	—	`conf`	Probabilistic Analysis of a Calculus for Wireless Sensor Networks. FTSCS Xi Wu, Huibiao Zhu
2015	J	`jnl`	Semantic theories of programs with nested interrupts. Frontiers Comput. Sci. Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin
2015	—	`conf`	Verification for OAuth Using ASLan++. HASE Haixing Yan, Huixing Fang, Christian Kuka, Huibiao Zhu
2014	J	`jnl`	A Continuous ASM Modelling Approach to Pacemaker Sensing. ACM Trans. Softw. Eng. Methodol. Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
2014	—	`conf`	A Formal Model for a Hybrid Programming Language. UTP Longfei Zhu, Qiwen Xu, Jifeng He, Huibiao Zhu
2014	J	`jnl`	A UTP semantic model for Orc language with execution status and fault handling. Frontiers Comput. Sci. Qin Li, Yongxin Zhao, Huibiao Zhu, Jifeng He
2014	J	`jnl`	A formal framework for service mashups with dynamic service selection. Innov. Syst. Softw. Eng. Qin Li, Jianqi Shi, Huibiao Zhu
2014	J	`jnl`	ASM, controller synthesis, and complete refinement. Sci. Comput. Program. Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
2014	Misc	`conf`	Configuration of Services Based on Virtualization. TASE Jianmin Jiang, Huibiao Zhu, Qin Li, Shi Zhang, Ping Gong, Zhong Hong
2014	J	`jnl`	Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application. Formal Aspects Comput. Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang
2014	C	`conf`	Developments in Concurrent Kleene Algebra. RAMiCS Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn
2014	J	`jnl`	Formal verification and simulation for platform screen doors and collision avoidance in subway control systems. Int. J. Softw. Tools Technol. Transf. Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David
2014	J	`jnl`	Formalizing hybrid systems with Event-B and the Rodin Platform. Sci. Comput. Program. Wen Su, Jean-Raymond Abrial, Huibiao Zhu
2014	J	`jnl`	Investigating System Survivability from a Probabilistic Perspective. IEICE Trans. Inf. Syst. Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu
2014	Misc	`conf`	Modeling and Verifying the TTCAN Protocol Using Timed CSP. TASE Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu
2014	—	`conf`	Observation-Oriented Semantics for Calculus of Wireless Systems. UTP Xiaofeng Wu, Huibiao Zhu, Xi Wu
2014	J	`jnl`	Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study. Int. J. Softw. Tools Technol. Transf. Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang
2014	C	`conf`	Reasoning about Group-Based Mobility in MANETs. PRDC Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao
2014	—	`conf`	pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems. APSEC (1) Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu
2013	—	`conf`	A Denotational Model for Interrupt-Driven Programs. ICST Workshops Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu
2013	Misc	`conf`	A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude. TASE Longfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu
2013	J	`jnl`	Apricot - An Object-Oriented Modeling Language for Hybrid Systems CoRR Huixing Fang, Huibiao Zhu, Jianqi Shi
2013	Misc	`conf`	Formal Analysis of AODV Using Rely-Guarantee. TASE Xiaofeng Wu, Qiwen Xu, Huibiao Zhu
2013	B	`conf`	Formal Modelling and Analysis of AODV. ICECCS Xiaofeng Wu, Jeff W. Sanders, Huibiao Zhu
2013	—	`conf`	Formalization and Verification of REST on HTTP Using CSP. TTSS Ting Yuan, Yiting Tang, Xi Wu, Yue Zhang, Huibiao Zhu, Jian Guo, Weijun Qin
2013	B	`conf`	Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude. ICECCS Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu
2013	C	`conf`	Linking Operational Semantics and Algebraic Semantics for Wireless Networks. ICFEM Xiaofeng Wu, Huibiao Zhu
2013	—	`conf`	Linking the Semantics of BPEL Using Maude. APSEC (1) Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu
2013	—	`conf`	Modeling and Verification of CAN Bus with Application Layer using UPPAAL. TTSS Can Pan, Jian Guo, Longfei Zhu, Jianqi Shi, Huibiao Zhu, Xinyun Zhou
2013	J	`jnl`	Modeling and verifying the Ariadne protocol using process algebra. Comput. Sci. Inf. Syst. Xi Wu, Huibiao Zhu, Yongxin Zhao, Zheng Wang, Si Liu
2013	—	`ed.`	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 ICSOC Workshops Aditya K. Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quan Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang
2013	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings ICTAC Zhiming Liu, Jim Woodcock, Huibiao Zhu
2013	—	`ed.`	Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday Theories of Programming and Formal Methods Zhiming Liu, Jim Woodcock, Huibiao Zhu
2013	—	`conf`	Towards a Modeling Language for Cyber-Physical Systems. Theories of Programming and Formal Methods Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu
2013	—	`ed.`	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 ICTAC Training School on Software Engineering Zhiming Liu, Jim Woodcock, Huibiao Zhu
2013	—	`conf`	Using Daikon to Prioritize and Group Unit Bugs. FACS Nehul Jain, Saikat Dutta, Ansuman Banerjee, Anil Kumar Ghosh, Lihua Xu, Huibiao Zhu
2012	C	`ed.`	35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012 SEW Jonathan P. Bowen, Huibiao Zhu, Mike Hinchey
2012	B	`conf`	A Denotational Model for Instantaneous Signal Calculus. SEFM Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He
2012	C	`conf`	ASM and Controller Synthesis. ABZ Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
2012	Misc	`conf`	Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. TASE Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye
2012	C	`conf`	Complementary Methodologies for Developing Hybrid Systems with Event-B. ICFEM Wen Su, Jean-Raymond Abrial, Huibiao Zhu
2012	C	`conf`	Continuous ASM, and a Pacemaker Sensing Fragment. ABZ Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
2012	C	`conf`	Continuous Behaviour in Event-B: A Sketch. ABZ Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
2012	—	`conf`	Denotational Semantics for a Probabilistic Timed Shared-Variable Language. UTP Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin
2012	—	`conf`	Formal Modeling and Analysis of the REST Architecture Using CSP. WS-FM Xi Wu, Yue Zhang, Huibiao Zhu, Yongxin Zhao, Zailiang Sun, Peng Liu
2012	Misc	`conf`	Formal Verification and Simulation: Co-verification for Subway Control Systems. TASE Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi
2012	C	`conf`	Formalizing Hybrid Systems with Event-B. ABZ Jean-Raymond Abrial, Wen Su, Huibiao Zhu
2012	—	`conf`	Investigating Time Properties of Interrupt-Driven Programs. SBMF Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin
2012	J	`jnl`	Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. J. Log. Algebraic Methods Program. Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin
2012	—	`conf`	Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude. UTP Huibiao Zhu, Peng Liu, Jifeng He, Shengchao Qin
2012	—	`conf`	Modeling and Verifying the Ariadne Protocol Using CSP. ECBS Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao, Lei Chen
2012	J	`jnl`	Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study CoRR Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang
2012	Misc	`conf`	Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. TASE Ender Yüksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang, Flemming Nielson
2012	B	`conf`	ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. ICECCS Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang
2012	B	`conf`	The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. SEFM Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu
2012	—	`conf`	Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions. UTP Chengcheng Wu, Yongxin Zhao, Huibiao Zhu
2012	B	`conf`	xBIL - A Hardware Resource Oriented Binary Intermediate Language. ICECCS Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye
2011	—	`conf`	A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective. HASE Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li
2011	—	`conf`	A Unifying Approach to Validating Specification-Oriented XML Constraints. HASE Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu
2011	J	`jnl`	Algebraic approach to linking the semantics of web services. Innov. Syst. Softw. Eng. Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen
2011	—	`conf`	Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services. HASE Qian Wang, Huibiao Zhu
2011	—	`conf`	Formal Approaches to Mode Conversion and Positioning for Vehicle System. COMPSAC Workshops Wen Su, Fan Yang, Xiaofeng Wu, Jian Guo, Huibiao Zhu
2011	—	`conf`	Formal Approaches to Wireless Sensor Networks. SSIRI (Companion) Si Liu, Xiaofeng Wu, Qin Li, Huibiao Zhu, Qian Wang
2011	—	`conf`	Formalising the Continuous/Discrete Modeling Step Refine@FM Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang
2011	Misc	`conf`	Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. TASE Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu
2011	C	`conf`	From Requirements to Development: Methodology and Example. ICFEM Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu
2011	Misc	`conf`	Modeling and Analyzing the (mu)TESLA Protocol Using CSP. TASE Mengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu
2011	Misc	`conf`	Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. TASE Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi
2011	—	`conf`	Towards Denotational Semantics for Verilog in PVS. SSIRI (Companion) Han Zhu, Huibiao Zhu, Si Liu, Jian Guo
2011	Misc	`conf`	Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. TASE Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li
2011	Misc	`conf`	Towards an Axiomatic Verification System for JavaScript. TASE Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu
2010	C	`conf`	A Denotational Semantical Model for Orc Language. ICTAC Qin Li, Huibiao Zhu, Jifeng He
2010	Misc	`conf`	A Formal Model for Service Choreography with Exception Handling and Finalization. TASE Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu
2010	Misc	`conf`	Formal Approaches to Location Management in Mobile Communications. ICDCIT Juanhua Kang, Qin Li, Huibiao Zhu, Wenjuan Wu
2010	C	`ed.`	Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings ICFEM Jin Song Dong, Huibiao Zhu
2010	—	`conf`	Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System. ECBS Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li
2010	—	`conf`	Formalizing MapReduce with CSP. ECBS Fan Yang, Wen Su, Huibiao Zhu, Qin Li
2010	—	`conf`	Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language. UTP Huibiao Zhu, Fan Yang, Jifeng He
2010	J	`jnl`	Linking denotational semantics with operational semantics for web services. Innov. Syst. Softw. Eng. Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen
2010	Misc	`conf`	Probabilistic Model of System Survivability. TASE Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu
2010	—	`conf`	Towards a Pomset Semantics for a Shared-Variable Parallel Language. UTP Yongxin Zhao, Xu Wang, Huibiao Zhu
2010	J	`jnl`	Web services choreography validation. Serv. Oriented Comput. Appl. Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu
2009	—	`conf`	A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. Australian Software Engineering Conference Qin Li, Huibiao Zhu, Jifeng He
2009	C	`conf`	Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. SEW Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders
2009	Misc	`conf`	Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. TASE Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li
2009	—	`conf`	Formal Approaches to SMS Service Based on Pi Calculus. FCST Hongyan Mao, Ningkang Jiang, Qin Li, Huibiao Zhu
2009	—	`conf`	Formal Modeling and Analyzing Kerberos Protocol. CSIE (7) Qin Li, Fan Yang, Huibiao Zhu, Longfei Zhu
2009	—	`conf`	Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. Australian Software Engineering Conference Huibiao Zhu, Yongxin Zhao, Jifeng He
2009	Misc	`conf`	Modeling MapReduce with CSP. TASE Wen Su, Fan Yang, Huibiao Zhu, Qin Li
2009	J	`jnl`	PTSC: probability, time and shared-variable concurrency. Innov. Syst. Softw. Eng. Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen
2009	C	`conf`	Towards Specification and Refinement of Contracts with Environment Changes. SEW Qin Li, Huibiao Zhu
2008	Misc	`conf`	A Denotational Model for Web Services Choreography. ICDCIT Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He
2008	C	`conf`	ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions. ISoLA Naiyong Jin, Huibiao Zhu
2008	C	`conf`	An Observational Model for Transactional Calculus of Services Orchestration. ICTAC Jing Li, Huibiao Zhu, Jifeng He
2008	—	`conf`	Denotational Approach to an Event-Driven System-Level Language. UTP Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin
2008	C	`conf`	Execution Semantics for rCOS. APSEC Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He
2008	J	`jnl`	From algebraic semantics to denotational semantics for Verilog. Innov. Syst. Softw. Eng. Huibiao Zhu, Jifeng He, Jonathan P. Bowen
2008	C	`conf`	Specifying and Verifying Web Transactions. FORTE Jing Li, Huibiao Zhu, Jifeng He
2008	—	`conf`	Towards the Service Composition Through Buses. HASE Qin Li, Huibiao Zhu, Jifeng He
2007	B	`conf`	A Formal Model for Compensable Transactions. ICECCS Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He
2007	J	`jnl`	A model for BPEL-like languages. Frontiers Comput. Sci. China Jifeng He, Huibiao Zhu, Geguang Pu
2007	B	`conf`	Algebraic Approach to Linking the Semantics of Web Services. SEFM Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen
2007	C	`conf`	Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. SEW Huibiao Zhu, Jifeng He, Jonathan P. Bowen
2007	C	`conf`	Algebraic Semantics for Compensable Transactions. ICTAC Jing Li, Huibiao Zhu, Jifeng He
2007	C	`conf`	An Inconsistency Free Formalization of B/S Architecture. SEW Qin Li, Huibiao Zhu, Jifeng He
2007	C	`conf`	An Operational Approach to BPEL-like Programming. SEW Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li
2007	Misc	`conf`	Conformance Validation between Choreography and Orchestration. TASE Jing Li, Huibiao Zhu, Geguang Pu
2007	C	`conf`	Looking into Compensable Transactions. SEW Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He
2007	C	`conf`	Modeling and Verifying Web Services Choreography Using Process Algebra. SEW Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu
2007	—	`conf`	Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. WS-FM Qin Li, Huibiao Zhu, Jing Li, Jifeng He
2007	—	`conf`	Tool Support for BPEL Verification in ActiveBPEL Engine. ASWEC Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai
2007	Misc	`conf`	Unifying Denotational Semantics with Operational Semantics for Web Services. ICDCIT Huibiao Zhu, Jifeng He, Jing Li
2006	—	`conf`	A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. ASIAN Huibiao Zhu, Geguang Pu, Jifeng He
2006	C	`conf`	An Operational Semantics of an Event-Driven System-Level Simulator. SEW Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin
2006	B	`conf`	From Algebraic Semantics to Denotational Semantics for Verilog. ICECCS Huibiao Zhu, Jifeng He, Jonathan P. Bowen
2006	C	`conf`	Integrating Probability with Time and Shared-Variable Concurrency. SEW Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen
2006	C	`conf`	Patterns with Algebraic Properties in BPEL0. ISoLA Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao
2006	—	`conf`	Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. FMOODS Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He
2006	C	`conf`	Towards the Semantics for Web Service Choreography Description Language. ICFEM Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu
2005	—	`—`	Linking the semantics of a multithreaded discrete event simulation language. Huibiao Zhu
2002	C	`conf`	Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. ICFEM Huibiao Zhu, Jonathan P. Bowen, Jifeng He
2001	C	`conf`	Deriving Operational Semantics from Denotational Semantics for Verilog. APSEC Huibiao Zhu, Jonathan P. Bowen, Jifeng He
2001	—	`conf`	From Operational Semantics to Denotational Semantics for Verilog. CHARME Huibiao Zhu, Jonathan P. Bowen, Jifeng He
2000	—	`conf`	Formalising VERILOG. ICECS Jifeng He, Huibiao Zhu