- A standardized framework for the validation and verification of clinical molecular genetic tests2010 | First Faculty of Medicine, Faculty of Physical Education and Sport, Second Faculty of Medicine
- Formal validation and verification of a medical software critical component2015 | Faculty of Mathematics and Physics
- Validation and verification of molecular biology methods based on analysis of extrahuman genome2006 | First Faculty of Medicine
- Rigorous development process of a safety-critical system: from ASM models to Java code2017 | Faculty of Mathematics and Physics
- Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin2018 | Faculty of Mathematics and Physics
- New approach to reference materials +12006 | Publication without faculty affiliation
- Unified Syntax for Abstract State Machines2016 | Faculty of Mathematics and Physics
- PROCESS OF PILOT STANDARDIZATION OF THE CZECH VERSION OF SERVQUAL QUESTIONNAIRE THAT EVALUATES THE QUALITY OF SERVICE IN THE FITNESS SECTORPublication without faculty affiliation
- How to assure correctness and safety of medical software: the Hemodialysis Machine Case Study2016 | Faculty of Mathematics and Physics
- Enrichment of Arabic TimeML CorpusPublication without faculty affiliation
- Integrating Formal Methods into Medical Software Development: the ASM approach2018 | Faculty of Mathematics and Physics
- ASM-based formal design of an adaptivity component for a Cloud system2016 | Faculty of Mathematics and Physics
- Formal design and verification of self-adaptive systems with decentralized control2017 | Faculty of Mathematics and Physics
- Review: Sources of precipitation data for research of rainfall thresholds triggering landslides2022 | Faculty of Science