11 citations · 12 across the 4 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
Liveness of Parameterized Timed Networks
Benjamin Aminof, Sasha Rubin, Francesco Spegni +1
We consider the model checking problem of infinite state systems given in the form of parameterized discrete timed networks with multiple clocks. We show that this problem is decid…
cs.CR2016★ 1 cited
Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version)
Marco Baldi, Alessandro Cucchiarelli, Linda Senigagliesi +2
Recent developments in cloud storage architectures have originated new models of online storage as cooperative storage systems and interconnected clouds. Such distributed environme…