435 citations · 840 across the 65 of their papers we have counts for
Showing 2014 · cs.SEShow all
2 papers · 2 filters
cs.SE2014★ 2 cited
An LTL Semantics of Business Workflows with Recovery
Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara
We describe a business workflow case study with abnormal behavior management (i.e. recovery) and demonstrate how temporal logics and model checking can provide a methodology to ite…
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…