- Unit testing performance with Stochastic Performance Logic2017 | Matematicko-fyzikální fakulta
- Unit Testing Performance in Java Projects: Are We There Yet?2017 | Matematicko-fyzikální fakulta
- Performance Regression Unit Testing: A Case Study2013 | Matematicko-fyzikální fakulta
- UnitCheck: Kombinace Technik Unit Testing a Model Checking2009 | Matematicko-fyzikální fakulta
- Utilizing Performance Unit Tests To Increase Performance Awareness2015 | Matematicko-fyzikální fakulta
- SPL tools for Java 1.0Publikace bez příslušnosti k fakultě
- Porovnání výsledků českých žáků ve společné části maturitní zkoušky z chemie2012 | Přírodovědecká fakulta
- Problémy žáků středních škol při řešení úloh společné části maturitní zkoušky z chemie2013 | Přírodovědecká fakulta
- Capturing Performance Assumptions using Stochastic Performance Logic2012 | Matematicko-fyzikální fakulta