14 citations · 20 across the 3 of their papers we have counts for
3 papers
cs.MA2024★ 2 cited
Autonomous System Safety Properties with Multi-Machine Hybrid Event-B
Richard Banach
Event-B is a well known methodology for the verified design and development of systems that can be characterised as discrete transition systems. Hybrid Event-B is a conservative ex…
cs.CR2023★ 14 cited
Exploring the Privacy Concerns in Permissionless Blockchain Networks and Potential Solutions
Talgar Bayan, Richard Banach
In recent years, permissionless blockchains have gained significant attention for their ability to secure and provide transparency in transactions. The development of blockchain te…
cs.SE2011★ 4 cited
Formalising the Continuous/Discrete Modeling Step
Richard Banach, Huibiao Zhu, Wen Su +1
Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement techniques. A very simple model for stopping (eg. of a tr…