| Rodin: an open toolset for modelling and reasoning in Event-B JR Abrial, M Butler, S Hallerstede, TS Hoang, F Mehta, L Voisin International journal on software tools for technology transfer 12, 447-466, 2010 | 795 | 2010 |
| Refinement, decomposition, and instantiation of discrete models: Application to Event-B JR Abrial, S Hallerstede Fundamenta Informaticae 77 (1-2), 1-28, 2007 | 410 | 2007 |
| An open extensible tool environment for Event-B JR Abrial, M Butler, S Hallerstede, L Voisin Formal Methods and Software Engineering, 588-605, 2006 | 281 | 2006 |
| A model-based approach for requirements engineering for systems of systems J Holt, S Perry, R Payne, J Bryans, S Hallerstede, FO Hansen IEEE Systems Journal 9 (1), 252-262, 2014 | 88 | 2014 |
| The Rodin formal modelling tool M Butler, S Hallerstede FACS 2007 Christmas Workshop: Formal Methods in Industry, 1-5, 2007 | 86 | 2007 |
| U2B: a tool for translating UML-B models into B F Bernin, M Butler, D Cansell, S Hallerstede, K Kronlöf, A Krupp, ... UML-B specification for proven embedded systems design, 85-108, 2004 | 73 | 2004 |
| A Method and Tool for Tracing Requirements into Specifications S Hallerstede, M Jastram, L Ladenberger Science of Computer Programming 82, 2-21, 2014 | 57 | 2014 |
| On the purpose of Event-B proof obligations S Hallerstede Abstract State Machines, B and Z, 125-138, 2008 | 56 | 2008 |
| Qualitative probabilistic modelling in Event-B S Hallerstede, TS Hoang International Conference on Integrated Formal Methods, 293-312, 2007 | 55 | 2007 |
| Justifications for the Event-B modelling notation S Hallerstede B 2007: Formal Specification and Development in B, 49-63, 2006 | 51 | 2006 |
| Model-based requirements engineering for system of systems J Holt, S Perry, M Brownsword, D Cancila, S Hallerstede, FO Hansen International Conference on System of Systems Engineering,, 6 pages, 2012 | 45 | 2012 |
| An approach of requirements tracing in formal refinement M Jastram, S Hallerstede, M Leuschel, AG Russo Verified Software: Theories, Tools, Experiments: Third International …, 2010 | 41 | 2010 |
| Validation of formal models by refinement animation S Hallerstede, M Leuschel, D Plagge Science of Computer Programming 78 (3), 272-292, 2013 | 39 | 2013 |
| On the purpose of Event-B proof obligations S Hallerstede Formal Aspects of Computing 23, 133-150, 2011 | 35 | 2011 |
| Proposals for mathematical extensions for Event-B JR Abrial, M Butler, S Hallerstede, M Leuschel, M Schmalz, L Voisin Technical report, 2009 | 34 | 2009 |
| Refinement-Animation for Event-B—Towards a Method of Validation S Hallerstede, M Leuschel, D Plagge Abstract State Machines, Alloy, B and Z, 287-301, 2010 | 29 | 2010 |
| Parallel hardware design in B S Hallerstede International Conference of B and Z Users, 101-102, 2003 | 27 | 2003 |
| The UML-B profile for formal systems modelling in UML F Bernin, M Butler, D Cansell, S Hallerstede, K Kronlöf, A Krupp, ... UML-B specification for proven embedded systems design, 69-84, 2004 | 26 | 2004 |
| Constraint-based deadlock checking of high-level specifications S Hallerstede, M Leuschel Theory and Practice of Logic Programming 11 (4-5), 767-782, 2011 | 22 | 2011 |
| A roadmap for the Rodin toolset JR Abrial, M Butler, S Hallerstede, L Voisin | 22 | 2008 |
