Gudmund Grov

66 papers A* 2A 2B 6C 7Misc 3Journal 24Unranked 20
YearRankTypeTitle / Venue / Authors
2026 J jnl
Detecting and Eliminating Neural Network Backdoors Through Active Paths with Application to Intrusion Detection.
CoRR
Eirik Høyheim, Magnus Wiik Eckhoff, Gudmund Grov, Robert Flood, David Aspinall
2025 C conf
A Graph-Based Approach to Alert Contextualisation in Security Operations Centres.
ISC
Magnus Wiik Eckhoff, Peter Marius Flydal, Siem Peters, Martin Eian, Jonas Halvorsen, Vasileios Mavroeidis, Gudmund Grov
2025 J jnl
A Graph-Based Approach to Alert Contextualisation in Security Operations Centres.
CoRR
Magnus Wiik Eckhoff, Peter Marius Flydal, Siem Peters, Martin Eian, Jonas Halvorsen, Vasileios Mavroeidis, Gudmund Grov
2025 — conf
CyberStack: Deep Reinforcement Learning in Stackelberg Games for Military Network Defense.
MILCOM
Aws Naser Jaber, Angel Genchev, Gudmund Grov, Tsvetelin Tsonev
2025 Misc conf
LLM-Powered Intent-Based Categorization of Phishing Emails.
CSR
Even Eilertsen, Vasileios Mavroeidis, Gudmund Grov
2025 J jnl
LLM-Powered Intent-Based Categorization of Phishing Emails.
CoRR
Even Eilertsen, Vasileios Mavroeidis, Gudmund Grov
2025 — conf
Mission-Aware Cyber Incident Response Generation Using Reinforcement Learning.
ICMCIS
Aws Naser Jaber, Monica Endregard, Federico Mancini, Gudmund Grov
2025 B conf
Towards Agentic Investigation of Security Alerts.
IEEE Big Data
Even Eilertsen, Vasileios Mavroeidis, Gudmund Grov
2024 — ch.
A Graphical Representation of Verification Proof Plans.
The Practice of Formal Methods (I)
Yuhui Lin, Alan Bundy, Gudmund Grov
2024 J jnl
Exploring reinforcement learning for incident response in autonomous military vehicles.
CoRR
Henrik Madsen, Gudmund Grov, Federico Mancini, Magnus Baksaas, Åvald Åslaugson Sommervoll
2024 — conf
On the Use of Neurosymbolic AI for Defending Against Cyber Attacks.
NeSy (1)
Gudmund Grov, Jonas Halvorsen, Magnus Wiik Eckhoff, Bjørn Jervell Hansen, Martin Eian, Vasileios Mavroeidis
2024 J jnl
On the use of neurosymbolic AI for defending against cyber attacks.
CoRR
Gudmund Grov, Jonas Halvorsen, Magnus Wiik Eckhoff, Bjørn Jervell Hansen, Martin Eian, Vasileios Mavroeidis
2023 — conf
Towards Privacy-First Security Enablers for 6G Networks: The PRIVATEER Approach.
SAMOS
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
2022 B conf
LADEMU: a modular & continuous approach for generating labelled APT datasets from emulations.
IEEE Big Data
Julie Gjerstad, Fikret Kadiric, Gudmund Grov, Espen Hammer Kjellstadli, Markus Leira Asprusten
2022 B conf
Towards XAI in the SOC - a user centric study of explainable alerts with SHAP and LIME.
IEEE Big Data
Håkon Svee Eriksson, Gudmund Grov
2022 — conf
Towards data-driven autonomous cyber defence for military unmanned vehicles - threats & attacks.
MILCOM
Andreas Dybvik Kaasen, Gudmund Grov, Federico Mancini, Magnus Baksaas
2021 J jnl
CBAM: A Contextual Model for Network Anomaly Detection.
Comput.
Henry Clausen, Gudmund Grov, David Aspinall
2020 — conf
Better Anomaly Detection for Access Attacks Using Deep Bidirectional LSTMs.
MLN
Henry Clausen, Gudmund Grov, Marc Sabate, David Aspinall
2019 J jnl
Automating Event-B invariant proofs by rippling and proof patching.
Formal Aspects Comput.
Yuhui Lin, Alan Bundy, Gudmund Grov, Ewen Maclean
2019 Misc conf
Challenges for Risk and Security Modelling in Enterprise Architecture.
PoEM
Gudmund Grov, Federico Mancini, Elsie Margrethe Staff Mestl
2018 J jnl
The Tinker tool for graphical tactic development.
Int. J. Softw. Tools Technol. Transf.
Gudmund Grov, Yuhui Lin
2017 J jnl
DAReing to reduce the annotation overheads of verified programs.
CoRR
Gudmund Grov, Duncan Cameron, Léon McGregor
2017 J jnl
Preface of the special issue for AVoCS 2015.
Sci. Comput. Program.
Gudmund Grov, Andrew Ireland
2016 C conf
'The Tinker' for Rodin.
ABZ
Yibo Liang, Yuhui Lin, Gudmund Grov
2016 C conf
A Super Industrial Application of PSGraph.
ABZ
Yuhui Lin, Gudmund Grov, Colin O'Halloran, Priiya G.
2016 J jnl
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version).
Math. Comput. Sci.
Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
2016 A conf
Developing and Debugging Proof Strategies by Tinkering.
TACAS
Yuhui Lin, Pierre Le Bras, Gudmund Grov
2016 B conf
Mechanised Verification Patterns for Dafny.
FM
Gudmund Grov, Yuhui Lin, Vytautas Tumas
2016 J jnl
Proof automation for functional correctness in separation logic.
J. Log. Comput.
Ewen Maclean, Andrew Ireland, Gudmund Grov
2016 C conf
Semi-Automated Design Space Exploration for Formal Modelling.
ABZ
Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow
2016 J jnl
Semi-Automated Design Space Exploration for Formal Modelling.
CoRR
Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow
2016 A conf
Tactics for the Dafny Program Verifier.
TACAS
Gudmund Grov, Vytautas Tumas
2016 C conf
UC-B: Use Case Modelling with Event-B.
ABZ
Rajiv Murali, Andrew Ireland, Gudmund Grov
2016 J jnl
Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC.
J. Formaliz. Reason.
Yuhui Lin, Gudmund Grov, Rob Arthan
2016 J jnl
Understanding and maintaining tactics graphically OR how we learned that a diagram can be worth more than 10K LoC.
CoRR
Yuhui Lin, Gudmund Grov, Rob Arthan
2015 — conf
A Rigorous Approach to Combining Use Case Modelling and Accident Scenarios.
NFM
Rajiv Murali, Andrew Ireland, Gudmund Grov
2015 C conf
Automating Change of Representation for Proofs in Discrete Mathematics.
CICM
Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
2015 J jnl
Automating change of representation for proofs in discrete mathematics.
CoRR
Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
2015 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Gudmund Grov, Andrew Ireland
2015 — conf
Typed meta-interpretive learning for proof strategies.
ILP (Late Breaking Papers)
Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen H. Muggleton, Alan Bundy
2014 J jnl
Preface - Invariant Generation.
Sci. Comput. Program.
Gudmund Grov, Thomas Wies
2014 J jnl
Some Ideas for Program Verifier Tactics.
CoRR
Gudmund Grov
2014 — conf
Tinker, tailor, solver, proof.
UITP
Gudmund Grov, Aleks Kissinger, Yuhui Lin
2013 J jnl
A Graphical Language for Proof Strategies
CoRR
Gudmund Grov, Aleks Kissinger
2013 B conf
A Graphical Language for Proof Strategies.
LPAR
Gudmund Grov, Aleks Kissinger, Yuhui Lin
2013 J jnl
Reasoned modelling critics: Turning failed proofs into modelling guidance.
Sci. Comput. Program.
Andrew Ireland, Gudmund Grov, Maria Teresa Llano, Michael J. Butler
2013 — conf
Reasoning About Resources in the Embedded Systems Language Hume.
FOPARA
Hans-Wolfgang Loidl, Gudmund Grov
2013 J jnl
Towards Automated Proof Strategy Generalisation
CoRR
Gudmund Grov, Ewen Maclean
2012 — conf
An Essence of SSReflect.
AISC/MKM/Calculemus
Iain Whiteside, David Aspinall, Gudmund Grov
2012 — conf
Machine Learning in Proof General: Interfacing Interfaces
UITP
Ekaterina Komendantskaya, Jónathan Heras, Gudmund Grov
2012 C conf
Refinement Plans for Informed Formal Design.
ABZ
Gudmund Grov, Andrew Ireland, Maria Teresa Llano
2012 — conf
The Use of Rippling to Automate Event-B Invariant Preservation Proofs.
NASA Formal Methods
Yuhui Lin, Alan Bundy, Gudmund Grov
2011 J jnl
A Definitional Encoding of TLA* in Isabelle/HOL.
Arch. Formal Proofs
Gudmund Grov, Stephan Merz
2011 — conf
Reasoning about Multi-process Systems with the Box Calculus.
CEFP
Greg Michaelson, Gudmund Grov
2011 A* conf
The CORE system: Animation and functional correctness of pointer programs.
ASE
Ewen Maclean, Andrew Ireland, Gudmund Grov
2011 — conf
Towards Formal Proof Script Refactoring.
Calculemus/MKM
Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov
2010 J jnl
Hume box calculus: robust system development through software transformation.
High. Order Symb. Comput.
Gudmund Grov, Greg Michaelson
2010 — conf
Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance.
ASM
Andrew Ireland, Gudmund Grov, Michael J. Butler
2010 — conf
Synthesising Functional Invariants in Separation Logic.
WING@ETAPS/IJCAR
Ewen Maclean, Andrew Ireland, Gudmund Grov
2010 — conf
Towards Automated Property Discovery within Hume.
WING@ETAPS/IJCAR
Gudmund Grov, Andrew Ireland
2009 — —
Reasoning about correctness properties of a coordination programming language.
Gudmund Grov
2008 Misc conf
Preserving coordination properties when transforming concurrent system components.
SAC
Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland
2007 B conf
Formal verification of concurrent scheduling strategies using TLA.
ICPADS
Gudmund Grov, Greg Michaelson, Andrew Ireland
2007 — conf
Towards a Box Calculus for Hierarchical Hume.
Trends in Functional Programming
Gudmund Grov, Greg Michaelson
2006 — conf
Low-Level Programming in Hume: An Exploration of the HW-Hume Level.
IFL
Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland
2005 A* conf
Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning.
ASE
Gudmund Grov