Peer-reviewed publications

A4 Conference proceedings
Modelling ‘Operation-Calls’ in Event-B with Shared-Event Composition (2016)
Andrew Edmunds, Marina Waldén
Springer
View on publisher's site
A4 Conference proceedings
On Component-Based Reuse for Event-B (2016)
Andrew Edmunds, Colin Snook, Marina Waldén
Springer
View on publisher's site
A4 Conference proceedings
Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems (2016)
Andrew Edmunds, Marta Olszewska, Marina Walden
Iaria xps press


Other publications

D4 Published development or research report or study
Agile Development of Formal Systems Models (2019)
Colin Snook, Marina Waldén, Andrew Edmunds, Michael Butler
D4 Published development or research report or study
Improving the Modelling Experience in Event-B - A Literature Review (2018)
Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén
B3 Non-refereed conference proceedings
Towards Component-based Reuse for Event-B (2016)
Andrew Edmunds, Marina Walden, Colin Snook
Reykjavik University, Iceland
D4 Published development or research report or study
Modelling “Operation-Calls” in Event-B with Shared-Event Composition (2015)
Andrew Edmunds, Marina Walden
D4 Published development or research report or study
Towards Component-Based Reuse for Event-B (2015)
Andrew Edmunds, Colin Snook, Marina Walden

Last updated on 2017-20-06 at 09:50