| 2023 | CPP | Verifying Term Graph Optimizations using Isabelle/HOL. | Brae J. Webb, Ian J. Hayes, Mark Utting |
| 2023 | ICFEM | Verifying Compiler Optimisations - (Invited Paper). | Ian J. Hayes, Mark Utting, Brae J. Webb |
| 2023 | MSR | TypeScript's Evolution: An Analysis of Feature Adoption Over Time. | Joshua D. Scarsbrook, Mark Utting, Ryan K. L. Ko |
| 2021 | ATVA | A Formal Semantics of the GraalVM Intermediate Representation. | Brae J. Webb, Mark Utting, Ian J. Hayes |
| 2020 | ICST | Tool Support for Refactoring Manual Tests. | lodie Bernard, Julien Botella, Fabrice Ambert, Bruno Legeard, Mark Utting |
| 2017 | IFM | Making Whiley Boogie! | Mark Utting, David J. Pearce, Lindsay Groves |
| 2013 | EuroPar | Parallel ABM for Electricity Distribution Grids: A Case Study. | Fanny Boulaire, Mark Utting, Robin Drogemuller |
| 2013 | ICSE | MODAM: A modular agent-based modelling framework. | Fanny Boulaire, Mark Utting, Robin Drogemuller |
| 2013 | PPoPP | The JStar language philosophy. | Mark Utting, Min-Hsien Weng, John G. Cleary |
| 2012 | WSC | A hybrid simulation framework to assess the impact of renewable generators on a distribution network. | Fanny Boulaire, Mark Utting, Robin Drogemuller, Gerard Ledwich, Iman Ziari |
| 2009 | ICST | Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. | Emine Gokce Aydal, Richard F. Paige, Mark Utting, Jim Woodcock |
| 2006 | GI | Model-Based Testing from UML Models. | Eddy Bernard, Fabrice Bouquet, Amandine Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, Eric Torreborre |
| 2005 | FM | Symbolic Animation of JML Specifications. | Fabrice Bouquet, Frdric Dadeau, Bruno Legeard, Mark Utting |
| 2005 | IFM | CZT Support for Z Extensions. | Tim Miller, Leo Freitas, Petra Malik, Mark Utting |
| 2005 | TACAS | JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. | Fabrice Bouquet, Frdric Dadeau, Bruno Legeard, Mark Utting |
| 2004 | ICFEM | Faster Analysis of Formal Specifications. | Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet |
| 2004 | ISSRE | Boundary Coverage Criteria for Test Generation from Formal Models. | Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting |
| 2002 | FM | Automated Boundary Testing from Z and B. | Bruno Legeard, Fabien Peureux, Mark Utting |
| 2002 | LOPSTR | Tabling Structures for Bottom-Up Logic Programming. | Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting |
| 1999 | ADC | Pseudo-Naive Evaluation. | Donald A. Smith, Mark Utting |
| 1998 | ICLP | Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs. | Donald A. Smith, Mark Utting |
| 1996 | FM | Integrating Real-Time Scheduling Theory and Program Refinement. | Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes |
| 1995 | APSEC | Animating Z: Interactivity, Transparency and Equivalence. | Mark Utting |
| 1995 | CAV | Interactively Verifying a Simple Real-time Scheduler. | Colin J. Fidge, Peter Kearney, Mark Utting |
| 1992 | MPC | Modular Reasoning in an Object-Oriented Refinement Calculus. | Mark Utting, Ken Robinson |