Gudmund Grov

According to our database, Gudmund Grov authored at least 57 papers between 2005 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Mission-Aware Cyber Incident Response Generation Using Reinforcement Learning.

Aws Jaber, Monica Endregard, Federico Mancini, Gudmund Grov

Proceedings of the International Conference on Military Communication and Information Systems, 2025

LLM-Powered Intent-Based Categorization of Phishing Emails.

Even Eilertsen, Vasileios Mavroeidis, Gudmund Grov

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2025

2024

A Graphical Representation of Verification Proof Plans.

Yuhui Lin, Alan Bundy, Gudmund Grov

Proceedings of the Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I, 2024

Exploring reinforcement learning for incident response in autonomous military vehicles.

Henrik Madsen, Gudmund Grov, Federico Mancini, Magnus Baksaas, Åvald Åslaugson Sommervoll

CoRR, 2024

On the Use of Neurosymbolic AI for Defending Against Cyber Attacks.

Gudmund Grov, Jonas Halvorsen, Magnus Wiik Eckhoff, Bjørn Jervell Hansen, Martin Eian, Vasileios Mavroeidis

Proceedings of the Neural-Symbolic Learning and Reasoning - 18th International Conference, 2024

2023

Towards Privacy-First Security Enablers for 6G Networks: The PRIVATEER Approach.

Dimosthenis Masouros, Dimitrios Soudris, Georgios Gardikis, Victoria Katsarou, Maria Christopoulou, George Xilouris, Hugo Ramón, Antonio Pastor, Fabrizio Scaglione, Cristian Petrollini, António Pinto, João P. Vilela, Antonia Karamatskou, Nikolaos Papadakis, Anna Angelogianni, Thanassis Giannetsos, Luis Javier García-Villalba, Jesús A. Alonso-López, Martin Strand, Gudmund Grov, Anastasios N. Bikos, Kostas Ramantas, Ricardo Santos, Fábio Silva, Nikolaos Tsampieris

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2023

2022

Towards data-driven autonomous cyber defence for military unmanned vehicles - threats & attacks.

Andreas Dybvik Kaasen, Gudmund Grov, Federico Mancini, Magnus Baksaas

Proceedings of the IEEE Military Communications Conference, 2022

LADEMU: a modular & continuous approach for generating labelled APT datasets from emulations.

Julie Gjerstad, Fikret Kadiric, Gudmund Grov, Espen Hammer Kjellstadli, Markus Leira Asprusten

Proceedings of the IEEE International Conference on Big Data, 2022

Towards XAI in the SOC - a user centric study of explainable alerts with SHAP and LIME.

Håkon Svee Eriksson, Gudmund Grov

Proceedings of the IEEE International Conference on Big Data, 2022

2021

CBAM: A Contextual Model for Network Anomaly Detection.

Henry Clausen, Gudmund Grov, David Aspinall

Comput., 2021

2020

Better Anomaly Detection for Access Attacks Using Deep Bidirectional LSTMs.

Henry Clausen, Gudmund Grov, Marc Sabate, David Aspinall

Proceedings of the Machine Learning for Networking - Third International Conference, 2020

2019

Automating Event-B invariant proofs by rippling and proof patching.

Yuhui Lin, Alan Bundy, Gudmund Grov, Ewen Maclean

Formal Aspects Comput., 2019

Challenges for Risk and Security Modelling in Enterprise Architecture.

Gudmund Grov, Federico Mancini, Elsie Margrethe Staff Mestl

Proceedings of the Practice of Enterprise Modeling, 2019

2018

The Tinker tool for graphical tactic development.

Gudmund Grov, Yuhui Lin

Int. J. Softw. Tools Technol. Transf., 2018

2017

Preface of the special issue for AVoCS 2015.

Gudmund Grov, Andrew Ireland

Sci. Comput. Program., 2017

DAReing to reduce the annotation overheads of verified programs.

Gudmund Grov, Duncan Cameron, Léon McGregor

CoRR, 2017

2016

Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version).

Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease

Math. Comput. Sci., 2016

Proof automation for functional correctness in separation logic.

Ewen Maclean, Andrew Ireland, Gudmund Grov

J. Log. Comput., 2016

Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC.

Yuhui Lin, Gudmund Grov, Rob Arthan

J. Formaliz. Reason., 2016

Understanding and maintaining tactics graphically OR how we learned that a diagram can be worth more than 10K LoC.

Yuhui Lin, Gudmund Grov, Rob Arthan

CoRR, 2016

Developing and Debugging Proof Strategies by Tinkering.

Yuhui Lin, Pierre Le Bras, Gudmund Grov

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Tactics for the Dafny Program Verifier.

Gudmund Grov, Vytautas Tumas

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Mechanised Verification Patterns for Dafny.

Gudmund Grov, Yuhui Lin, Vytautas Tumas

Proceedings of the FM 2016: Formal Methods, 2016

UC-B: Use Case Modelling with Event-B.

Rajiv Murali, Andrew Ireland, Gudmund Grov

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

A Super Industrial Application of PSGraph.

Yuhui Lin, Gudmund Grov, Colin O'Halloran, Priiya G.

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

'The Tinker' for Rodin.

Yibo Liang, Yuhui Lin, Gudmund Grov

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Semi-Automated Design Space Exploration for Formal Modelling.

Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Preface.

Gudmund Grov, Andrew Ireland

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

A Rigorous Approach to Combining Use Case Modelling and Accident Scenarios.

Rajiv Murali, Andrew Ireland, Gudmund Grov

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Automating Change of Representation for Proofs in Discrete Mathematics.

Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Typed meta-interpretive learning for proof strategies.

Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen H. Muggleton, Alan Bundy

Proceedings of the Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, 2015

2014

Preface - Invariant Generation.

Gudmund Grov, Thomas Wies

Sci. Comput. Program., 2014

Tinker, tailor, solver, proof.

Gudmund Grov, Aleks Kissinger, Yuhui Lin

Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014

Some Ideas for Program Verifier Tactics.

Gudmund Grov

CoRR, 2014

2013

Reasoned modelling critics: Turning failed proofs into modelling guidance.

Andrew Ireland, Gudmund Grov, Maria Teresa Llano, Michael J. Butler

Sci. Comput. Program., 2013

Towards Automated Proof Strategy Generalisation

Gudmund Grov, Ewen Maclean

CoRR, 2013

A Graphical Language for Proof Strategies

Gudmund Grov, Aleks Kissinger

CoRR, 2013

A Graphical Language for Proof Strategies.

Gudmund Grov, Aleks Kissinger, Yuhui Lin

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Reasoning About Resources in the Embedded Systems Language Hume.

Hans-Wolfgang Loidl, Gudmund Grov

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2012

Machine Learning in Proof General: Interfacing Interfaces

Ekaterina Komendantskaya, Jónathan Heras, Gudmund Grov

Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012

The Use of Rippling to Automate Event-B Invariant Preservation Proofs.

Yuhui Lin, Alan Bundy, Gudmund Grov

Proceedings of the NASA Formal Methods, 2012

Refinement Plans for Informed Formal Design.

Gudmund Grov, Andrew Ireland, Maria Teresa Llano

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

An Essence of SSReflect.

Iain Whiteside, David Aspinall, Gudmund Grov

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

A Definitional Encoding of TLA* in Isabelle/HOL.

Gudmund Grov, Stephan Merz

Arch. Formal Proofs, 2011

Towards Formal Proof Script Refactoring.

Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

The CORE system: Animation and functional correctness of pointer programs.

Ewen Maclean, Andrew Ireland, Gudmund Grov

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Reasoning about Multi-process Systems with the Box Calculus.

Greg Michaelson, Gudmund Grov

Proceedings of the Central European Functional Programming School - 4th Summer School, 2011

2010

Hume box calculus: robust system development through software transformation.

Gudmund Grov, Greg Michaelson

High. Order Symb. Comput., 2010

Synthesising Functional Invariants in Separation Logic.

Ewen Maclean, Andrew Ireland, Gudmund Grov

Proceedings of the Second International Workshop on Invariant Generation, 2010

Towards Automated Property Discovery within Hume.

Gudmund Grov, Andrew Ireland

Proceedings of the Second International Workshop on Invariant Generation, 2010

Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance.

Andrew Ireland, Gudmund Grov, Michael J. Butler

Proceedings of the Abstract State Machines, 2010

2009

Reasoning about correctness properties of a coordination programming language.

Gudmund Grov

PhD thesis, 2009

2008

Preserving coordination properties when transforming concurrent system components.

Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007

Towards a Box Calculus for Hierarchical Hume.

Gudmund Grov, Greg Michaelson

Proceedings of the Eighth Symposium on Trends in Functional Programming, 2007

Formal verification of concurrent scheduling strategies using TLA.

Gudmund Grov, Greg Michaelson, Andrew Ireland

Proceedings of the 13th International Conference on Parallel and Distributed Systems, 2007

2006

Low-Level Programming in Hume: An Exploration of the HW-Hume Level.

Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland

Proceedings of the Implementation and Application of Functional Languages, 2006

2005

Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning.

Gudmund Grov

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005