An extension of the inverse method to probabilistic timed automata Étienne AndréLaurent FribourgJeremy Sproston OriginalPaper 03 August 2012 Pages: 119 - 145
Code aware resource management Krishnendu ChatterjeeLuca de AlfaroVishwanath Raman OriginalPaper 16 August 2012 Pages: 146 - 174
An approximation algorithm for box abstraction of transition systems on real state spaces Kunihiko HiraishiKoich Kobayashi OriginalPaper 27 September 2012 Pages: 175 - 192
Weighted modal transition systems Sebastian S. BauerUli FahrenbergClaus Thrane OriginalPaper 24 October 2012 Pages: 193 - 220