# Huibiao Zhu

Affiliations:- East China Normal University, Shanghai, China

According to our database

Collaborative distances:

^{1}, Huibiao Zhu authored at least 241 papers between 2000 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### Online presence:

#### On csauthors.net:

## Bibliography

2024

Frontiers Comput. Sci., April, 2024

2023

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

Internet Things, October, 2023

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

Comput. Sci. Inf. Syst., 2023

Comput. Sci. Inf. Syst., 2023

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

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

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

Proceedings of the Theories of Programming and Formal Methods, 2023

2022

J. Softw. Evol. Process., 2022

Mob. Networks Appl., 2022

Mob. Networks Appl., 2022

J. Syst. Archit., 2022

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

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.

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

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

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

Proceedings of the Formal Methods and Software Engineering, 2022

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

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

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

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

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

2021

J. Softw. Evol. Process., 2021

Sci. Comput. Program., 2021

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

Mob. Networks Appl., 2021

J. Comput. Sci. Technol., 2021

IEICE Trans. Inf. Syst., 2021

Formal Aspects Comput., 2021

Concurr. Comput. Pract. Exp., 2021

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

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

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

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

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

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

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

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

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.

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

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.

Sci. Comput. Program., 2020

Formalization and Analysis of Haystack Architecture from Process Algebra Perspective.

Mob. Networks Appl., 2020

Mob. Networks Appl., 2020

J. Syst. Softw., 2020

J. Comput. Sci. Technol., 2020

Inf. Comput., 2020

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

Formal Aspects Comput., 2020

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

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

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

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

2019

IEEE Trans. Reliab., 2019

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

ACM Trans. Softw. Eng. Methodol., 2019

ACM Trans. Softw. Eng. Methodol., 2019

Mob. Networks Appl., 2019

Mob. Networks Appl., 2019

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

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

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

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

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

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

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

Proceedings of the Formal Methods and Software Engineering, 2019

Proceedings of the Formal Methods and Software Engineering, 2019

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

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

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

2018

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

J. Softw. Evol. Process., 2018

Sci. Comput. Program., 2018

Mob. Networks Appl., 2018

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

Formal Aspects Comput., 2018

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

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

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

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

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

Proceedings of the Formal Methods and Software Engineering, 2018

Proceedings of the Formal Methods and Software Engineering, 2018

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.

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

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

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

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

2017

ACM Trans. Cyber Phys. Syst., 2017

Sci. Comput. Program., 2017

Mob. Networks Appl., 2017

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

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

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

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

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

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

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

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

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

2016

Theor. Comput. Sci., 2016

Mob. Networks Appl., 2016

J. Log. Algebraic Methods Program., 2016

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

Future Gener. Comput. Syst., 2016

Proceedings of the Formal Methods and Software Engineering, 2016

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

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

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

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

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

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

2015

ACM Trans. Embed. Comput. Syst., 2015

Sci. Comput. Program., 2015

Frontiers Comput. Sci., 2015

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

Formal Aspects Comput., 2015

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

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

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

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

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

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

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

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

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

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

2014

ACM Trans. Softw. Eng. Methodol., 2014

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

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

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

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

Sci. Comput. Program., 2014

Sci. Comput. Program., 2014

Innov. Syst. Softw. Eng., 2014

IEICE Trans. Inf. Syst., 2014

Frontiers Comput. Sci., 2014

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

Formal Aspects Comput., 2014

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

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

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

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

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.

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

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

2013

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

CoRR, 2013

Comput. Sci. Inf. Syst., 2013

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

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

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

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

Proceedings of the Formal Methods and Software Engineering, 2013

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.

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

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

Proceedings of the Theories of Programming and Formal Methods, 2013

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

2012

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

J. Log. Algebraic Methods Program., 2012

CoRR, 2012

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

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

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

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

Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions.

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

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.

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

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

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

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

Proceedings of the Formal Methods and Software Engineering, 2012

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

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

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

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

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

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

2011

Innov. Syst. Softw. Eng., 2011

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

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

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

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

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

Proceedings of the Formal Methods and Software Engineering, 2011

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.

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

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

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

2010

Serv. Oriented Comput. Appl., 2010

Innov. Syst. Softw. Eng., 2010

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

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

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

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

Proceedings of the Theoretical Aspects of Computing, 2010

Proceedings of the Distributed Computing and Internet Technology, 2010

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.

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

2009

Innov. Syst. Softw. Eng., 2009

Proceedings of the TASE 2009, 2009

Proceedings of the TASE 2009, 2009

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

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

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

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

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.

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

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

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

2008

Innov. Syst. Softw. Eng., 2008

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

Proceedings of the Leveraging Applications of Formal Methods, 2008

Proceedings of the Theoretical Aspects of Computing, 2008

Proceedings of the Distributed Computing and Internet Technology, 2008

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

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

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

2007

Frontiers Comput. Sci. China, 2007

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

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

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

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.

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

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

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

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

Proceedings of the Theoretical Aspects of Computing, 2007

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

Proceedings of the Distributed Computing and Internet Technology, 2007

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

2006

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

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

Proceedings of the Leveraging Applications of Formal Methods, 2006

Proceedings of the Formal Methods and Software Engineering, 2006

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

Proceedings of the Advances in Computer Science, 2006

2005

PhD thesis, 2005

2002

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

Proceedings of the Formal Methods and Software Engineering, 2002

2001

Proceedings of the Correct Hardware Design and Verification Methods, 2001

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

2000

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