Huibiao Zhu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency	2024-06-25	Paper
Jifeng He at Oxford and beyond: an appreciation	2024-02-28	Paper
Denotational and algebraic semantics for the CaIT calculus	2023-07-28	Paper
Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP	2022-07-13	Paper
Moded and continuous abstract state machines	2022-03-22	Paper
A process calculus BigrTiMo of mobile systems and its formal semantics	2021-05-19	Paper
Theoretical and practical approaches to the denotational semantics for MDESL based on UTP	2020-09-09	Paper
Event-based functional decomposition	2020-03-12	Paper
Assertion-Based Reasoning Method for Calculus of Wireless System	2020-02-24	Paper
UTP semantics of a calculus for mobile ad hoc networks	2020-02-18	Paper
A UTP semantic model for Orc language with execution status and fault handling	2018-12-19	Paper
A UTP approach for rTiMo	2018-11-16	Paper
Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application	2016-08-05	Paper
Developments in concurrent Kleene algebra	2016-06-22	Paper
A Formal Model for a Hybrid Programming Language	2016-06-22	Paper
Observation-Oriented Semantics for Calculus of Wireless Systems	2016-06-22	Paper
Denotational semantics and its algebraic derivation for an event-driven system-level language	2016-01-06	Paper
Multiphase until formulas over Markov reward models: an algebraic approach	2015-12-15	Paper
Denotational Semantics for a Probabilistic Timed Shared-Variable Language	2015-12-11	Paper
Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude	2015-12-11	Paper
Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions	2015-12-11	Paper
Developments in Concurrent Kleene Algebra	2014-04-16	Paper
Towards a Modeling Language for Cyber-Physical Systems	2013-08-16	Paper
Investigating Time Properties of Interrupt-Driven Programs	2012-11-06	Paper
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language	2011-12-19	Paper
Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language	2010-11-09	Paper
Towards a Pomset Semantics for a Shared-Variable Parallel Language	2010-11-09	Paper
A Denotational Semantical Model for Orc Language	2010-08-31	Paper
Denotational Approach to an Event-Driven System-Level Language	2010-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q3597829	2009-02-09	Paper
An Observational Model for Transactional Calculus of Services Orchestration	2009-01-27	Paper
Algebraic Semantics for Compensable Transactions	2008-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q4412558	2003-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4787253	2003-01-09	Paper

Research outcomes over time

This page was built for person: Huibiao Zhu