Huibiao Zhu

According to our database, Huibiao Zhu authored at least 241 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2024

A proof system of the CaIT calculus.

Ningning Chen, Huibiao Zhu

Frontiers Comput. Sci., April, 2024

2023

Translating and verifying Cyber-Physical systems with shared-variable concurrency in SpaceEx.

Ran Li, Huibiao Zhu, Richard Banach

Internet Things, October, 2023

Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL.

Yuan Fei, Huibiao Zhu, Jiaqi Yin

J. Softw. Evol. Process., July, 2023

Formalization and verification of Kafka messaging mechanism using CSP.

Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao

Comput. Sci. Inf. Syst., 2023

Complete formal verification of the PSTM transaction Scheduler.

Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu

Comput. Sci. Inf. Syst., 2023

Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP.

Yingjia Du, Yuan Fei, Sini Chen, Huibiao Zhu

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

A Timed Calculus with Mobility for Wireless Networks.

Wanling Xie, Huibiao Zhu, Xi Wu

Proceedings of the 2023 4th International Conference on Computing, 2023

Jifeng He at Oxford and Beyond: An Appreciation.

Jonathan P. Bowen, Huibiao Zhu

Proceedings of the Theories of Programming and Formal Methods, 2023

2022

Modeling and verifying NDN-based IoV using CSP.

Ningning Chen, Huibiao Zhu, Jiaqi Yin, Yuan Fei, Lili Xiao, Minghua Zhu

J. Softw. Evol. Process., 2022

Modeling and Verifying PSO Memory Model Using CSP.

Lili Xiao, Huibiao Zhu, Qiwen Xu, Phan Cong Vinh

Mob. Networks Appl., 2022

Verification of RabbitMQ with Kerberos Using Timed Automata.

Ran Li, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh

Mob. Networks Appl., 2022

UTP semantics for the MCA ARMv8 architecture.

Lili Xiao, Huibiao Zhu

J. Syst. Archit., 2022

Translating CPS with Shared-Variable Concurrency in SpaceEx.

Ran Li, Huibiao Zhu, Richard Banach

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

Modeling and Verifying AUPS Using CSP.

Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Formal Verification of COCO Database Framework Using CSP.

Peimu Li, Jiaqi Yin, Huibiao Zhu

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity.

Junfu Luo, Jiaqi Yin, Huibiao Zhu

Proceedings of the Parallel and Distributed Computing, Applications and Technologies, 2022

Formalization and Verification of SIP Using CSP.

Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen

Proceedings of the Parallel and Distributed Computing, Applications and Technologies, 2022

Denotational and Algebraic Semantics for the CaIT Calculus.

Ningning Chen, Huibiao Zhu

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency.

Ran Li, Huibiao Zhu, Richard Banach

Proceedings of the Formal Methods and Software Engineering, 2022

The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing.

Jiaqi Yin, Huibiao Zhu

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

Denotational and Algebraic Semantics for Cyber-physical Systems.

Ran Li, Huibiao Zhu, Richard Banach

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

Algebraic Semantics for C++11 Memory Model.

Lili Xiao, Huibiao Zhu, Mengda He, Shengchao Qin

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

Formal Analysis and Verification of DPSTM v2 Architecture Using CSP.

Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

Language evolution and healthiness for critical cyber-physical systems.

Richard Banach, Huibiao Zhu

J. Softw. Evol. Process., 2021

A clock-based dynamic logic for schedulability analysis of CCSL specifications.

Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu

Sci. Comput. Program., 2021

Formal analysis and automated validation of privacy-preserving AICE protocol in mobile edge computing.

Jiaqi Yin, Huibiao Zhu, Yuan Fei

Mob. Networks Appl., 2021

Trace Semantics and Algebraic Laws for Total Store Order Memory Model.

Li-Li Xiao, Huibiao Zhu, Qi-Wen Xu

J. Comput. Sci. Technol., 2021

Formalization and Analysis of Ceph Using Process Algebra.

Ran Li, Huibiao Zhu, Jiaqi Yin

IEICE Trans. Inf. Syst., 2021

A process calculus BigrTiMo of mobile systems and its formal semantics.

Wanling Xie, Huibiao Zhu, Qiwen Xu

Formal Aspects Comput., 2021

Modeling and verifying SDN under Multi-controller architectures using CSP.

Lili Xiao, Huibiao Zhu, Shuangqing Xiang, Phan Cong Vinh

Concurr. Comput. Pract. Exp., 2021

Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata.

Jiaqi Yin, Huibiao Zhu, Yuan Fei

Proceedings of the 20th IEEE International Conference on Trust, 2021

Formal Modelling and Verification of the RTPS Behavior Module.

Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

A Proof System for HRML with Extended Hoare Logic.

Ningning Chen, Huibiao Zhu, Huixing Fang

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP.

Lili Xiao, Huibiao Zhu

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

Formal Modeling and Verification of ICN-IoT Middleware Architecture (S).

Hongqin Zhang, Jiaqi Yin, Huibiao Zhu, Ningning Chen

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Formalization and Verification of Dubbo Using CSP.

Zhiru Hou, Jiaqi Yin, Huibiao Zhu

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Formalization and Verification of Group Communication CoAP Using CSP.

Sini Chen, Ran Li, Huibiao Zhu

Proceedings of the Parallel and Distributed Computing, Applications and Technologies, 2021

Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP.

Chen Zhao, Jiaqi Yin, Huibiao Zhu, Ran Li

Proceedings of the 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, 2021

Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP.

Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao

Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021

PSTM Transaction Scheduler Verification Based on CSP and Testing.

Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu

Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021

SC4MEC: Automated Implementation of A Secure Hierarchical Calculus for Mobile Edge Computing.

Jiaqi Yin, Huibiao Zhu, Yuan Fei

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Moded and Continuous Abstract State Machines.

Richard Banach, Huibiao Zhu

Proceedings of the Logic, Computation and Rigorous Methods, 2021

2020

Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra.

Shuangqing Xiang, Huibiao Zhu, Xi Wu, Lili Xiao, Marcello M. Bonsangue, Wanling Xie, Lei Zhang

Sci. Comput. Program., 2020

Formalization and Analysis of Haystack Architecture from Process Algebra Perspective.

Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh

Mob. Networks Appl., 2020

Security Analysis of the Access Control Solution of NDN Using BAN Logic.

Yuan Fei, Huibiao Zhu, Phan Cong Vinh

Mob. Networks Appl., 2020

Formal analysis and verification of the PSTM architecture using CSP.

Ailun Liu, Huibiao Zhu, Miroslav Popovic, Shuangqing Xiang, Lei Zhang

J. Syst. Softw., 2020

Specification and Verification of the Zab Protocol with TLA+.

Jiaqi Yin, Huibiao Zhu, Yuan Fei

J. Comput. Sci. Technol., 2020

Event-based functional decomposition.

Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Shi Zhang, Ping Gong, Zhong Hong

Inf. Comput., 2020

Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP.

Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen

Formal Aspects Comput., 2020

Modeling and Analysis of RabbitMQ Using UPPAAL.

Ran Li, Jiaqi Yin, Huibiao Zhu

Proceedings of the 19th IEEE International Conference on Trust, 2020

An Axiomatic Approach to BigrTiMo.

Wanling Xie, Huibiao Zhu, Shengchao Qin

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

Modeling and Verifying NDN-based IoV Using CSP.

Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

Formal Modelling and Verification of MCAC Router Architecture in ICN.

Junya Xu, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

Formalization and Verification of VANET.

Ran Li, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

Modeling and Verifying Data Access Mechanism of NLSR Trust Model.

Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

Toward a Unified Executable Formal Automobile OS Kernel and Its Applications.

Xiaoran Zhu, Min Zhang, Jian Guo, Xin Li, Huibiao Zhu, Jifeng He

IEEE Trans. Reliab., 2019

Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL.

Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen

ACM Trans. Softw. Eng. Methodol., 2019

Isolation Modeling and Analysis Based on Mobility.

Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Zhong Hong, Shi Zhang, Ping Gong

ACM Trans. Softw. Eng. Methodol., 2019

Formal Verification of mCWQ Using Extended Hoare Logic.

Wanling Xie, Huibiao Zhu, Xi Wu, Phan Cong Vinh

Mob. Networks Appl., 2019

Modeling and Verifying Basic Modules of Floodlight.

Shuangqing Xiang, Xi Wu, Huibiao Zhu, Wanling Xie, Lili Xiao, Phan Cong Vinh

Mob. Networks Appl., 2019

Formalization and Verification of TESAC Using CSP.

Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin

Int. J. Softw. Eng. Knowl. Eng., 2019

UTP Semantics of a Calculus for Mobile Ad Hoc Networks.

Xi Wu, Huibiao Zhu, Wanling Xie

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

A Logical Approach for the Schedulability Analysis of CCSL.

Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP.

Chao Xu, Xi Wu, Huibiao Zhu, Miroslav Popovic

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Verifying Opacity of a Modified PSTM.

Yucheng Fang, Huibiao Zhu, Jiaqi Yin

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Formalization and Verification of RTPS StatefulWriter Module Using CSP.

Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Modeling and Verifying TESAC Using CSP.

Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Verifying Static Aspects of UML models using Prolog (S).

Feng Sheng, Huibiao Zhu, Zongyuan Yang, Jiaqi Yin, Gang Lu

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

PDNet: A Programming Language for Software-Defined Networks with VLAN.

Shuangqing Xiang, Marcello M. Bonsangue, Huibiao Zhu

Proceedings of the Formal Methods and Software Engineering, 2019

A Security Calculus for Wireless Networks of Named Data Networking.

Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin

Proceedings of the Formal Methods and Software Engineering, 2019

Modeling and Verifying Storm Using CSP.

Hongyan Zhao, Huibiao Zhu, Yucheng Fang, Lili Xiao

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

Modeling and Verifying Spark on YARN Using Process Algebra.

Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

Towards the Mechanized Semantics and Refinement of UML Class Diagrams.

Feng Sheng, Huibiao Zhu, Zongyuan Yang

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming.

Yifan Zhang, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, Xuandong Li

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Comparative modelling and verification of Pthreads and Dthreads.

Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang, Shengchao Qin

J. Softw. Evol. Process., 2018

Formal analysis of a calculus for WSNs from quality perspective.

Xi Wu, Huibiao Zhu

Sci. Comput. Program., 2018

Formal Analysis of the PKMv3 Protocol.

Xiaoran Zhu, Yuanmin Xu, Xin Li, Jian Guo, Huibiao Zhu, Phan Cong Vinh

Mob. Networks Appl., 2018

Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP.

Huiwen Wang, Huibiao Zhu, Lili Xiao, Yuan Fei

Int. J. Softw. Eng. Knowl. Eng., 2018

A UTP approach for rTiMo.

Wanling Xie, Shuangqing Xiang, Huibiao Zhu

Formal Aspects Comput., 2018

Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks.

Shuangqing Xiang, Huibiao Zhu, Lili Xiao, Wanling Xie

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Modeling and Verification of NLSR Protocol using UPPAAL.

Yuan Fei, Huibiao Zhu, Xin Li

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

A Fully Abstract Encoding for Sub Asynchronous Pi Calculus.

Wenjun Du, Zhengfeng Yang, Huibiao Zhu

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Security Analysis of the Access Control Solution of NDN Using BAN Logic (S).

Yuan Fei, Huibiao Zhu, Huiwen Wang

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Modeling and Verifying Leader Election Algorithm in CSP (S).

Yucheng Fang, Huibiao Zhu, Huiwen Wang

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Modeling and verifying SDN with multiple controllers.

Lili Xiao, Shuangqing Xiang, Huibiao Zhu

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

UTP Semantics for BigrTiMo.

Wanling Xie, Huibiao Zhu, Shengchao Qin

Proceedings of the Formal Methods and Software Engineering, 2018

Modeling and Verifying NDN Access Control Using CSP.

Yuan Fei, Huibiao Zhu

Proceedings of the Formal Methods and Software Engineering, 2018

Assertional Reasoning for Concurrent and Communicating BPEL-like Programs.

Longfei Zhu, Qiwen Xu, Huibiao Zhu

Proceedings of the Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems, 2018

Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude.

Wanling Xie, Huibiao Zhu, Min Zhang, Gang Lu, Yucheng Fang

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using CSP.

Huiwen Wang, Huibiao Zhu, Lili Xiao, Wanling Xie, Gang Lu

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Modeling and Verifying MooseFS in CSP.

Yucheng Fang, Huibiao Zhu, Gang Lu, Lili Xiao, Wanling Xie

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Modeling and analysis of the disruptor framework in CSP.

Yucheng Fang, Huibiao Zhu, Frank Zeyda, Yuan Fei

Proceedings of the IEEE 8th Annual Computing and Communication Workshop and Conference, 2018

2017

Event-Based Mobility Modeling and Analysis.

Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong, Donghuo Chen

ACM Trans. Cyber Phys. Syst., 2017

Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines.

Richard Banach, Michael J. Butler, Shengchao Qin, Huibiao Zhu

Sci. Comput. Program., 2017

Modeling and Verifying HDFS Using Process Algebra.

Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo, Phan Cong Vinh

Mob. Networks Appl., 2017

RunDroid: recovering execution call graphs for Android applications.

Yujie Yuan, Lihua Xu, Xusheng Xiao, Andy Podgurski, Huibiao Zhu

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems.

Wanling Xie, Huibiao Zhu, Qiwen Xu

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

A Proof System for MDESL.

Jianyu Lu, Wanling Xie, Huibiao Zhu, Yuan Fei

Proceedings of the Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, 2017

Formalization and Verification of the PKMv3 Protocol Using CSP.

Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

A Proof System for mCWQ.

Wanling Xie, Xi Wu, Huibiao Zhu, Gang Lu, Ailun Liu

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra.

Ailun Liu, Huibiao Zhu, Yuan Fei, Shuangqing Xiang, Gang Lu, Wanling Xie

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Assertion-Based Reasoning Method for Calculus of Wireless System.

Luyao Wang, Wanling Xie, Huibiao Zhu

Proceedings of the Models, Algorithms, Logics and Tools, 2017

Modeling and Verifying Identity Authentication Security of HDFS Using CSP.

Chao Xu, Huibiao Zhu, Wanling Xie

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

Formalization and Verification of the PSTM Architecture.

Ailun Liu, Miroslav Popovic, Huibiao Zhu

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

Multiphase until formulas over Markov reward models: An algebraic approach.

Ming Xu, Lijun Zhang, David N. Jansen, Huibiao Zhu, Zongyuan Yang

Theor. Comput. Sci., 2016

SMT-Based Symbolic Encoding and Formal Analysis of HML Models.

Huixing Fang, Huibiao Zhu, Jifeng He

Mob. Networks Appl., 2016

Developments in concurrent Kleene algebra.

Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu

J. Log. Algebraic Methods Program., 2016

Formalization and analysis of the REST architecture from the process algebra perspective.

Xi Wu, Huibiao Zhu

Future Gener. Comput. Syst., 2016

An SMT-Based Approach to the Formal Analysis of MARTE/CCSL.

Min Zhang, Frédéric Mallet, Huibiao Zhu

Proceedings of the Formal Methods and Software Engineering, 2016

Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks.

Xi Wu, Yongxin Zhao, Huibiao Zhu

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Comparative Modeling and Verification of Pthreads and Dthreads.

Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems.

Richard Banach, Huibiao Zhu

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

Modeling and Verifying HDFS Using CSP.

Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Model-Based Continuous Verification.

Lingling Fan, Sen Chen, Lihua Xu, Zongyuan Yang, Huibiao Zhu

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015

Analyzing Event-Based Scheduling in Concurrent Reactive Systems.

Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong

ACM Trans. Embed. Comput. Syst., 2015

Core Hybrid Event-B I: Single Hybrid Event-B machines.

Richard Banach, Michael J. Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu

Sci. Comput. Program., 2015

Semantic theories of programs with nested interrupts.

Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin

Frontiers Comput. Sci., 2015

Denotational semantics and its algebraic derivation for an event-driven system-level language.

Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke

Formal Aspects Comput., 2015

Formal Verification of PKMv3 Protocol Using DT-Spin.

Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

A SAT-Based Analysis of a Calculus for Wireless Sensor Networks.

Xi Wu, Hanne Riis Nielson, Huibiao Zhu

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems.

Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Verification for OAuth Using ASLan++.

Haixing Yan, Huixing Fang, Christian Kuka, Huibiao Zhu

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

A Calculus for Wireless Sensor Networks from Quality Perspective.

Xi Wu, Huibiao Zhu

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Modeling and Verifying the Ballooning in Xen with CSP.

Luyao Wang, Fengwei Sui, Yanhong Huang, Huibiao Zhu

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Formalization and Verification of REST Architecture in Viewpoints.

Yiting Tang, Xi Wu, Huibiao Zhu, Jian Guo

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Modeling and Verifying Google File System.

Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

An Object-Oriented Language for Modeling of Hybrid Systems.

Huixing Fang, Huibiao Zhu, Jianqi Shi

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Probabilistic Analysis of a Calculus for Wireless Sensor Networks.

Xi Wu, Huibiao Zhu

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2014

A Continuous ASM Modelling Approach to Pacemaker Sensing.

Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu

ACM Trans. Softw. Eng. Methodol., 2014

Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study.

Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang

Int. J. Softw. Tools Technol. Transf., 2014

Formal verification and simulation for platform screen doors and collision avoidance in subway control systems.

Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David

Int. J. Softw. Tools Technol. Transf., 2014

Formalizing hybrid systems with Event-B and the Rodin Platform.

Wen Su, Jean-Raymond Abrial, Huibiao Zhu

Sci. Comput. Program., 2014

ASM, controller synthesis, and complete refinement.

Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu

Sci. Comput. Program., 2014

A formal framework for service mashups with dynamic service selection.

Qin Li, Jianqi Shi, Huibiao Zhu

Innov. Syst. Softw. Eng., 2014

Investigating System Survivability from a Probabilistic Perspective.

Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu

IEICE Trans. Inf. Syst., 2014

A UTP semantic model for Orc language with execution status and fault handling.

Qin Li, Yongxin Zhao, Huibiao Zhu, Jifeng He

Frontiers Comput. Sci., 2014

Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application.

Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang

Formal Aspects Comput., 2014

A Formal Model for a Hybrid Programming Language.

Longfei Zhu, Qiwen Xu, Jifeng He, Huibiao Zhu

Proceedings of the Unifying Theories of Programming - 5th International Symposium, 2014

Observation-Oriented Semantics for Calculus of Wireless Systems.

Xiaofeng Wu, Huibiao Zhu, Xi Wu

Proceedings of the Unifying Theories of Programming - 5th International Symposium, 2014

Modeling and Verifying the TTCAN Protocol Using Timed CSP.

Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Configuration of Services Based on Virtualization.

Jianmin Jiang, Huibiao Zhu, Qin Li, Shi Zhang, Ping Gong, Zhong Hong

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Reasoning about Group-Based Mobility in MANETs.

Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems.

Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

Developments in Concurrent Kleene Algebra.

Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Formalization and Verification of REST on HTTP Using CSP.

Ting Yuan, Yiting Tang, Xi Wu, Yue Zhang, Huibiao Zhu, Jian Guo, Weijun Qin

Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

Modeling and Verification of CAN Bus with Application Layer using UPPAAL.

Can Pan, Jian Guo, Longfei Zhu, Jianqi Shi, Huibiao Zhu, Xinyun Zhou

Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

Apricot - An Object-Oriented Modeling Language for Hybrid Systems

Huixing Fang, Huibiao Zhu, Jianqi Shi

CoRR, 2013

Modeling and verifying the Ariadne protocol using process algebra.

Xi Wu, Huibiao Zhu, Yongxin Zhao, Zheng Wang, Si Liu

Comput. Sci. Inf. Syst., 2013

A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude.

Longfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Formal Analysis of AODV Using Rely-Guarantee.

Xiaofeng Wu, Qiwen Xu, Huibiao Zhu

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

A Denotational Model for Interrupt-Driven Programs.

Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Linking Operational Semantics and Algebraic Semantics for Wireless Networks.

Xiaofeng Wu, Huibiao Zhu

Proceedings of the Formal Methods and Software Engineering, 2013

Formal Modelling and Analysis of AODV.

Xiaofeng Wu, Jeff W. Sanders, Huibiao Zhu

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude.

Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Using Daikon to Prioritize and Group Unit Bugs.

Nehul Jain, Saikat Dutta, Ansuman Banerjee, Anil Kumar Ghosh, Lihua Xu, Huibiao Zhu

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Towards a Modeling Language for Cyber-Physical Systems.

Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu

Proceedings of the Theories of Programming and Formal Methods, 2013

Linking the Semantics of BPEL Using Maude.

Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language.

Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin

J. Log. Algebraic Methods Program., 2012

Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study

Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang

CoRR, 2012

Formal Modeling and Analysis of the REST Architecture Using CSP.

Xi Wu, Yue Zhang, Huibiao Zhu, Yongxin Zhao, Zailiang Sun, Peng Liu

Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012

Denotational Semantics for a Probabilistic Timed Shared-Variable Language.

Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin

Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude.

Huibiao Zhu, Peng Liu, Jifeng He, Shengchao Qin

Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions.

Chengcheng Wu, Yongxin Zhao, Huibiao Zhu

Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study.

Ender Yüksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang, Flemming Nielson

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System.

Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Formal Verification and Simulation: Co-verification for Subway Control Systems.

Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs.

Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

A Denotational Model for Instantaneous Signal Calculus.

Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Investigating Time Properties of Interrupt-Driven Programs.

Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

Complementary Methodologies for Developing Hybrid Systems with Event-B.

Wen Su, Jean-Raymond Abrial, Huibiao Zhu

Proceedings of the Formal Methods and Software Engineering, 2012

xBIL - A Hardware Resource Oriented Binary Intermediate Language.

Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System.

Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Modeling and Verifying the Ariadne Protocol Using CSP.

Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao, Lei Chen

Proceedings of the IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, 2012

Continuous Behaviour in Event-B: A Sketch.

Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Continuous ASM, and a Pacemaker Sensing Fragment.

Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

ASM and Controller Synthesis.

Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Formalizing Hybrid Systems with Event-B.

Jean-Raymond Abrial, Wen Su, Huibiao Zhu

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

Algebraic approach to linking the semantics of web services.

Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen

Innov. Syst. Softw. Eng., 2011

Formalising the Continuous/Discrete Modeling Step

Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification.

Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Modeling and Analyzing the (mu)TESLA Protocol Using CSP.

Mengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Towards an Axiomatic Verification System for JavaScript.

Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Towards a Probabilistic Calculus for Mobile Ad Hoc Networks.

Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP.

Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Towards Denotational Semantics for Verilog in PVS.

Han Zhu, Huibiao Zhu, Si Liu, Jian Guo

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Formal Approaches to Wireless Sensor Networks.

Si Liu, Xiaofeng Wu, Qin Li, Huibiao Zhu, Qian Wang

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

From Requirements to Development: Methodology and Example.

Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu

Proceedings of the Formal Methods and Software Engineering, 2011

A Unifying Approach to Validating Specification-Oriented XML Constraints.

Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services.

Qian Wang, Huibiao Zhu

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective.

Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Formal Approaches to Mode Conversion and Positioning for Vehicle System.

Wen Su, Fan Yang, Xiaofeng Wu, Jian Guo, Huibiao Zhu

Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010

Web services choreography validation.

Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu

Serv. Oriented Comput. Appl., 2010

Linking denotational semantics with operational semantics for web services.

Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen

Innov. Syst. Softw. Eng., 2010

Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language.

Huibiao Zhu, Fan Yang, Jifeng He

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Towards a Pomset Semantics for a Shared-Variable Parallel Language.

Yongxin Zhao, Xu Wang, Huibiao Zhu

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

A Formal Model for Service Choreography with Exception Handling and Finalization.

Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Probabilistic Model of System Survivability.

Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

A Denotational Semantical Model for Orc Language.

Qin Li, Huibiao Zhu, Jifeng He

Proceedings of the Theoretical Aspects of Computing, 2010

Formal Approaches to Location Management in Mobile Communications.

Juanhua Kang, Qin Li, Huibiao Zhu, Wenjuan Wu

Proceedings of the Distributed Computing and Internet Technology, 2010

Formalizing MapReduce with CSP.

Fan Yang, Wen Su, Huibiao Zhu, Qin Li

Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System.

Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li

Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

2009

PTSC: probability, time and shared-variable concurrency.

Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen

Innov. Syst. Softw. Eng., 2009

Modeling MapReduce with CSP.

Wen Su, Fan Yang, Huibiao Zhu, Qin Li

Proceedings of the TASE 2009, 2009

Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources.

Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li

Proceedings of the TASE 2009, 2009

Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language.

Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders

Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009

Towards Specification and Refinement of Contracts with Environment Changes.

Qin Li, Huibiao Zhu

Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009

Formal Approaches to SMS Service Based on Pi Calculus.

Hongyan Mao, Ningkang Jiang, Qin Li, Huibiao Zhu

Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009

Formal Modeling and Analyzing Kerberos Protocol.

Qin Li, Fan Yang, Huibiao Zhu, Longfei Zhu

Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language.

Huibiao Zhu, Yongxin Zhao, Jifeng He

Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

A Formal Perspective for Service Coordination Framework in Service Oriented Architecture.

Qin Li, Huibiao Zhu, Jifeng He

Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2008

From algebraic semantics to denotational semantics for Verilog.

Huibiao Zhu, Jifeng He, Jonathan P. Bowen

Innov. Syst. Softw. Eng., 2008

Denotational Approach to an Event-Driven System-Level Language.

Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin

Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions.

Naiyong Jin, Huibiao Zhu

Proceedings of the Leveraging Applications of Formal Methods, 2008

An Observational Model for Transactional Calculus of Services Orchestration.

Jing Li, Huibiao Zhu, Jifeng He

Proceedings of the Theoretical Aspects of Computing, 2008

A Denotational Model for Web Services Choreography.

Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He

Proceedings of the Distributed Computing and Internet Technology, 2008

Towards the Service Composition Through Buses.

Qin Li, Huibiao Zhu, Jifeng He

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

Specifying and Verifying Web Transactions.

Jing Li, Huibiao Zhu, Jifeng He

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Execution Semantics for rCOS.

Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007

A model for BPEL-like languages.

Jifeng He, Huibiao Zhu, Geguang Pu

Frontiers Comput. Sci. China, 2007

Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers.

Qin Li, Huibiao Zhu, Jing Li, Jifeng He

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Conformance Validation between Choreography and Orchestration.

Jing Li, Huibiao Zhu, Geguang Pu

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

An Operational Approach to BPEL-like Programming.

Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.

Huibiao Zhu, Jifeng He, Jonathan P. Bowen

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Looking into Compensable Transactions.

Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

An Inconsistency Free Formalization of B/S Architecture.

Qin Li, Huibiao Zhu, Jifeng He

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Modeling and Verifying Web Services Choreography Using Process Algebra.

Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Algebraic Semantics for Compensable Transactions.

Jing Li, Huibiao Zhu, Jifeng He

Proceedings of the Theoretical Aspects of Computing, 2007

A Formal Model for Compensable Transactions.

Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Unifying Denotational Semantics with Operational Semantics for Web Services.

Huibiao Zhu, Jifeng He, Jing Li

Proceedings of the Distributed Computing and Internet Technology, 2007

Tool Support for BPEL Verification in ActiveBPEL Engine.

Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

2006

Integrating Probability with Time and Shared-Variable Concurrency.

Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

An Operational Semantics of an Event-Driven System-Level Simulator.

Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Patterns with Algebraic Properties in BPEL0.

Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao

Proceedings of the Leveraging Applications of Formal Methods, 2006

Towards the Semantics for Web Service Choreography Description Language.

Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu

Proceedings of the Formal Methods and Software Engineering, 2006

Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service.

Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

A Denotational Approach to Scope-Based Compensable Flow Language for Web Service.

Huibiao Zhu, Geguang Pu, Jifeng He

Proceedings of the Advances in Computer Science, 2006

2005

Linking the semantics of a multithreaded discrete event simulation language.

Huibiao Zhu

PhD thesis, 2005

2002

Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics.

Huibiao Zhu, Jonathan P. Bowen, Jifeng He

Proceedings of the Formal Methods and Software Engineering, 2002

2001

From Operational Semantics to Denotational Semantics for Verilog.

Huibiao Zhu, Jonathan P. Bowen, Jifeng He

Proceedings of the Correct Hardware Design and Verification Methods, 2001

Deriving Operational Semantics from Denotational Semantics for Verilog.

Huibiao Zhu, Jonathan P. Bowen, Jifeng He

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000

Formalising VERILOG.

Jifeng He, Huibiao Zhu

Proceedings of the 2000 7th IEEE International Conference on Electronics, 2000