| 2024 | NeSy | On the Use of Neurosymbolic AI for Defending Against Cyber Attacks. | Gudmund Grov, Jonas Halvorsen, Magnus Wiik Eckhoff, Bjrn Jervell Hansen, Martin Eian, Vasileios Mavroeidis |
| 2016 | FM | Mechanised Verification Patterns for Dafny. | Gudmund Grov, Yuhui Lin, Vytautas Tumas |
| 2016 | TACAS | Tactics for the Dafny Program Verifier. | Gudmund Grov, Vytautas Tumas |
| 2016 | TACAS | Developing and Debugging Proof Strategies by Tinkering. | Yuhui Lin, Pierre Le Bras, Gudmund Grov |
| 2015 | ILP | Typed meta-interpretive learning for proof strategies. | Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen H. Muggleton, Alan Bundy |
| 2013 | LPAR | A Graphical Language for Proof Strategies. | Gudmund Grov, Aleks Kissinger, Yuhui Lin |
| 2012 | AISC | An Essence of SSReflect. | Iain Whiteside, David Aspinall, Gudmund Grov |
| 2010 | CADE | Towards Automated Property Discovery within Hume. | Gudmund Grov, Andrew Ireland |
| 2010 | CADE | Synthesising Functional Invariants in Separation Logic. | Ewen Maclean, Andrew Ireland, Gudmund Grov |
| 2008 | SAC | Preserving coordination properties when transforming concurrent system components. | Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland |
| 2007 | ICPADS | Formal verification of concurrent scheduling strategies using TLA. | Gudmund Grov, Greg Michaelson, Andrew Ireland |