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 |