- Kritické aplikace reálného času v Javě2010 | Matematicko-fyzikální fakulta
- Towards Component-Based Design of Safety-Critical Cyber-Physical Applications2014 | Matematicko-fyzikální fakulta
- Component-Based Design of Cyber-Physical Applications with Safety-Critical Requirements2016 | Matematicko-fyzikální fakulta
- Systematické testování kritických aplikací reálného času v Javě2010 | Matematicko-fyzikální fakulta
- Rigorous development process of a safety-critical system: from ASM models to Java code2017 | Matematicko-fyzikální fakulta
- UIMC Railway medical guidelines. Guidelines for medical fitness of railway personnel in safety critical functions2014 | 1. lékařská fakulta
- Modelové úlohy pro verifikaci systémů reálného času2010 | Matematicko-fyzikální fakulta
- Alcohol, drugs and psychotropic medication at work: guidelines for medical fitness2019 | 1. lékařská fakulta
- jPapaBenchPublikace bez příslušnosti k fakultě
- Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin2018 | Matematicko-fyzikální fakulta
- Integrating Formal Methods into Medical Software Development: the ASM approach2018 | Matematicko-fyzikální fakulta
- A Family of Real-time Java Benchmarks2011 | Matematicko-fyzikální fakulta