Pavel Jezek

11 papers C 1Journal 1Unranked 9

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Clouds, Hacking and App Permissions: Model Lessons for Grades 5-7: Experience Report. SIGCSE Virtual (1) Cyril Brom, Ondrej Petír, Filip Dechterenko, Anna Drobná, Anna Yaghobová, Pavel Jezek, Kristina Volná, Katerina Kacerovská
2023	—	`conf`	Principles of Computers and the Internet - Model Lessons for Primary School Children: Experience Report. ITiCSE (1) Cyril Brom, Tereza Hannemann, Pavel Jezek, Anna Drobná, Kristina Volná, Katerina Kacerovská
2020	J	`jnl`	Validation of the Hybrid ERTMS/ETCS Level 3 using Spin. Int. J. Softw. Tools Technol. Transf. Paolo Arcaini, Jan Kofron, Pavel Jezek
2019	—	`conf`	Eight-Year-Olds' Conceptions of Computer Viruses: A Quantitative Study. WiPSCE Tereza Hannemann, Tereza Stárková, Pavel Jezek, Kristina Volná, Katerina Kacerovská, Cyril Brom
2018	C	`conf`	Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin. ABZ Paolo Arcaini, Pavel Jezek, Jan Kofron
2013	—	`conf`	Automated evaluation of regular lab assignments: A bittersweet experience? CSEE&T Pavel Jezek, Michal Malohlava, Tomás Pop
2011	—	`conf`	Strengthening Component Architectures by Modeling Fine-Grained Entities. EUROMICRO-SEAA Tomás Bures, Pavel Jezek, Michal Malohlava, Tomás Poch, Ondrej Sery
2009	—	`conf`	Supporting Real-Life Applications in Hierarchical Component Systems. SERA (selected papers) Pavel Jezek, Tomás Bures, Petr Hnetynka
2007	—	`conf`	CoCoME in Fractal. CoCoME 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
2007	—	`conf`	DeSpec: Modeling the Windows Driver Environment. FESCA@ETAPS Tomas Matousek, Pavel Jezek
2005	—	`conf`	Model Checking of Component Behavior Specification: A Real Life Experience. FACS Pavel Jezek, Jan Kofron, Frantisek Plásil