Výpis publikací

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. s. 15-32, 17 s. ISBN 978-3-540-85777-8. 2008.

BOUYER, Patricia, Uli FAHRENBERG, Kim G. LARSEN, Nicolas MARKEY a 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. s. 33-47. ISBN 978-3-540-85777-8. 2008.

PELÁNEK, Radek, Kim G. LARSEN, Gerd BEHRMANN a 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, roč. 8, č. 3, s. 204-215. ISSN 1433-2779. 2006.

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

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. s. 385-402. 2005.

PELÁNEK, Radek, Kim G. LARSEN, Gerd BEHRMANN a 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. s. 312-326. ISBN 3-540-21299-X. 2004.