Gudmund Grov

Cited by

	All	Since 2020
Citations	575	169
h-index	13	7
i10-index	23	3

200720082009201020112012201320142015201620172018201920202021202220232024202513 5 21 33 26 23 49 48 25 46 32 39 35 17 33 28 23 62 6

Public access

View all

16 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
Greg MichaelsonEmeritus Professor of Computer Science, Heriot-Watt UniversityVerified email at hw.ac.uk
David AspinallProfessor in Computer Science, University of EdinburghVerified email at ed.ac.uk
Maria Teresa LlanoSenior Lecturer, Monash University, Melbourne, AustraliaVerified email at monash.edu
Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerified email at ncl.ac.uk
Alison PeaseUniversity of DundeeVerified email at dundee.ac.uk
Ekaterina KomendantskayaProfessor in Computer Science, Southampton University and Heriot-Watt University, UKVerified email at hw.ac.uk
Aleks KissingerAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
Jónathan HerasUniversity of La RiojaVerified email at unirioja.es
Colin FarquharPhD Student, Heriot-Watt UniversityVerified email at hw.ac.uk
Michael ButlerProfessor of Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
Stephen MuggletonImperial College LondonVerified email at imperial.ac.uk
Andrew CropperUniversity of OxfordVerified email at cs.ox.ac.uk
Ramin RamezaniUniversity of California, Los Angeles, Imperial College LondonVerified email at ucla.edu
Stephan MerzSenior Researcher, INRIAVerified email at inria.fr
Colin O'HalloranTechnical Director - D-RisQVerified email at drisq.com
Jeremy GowQueen Mary University of LondonVerified email at qmul.ac.uk
Thomas WiesNew York UniversityVerified email at cs.nyu.edu

Gudmund Grov

Senior Scientist, Norwegian Defence Research Establishment

Verified email at ffi.no - Homepage

Security Formal Methods Automated Reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Machine learning in proof general: Interfacing interfaces E Komendantskaya, J Heras, G Grov arXiv preprint arXiv:1212.3618, 2012	67	2012
Towards formal proof script refactoring I Whiteside, D Aspinall, L Dixon, G Grov Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th …, 2011	34	2011
A graphical language for proof strategies G Grov, A Kissinger, Y Lin Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013	26	2013
Reasoned modelling critics: turning failed proofs into modelling guidance A Ireland, G Grov, MT Llano, M Butler Science of Computer Programming 78 (3), 293-309, 2013	25	2013
Cbam: A contextual model for network anomaly detection H Clausen, G Grov, D Aspinall Computers 10 (6), 79, 2021	21	2021
Low-level programming in Hume: an exploration of the HW-Hume level K Hammond, G Grov, G Michaelson, A Ireland Symposium on Implementation and Application of Functional Languages, 91-107, 2006	18	2006
Learning from Experts to Aid the Automation of Proof Search. A Bundy, G Grov, CB Jones Proceedings of the Ninth International Workshop on Automated Verification of …, 2009	16	2009
Formal verification of concurrent scheduling strategies using TLA G Grov, G Michaelson, A Ireland 2007 International Conference on Parallel and Distributed Systems, 1-6, 2007	16	2007
Refinement plans for informed formal design G Grov, A Ireland, MT Llano International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012	15	2012
Synthesising Functional Invariants in Separation Logic E Maclean, A Ireland, G Grov WING 2010. Workshop on Invariant Generation 2010, 183-184, 2012	15	2012
An outline of a proposed system that learns from experts how to discharge proof obligations automatically A Bundy, G Grov, CB Jones Proceedings of Dagstuhl Seminar 09381: Refinement Based Methods for the …, 2009	15	2009
Hume box calculus: robust system development through software transformation G Grov, G Michaelson Higher-Order and Symbolic Computation 23, 191-226, 2010	14	2010
Typed meta-interpretive learning for proof strategies C Farquhar, G Grov, A Cropper, S Muggleton, A Bundy Late-breaking papers proceedings of ILP 2015 (LBP-ILP 2015), 1-16, 2016	13	2016
Tinker, tailor, solver, proof G Grov, A Kissinger, Y Lin arXiv preprint arXiv:1410.8217, 2014	13	2014
Towards a Box Calculus for Hierarchical Hume. G Grov, G Michaelson Trends in Functional Programming 8, 71-88, 2007	13	2007
Challenges for risk and security modelling in enterprise architecture G Grov, F Mancini, EMS Mestl The Practice of Enterprise Modeling: 12th IFIP Working Conference, PoEM 2019 …, 2019	12	2019
A rigorous approach to combining use case modelling and accident scenarios R Murali, A Ireland, G Grov NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015	12	2015
Automating change of representation for proofs in discrete mathematics (extended version) D Raggi, A Bundy, G Grov, A Pease Mathematics in Computer Science 10, 429-457, 2016	11	2016
Tactics for the Dafny program verifier G Grov, V Tumas International Conference on Tools and Algorithms for the Construction and …, 2016	10	2016
Proof automation for functional correctness in separation logic E Maclean, A Ireland, G Grov Journal of Logic and Computation 26 (2), 641-675, 2016	10	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors