Journal: Real-Time Systems

Volume 53, Issue 3

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