| Publication | Date of Publication | Type |
|---|
| Empowering the Event-B method using external theories | 2022-08-19 | Paper |
| Towards leveraging domain knowledge in state-based formal methods | 2022-03-22 | Paper |
| scientific article; zbMATH DE number 7453194 (Why is no real title available?) | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7453194 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
| Verification by construction of distributed algorithms | 2019-12-12 | Paper |
Incremental parametric development of greedy algorithms
Electronic Notes in Theoretical Computer Science | 2015-03-18 | Paper |
Proof-based design of security protocols
Computer Science – Theory and Applications | 2010-06-22 | Paper |
Cryptographic Protocols Analysis in Event B
Perspectives of Systems Informatics | 2010-02-02 | Paper |
Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm
Theoretical Computer Science | 2007-01-09 | Paper |
| scientific article; zbMATH DE number 2172802 (Why is no real title available?) | 2006-06-02 | Paper |
| scientific article; zbMATH DE number 2227867 (Why is no real title available?) | 2005-11-10 | Paper |
| scientific article; zbMATH DE number 2100579 (Why is no real title available?) | 2004-09-14 | Paper |
Incremental Proof of the Producer/Consumer Property for the PCI Protocol
ZB 2002:Formal Specification and Development in Z and B | 2004-08-03 | Paper |
| scientific article; zbMATH DE number 2079826 (Why is no real title available?) | 2004-07-30 | Paper |
| scientific article; zbMATH DE number 2013597 (Why is no real title available?) | 2003-12-04 | Paper |
A mechanically proved and incremental development of IEEE 1394 tree identify protocol
Formal Aspects of Computing | 2003-08-27 | Paper |
| scientific article; zbMATH DE number 1630110 (Why is no real title available?) | 2001-10-23 | Paper |
Diagram refinements for the design of reactive systems
Journal of Universal Computer Science | 2001-08-13 | Paper |
| scientific article; zbMATH DE number 1487731 (Why is no real title available?) | 2000-08-10 | Paper |
| scientific article; zbMATH DE number 1487744 (Why is no real title available?) | 2000-08-10 | Paper |
| scientific article; zbMATH DE number 1487859 (Why is no real title available?) | 2000-08-10 | Paper |
On using temporal logic for refinement and compositional verification of concurrent systems
Theoretical Computer Science | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 140005 (Why is no real title available?) | 1993-03-28 | Paper |
The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\)
Theoretical Computer Science | 1992-09-26 | Paper |
Méthode axiomatique sur les propriétés de fatalité des programmes parallèles
RAIRO - Theoretical Informatics and Applications | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4001471 (Why is no real title available?) | 1986-01-01 | Paper |
