Gudmund Grov

According to our database1, Gudmund Grov authored at least 47 papers between 2005 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Better Anomaly Detection for Access Attacks Using Deep Bidirectional LSTMs.
Proceedings of the Machine Learning for Networking - Third International Conference, 2020

2019
Automating Event-B invariant proofs by rippling and proof patching.
Formal Aspects Comput., 2019

Challenges for Risk and Security Modelling in Enterprise Architecture.
Proceedings of the Practice of Enterprise Modeling, 2019

2018
The Tinker tool for graphical tactic development.
Int. J. Softw. Tools Technol. Transf., 2018

2017
Preface of the special issue for AVoCS 2015.
Sci. Comput. Program., 2017

DAReing to reduce the annotation overheads of verified programs.
CoRR, 2017

2016
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version).
Math. Comput. Sci., 2016

Proof automation for functional correctness in separation logic.
J. Log. Comput., 2016

Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC.
J. Formaliz. Reason., 2016

Understanding and maintaining tactics graphically OR how we learned that a diagram can be worth more than 10K LoC.
CoRR, 2016

Developing and Debugging Proof Strategies by Tinkering.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Tactics for the Dafny Program Verifier.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Mechanised Verification Patterns for Dafny.
Proceedings of the FM 2016: Formal Methods, 2016

UC-B: Use Case Modelling with Event-B.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

A Super Industrial Application of PSGraph.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

'The Tinker' for Rodin.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Semi-Automated Design Space Exploration for Formal Modelling.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

A Rigorous Approach to Combining Use Case Modelling and Accident Scenarios.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Automating Change of Representation for Proofs in Discrete Mathematics.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Typed meta-interpretive learning for proof strategies.
Proceedings of the Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, 2015

2014
Preface - Invariant Generation.
Sci. Comput. Program., 2014

Tinker, tailor, solver, proof.
Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014

Some Ideas for Program Verifier Tactics.
CoRR, 2014

2013
Reasoned modelling critics: Turning failed proofs into modelling guidance.
Sci. Comput. Program., 2013

Towards Automated Proof Strategy Generalisation
CoRR, 2013

A Graphical Language for Proof Strategies
CoRR, 2013

A Graphical Language for Proof Strategies.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Reasoning About Resources in the Embedded Systems Language Hume.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2012
Machine Learning in Proof General: Interfacing Interfaces
Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012

The Use of Rippling to Automate Event-B Invariant Preservation Proofs.
Proceedings of the NASA Formal Methods, 2012

Refinement Plans for Informed Formal Design.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

An Essence of SSReflect.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011
A Definitional Encoding of TLA* in Isabelle/HOL.
Arch. Formal Proofs, 2011

Towards Formal Proof Script Refactoring.
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

The CORE system: Animation and functional correctness of pointer programs.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Reasoning about Multi-process Systems with the Box Calculus.
Proceedings of the Central European Functional Programming School - 4th Summer School, 2011

2010
Hume box calculus: robust system development through software transformation.
High. Order Symb. Comput., 2010

Synthesising Functional Invariants in Separation Logic.
Proceedings of the Second International Workshop on Invariant Generation, 2010

Towards Automated Property Discovery within Hume.
Proceedings of the Second International Workshop on Invariant Generation, 2010

Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance.
Proceedings of the Abstract State Machines, 2010

2009
Reasoning about correctness properties of a coordination programming language.
PhD thesis, 2009

2008
Preserving coordination properties when transforming concurrent system components.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007
Towards a Box Calculus for Hierarchical Hume.
Proceedings of the Eighth Symposium on Trends in Functional Programming, 2007

Formal verification of concurrent scheduling strategies using TLA.
Proceedings of the 13th International Conference on Parallel and Distributed Systems, 2007

2006
Low-Level Programming in Hume: An Exploration of the HW-Hume Level.
Proceedings of the Implementation and Application of Functional Languages, 2006

2005
Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005


  Loading...