| 2021 | SEFM | Formal Methods Communities of Practice: A Survey of Personal Experience. | Jonathan P. Bowen, Peter T. Breuer |
| 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 |
| 2014 | WoWMoM | Component-based modelling for sustainable and scalable smart meter networks. | Esther Palomar, Zhiming Liu, Jonathan P. Bowen, Yan Zhang, Sabita Maharjan |
| 2013 | SEFM | Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky. | Peter T. Breuer, Jonathan P. Bowen |
| 2011 | FM | From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community. | Jonathan P. Bowen, Steve Reeves |
| 2009 | SEW | Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. | Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders |
| 2007 | SEFM | Algebraic Approach to Linking the Semantics of Web Services. | Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen |
| 2007 | SEW | Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. | Huibiao Zhu, Jifeng He, Jonathan P. Bowen |
| 2007 | TASE | A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. | Phan Cong Vinh, Jonathan P. Bowen |
| 2006 | ICECCS | From Algebraic Semantics to Denotational Semantics for Verilog. | Huibiao Zhu, Jifeng He, Jonathan P. Bowen |
| 2006 | SEW | Integrating Probability with Time and Shared-Variable Concurrency. | Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen |
| 2005 | FMICS | Ten commandments revisited: a ten-year perspective on the industrial application of formal methods. | Jonathan P. Bowen, Michael G. Hinchey |
| 2005 | SEW | A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing. | Phan Cong Vinh, Jonathan P. Bowen |
| 2004 | FPGA | An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs. | Phan Cong Vinh, Jonathan P. Bowen |
| 2003 | COMPSAC | Tolerance of Control-Flow Testing Criteria. | Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen |
| 2003 | WWW | Disabled Access for Museum Websites. | Jonathan P. Bowen |
| 2002 | COMPSAC | FORTEST: Formal Methods and Testing. | Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause |
| 2002 | ICFEM | Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. | Huibiao Zhu, Jonathan P. Bowen, Jifeng He |
| 2001 | APSEC | Deriving Operational Semantics from Denotational Semantics for Verilog. | Huibiao Zhu, Jonathan P. Bowen, Jifeng He |
| 2001 | COMPSAC | Formalization of Software Testing Criteria using the Z Notation. | Sergiy A. Vilkomir, Jonathan P. Bowen |
| 2000 | ICFEM | An Animatable Operational Semantics of the Verilog Hardware Description Language. | Jonathan P. Bowen, Jifeng He, Qiwen Xu |
| 2000 | IFM | Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language. | Jonathan P. Bowen |
| 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 |
| 1997 | COMPSAC | The use of industrial-strength formal methods. | Jonathan P. Bowen, Michael G. Hinchey |
| 1994 | FM | Seven More Myths of Formal Methods. | Jonathan P. Bowen, Michael G. Hinchey |
| 1993 | ECRTS | Developing Correct Systems. | Jonathan P. Bowen, Ernst-Rdiger Olderog, Martin Frnzle, Anders P. Ravn |
| 1993 | FM | The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. | Jonathan P. Bowen, Victoria Stavridou |
| 1992 | ECRTS | Time interval semantics and implementation of a real-time programming language. | Jifeng He, Jonathan P. Bowen |
| 1992 | SAS | Decompilation | Peter T. Breuer, Jonathan P. Bowen |