Gudmund Grov

Identifiers

• name variant Gudmund Grov 0.60 · backfill

Papers (8)

1. Towards Agentic Investigation of Security Alerts cs.CR · 2026 · author #3
2. DAReing to reduce the annotation overheads of verified programs cs.SE · 2017 · author #1
3. Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC cs.LO · 2016 · author #2
4. Semi-Automated Design Space Exploration for Formal Modelling cs.SE · 2016 · author #1
5. Automating change of representation for proofs in discrete mathematics cs.AI · 2015 · author #3
6. Some Ideas for Program Verifier Tactics cs.SE · 2014 · author #1
7. Towards Automated Proof Strategy Generalisation cs.LO · 2013 · author #1
8. A Graphical Language for Proof Strategies cs.LO · 2013 · author #1

Mentions

• 1406.2824 #1 · backfill · confidence 0.70 Gudmund Grov
• 1303.2975 #1 · backfill · confidence 0.70 Gudmund Grov
• 1302.6890 #1 · backfill · confidence 0.70 Gudmund Grov

Frequent Coauthors

• Yuhui Lin 2 shared papers
• Alan Bundy 1 shared papers
• Aleks Kissinger 1 shared papers
• Alison Pease 1 shared papers
• Andrew Ireland 1 shared papers
• Daniel Raggi 1 shared papers
• Duncan Cameron 1 shared papers
• Even Eilertsen 1 shared papers
• Ewen Maclean 1 shared papers
• Jeremy Gow 1 shared papers
• Leon McGregor 1 shared papers
• Maria Teresa Llano 1 shared papers
• Peter Kovacs 1 shared papers
• Rob Arthan 1 shared papers
• Simon Colton 1 shared papers
• Vasileios Mavroeidis 1 shared papers