| Publication | Date of Publication | Type |
|---|
| Proving that programs are differentially private | 2024-04-19 | Paper |
| scientific article; zbMATH DE number 7830358 (Why is no real title available?) | 2024-04-10 | Paper |
| Categorical Information Flow | 2024-03-14 | Paper |
| Real-reward testing for probabilistic processes (extended abstract) | 2021-03-10 | Paper |
Quantitative Information Flow with Monads in Haskell
Foundations of Probabilistic Programming | 2021-02-16 | Paper |
Program algebra for quantitative information flow
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
Abstract hidden Markov models: a monadic account of quantitative information flow
(available as arXiv preprint) | 2019-05-17 | Paper |
Abstract hidden Markov models: a monadic account of quantitative information flow
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| A demonic lattice of information | 2018-03-26 | Paper |
Algebra for quantitative information flow
Relational and Algebraic Methods in Computer Science | 2017-07-21 | Paper |
Results on the quantitative \(\mu\)-calculus \(qM\mu\)
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
A Kantorovich-monadic powerdomain for information hiding, with probability and nondeterminism
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Proof of OS scheduling behavior in the presence of interrupt-induced concurrency
Interactive Theorem Proving | 2016-10-27 | Paper |
How to brew-up a refinement ordering
Electronic Notes in Theoretical Computer Science | 2016-08-01 | Paper |
Hidden-Markov program algebra with iteration
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
Abstractions of non-interference security: probabilistic versus possibilistic
Formal Aspects of Computing | 2015-03-25 | Paper |
Real-reward testing for probabilistic processes
Theoretical Computer Science | 2014-06-06 | Paper |
Remarks on testing probabilistic processes
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| Memoryless strategies for stochastic games via domain theory | 2013-09-26 | Paper |
| Probabilistic guarded commands mechanized in HOL | 2013-09-20 | Paper |
Elementary probability theory in the Eindhoven style
Lecture Notes in Computer Science | 2012-09-05 | Paper |
Compositional refinement in agent-based security protocols
Formal Aspects of Computing | 2012-07-03 | Paper |
Compositional noninterference from first principles
Formal Aspects of Computing | 2012-07-03 | Paper |
The Thousand-and-One Cryptographers
Reflections on the Work of C.A.R. Hoare | 2010-10-26 | Paper |
Linear-invariant generation for probabilistic programs: automated support for proof-based methods
Static Analysis | 2010-10-01 | Paper |
Compositional closure for Bayes risk in probabilistic noninterference
Automata, Languages and Programming | 2010-09-07 | Paper |
An elementary proof that Herman's ring is \(\Theta (N^{2})\)
Information Processing Letters | 2009-12-04 | Paper |
Testing Finitary Probabilistic Processes
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
The shadow knows: refinement and security in sequential programs
Science of Computer Programming | 2009-07-24 | Paper |
Characterising Testing Preorders for Finite Probabilistic Processes
Logical Methods in Computer Science | 2009-04-29 | Paper |
The Shadow Knows: Refinement of Ignorance in Sequential Programs
Lecture Notes in Computer Science | 2009-04-02 | Paper |
Scalar Outcomes Suffice for Finitary Probabilistic Testing
Programming Languages and Systems | 2007-09-04 | Paper |
Probabilistic guarded commands mechanized in HOL
Theoretical Computer Science | 2005-12-29 | Paper |
Communicating Sequential Processes. The First 25 Years
Lecture Notes in Computer Science | 2005-11-29 | Paper |
ZB 2005: Formal Specification and Development in Z and B
Lecture Notes in Computer Science | 2005-11-10 | Paper |
ZB 2005: Formal Specification and Development in Z and B
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Abstraction, Refinement and Proof for Probabilistic Systems
Monographs in Computer Science | 2005-02-11 | Paper |
| scientific article; zbMATH DE number 2013586 (Why is no real title available?) | 2003-12-04 | Paper |
| scientific article; zbMATH DE number 2013585 (Why is no real title available?) | 2003-12-04 | Paper |
| scientific article; zbMATH DE number 1980933 (Why is no real title available?) | 2003-09-15 | Paper |
Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL
Theoretical Computer Science | 2003-07-01 | Paper |
Partial correctness for probabilistic demonic programs
Theoretical Computer Science | 2002-03-03 | Paper |
| Almost-certain eventualities and abstract probabilities in the temporal logic PTL | 2001-05-08 | Paper |
Hierarchical reasoning in probabilistic CSP
Programming and Computer Software | 2001-04-26 | Paper |
Demonic, angelic and unbounded probabilistic choices in sequential programs
Acta Informatica | 2001-02-20 | Paper |
| scientific article; zbMATH DE number 1303997 (Why is no real title available?) | 1999-06-17 | Paper |
An expectation-transformer model for probabilistic temporal logic
Logic Journal of the IGPL | 1999-01-01 | Paper |
| scientific article; zbMATH DE number 1104375 (Why is no real title available?) | 1998-04-15 | Paper |
| scientific article; zbMATH DE number 1104374 (Why is no real title available?) | 1998-03-30 | Paper |
| scientific article; zbMATH DE number 1104373 (Why is no real title available?) | 1998-01-14 | Paper |
Refinement-oriented probability for CSP
Formal Aspects of Computing | 1997-03-31 | Paper |
Unifying wp and wlp
Information Processing Letters | 1997-02-27 | Paper |
Exits in the refinement calculus
Formal Aspects of Computing | 1995-05-11 | Paper |
| scientific article; zbMATH DE number 605806 (Why is no real title available?) | 1994-07-13 | Paper |
A single complete rule for data refinement
Formal Aspects of Computing | 1993-09-15 | Paper |
| scientific article; zbMATH DE number 46740 (Why is no real title available?) | 1993-01-23 | Paper |
Data refinement of predicate transformers
Theoretical Computer Science | 1992-06-26 | Paper |
The specification statement
ACM Transactions on Programming Languages and Systems | 1992-06-25 | Paper |
Data refinement by calculation
Acta Informatica | 1990-01-01 | Paper |
Types and invariants in the refinement calculus
Science of Computer Programming | 1990-01-01 | Paper |
Auxiliary variables in data refinement
Information Processing Letters | 1988-01-01 | Paper |
Procedures, parameters, and abstraction: Separate concerns
Science of Computer Programming | 1988-01-01 | Paper |
Laws of programming
Communications of the ACM | 1987-01-01 | Paper |
Corrigenda: laws of programming
Communications of the ACM | 1987-01-01 | Paper |
Specification statements and refinement
IBM Journal of Research and Development | 1987-01-01 | Paper |
Specification of the UNIX Filing System
IEEE Transactions on Software Engineering | 1984-01-01 | Paper |
