| Publication | Date of Publication | Type |
|---|
The stochastic semantics and verification for periodic control systems
Science China Information Sciences | 2022-10-28 | Paper |
Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
Formal Aspects of Computing | 2020-09-09 | Paper |
Accelerating LTL satisfiability checking by SAT solvers
Journal Of Logic And Computation | 2019-01-31 | Paper |
A UTP semantic model for Orc language with execution status and fault handling
Frontiers of Computer Science | 2018-12-19 | Paper |
Safety verification of interconnected hybrid systems using barrier certificates
Mathematical Problems in Engineering | 2018-10-12 | Paper |
An explicit transition system construction approach to LTL satisfiability checking
Formal Aspects of Computing | 2018-03-29 | Paper |
| \(\mathrm{LTL}_{f}\) satisfiability checking | 2017-07-18 | Paper |
\(\mathrm{LTL}_{f}\) satisfiability checking
(available as arXiv preprint) | 2017-07-18 | Paper |
A formal model for a hybrid programming language
Unifying Theories of Programming | 2016-06-22 | Paper |
Denotational semantics and its algebraic derivation for an event-driven system-level language
Formal Aspects of Computing | 2016-01-06 | Paper |
Denotational semantics for a probabilistic timed shared-variable language
Unifying Theories of Programming | 2015-12-11 | Paper |
Mechanical approach to linking operational semantics and algebraic semantics for Verilog using Maude
Unifying Theories of Programming | 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
Theories of Programming and Formal Methods | 2013-08-16 | Paper |
Convergence and optimality of BS-type discrete hedging strategy under stochastic interest rate
Science China. Mathematics | 2012-03-29 | Paper |
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
The Journal of Logic and Algebraic Programming | 2011-12-19 | Paper |
Generating denotational semantics from algebraic semantics for event-driven system-level language
Unifying Theories of Programming | 2010-11-09 | Paper |
A denotational semantical model for Orc language
Lecture Notes in Computer Science | 2010-08-31 | Paper |
Denotational Approach to an Event-Driven System-Level Language
Unifying Theories of Programming | 2010-08-31 | Paper |
CSP is a retract of CCS
Theoretical Computer Science | 2010-03-29 | Paper |
An Observational Model for Transactional Calculus of Services Orchestration
Theoretical Aspects of Computing - ICTAC 2008 | 2009-01-27 | Paper |
Service refinement
Science in China. Series F | 2008-11-10 | Paper |
Algebraic Semantics for Compensable Transactions
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
Linking Semantic Models
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
A Model of Component-Based Programming
Lecture Notes in Computer Science | 2008-07-01 | Paper |
Unifying Probability
Unifying Theories of Programming | 2007-09-14 | Paper |
Constructing Property-Oriented Models for Verification
Unifying Theories of Programming | 2007-09-14 | Paper |
CSP Is a Retract of CCS
Unifying Theories of Programming | 2007-09-14 | Paper |
rCOS: a refinement calculus of object systems
Theoretical Computer Science | 2006-12-07 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Exploring optimal solution to hardware/software partitioning for synchronous model
Formal Aspects of Computing | 2006-10-25 | Paper |
| A strategy for model construction and integration in MDA | 2006-10-04 | Paper |
Theoretical Aspects of Computing - ICTAC 2004
Lecture Notes in Computer Science | 2005-11-30 | Paper |
Communicating Sequential Processes. The First 25 Years
Lecture Notes in Computer Science | 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
Formal Aspects of Computing | 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
Journal of Computer Science and Technology | 2002-08-28 | Paper |
An approach to the specification and verification of a hardware compilation scheme
The Journal of Supercomputing | 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
Information Sciences | 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
Formal Aspects of Computing | 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
Formal Aspects of Computing | 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
Acta Informatica | 1994-06-02 | Paper |
From algebra to operational semantics
Information Processing Letters | 1993-05-16 | Paper |
Laws of programming
Communications of the ACM | 1987-01-01 | Paper |
Prespecification in data refinement
Information Processing Letters | 1987-01-01 | Paper |
The weakest prespecification
Information Processing Letters | 1987-01-01 | Paper |
Corrigenda: laws of programming
Communications of the ACM | 1987-01-01 | Paper |
Algebraic specification and proof of a distributed recovery algorithm
Distributed Computing | 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 |
| 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 |
General predicate transformer and the semantics of a programming language with go to statement
Acta Informatica | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3835381 (Why is no real title available?) | 1980-01-01 | Paper |
