18 citations · 20 across the 2 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2010★ 18 cited
Deriving Specifications of Dependable Systems: toward a Method
Manuel Mazzara
This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools where the firs…
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…