2 citations · 3 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
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…
cs.SE2010★ 2 cited
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
Manuel Mazzara, Anirban Bhattacharyya
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism…