Performability assessment by model checking of Markov reward models Christel BaierLucia ClothJoost-Pieter Katoen OriginalPaper 18 March 2010 Pages: 1 - 36
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols Xiaofang ChenYu YangChing-Tsun Chou OriginalPaper 24 March 2010 Pages: 37 - 64
Pushdown module checking Laura BozzelliAniello MuranoAdriano Peron OriginalPaper 23 March 2010 Pages: 65 - 95