| Decomposition tool for event‐B R Silva, C Pascal, TS Hoang, M Butler Software: Practice and Experience 41 (2), 199-208, 2011 | 101 | 2011 |
| Shared event composition/decomposition in Event-B R Silva, M Butler Formal Methods for Components and Objects: 9th International Symposium, FMCO …, 2012 | 68 | 2012 |
| Supporting reuse of Event-B developments through generic instantiation R Silva, M Butler Formal Methods and Software Engineering: 11th International Conference on …, 2009 | 52 | 2009 |
| A survey on Event-B decomposition TS Hoang, A Iliasov, RA Silva, W Wei Electronic Communications of the EASST 46, 2011 | 26 | 2011 |
| 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 |
| Towards the Composition of Specifications in Event-B R Silva | 14 | 2011 |
| Parallel composition using event-B R Silva, M Butler | 14 | 2009 |
| Supporting reuse mechanisms for developments in Event-B: Composition R Silva, M Butler University of Southampton, 2009 | 12 | 2009 |
| Supporting development of Event-B models R Silva University of Southampton, 2012 | 8 | 2012 |
| Event-B model decomposition C Pascal, R Silva | 7 | 2009 |
| Lessons learned/sharing the experience of developing a metro system case study R Silva arXiv preprint arXiv:1210.7030, 2012 | 4 | 2012 |
| Event-B and Rodin M Butler, A Salehi Fathabadi, R Silva ISTE/Wiley, 2012 | 3 | 2012 |
| Application of Decomposition and Generic Instantiation R Silva | 3 | 2011 |
| Generic Instantiation Proposal R Silva, M Butler | | 2012 |
| DEPLOY Deliverable D45 D9. 4 Model Construction Tools and Analysis Tools IV L Voisin, R Silva, N Beauger, I Maamria, C Snook, A Stefanescu | | 2012 |
| Ensuring Extensibility within Code Generation C Lovell, A Edmunds, R Silva, I Maamria, M Butler | | 2012 |
| Code generation update A Edmunds, C Lovell, R Silva, I Maamria, M Butler | | 2012 |
| Case Study: Safety Metro System R Silva | | 2012 |
| Tooling: Code Generation Update A Edmunds, C Lovell, R Silva, I Maamria, M Butler | | 2012 |
| Monitor and Update Master Data Case Studies TS Hoang, A Illianov, R Silva, W Wei | | 2011 |
