Andrew Edmunds

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 3

Top Topics

Code Generation

Formal Specification

Top Venues

Int. J. Crit. Comput. Based Syst.

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén
Applying guidelines for system modelling in Event-B - a systematic literature review. Int. J. Crit. Comput. Based Syst. 10 (1) (2020)
Andrew Edmunds, Marina Waldén
Modelling 'Operation-Calls' in Event-B with Shared-Event Composition. SBMF (2016)
Andrew Edmunds, Colin F. Snook, Marina Waldén
On Component-Based Reuse for Event-B. ABZ (2016)
Andrew Edmunds
Templates for Event-B Code Generation. ABZ (2014)
Michael J. Butler, John Colley, Andrew Edmunds, Colin F. Snook, Neil Evans, Neil Grant, Helen Marshall
Modelling and Refinement in CODA Refine@IFM (2013)
Andrew Edmunds, Abdolbaghi Rezazadeh, Michael J. Butler
Formal Modelling for Ada Implementations: Tasking Event-B. Ada-Europe (2012)
Andrew Edmunds, Michael J. Butler, John Colley
Building on the DEPLOY Legacy: Code Generation and Simulation CoRR (2012)
Andrew Edmunds, Michael J. Butler, Issam Maamria, Renato Silva, Chris Lovell
Event-B Code Generation: Type Extension with Theories. ABZ (2012)
Issam Maamria, Michael J. Butler, Andrew Edmunds, Abdolbaghi Rezazadeh
On an Extensible Rule-Based Prover for Event-B. ASM (2010)
Andrew Edmunds, Michael J. Butler
Linking Event-B and Concurrent Object-Oriented Programs. Electron. Notes Theor. Comput. Sci. 214 (2008)