| UML-B: Formal modeling and design aided by UML C Snook, M Butler ACM Transactions on Software Engineering and Methodology (TOSEM) 15 (1), 92-122, 2006 | 446 | 2006 |
| Horse behaviour: evolution, domestication and feralisation D Goodwin The welfare of horses, 1-18, 2007 | 223 | 2007 |
| Co-simulating Event-B and continuous models via FMI V Savicks, M Butler, J Colley | 31 | 2014 |
| Verification of UML models by translation to UML-B C Snook, V Savicks, M Butler Formal Methods for Components and Objects: 9th International Symposium, FMCO …, 2012 | 26 | 2012 |
| Co-simulation environment for Rodin: landing gear case study V Savicks, M Butler, J Colley ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th …, 2014 | 11 | 2014 |
| Rodin multi-simulation plug-in V Savicks, M Butler, J Colley, J Bendisposto | 8 | 2014 |
| Co-simulation of Event-B and Ptolemy II Models via FMI JC Chaudemar, V Savicks, M Butler, J Colley Embedded Real Time Software and Systems (ERTS2014), 2014 | 7 | 2014 |
| A framework for diagrammatic modelling extensions in Rodin V Savicks, C Snook Rodin Workshop, 31-32, 2012 | 7 | 2012 |
| Co-simulation of Event-B and Continuous Models in Rodin V Savicks, M Butler, J Bendisposto, J Colley | 4 | 2013 |
| Integrating Formal Verification and Simulation of Hybrid Systems V Savicks University of Southampton, 2016 | 2 | 2016 |
| Integrating Formal Verification and Simulation of Hybrid Systems-Rodin Multi-simulation Plug-in V Savicks, M Butler, J Colley Doctoral Consortium on Simulation and Modeling Methodologies, Technologies …, 2014 | 1 | 2014 |
| Integrating Formal Verification and Simulation of Hybrid Systems: Rodin Multi-Simulation Plug-in S Vitaly | | 2014 |
| Frameworks for developing Event-B modelling extensions in EMF C Snook, V Savicks, F Fritz, A Illisaov | | |
