| Automated verification of reactive and concurrent programs by calculation | 0 | 0.34 | 2021 |
| RiskStructures: A design algebra for risk-aware machines | 0 | 0.34 | 2021 |
| Unifying theories of reactive design contracts | 0 | 0.34 | 2020 |
| New Opportunities for Integrated Formal Methods | 0 | 0.34 | 2020 |
| Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP. | 1 | 0.41 | 2019 |
| Mechanising a formal model of flash memory | 20 | 0.86 | 2009 |
