289 | -- | 290 | Marco Paolieri, Sriram Sankaranarayanan, Enrico Vicario. Guest Editorial: Special issue on formal modeling and analysis of timed systems |
291 | -- | 326 | Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig. Bounded determinization of timed automata with silent transitions |
327 | -- | 353 | Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier. Timed-automata abstraction of switched dynamical systems using control invariants |
354 | -- | 402 | Gethin Norman, David Parker 0001, Xueyi Zou. Verification and control of partially observable probabilistic systems |