Gudmund Grov

ORCID

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 23

Top Venues

CoRR

ABZ

Sci. Comput. Program.

TACAS

Heriot-Watt University, Edinburgh, UK (PHD)

Education History

Heriot-Watt University, Edinburgh, UK

PHD

Publications

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
Towards Privacy-First Security Enablers for 6G Networks: The PRIVATEER Approach. SAMOS (2023)
Julie Gjerstad, Fikret Kadiric, Gudmund Grov, Espen Hammer Kjellstadli, Markus Leira Asprusten
LADEMU: a modular & continuous approach for generating labelled APT datasets from emulations. Big Data (2022)
Håkon Svee Eriksson, Gudmund Grov
Towards XAI in the SOC - a user centric study of explainable alerts with SHAP and LIME. Big Data (2022)
Andreas Dybvik Kaasen, Gudmund Grov, Federico Mancini, Magnus Baksaas
Towards data-driven autonomous cyber defence for military unmanned vehicles - threats & attacks. MILCOM (2022)
Henry Clausen, Gudmund Grov, David Aspinall
CBAM: A Contextual Model for Network Anomaly Detection. Comput. 10 (6) (2021)
Henry Clausen, Gudmund Grov, Marc Sabate, David Aspinall
Better Anomaly Detection for Access Attacks Using Deep Bidirectional LSTMs. MLN (2020)
Gudmund Grov, Federico Mancini, Elsie Margrethe Staff Mestl
Challenges for Risk and Security Modelling in Enterprise Architecture. PoEM (2019)
Yuhui Lin, Alan Bundy, Gudmund Grov, Ewen Maclean
Automating Event-B invariant proofs by rippling and proof patching. Formal Aspects Comput. 31 (1) (2019)
Gudmund Grov, Yuhui Lin
The Tinker tool for graphical tactic development. Int. J. Softw. Tools Technol. Transf. 20 (2) (2018)
Gudmund Grov, Andrew Ireland
Preface of the special issue for AVoCS 2015. Sci. Comput. Program. 148 (2017)
Gudmund Grov, Duncan Cameron, Léon McGregor
DAReing to reduce the annotation overheads of verified programs. CoRR (2017)
Ewen Maclean, Andrew Ireland, Gudmund Grov
Proof automation for functional correctness in separation logic. J. Log. Comput. 26 (2) (2016)
Gudmund Grov, Vytautas Tumas
Tactics for the Dafny Program Verifier. TACAS (2016)
Yuhui Lin, Gudmund Grov, Colin O'Halloran, Priiya G.
A Super Industrial Application of PSGraph. ABZ (2016)
Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow
Semi-Automated Design Space Exploration for Formal Modelling. CoRR (2016)
Yuhui Lin, Gudmund Grov, Rob Arthan
Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC. J. Formaliz. Reason. 9 (2) (2016)
Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow
Semi-Automated Design Space Exploration for Formal Modelling. ABZ (2016)
Yuhui Lin, Gudmund Grov, Rob Arthan
Understanding and maintaining tactics graphically OR how we learned that a diagram can be worth more than 10K LoC. CoRR (2016)
Gudmund Grov, Yuhui Lin, Vytautas Tumas
Mechanised Verification Patterns for Dafny. FM (2016)
Rajiv Murali, Andrew Ireland, Gudmund Grov
UC-B: Use Case Modelling with Event-B. ABZ (2016)
Yibo Liang, Yuhui Lin, Gudmund Grov
'The Tinker' for Rodin. ABZ (2016)
Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version). Math. Comput. Sci. 10 (4) (2016)
Yuhui Lin, Pierre Le Bras, Gudmund Grov
Developing and Debugging Proof Strategies by Tinkering. TACAS (2016)
Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
Automating change of representation for proofs in discrete mathematics. CoRR (2015)
Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
Automating Change of Representation for Proofs in Discrete Mathematics. CICM (2015)
Gudmund Grov, Andrew Ireland
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Rajiv Murali, Andrew Ireland, Gudmund Grov
A Rigorous Approach to Combining Use Case Modelling and Accident Scenarios. NFM (2015)
Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen Muggleton, Alan Bundy
Typed meta-interpretive learning for proof strategies. ILP (Late Breaking Papers) (2015)
Gudmund Grov, Aleks Kissinger, Yuhui Lin
Tinker, tailor, solver, proof. UITP (2014)
Gudmund Grov
Some Ideas for Program Verifier Tactics. CoRR (2014)
Gudmund Grov, Thomas Wies
Preface - Invariant Generation. Sci. Comput. Program. 93 (2014)
Andrew Ireland, Gudmund Grov, Maria Teresa Llano, Michael J. Butler
Reasoned modelling critics: Turning failed proofs into modelling guidance. Sci. Comput. Program. 78 (3) (2013)
Hans-Wolfgang Loidl, Gudmund Grov
Reasoning About Resources in the Embedded Systems Language Hume. FOPARA (2013)
Gudmund Grov, Ewen Maclean
Towards Automated Proof Strategy Generalisation CoRR (2013)
Gudmund Grov, Aleks Kissinger
A Graphical Language for Proof Strategies CoRR (2013)
Gudmund Grov, Aleks Kissinger, Yuhui Lin
A Graphical Language for Proof Strategies. LPAR (2013)
Yuhui Lin, Alan Bundy, Gudmund Grov
The Use of Rippling to Automate Event-B Invariant Preservation Proofs. NASA Formal Methods (2012)
Ekaterina Komendantskaya, Jónathan Heras, Gudmund Grov
Machine Learning in Proof General: Interfacing Interfaces UITP (2012)
Gudmund Grov, Andrew Ireland, Maria Teresa Llano
Refinement Plans for Informed Formal Design. ABZ (2012)
Iain Whiteside, David Aspinall, Gudmund Grov
An Essence of SSReflect. AISC/MKM/Calculemus (2012)
Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov
Towards Formal Proof Script Refactoring. Calculemus/MKM (2011)
Gudmund Grov, Stephan Merz
A Definitional Encoding of TLA* in Isabelle/HOL. Arch. Formal Proofs 2011 (2011)
Greg Michaelson, Gudmund Grov
Reasoning about Multi-process Systems with the Box Calculus. CEFP (2011)
Ewen Maclean, Andrew Ireland, Gudmund Grov
The CORE system: Animation and functional correctness of pointer programs. ASE (2011)
Andrew Ireland, Gudmund Grov, Michael J. Butler
Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. ASM (2010)
Gudmund Grov, Andrew Ireland
Towards Automated Property Discovery within Hume. WING@ETAPS/IJCAR (2010)
Gudmund Grov, Greg Michaelson
Hume box calculus: robust system development through software transformation. High. Order Symb. Comput. 23 (2) (2010)
Ewen Maclean, Andrew Ireland, Gudmund Grov
Synthesising Functional Invariants in Separation Logic. WING@ETAPS/IJCAR (2010)
Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland
Preserving coordination properties when transforming concurrent system components. SAC (2008)
Gudmund Grov, Greg Michaelson
Towards a Box Calculus for Hierarchical Hume. Trends in Functional Programming (2007)
Gudmund Grov, Greg Michaelson, Andrew Ireland
Formal verification of concurrent scheduling strategies using TLA. ICPADS (2007)
Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland
Low-Level Programming in Hume: An Exploration of the HW-Hume Level. IFL (2006)
Gudmund Grov
Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning. ASE (2005)

Gudmund Grov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gudmund Grov