| Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3 | 1 | 0.35 | 2020 |
| Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation | 0 | 0.34 | 2020 |
| Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018) | 0 | 0.34 | 2020 |
| Domain-Specific Scenarios for Refinement-Based Methods. | 0 | 0.34 | 2019 |
| Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset. | 1 | 0.35 | 2018 |
| Introduction to the ABZ 2016 Special issue. | 0 | 0.34 | 2018 |
| A model-based framework for software portability and verification in embedded power management systems. | 3 | 0.41 | 2018 |
| Behaviour-Driven Formal Model Development | 1 | 0.37 | 2018 |
| Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines. | 2 | 0.37 | 2017 |
| Derivation of algorithmic control structures in Event-B refinement. | 0 | 0.34 | 2017 |
| Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks. | 0 | 0.34 | 2016 |
| A Graphical Tool for Event Refinement Structures in Event-B. | 1 | 0.37 | 2016 |
| Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation. | 9 | 0.55 | 2016 |
| Reasoned Modelling with Event-B. | 0 | 0.34 | 2016 |
| Building traceable Event-B models from requirements. | 2 | 0.41 | 2015 |
| A method of refinement in UML-B. | 7 | 0.57 | 2015 |
| Core Hybrid Event-B I: Single Hybrid Event-B machines | 12 | 0.74 | 2015 |
| Language and tool support for event refinement structures in Event-B | 10 | 0.93 | 2015 |
| A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems. | 1 | 0.35 | 2014 |
| Modelling And Refinement In Coda | 0 | 0.34 | 2013 |
| Reasoned modelling critics: Turning failed proofs into modelling guidance | 6 | 0.57 | 2013 |
| Control Systems: Phenomena and Structuring Functional Requirement Documents | 6 | 0.54 | 2012 |
| External and internal choice with event groups in Event-B | 1 | 0.36 | 2012 |
| Decomposition tool for event-B | 25 | 1.47 | 2011 |
| Applying atomicity and model decomposition to a space craft system in event-B | 9 | 0.64 | 2011 |
| A refinement-based correctness proof of symmetry reduced model checking | 7 | 0.48 | 2010 |
| Rodin: an open toolset for modelling and reasoning in Event-B | 239 | 9.80 | 2010 |
| Language and Tool Support for Class and State Machine Refinement in UML-B | 21 | 1.09 | 2009 |
| Verification of Liveness Properties in Distributed Systems | 5 | 0.47 | 2009 |
| Validating and animating higher-order recursive functions in b | 2 | 0.47 | 2009 |
| Applying Event-B atomicity decomposition to a multi media protocol | 7 | 0.62 | 2009 |
| PVS Embedding of cCSP Semantic Models and Their Relationship | 6 | 0.50 | 2009 |
| Supporting Reuse of Event-B Developments through Generic Instantiation | 16 | 1.13 | 2009 |
| Decomposition Structures for Event-B | 60 | 2.63 | 2009 |
| Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B | 13 | 0.75 | 2009 |
| ProB: an automated analysis toolset for the B method | 155 | 5.31 | 2008 |
| A Roadmap for the Rodin Toolset | 5 | 0.54 | 2008 |
| Modelling and Proof of a Tree-Structured File System in Event-B and Rodin | 15 | 0.83 | 2008 |
| An incremental development of the Mondex system in Event-B | 29 | 1.29 | 2008 |
| Automatic Testing from Formal Specifications | 10 | 0.63 | 2007 |
| Symmetry Reduced Model Checking for B | 14 | 0.77 | 2007 |
| An open extensible tool environment for event-b | 96 | 4.88 | 2006 |
| Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05". | 0 | 0.34 | 2006 |
| A proposal for records in event-b | 9 | 0.95 | 2006 |
| UML-B: Formal modeling and design aided by UML | 142 | 6.39 | 2006 |
| Rigorous design of fault-tolerant transactions for replicated database systems using event b | 8 | 0.63 | 2006 |
| Automatic refinement checking for b | 25 | 1.17 | 2005 |
| Combining CSP and b for specification and property verification | 46 | 2.55 | 2005 |
| Some guidelines for formal development of web-based applications in b-method | 6 | 0.55 | 2005 |
| Comparing two approaches to compensable flow composition | 40 | 1.64 | 2005 |
