1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.OH2023
Modelling Maritime SAR Effective Sweep Widths for Helicopters in VDM
Alexander Sulaiman, Ken Pierce
Search and Rescue (SAR) is searching for and providing help to people in danger. In the UK, SAR teams are typically charities with limited resources, and SAR missions are time crit…
cs.SE2016
An Empirical Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems
Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce
This paper uses a case study to evaluate empirically three formalisms of different kinds for their suitability for the modelling and analysis of dynamic reconfiguration of dependab…
cs.SE2014★ 1 cited
On Formalisms for Dynamic Reconfiguration of Dependable Systems
Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce +1
Three formalisms of different kinds - VDM, Maude, and basic CCSdp - are evaluated for their suitability for the modelling and verification of dynamic software reconfiguration using…