| 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 |
| https://portal.mardi4nfdi.de/entity/Q5283016 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5490385 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4673418 | 2005-04-29 | Paper |
| Advanced features of duration calculus and their applications in sequential hybrid programs | 2005-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412559 | 2003-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412491 | 2003-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412558 | 2003-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412546 | 2003-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4787253 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4493904 | 2000-11-16 | Paper |
| Linking theories in probabilistic programming | 2000-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934618 | 2000-01-17 | Paper |
| The Rely-Guarantee method for verifying shared variable concurrent programs | 1997-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536898 | 1997-01-01 | Paper |
| Specification, verification and prototyping of an optimized compiler | 1995-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4315825 | 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 |
| https://portal.mardi4nfdi.de/entity/Q3740201 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3763567 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3713577 | 1986-01-01 | Paper |
| General predicate transformer and the semantics of a programming language with go to statement | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3309038 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3309039 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3040553 | 1980-01-01 | Paper |
