Gudmund Grov

Citované v

	Všetky	Od 2020
Citácie	577	171
h-index	13	6
i10-index	25	3

200720082009201020112012201320142015201620172018201920202021202220232024202513 5 21 33 26 23 49 50 24 46 32 39 35 17 31 30 24 62 7

Verejný prístup

všetky položky

15 článkov

3 články

dostupné

nedostupné

Na základe mandátov na financovanie

Spoluautori

Alan BundyProfessor of Automated Reasoning, University of EdinburghOverená e-mailová adresa na: ed.ac.uk
Greg MichaelsonEmeritus Professor of Computer Science, Heriot-Watt UniversityOverená e-mailová adresa na: hw.ac.uk
David AspinallProfessor in Computer Science, University of EdinburghOverená e-mailová adresa na: ed.ac.uk
Maria Teresa LlanoSenior Lecturer, Monash University, Melbourne, AustraliaOverená e-mailová adresa na: monash.edu
Cliff B JonesProfessor of Computing Science, Newcastle University, UKOverená e-mailová adresa na: ncl.ac.uk
Alison PeaseUniversity of DundeeOverená e-mailová adresa na: dundee.ac.uk
Ekaterina KomendantskayaProfessor in Computer Science, Southampton University and Heriot-Watt University, UKOverená e-mailová adresa na: hw.ac.uk
Aleks KissingerAssociate Professor, University of OxfordOverená e-mailová adresa na: cs.ox.ac.uk
Jónathan HerasUniversity of La RiojaOverená e-mailová adresa na: unirioja.es
Colin FarquharPhD Student, Heriot-Watt UniversityOverená e-mailová adresa na: hw.ac.uk
Michael ButlerProfessor of Computer Science, University of SouthamptonOverená e-mailová adresa na: ecs.soton.ac.uk
Stephen MuggletonImperial College LondonOverená e-mailová adresa na: imperial.ac.uk
Andrew CropperUniversity of OxfordOverená e-mailová adresa na: cs.ox.ac.uk
Ramin RamezaniUniversity of California, Los Angeles, Imperial College LondonOverená e-mailová adresa na: ucla.edu
Stephan MerzSenior Researcher, INRIAOverená e-mailová adresa na: inria.fr
Colin O'HalloranTechnical Director - D-RisQOverená e-mailová adresa na: drisq.com
Jeremy GowQueen Mary University of LondonOverená e-mailová adresa na: qmul.ac.uk
Thomas WiesNew York UniversityOverená e-mailová adresa na: cs.nyu.edu

Sledovať

Gudmund Grov

Senior Scientist, Norwegian Defence Research Establishment

Overená e-mailová adresa na: ffi.no - Domovská stránka

Security Formal Methods Automated Reasoning


Názov Zoradiť podľa citácií Zoradiť podľa roka Zoradiť podľa názvu	Citované v Citované v	Rok
Machine learning in proof general: Interfacing interfaces E Komendantskaya, J Heras, G Grov arXiv preprint arXiv:1212.3618, 2012	68	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	10	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

Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.

Články 1–20

Citácie za rok

Duplicitné citácie

Zlúčené citácie

Pridať spoluautorovSpoluautori

Sledovať

Citované v

Spoluautori