High-integrity agile processes for the development of safety critical software | 2 | 0.39 | 2011 |
Towards a Model-Based Refinement Process for Contractual State Machines. | 2 | 0.37 | 2010 |
Model-Checking the Linux Virtual File System | 12 | 0.59 | 2009 |
Integrating safety and formal analyses using UML and PFS | 17 | 1.23 | 2007 |
Lifting general correctness into partial correctness is ok | 2 | 0.38 | 2007 |
Formal Validation of Hierarchical State Machines against Expectations | 9 | 0.57 | 2007 |
Three perspectives in formal engineering | 0 | 0.34 | 2006 |
On the Formal Development of Safety-Critical Software | 3 | 0.69 | 2005 |
Proving properties of stateflow models using ISO standard z and CADiZ | 11 | 1.11 | 2005 |
Generalised Substitution Language and Differentials | 7 | 0.71 | 2002 |
ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings | 25 | 3.55 | 2000 |
Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999 | 24 | 2.86 | 1999 |
Undefined Expressions and Logic in Z and B | 4 | 0.65 | 1999 |
Abstract State Machines: Designing Distributed Systems with State Machines and B | 5 | 0.53 | 1998 |
Towards Industrially Applicable Formal Methods: Three Small Steps, and One Giant Leap | 10 | 0.76 | 1998 |
Integrated formal methods | 3 | 1.06 | 1997 |
An operational semantics for ZCCS | 41 | 2.46 | 1997 |