Huibiao Zhu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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
Observation-Oriented Semantics for Calculus of Wireless Systems	2016-06-22	Paper
A Formal Model for a Hybrid Programming Language	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
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
Denotational Semantics for a Probabilistic Timed Shared-Variable Language	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
Towards a Pomset Semantics for a Shared-Variable Parallel Language	2010-11-09	Paper
Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language	2010-11-09	Paper
Denotational Approach to an Event-Driven System-Level Language	2010-08-31	Paper
A Denotational Semantical Model for Orc 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Huibiao Zhu