| Publication | Date of Publication | Type |
|---|
| The stochastic semantics and verification for periodic control systems | 2022-10-28 | Paper |
| Theoretical and practical approaches to the denotational semantics for MDESL based on UTP | 2020-09-09 | Paper |
| Accelerating LTL satisfiability checking by SAT solvers | 2019-01-31 | Paper |
| A UTP semantic model for Orc language with execution status and fault handling | 2018-12-19 | Paper |
| Safety verification of interconnected hybrid systems using barrier certificates | 2018-10-12 | Paper |
| An explicit transition system construction approach to LTL satisfiability checking | 2018-03-29 | Paper |
| \(\mathrm{LTL}_{f}\) satisfiability checking | 2017-07-18 | 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 |
| 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 |
| Integrating time and resource into Circus | 2013-09-26 | Paper |
| On the relationship between LTL normal forms and Büchi automata | 2013-08-16 | Paper |
| Convergence and optimality of BS-type discrete hedging strategy under stochastic interest rate | 2012-03-29 | 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 |
| A denotational semantical model for Orc language | 2010-08-31 | Paper |
| Denotational Approach to an Event-Driven System-Level Language | 2010-08-31 | Paper |
| CSP is a retract of CCS | 2010-03-29 | Paper |
| An Observational Model for Transactional Calculus of Services Orchestration | 2009-01-27 | Paper |
| Service refinement | 2008-11-10 | Paper |
| Algebraic Semantics for Compensable Transactions | 2008-09-17 | Paper |
| Linking Semantic Models | 2008-09-17 | Paper |
| A Model of Component-Based Programming | 2008-07-01 | Paper |
| Unifying Probability | 2007-09-14 | Paper |
| Constructing Property-Oriented Models for Verification | 2007-09-14 | Paper |
| CSP Is a Retract of CCS | 2007-09-14 | Paper |
| rCOS: a refinement calculus of object systems | 2006-12-07 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Exploring optimal solution to hardware/software partitioning for synchronous model | 2006-10-25 | Paper |
| A strategy for model construction and integration in MDA | 2006-10-04 | Paper |
| Theoretical Aspects of Computing - ICTAC 2004 | 2005-11-30 | Paper |
| Communicating Sequential Processes. The First 25 Years | 2005-11-29 | Paper |
| scientific article; zbMATH DE number 2163031 (Why is no real title available?) | 2005-04-29 | Paper |
| Advanced features of duration calculus and their applications in sequential hybrid programs | 2005-02-08 | Paper |
| scientific article; zbMATH DE number 1949640 (Why is no real title available?) | 2003-07-15 | Paper |
| scientific article; zbMATH DE number 1949597 (Why is no real title available?) | 2003-07-15 | Paper |
| scientific article; zbMATH DE number 1949639 (Why is no real title available?) | 2003-07-15 | Paper |
| scientific article; zbMATH DE number 1949632 (Why is no real title available?) | 2003-07-15 | Paper |
| scientific article; zbMATH DE number 1852174 (Why is no real title available?) | 2003-01-09 | Paper |
| An algebraic hardware/software partitioning algorithm | 2002-08-28 | Paper |
| An approach to the specification and verification of a hardware compilation scheme | 2002-07-22 | Paper |
| Unifying theories for logic programming | 2002-01-30 | Paper |
| scientific article; zbMATH DE number 1487495 (Why is no real title available?) | 2000-11-16 | Paper |
| Linking theories in probabilistic programming | 2000-01-30 | Paper |
| scientific article; zbMATH DE number 1390329 (Why is no real title available?) | 2000-01-17 | Paper |
| The Rely-Guarantee method for verifying shared variable concurrent programs | 1997-11-10 | Paper |
| scientific article; zbMATH DE number 1759984 (Why is no real title available?) | 1997-01-01 | Paper |
| Specification, verification and prototyping of an optimized compiler | 1995-04-06 | Paper |
| scientific article; zbMATH DE number 702367 (Why is no real title available?) | 1994-12-12 | Paper |
| Normal form approach to compiler design | 1994-06-02 | Paper |
| From algebra to operational semantics | 1993-05-16 | Paper |
| Laws of programming | 1987-01-01 | Paper |
| Prespecification in data refinement | 1987-01-01 | Paper |
| The weakest prespecification | 1987-01-01 | Paper |
| Corrigenda: laws of programming | 1987-01-01 | Paper |
| Algebraic specification and proof of a distributed recovery algorithm | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3974258 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4020448 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3943003 (Why is no real title available?) | 1986-01-01 | Paper |
| General predicate transformer and the semantics of a programming language with go to statement | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3839298 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3839299 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3835381 (Why is no real title available?) | 1980-01-01 | Paper |
