| 2023 | SENSYS | Risks and benefits of smart toilets. | Isabel Wagner, Eerke A. Boiten |
| 2020 | ESORICS | Risk Assessment of Sharing Cyber Threat Intelligence. | Adham Albakri, Eerke A. Boiten, Richard Smith |
| 2020 | ESORICS | Utility Promises of Self-Organising Maps in Privacy Preserving Data Mining. | Kabiru Mohammed, Aladdin Ayesh, Eerke A. Boiten |
| 2018 | ESORICS | Privacy Risk Assessment: From Art to Science, by Metrics. | Isabel Wagner, Eerke A. Boiten |
| 2011 | FORTE | Relational Concurrent Refinement: Timed Refinement. | John Derrick, Eerke A. Boiten |
| 2010 | MPC | The Logic of Large Enough. | Eerke A. Boiten, Dan Grundy |
| 2009 | IFM | Modelling Divergence in Relational Concurrent Refinement. | Eerke A. Boiten, John Derrick |
| 2000 | ICFEM | A Case Study in Partial Specification: Consistency and Refinement for Object-Z. | Chris Taylor, John Derrick, Eerke A. Boiten |
| 2000 | MPC | Liberating Data Refinement. | Eerke A. Boiten, John Derrick |
| 1999 | FM | Non-atomic Refinement in Z. | John Derrick, Eerke A. Boiten |
| 1999 | IFM | Specifying Component and Context Specification Using Promotion. | John Derrick, Eerke A. Boiten |
| 1997 | FM | Viewpoint Consistency in Z and LOTOS: A Case Study. | Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen |
| 1997 | FORTE | Disjunction of LOTOS Specifications. | Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten |
| 1996 | FM | Consistency and Refinement for Partial Specification in Z. | Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen |
| 1996 | FORTE | Comparing LOTOS and Z Refinement Relations. | John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen |