Gudmund Grov

Dikutip oleh

	Semua	Sejak 2020
Kutipan	574	168
indeks-h	13	6
indeks-i10	24	3

200720082009201020112012201320142015201620172018201920202021202220232024202513 5 21 33 26 23 49 49 25 46 32 39 35 17 31 28 24 61 7

Akses publik

Lihat semua

16 artikel

2 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Alan BundyProfessor of Automated Reasoning, University of EdinburghEmail yang diverifikasi di ed.ac.uk
Greg MichaelsonEmeritus Professor of Computer Science, Heriot-Watt UniversityEmail yang diverifikasi di hw.ac.uk
David AspinallProfessor in Computer Science, University of EdinburghEmail yang diverifikasi di ed.ac.uk
Maria Teresa LlanoSenior Lecturer, Monash University, Melbourne, AustraliaEmail yang diverifikasi di monash.edu
Cliff B JonesProfessor of Computing Science, Newcastle University, UKEmail yang diverifikasi di ncl.ac.uk
Alison PeaseUniversity of DundeeEmail yang diverifikasi di dundee.ac.uk
Ekaterina KomendantskayaProfessor in Computer Science, Southampton University and Heriot-Watt University, UKEmail yang diverifikasi di hw.ac.uk
Aleks KissingerAssociate Professor, University of OxfordEmail yang diverifikasi di cs.ox.ac.uk
Jónathan HerasUniversity of La RiojaEmail yang diverifikasi di unirioja.es
Colin FarquharPhD Student, Heriot-Watt UniversityEmail yang diverifikasi di hw.ac.uk
Michael ButlerProfessor of Computer Science, University of SouthamptonEmail yang diverifikasi di ecs.soton.ac.uk
Stephen MuggletonImperial College LondonEmail yang diverifikasi di imperial.ac.uk
Andrew CropperUniversity of OxfordEmail yang diverifikasi di cs.ox.ac.uk
Ramin RamezaniUniversity of California, Los Angeles, Imperial College LondonEmail yang diverifikasi di ucla.edu
Stephan MerzSenior Researcher, INRIAEmail yang diverifikasi di inria.fr
Colin O'HalloranTechnical Director - D-RisQEmail yang diverifikasi di drisq.com
Jeremy GowQueen Mary University of LondonEmail yang diverifikasi di qmul.ac.uk
Thomas WiesNew York UniversityEmail yang diverifikasi di cs.nyu.edu

Ikuti

Gudmund Grov

Senior Scientist, Norwegian Defence Research Establishment

Email yang diverifikasi di ffi.no - Beranda

Security Formal Methods Automated Reasoning


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	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

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama