| 2021 | SEFM | Formal Methods Communities of Practice: A Survey of Personal Experience. | Jonathan P. Bowen, Peter T. Breuer |
| 2019 | FM | A Calculus of Chaos in Stochastic Compilation - Engineering in the Cause of Mathematics. | Peter T. Breuer, Simon J. Pickin |
| 2019 | ISSRE | Safe Compilation for Hidden Deterministic Hardware Aliasing. | Peter T. Breuer, Jonathan P. Bowen |
| 2019 | ISSRE | Chaotic Compilation: A (Statistical) Cloak for a Secret Computer. | Peter T. Breuer, Jonathan P. Bowen |
| 2018 | ICICS | On Security in Encrypted Computing. | Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu |
| 2018 | TrustCom | Superscalar Encrypted RISC: The Measure of a Secret Computer. | Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu |
| 2017 | SECRYPT | On Obfuscating Compilation for Encrypted Computing. | Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu |
| 2016 | ANT | A Fully Encrypted Microprocessor The Secret Computer is Nearly Here. | Peter T. Breuer, Jonathan P. Bowen |
| 2016 | SECRYPT | A Practical Encrypted Microprocessor. | Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu |
| 2015 | SoMeT | Processor Rescue - Safe Coding for Hardware Aliasing. | Peter T. Breuer, Jonathan P. Bowen, Simon Pickin |
| 2014 | ISSRE | Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing. | Peter T. Breuer, Jonathan P. Bowen |
| 2013 | SEFM | Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky. | Peter T. Breuer, Jonathan P. Bowen |
| 2013 | SEFM | Soundness and Completeness of the NRB Verification Logic. | Peter T. Breuer, Simon Pickin |
| 2007 | SEW | Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects. | Peter T. Breuer, Simon Pickin |
| 2006 | ICCS | Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code. | Peter T. Breuer, Simon Pickin |
| 2006 | ISoLA | Verification in the Large via Symbolic Approximation. | Peter T. Breuer, Simon Pickin |
| 2006 | SEW | Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source. | Peter T. Breuer, Simon Pickin, Mara M. Larrondo-Petrie |
| 2005 | ICPADS | Dependable Networked RAID for the Open Source Community. | Peter T. Breuer, Arne Wiebalck |
| 2003 | CCGRID | Fault-Tolerant Distributed Mass Storage for LHC Computing. | Arne Wiebalck, Peter T. Breuer, Volker Lindenstruth, Timm M. Steinbeck |
| 2003 | ICFEM | A Formal Model for the Block Device Subsystem of the Linux Kernel. | Peter T. Breuer |
| 2003 | ICWE | Building Wrapper Agents for the Deep Web. | Vicente Luque Centeno, Luis Snchez Fernndez, Carlos Delgado Kloos, Peter T. Breuer, Fernando Paniagua Martn |
| 2003 | ISCC | MSC-based Language for Specifying Automated Web Clients. | Vicente Luque Centeno, Peter T. Breuer, Luis Snchez Fernndez, Carlos Delgado Kloos, Juan Antonio Herriz Prez |
| 1999 | DATE | Reasoning about VHDL and VHDL-AMS using Denotational Semantics. | Peter T. Breuer, Natividad Martnez Madrid, Jonathan P. Bowen, Robert B. France, Maria M. Larrondo-Petrie, Carlos Delgado Kloos |
| 1996 | ECRTS | A Formal Method for Specification and Refinement of Real-Time Systems. | Peter T. Breuer, Natividad Martnez Madrid, Luis Snchez, Andrs Marn, Carlos Delgado Kloos |
| 1994 | ICLP | Proving Hardware Designs. | Peter T. Breuer, Luis Snchez, Carlos Delgado Kloos |
| 1992 | SAS | Decompilation | Peter T. Breuer, Jonathan P. Bowen |
| 1991 | SAS | An Analysis/Synthesis Language with Learning Strategies. | Peter T. Breuer |