Pavel Jezek

According to our database, Pavel Jezek authored at least 11 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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á

Proceedings of the 2024 ACM Virtual Global Computing Education Conference V. 1, 2024

2023

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á

Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, 2023

2020

Validation of the Hybrid ERTMS/ETCS Level 3 using Spin.

Paolo Arcaini, Jan Kofron, Pavel Jezek

Int. J. Softw. Tools Technol. Transf., 2020

2019

Eight-Year-Olds' Conceptions of Computer Viruses: A Quantitative Study.

Tereza Hannemann, Tereza Stárková, Pavel Jezek, Kristina Volná, Katerina Kacerovská, Cyril Brom

Proceedings of the 14th Workshop in Primary and Secondary Computing Education, 2019

2018

Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin.

Paolo Arcaini, Pavel Jezek, Jan Kofron

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2013

Automated evaluation of regular lab assignments: A bittersweet experience?

Pavel Jezek, Michal Malohlava, Tomás Pop

Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

2011

Strengthening Component Architectures by Modeling Fine-Grained Entities.

Tomás Bures, Pavel Jezek, Michal Malohlava, Tomás Poch, Ondrej Sery

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2009

Supporting Real-Life Applications in Hierarchical Component Systems.

Pavel Jezek, Tomás Bures, Petr Hnetynka

Proceedings of the Software Engineering Research, 2009

2007

DeSpec: Modeling the Windows Driver Environment.

Tomas Matousek, Pavel Jezek

Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007

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

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2005

Model Checking of Component Behavior Specification: A Real Life Experience.

Pavel Jezek, Jan Kofron, Frantisek Plásil

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005