Pavel Jezek

Orcid: 0000-0002-6031-7937

According to our database1, Pavel Jezek authored at least 10 papers between 2005 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Principles of Computers and the Internet - Model Lessons for Primary School Children: Experience Report.
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.
Int. J. Softw. Tools Technol. Transf., 2020

2019
Eight-Year-Olds' Conceptions of Computer Viruses: A Quantitative Study.
Proceedings of the 14th Workshop in Primary and Secondary Computing Education, 2019

2018
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2013
Automated evaluation of regular lab assignments: A bittersweet experience?
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

2011
Strengthening Component Architectures by Modeling Fine-Grained Entities.
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.
Proceedings of the Software Engineering Research, 2009

2007
DeSpec: Modeling the Windows Driver Environment.
Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007

CoCoME in Fractal.
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.
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005


  Loading...