| Tasking Event-B: An extension to Event-B for generating concurrent code A Edmunds, M Butler | 52 | 2011 |
| Linking Event-B and concurrent object-oriented programs A Edmunds, M Butler Electronic Notes in Theoretical Computer Science 214, 159-182, 2008 | 34 | 2008 |
| Rigorous development of reusable, domain-specific components, for complex applications C Snook, M Butler, A Edmunds, I Johnson | 32 | 2004 |
| Tool support for Event-B code generation A Edmunds, M Butler WS-TBFM2010, 98, 2010 | 28 | 2010 |
| Formal modelling for ada implementations: tasking Event-B A Edmunds, A Rezazadeh, M Butler International Conference on Reliable Software Technologies, 119-132, 2012 | 20 | 2012 |
| On an extensible rule-based prover for Event-B I Maamria, M Butler, A Edmunds, A Rezazadeh Springer, 2010 | 20 | 2010 |
| Event-B code generation: type extension with theories A Edmunds, M Butler, I Maamria, R Silva, C Lovell Abstract State Machines, Alloy, B, VDM, and Z: Third International …, 2012 | 16 | 2012 |
| Modelling and refinement in CODA M Butler, J Colley, A Edmunds, C Snook, N Evans, N Grant, H Marshall arXiv preprint arXiv:1305.6112, 2013 | 12 | 2013 |
| Using the Event-B formal method for disciplined agile delivery of safety-critical systems A Edmunds, M Olszewska, M Waldén | 10 | 2016 |
| Templates for Event-B code generation A Edmunds International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014 | 10 | 2014 |
| Providing concurrent implementations for Event-B developments A Edmunds University of Southampton, 2010 | 10 | 2010 |
| On component-based reuse for Event-B A Edmunds, C Snook, M Walden Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International …, 2016 | 7 | 2016 |
| Applying Event-B and Rodin to the filestore M Butler, JR Abrial, K Damchoom, A Edmunds VSRNet, ABZ 152, 134-152, 2008 | 6 | 2008 |
| Development of a Heating Controller System, 2011 A Edmunds, A Rezazedah | 5 | 2015 |
| Towards Component-based Reuse for Event-B A Edmunds, C Snook, M Walden Proceedings of 27th Nordic Workshop on Programming Theory, Reykjavik …, 2015 | 3 | 2015 |
| Building on the DEPLOY legacy: code generation and simulation A Edmunds, M Butler, J Colley arXiv preprint arXiv:1210.7034, 2012 | 3 | 2012 |
| Modelling ‘Operation-Calls’ in Event-B with Shared-Event Composition A Edmunds, M Walden Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF …, 2016 | 2 | 2016 |
| From Event-B models to code: sensing, actuating, and the environment A Edmunds, A Rezazadeh, M Butler | 2 | 2011 |
| A Code Generation Example for Event-B: A Shared Channel with Concurrent Read/Writers A Edmunds, M Butler TECHNICAL REPORT SERIES, 47, 2010 | 2 | 2010 |
| Code Generation for Event-B with Intermediate Specification A Edmunds, M Butler Rodin User and Developers Workshop, 2009 | 2 | 2009 |
