default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGudmund Grov
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c35]Gudmund Grov, Jonas Halvorsen, Magnus Wiik Eckhoff, Bjørn Jervell Hansen, Martin Eian, Vasileios Mavroeidis:
On the Use of Neurosymbolic AI for Defending Against Cyber Attacks. NeSy (1) 2024: 119-140- [i9]Gudmund Grov, Jonas Halvorsen, Magnus Wiik Eckhoff, Bjørn Jervell Hansen, Martin Eian, Vasileios Mavroeidis:
On the use of neurosymbolic AI for defending against cyber attacks. CoRR abs/2408.04996 (2024) - [i8]Henrik Madsen, Gudmund Grov, Federico Mancini, Magnus Baksaas, Åvald Åslaugson Sommervoll:
Exploring reinforcement learning for incident response in autonomous military vehicles. CoRR abs/2410.21407 (2024) - 2023
- [c34]Dimosthenis Masouros, Dimitrios Soudris, Georgios Gardikis, Victoria Katsarou, Maria Christopoulou
, George Xilouris, Hugo Ramón, Antonio Pastor, Fabrizio Scaglione, Cristian Petrollini, António Pinto, João P. Vilela, Antonia Karamatskou, Nikolaos Papadakis, Anna Angelogianni, Thanassis Giannetsos, Luis Javier García-Villalba, Jesús A. Alonso-López, Martin Strand, Gudmund Grov, Anastasios N. Bikos, Kostas Ramantas, Ricardo Santos, Fábio Silva, Nikolaos Tsampieris:
Towards Privacy-First Security Enablers for 6G Networks: The PRIVATEER Approach. SAMOS 2023: 379-391 - 2022
- [c33]Håkon Svee Eriksson, Gudmund Grov:
Towards XAI in the SOC - a user centric study of explainable alerts with SHAP and LIME. IEEE Big Data 2022: 2595-2600 - [c32]Julie Gjerstad, Fikret Kadiric, Gudmund Grov, Espen Hammer Kjellstadli, Markus Leira Asprusten:
LADEMU: a modular & continuous approach for generating labelled APT datasets from emulations. IEEE Big Data 2022: 2610-2619 - [c31]Andreas Dybvik Kaasen, Gudmund Grov, Federico Mancini, Magnus Baksaas:
Towards data-driven autonomous cyber defence for military unmanned vehicles - threats & attacks. MILCOM 2022: 861-866 - 2021
- [j12]Henry Clausen, Gudmund Grov, David Aspinall:
CBAM: A Contextual Model for Network Anomaly Detection. Comput. 10(6): 79 (2021) - 2020
- [c30]Henry Clausen, Gudmund Grov, Marc Sabate, David Aspinall:
Better Anomaly Detection for Access Attacks Using Deep Bidirectional LSTMs. MLN 2020: 1-18
2010 – 2019
- 2019
- [j11]Yuhui Lin, Alan Bundy, Gudmund Grov, Ewen Maclean:
Automating Event-B invariant proofs by rippling and proof patching. Formal Aspects Comput. 31(1): 95-129 (2019) - [c29]Gudmund Grov, Federico Mancini, Elsie Margrethe Staff Mestl:
Challenges for Risk and Security Modelling in Enterprise Architecture. PoEM 2019: 215-225 - 2018
- [j10]Gudmund Grov, Yuhui Lin:
The Tinker tool for graphical tactic development. Int. J. Softw. Tools Technol. Transf. 20(2): 139-155 (2018) - 2017
- [j9]Gudmund Grov, Andrew Ireland:
Preface of the special issue for AVoCS 2015. Sci. Comput. Program. 148: 1-2 (2017) - [i7]Gudmund Grov, Duncan Cameron, Léon McGregor:
DAReing to reduce the annotation overheads of verified programs. CoRR abs/1706.04023 (2017) - 2016
- [j8]Yuhui Lin, Gudmund Grov, Rob Arthan:
Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC. J. Formaliz. Reason. 9(2): 69-130 (2016) - [j7]Ewen Maclean, Andrew Ireland, Gudmund Grov:
Proof automation for functional correctness in separation logic. J. Log. Comput. 26(2): 641-675 (2016) - [j6]Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease:
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version). Math. Comput. Sci. 10(4): 429-457 (2016) - [c28]Yibo Liang, Yuhui Lin, Gudmund Grov:
'The Tinker' for Rodin. ABZ 2016: 262-268 - [c27]Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow:
Semi-Automated Design Space Exploration for Formal Modelling. ABZ 2016: 282-289 - [c26]Rajiv Murali, Andrew Ireland, Gudmund Grov:
UC-B: Use Case Modelling with Event-B. ABZ 2016: 297-302 - [c25]Yuhui Lin, Gudmund Grov, Colin O'Halloran, Priiya G.:
A Super Industrial Application of PSGraph. ABZ 2016: 319-325 - [c24]Gudmund Grov, Yuhui Lin, Vytautas Tumas:
Mechanised Verification Patterns for Dafny. FM 2016: 326-343 - [c23]Gudmund Grov, Vytautas Tumas:
Tactics for the Dafny Program Verifier. TACAS 2016: 36-53 - [c22]Yuhui Lin, Pierre Le Bras, Gudmund Grov:
Developing and Debugging Proof Strategies by Tinkering. TACAS 2016: 573-579 - [i6]Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow:
Semi-Automated Design Space Exploration for Formal Modelling. CoRR abs/1603.00636 (2016) - [i5]Yuhui Lin, Gudmund Grov, Rob Arthan:
Understanding and maintaining tactics graphically OR how we learned that a diagram can be worth more than 10K LoC. CoRR abs/1610.05593 (2016) - 2015
- [j5]Gudmund Grov, Andrew Ireland:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015) - [c21]Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen H. Muggleton, Alan Bundy:
Typed meta-interpretive learning for proof strategies. ILP (Late Breaking Papers) 2015: 17-32 - [c20]Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease:
Automating Change of Representation for Proofs in Discrete Mathematics. CICM 2015: 227-242 - [c19]Rajiv Murali, Andrew Ireland, Gudmund Grov:
A Rigorous Approach to Combining Use Case Modelling and Accident Scenarios. NFM 2015: 263-278 - [i4]Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease:
Automating change of representation for proofs in discrete mathematics. CoRR abs/1505.02449 (2015) - 2014
- [j4]Gudmund Grov, Thomas Wies:
Preface - Invariant Generation. Sci. Comput. Program. 93: 87-88 (2014) - [c18]Gudmund Grov, Aleks Kissinger, Yuhui Lin:
Tinker, tailor, solver, proof. UITP 2014: 23-34 - [i3]Gudmund Grov:
Some Ideas for Program Verifier Tactics. CoRR abs/1406.2824 (2014) - 2013
- [j3]Andrew Ireland, Gudmund Grov, Maria Teresa Llano, Michael J. Butler:
Reasoned modelling critics: Turning failed proofs into modelling guidance. Sci. Comput. Program. 78(3): 293-309 (2013) - [c17]Hans-Wolfgang Loidl, Gudmund Grov:
Reasoning About Resources in the Embedded Systems Language Hume. FOPARA 2013: 110-126 - [c16]Gudmund Grov, Aleks Kissinger, Yuhui Lin:
A Graphical Language for Proof Strategies. LPAR 2013: 324-339 - [i2]Gudmund Grov, Aleks Kissinger:
A Graphical Language for Proof Strategies. CoRR abs/1302.6890 (2013) - [i1]Gudmund Grov, Ewen Maclean:
Towards Automated Proof Strategy Generalisation. CoRR abs/1303.2975 (2013) - 2012
- [c15]Iain Whiteside, David Aspinall, Gudmund Grov:
An Essence of SSReflect. AISC/MKM/Calculemus 2012: 186-201 - [c14]Gudmund Grov, Andrew Ireland, Maria Teresa Llano:
Refinement Plans for Informed Formal Design. ABZ 2012: 208-222 - [c13]Yuhui Lin, Alan Bundy, Gudmund Grov:
The Use of Rippling to Automate Event-B Invariant Preservation Proofs. NASA Formal Methods 2012: 231-236 - [c12]Ekaterina Komendantskaya, Jónathan Heras, Gudmund Grov:
Machine Learning in Proof General: Interfacing Interfaces. UITP 2012: 15-41 - 2011
- [j2]Gudmund Grov, Stephan Merz:
A Definitional Encoding of TLA* in Isabelle/HOL. Arch. Formal Proofs 2011 (2011) - [c11]Greg Michaelson, Gudmund Grov:
Reasoning about Multi-process Systems with the Box Calculus. CEFP 2011: 279-338 - [c10]Ewen Maclean, Andrew Ireland, Gudmund Grov:
The CORE system: Animation and functional correctness of pointer programs. ASE 2011: 588-591 - [c9]Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov:
Towards Formal Proof Script Refactoring. Calculemus/MKM 2011: 260-275 - 2010
- [j1]Gudmund Grov, Greg Michaelson:
Hume box calculus: robust system development through software transformation. High. Order Symb. Comput. 23(2): 191-226 (2010) - [c8]Andrew Ireland, Gudmund Grov, Michael J. Butler:
Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. ASM 2010: 189-202 - [c7]Gudmund Grov, Andrew Ireland:
Towards Automated Property Discovery within Hume. WING@ETAPS/IJCAR 2010: 111-127 - [c6]Ewen Maclean, Andrew Ireland, Gudmund Grov:
Synthesising Functional Invariants in Separation Logic. WING@ETAPS/IJCAR 2010: 183-184
2000 – 2009
- 2009
- [b1]Gudmund Grov:
Reasoning about correctness properties of a coordination programming language. Heriot-Watt University, Edinburgh, UK, 2009 - 2008
- [c5]Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland:
Preserving coordination properties when transforming concurrent system components. SAC 2008: 126-127 - 2007
- [c4]Gudmund Grov, Greg Michaelson, Andrew Ireland:
Formal verification of concurrent scheduling strategies using TLA. ICPADS 2007: 1-6 - [c3]Gudmund Grov, Greg Michaelson:
Towards a Box Calculus for Hierarchical Hume. Trends in Functional Programming 2007: 71-88 - 2006
- [c2]Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland:
Low-Level Programming in Hume: An Exploration of the HW-Hume Level. IFL 2006: 91-107 - 2005
- [c1]Gudmund Grov:
Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning. ASE 2005: 444-447
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-01 00:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
