| 119 | -- | 145 | Étienne André, Laurent Fribourg, Jeremy Sproston. An extension of the inverse method to probabilistic timed automata |
| 146 | -- | 174 | Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman. Code aware resource management |
| 175 | -- | 192 | Kunihiko Hiraishi, Koichi Kobayashi. An approximation algorithm for box abstraction of transition systems on real state spaces |
| 193 | -- | 220 | Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane. Weighted modal transition systems |