Pavel Jezek

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 4

Top Topics

Digital Libraries

Comparative Evaluation

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Cyril Brom, Tereza Hannemann, Pavel Jezek, Anna Drobná, Kristina Volná, Katerina Kacerovská
Principles of Computers and the Internet - Model Lessons for Primary School Children: Experience Report. ITiCSE (1) (2023)
Paolo Arcaini, Jan Kofron, Pavel Jezek
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Tereza Hannemann, Tereza Stárková, Pavel Jezek, Kristina Volná, Katerina Kacerovská, Cyril Brom
Eight-Year-Olds' Conceptions of Computer Viruses: A Quantitative Study. WiPSCE (2019)
Paolo Arcaini, Pavel Jezek, Jan Kofron
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin. ABZ (2018)
Pavel Jezek, Michal Malohlava, Tomás Pop
Automated evaluation of regular lab assignments: A bittersweet experience? CSEE&T (2013)
Tomás Bures, Pavel Jezek, Michal Malohlava, Tomás Poch, Ondrej Sery
Strengthening Component Architectures by Modeling Fine-Grained Entities. EUROMICRO-SEAA (2011)
Pavel Jezek, Tomás Bures, Petr Hnetynka
Supporting Real-Life Applications in Hierarchical Component Systems. SERA (selected papers) (2009)
Tomas Matousek, Pavel Jezek
DeSpec: Modeling the Windows Driver Environment. Electron. Notes Theor. Comput. Sci. 203 (7) (2009)
Lubomír Bulej, Tomás Bures, Thierry Coupaye, Martin Decký, Pavel Jezek, Pavel Parízek, Frantisek Plasil, Tomás Poch, Nicolas Rivierre, Ondrej Sery, Petr Tuma
CoCoME in Fractal. CoCoME (2007)
Pavel Jezek, Jan Kofron, Frantisek Plasil
Model Checking of Component Behavior Specification: A Real Life Experience. Electron. Notes Theor. Comput. Sci. 160 (2006)