Author-Paveljezek on D3S https://d3s.mff.cuni.cz/tags/author-paveljezek/ Recent content in Author-Paveljezek on D3S Hugo en Automated evaluation of regular lab assignments: A bittersweet experience? https://d3s.mff.cuni.cz/publications/jezek_automated_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/jezek_automated_2013/ Checking Fractal Component Behavior Using Behavior Protocols https://d3s.mff.cuni.cz/publications/kofron_checking_2006/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kofron_checking_2006/ CoCoME in Fractal https://d3s.mff.cuni.cz/publications/bulej_cocome_2008/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bulej_cocome_2008/ Component reliability extensions for fractal component model https://d3s.mff.cuni.cz/publications/adamek_component_report_2006/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/adamek_component_report_2006/ Eight-Year-Olds' Conceptions of Computer Viruses: A Quantitative Study https://d3s.mff.cuni.cz/publications/hannemann_eightyearolds_2019/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/hannemann_eightyearolds_2019/ Eight-year-olds’ naïve and acquired knowledge about computer viruses: a mixed methods study https://d3s.mff.cuni.cz/publications/brom_eightyearolds_2024/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/brom_eightyearolds_2024/ Fine-grained Entities in Component Architectures https://d3s.mff.cuni.cz/publications/bures_finegrained_report_2009/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_finegrained_report_2009/ Lessons about Clouds, Hacking and Apps Permissions for Grades 5–7: A Design-Based Approach Using the ERR Framework https://d3s.mff.cuni.cz/publications/brom_lessons_2024/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/brom_lessons_2024/ Model Checking of Component Behavior Specification: A Real Life Experience https://d3s.mff.cuni.cz/publications/jezek_model_2006/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/jezek_model_2006/ Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin https://d3s.mff.cuni.cz/publications/arcaini_modelling_2018/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/arcaini_modelling_2018/ Principles of Computers and the Internet - Model Lessons for Primary School Children: Experience Report https://d3s.mff.cuni.cz/publications/brom_principles_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/brom_principles_2023/ Real-life Behavior Specification of Software Components https://d3s.mff.cuni.cz/publications/adamek_reallife_2006/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/adamek_reallife_2006/ Strengthening Component Architectures by Modeling Fine-Grained Entities https://d3s.mff.cuni.cz/publications/bures_strengthening_2011/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_strengthening_2011/ Supporting Real-Life Applications in Hierarchical Component Systems https://d3s.mff.cuni.cz/publications/jezek_supporting_2009/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/jezek_supporting_2009/ Validation of the Hybrid ERTMS/ETCS Level 3 using Spin https://d3s.mff.cuni.cz/publications/arcaini_validation_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/arcaini_validation_2020/