Volume 53, Issue 3

May 2017

Special Issue: Formal Modeling and Analysis of Timed Systems; Guest Editors: Marco Paolieri, Sriram Sankaranarayanan, and Enrico Vicario

Issue Editors:

4 articles in this issue

Guest Editorial: Special issue on formal modeling and analysis of timed systems
Marco Paolieri
Sriram Sankaranarayanan
Enrico Vicario
EditorialNotes 10 April 2017 Pages: 289 - 290
Bounded determinization of timed automata with silent transitions
Florian Lorber
Amnon Rosenmann
Bernhard K. Aichernig
OriginalPaper Open access 27 March 2017 Pages: 291 - 326
Timed-automata abstraction of switched dynamical systems using control invariants
Patricia Bouyer
Nicolas Markey
Philipp Schlehuber-Caissier
OriginalPaper 07 January 2017 Pages: 327 - 353
Verification and control of partially observable probabilistic systems
Gethin Norman
David Parker
Xueyi Zou
OriginalPaper Open access 08 March 2017 Pages: 354 - 402

Search