Model Checking of Component Behavior Specification: A Real Life Experience. - Pavel Jezek; Jan Kofron; Frantisek Plásil (FACS, 2005)

CoCoME in Fractal. - Lubomír Bulej; Tomás Bures; Thierry Coupaye; Martin Decký; Pavel Jezek; Pavel Parízek; Frantisek Plásil; Tomás Poch; Nicolas Rivierre; Ondrej Sery; Petr Tuma 001 (CoCoME, 2007)

DeSpec: Modeling the Windows Driver Environment. - Tomas Matousek; Pavel Jezek (FESCA@ETAPS, 2007)

Supporting Real-Life Applications in Hierarchical Component Systems. - Pavel Jezek; Tomás Bures; Petr Hnetynka (SERA (selected papers), 2009)

Strengthening Component Architectures by Modeling Fine-Grained Entities. - Tomás Bures; Pavel Jezek; Michal Malohlava; Tomás Poch; Ondrej Sery (EUROMICRO-SEAA, 2011)

Automated evaluation of regular lab assignments: A bittersweet experience? - Pavel Jezek; Michal Malohlava; Tomás Pop (CSEE&T, 2013)

Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin. - Paolo Arcaini; Pavel Jezek; Jan Kofron (ABZ, 2018)

Eight-Year-Olds' Conceptions of Computer Viruses: A Quantitative Study. - Tereza Hannemann; Tereza Stárková; Pavel Jezek; Kristina Volná; Katerina Kacerovská; Cyril Brom (WiPSCE, 2019)

Validation of the Hybrid ERTMS/ETCS Level 3 using Spin. - Paolo Arcaini; Jan Kofron; Pavel Jezek (Int. J. Softw. Tools Technol. Transf., 2020)

Principles of Computers and the Internet - Model Lessons for Primary School Children: Experience Report. - Cyril Brom; Tereza Hannemann; Pavel Jezek; Anna Drobná; Kristina Volná; Katerina Kacerovská (ITiCSE (1), 2023)

Clouds, Hacking and App Permissions: Model Lessons for Grades 5-7: Experience Report. - Cyril Brom; Ondrej Petír; Filip Dechterenko; Anna Drobná; Anna Yaghobová; Pavel Jezek; Kristina Volná; Katerina Kacerovská (SIGCSE Virtual (1), 2024)