Andrew Edmunds

According to our database, Andrew Edmunds authored at least 11 papers between 2008 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Applying guidelines for system modelling in Event-B - a systematic literature review.

Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén

Int. J. Crit. Comput. Based Syst., 2020

2016

Modelling 'Operation-Calls' in Event-B with Shared-Event Composition.

Andrew Edmunds, Marina Waldén

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

On Component-Based Reuse for Event-B.

Andrew Edmunds, Colin F. Snook, Marina Waldén

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2014

Templates for Event-B Code Generation.

Andrew Edmunds

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

Modelling and Refinement in CODA

Michael J. Butler, John Colley, Andrew Edmunds, Colin F. Snook, Neil Evans, Neil Grant, Helen Marshall

Proceedings of the Proceedings 16th International Refinement Workshop, 2013

2012

Building on the DEPLOY Legacy: Code Generation and Simulation

Andrew Edmunds, Michael J. Butler, John Colley

CoRR, 2012

Event-B Code Generation: Type Extension with Theories.

Andrew Edmunds, Michael J. Butler, Issam Maamria, Renato Silva, Chris Lovell

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Formal Modelling for Ada Implementations: Tasking Event-B.

Andrew Edmunds, Abdolbaghi Rezazadeh, Michael J. Butler

Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

2010

Providing concurrent implementations for Event-B developments.

Andrew Edmunds

PhD thesis, 2010

On an Extensible Rule-Based Prover for Event-B.

Issam Maamria, Michael J. Butler, Andrew Edmunds, Abdolbaghi Rezazadeh

Proceedings of the Abstract State Machines, 2010

2008

Linking Event-B and Concurrent Object-Oriented Programs.

Andrew Edmunds, Michael J. Butler

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008