| Publication | Date of Publication | Type |
|---|
Compositional reasoning for non-multicopy atomic architectures
Formal Aspects of Computing | 2024-09-25 | Paper |
Value-dependent information-flow security on weak memory models
| 2024-03-14 | Paper |
An Observational Approach to Defining Linearizability on Weak Memory Models
Formal Techniques for Distributed Objects, Components, and Systems | 2022-06-15 | Paper |
A wide-spectrum language for verification of programs on weak memory models
| 2021-05-04 | Paper |
Linearizability on hardware weak memory models
Formal Aspects of Computing | 2020-07-27 | Paper |
A framework for correctness criteria on weak memory models
FM 2015: Formal Methods | 2019-12-19 | Paper |
Model checking simulation rules for linearizability
Software Engineering and Formal Methods | 2018-07-06 | Paper |
Relating trace refinement and linearizability
Formal Aspects of Computing | 2018-01-08 | Paper |
Refining autonomous agents with declarative beliefs and desires
Formal Aspects of Computing | 2017-04-03 | Paper |
Reasoning algebraically about refinement on TSO architectures
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
A Refinement Framework for Autonomous Agents
Lecture Notes in Computer Science | 2014-07-08 | Paper |
Model checking downward simulations
| 2013-12-04 | Paper |
Property transformation under specification change
Frontiers of Computer Science in China | 2013-07-04 | Paper |
Temporal-logic property preservation under Z refinement
Formal Aspects of Computing | 2013-03-22 | Paper |
State-bases approaches: from Z to Object-Z
| 2012-09-05 | Paper |
Emergence and refinement
Formal Aspects of Computing | 2012-07-03 | Paper |
Model checking action system refinements
Formal Aspects of Computing | 2009-05-27 | Paper |
A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems
Lecture Notes in Computer Science | 2009-03-06 | Paper |
Verifying data refinements using a model checker
Formal Aspects of Computing | 2006-11-17 | Paper |
ZB 2005: Formal Specification and Development in Z and B
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Structural refinement of systems specified in Object-Z and CSP
Formal Aspects of Computing | 2005-02-08 | Paper |
scientific article; zbMATH DE number 2086956 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2079996 (Why is no real title available?)
| 2004-08-03 | Paper |
scientific article; zbMATH DE number 2079816 (Why is no real title available?)
| 2004-07-30 | Paper |
scientific article; zbMATH DE number 2079811 (Why is no real title available?)
| 2004-07-30 | Paper |
scientific article; zbMATH DE number 2013587 (Why is no real title available?)
| 2003-12-04 | Paper |
scientific article; zbMATH DE number 2013588 (Why is no real title available?)
| 2003-12-04 | Paper |
scientific article; zbMATH DE number 1949592 (Why is no real title available?)
| 2003-07-15 | Paper |
scientific article; zbMATH DE number 1949638 (Why is no real title available?)
| 2003-07-15 | Paper |
An introduction to Real-Time Object-Z.
Formal Aspects of Computing | 2002-09-09 | Paper |
scientific article; zbMATH DE number 1751887 (Why is no real title available?)
| 2002-06-06 | Paper |
Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
Formal Methods in System Design | 2001-09-09 | Paper |
scientific article; zbMATH DE number 1487727 (Why is no real title available?)
| 2001-03-04 | Paper |
scientific article; zbMATH DE number 1487946 (Why is no real title available?)
| 2000-08-10 | Paper |
scientific article; zbMATH DE number 1409638 (Why is no real title available?)
| 2000-03-02 | Paper |
A blocking model for reactive objects
Formal Aspects of Computing | 1996-07-23 | Paper |
