Issue 2/2013
Content (4 Articles)
An extension of the inverse method to probabilistic timed automata
Étienne André, Laurent Fribourg, Jeremy Sproston
Code aware resource management
Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman
An approximation algorithm for box abstraction of transition systems on real state spaces
Kunihiko Hiraishi, Koich Kobayashi
Weighted modal transition systems
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus Thrane