Get started
Author

Gudmund Grov

Observed names: G Grov, Grov, Gudmund, Grov, Gudmund,
ORCID: 0000-0001-8837-5496
Observed ORCID: 0000-0001-8837-5496
OpenAlex ID: A5077910506
Automated Software Engineering (ASE), 2011 26th IEEE/ACM International Conference on
2011 · Ewen Maclean, Andrew Ireland, et al. · 53
Machine Learning in Proof General: Interfacing Interfaces
2013 · Ekaterina Komendantskaya, Jónathan Heras, et al. · Electronic Proceedings in Theoretical Computer Science · 50
Towards Formal Proof Script Refactoring
2011 · Iain Whiteside, David Aspinall, et al. · Lecture notes in computer science · 28
Towards XAI in the SOC – a user centric study of explainable alerts with SHAP and LIME
2022 · Hakon Svee Eriksson, Gudmund Grov · IEEE International Conference on Big Data (BigData) · 20
CBAM: A Contextual Model for Network Anomaly Detection
2021 · Henry Clausen, Gudmund Grov, et al. · Computers · 19
PDF
A graphical language for proof strategies
2013 · Gudmund Grov, Aleks Kissinger, et al. · 17
Reasoned modelling critics: Turning failed proofs into modelling guidance
2011 · Andrew Ireland, Gudmund Grov, et al. · Science of Computer Programming · 17
On the Use of Neurosymbolic AI for Defending Against Cyber Attacks
2024 · Gudmund Grov, Jonas Halvorsen, et al. · Lecture notes in computer science · 12
PDF
Hume box calculus: robust system development through software transformation
2010 · Gudmund Grov, Greg Michaelson · LISP and Symbolic Computation · 11
Learning from experts to aid the automation of proof search
2009 · A Bundy, G Grov, et al. · Edinburgh Research Explorer (University of Edinburgh) · 11
PDF
Tactics for the Dafny Program Verifier
2016 · Gudmund Grov, Vytautas Tumas · Lecture notes in computer science · 10
Refinement Plans for Informed Formal Design
2012 · Gudmund Grov, Andrew Ireland, et al. · Lecture notes in computer science · 10
Challenges for Risk and Security Modelling in Enterprise Architecture
2019 · Gudmund Grov, Federico Mancini, et al. · Lecture notes in business information processing · 9
Tinker, tailor, solver, proof
2014 · Gudmund Grov, Aleks Kissinger, et al. · Electronic Proceedings in Theoretical Computer Science · 9
Developing and Debugging Proof Strategies by Tinkering
2016 · Yuhui Lin, Pierre Le Bras, et al. · Lecture notes in computer science · 8
Low-Level Programming in Hume: An Exploration of the HW-Hume Level
2007 · Kevin Hammond, Gudmund Grov, et al. · Lecture notes in computer science · 8
Automating Event-B invariant proofs by rippling and proof patching
2019 · Yuhui Lin, Alan Bundy, et al. · Formal Aspects of Computing · 7
PDF
A Rigorous Approach to Combining Use Case Modelling and Accident Scenarios
2015 · Rajiv Murali, Andrew Ireland, et al. · Lecture notes in computer science · 7
The Use of Rippling to Automate Event-B Invariant Preservation Proofs
2012 · Yuhui Lin, Alan Bundy, et al. · Lecture notes in computer science · 7
PDF
The CORE system: Animation and functional correctness of pointer programs
2011 · Ewen Maclean, Andrew Ireland, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 7
Formal verification of concurrent scheduling strategies using TLA
2007 · Gudmund Grov, Greg Michaelson, et al. · IEEE International Conference on Parallel and Distributed Systems (ICPADS) · 7
Towards a Box Calculus for Hierarchical Hume.
2007 · Gudmund Grov, Greg Michaelson · 7
Towards data-driven autonomous cyber defence for military unmanned vehicles - threats & attacks
2022 · Andreas Dybvik Kaasen, Gudmund Grov, et al. · IEEE Military Communications Conference (MILCOM) · 6
PDF
Better Anomaly Detection for Access Attacks Using Deep Bidirectional LSTMs
2021 · Henry Clausen, Gudmund Grov, et al. · Lecture notes in computer science · 6
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)
2016 · Daniel Raggi, Alan Bundy, et al. · Mathematics in Computer Science · 6
PDF
Works count: 105
Citation count: 473
H-index: 10
I10-index: 12
Year
Topic
Type