Publication Records

SRBA, Jiří. Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets. In 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08). Netherlands: Springer-Verlag, 2008, p. 15-32, 17 pp. ISBN 978-3-540-85777-8.

BOUYER, Patricia, Uli FAHRENBERG, Kim G. LARSEN, Nicolas MARKEY and Jiří SRBA. Infinite Runs in Weighted Timed Automata with Energy Constraints. In Proceedings of Formal Modeling and Analysis of Timed Systems (FORMATS'08), Lecture Notes in Computer Science 5215. Netherlands: Springer-Verlag, 2008, p. 33-47. ISBN 978-3-540-85777-8.

PELÁNEK, Radek, Kim G. LARSEN, Gerd BEHRMANN and Patricia BOUYER. Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata. International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag GmbH, 2006, vol. 8, No 3, p. 204-215. ISSN 1433-2779.

PELÁNEK, Radek and Pavel KRČÁL. On Sampled Semantics of Timed Systems. In Foundations of Software Technology and Theoretical Computer Science. India: Springer, 2005, p. 310-321. ISBN 978-3-540-30495-1.

SRBA, Jiří. Timed-Arc Petri Nets vs. Networks of Timed Automata. In Proceedings of the 26th International Conference on Application and Theory of {P}etri Nets (ICATPN 2005). Netherlands: Springer-Verlag, 2005, p. 385-402.

PELÁNEK, Radek, Kim G. LARSEN, Gerd BEHRMANN and Patricia BOUYER. Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. In Tools and Algorithms for Construction and Analysis of Systems (TACAS 2004). Barcelona (Španělsko): Springer-Verlag, 2004, p. 312-326. ISBN 3-540-21299-X.