- Behavior Java CheckerPublication without faculty affiliation
- Czech Grammar Checker2014 | Faculty of Arts
- EBP CheckerPublication without faculty affiliation
- Carmen - the software component model checker +1Publication without faculty affiliation
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker +22007 | Faculty of Mathematics and Physics
- Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol CheckerPublication without faculty affiliation
- Applicability of the BLAST Model Checker: An Industrial Case Study2010 | Faculty of Mathematics and Physics
- BPEL CheckerPublication without faculty affiliation
- Czech Grammar Checker +1Publication without faculty affiliation
- Behavior Protocols Checker +3Publication without faculty affiliation
- Distributed Behavior Protocol Checker2006 | Faculty of Mathematics and Physics
- Distributed Behavior Protocol Checker +1Publication without faculty affiliation
- Microsoft Office Add-on: Czech Grammar Checker +1Publication without faculty affiliation
- Using a grammar checker to validate compliance of processes with workflow models2017 | Faculty of Mathematics and Physics
- Carmen : Software Component Model Checker2008 | Faculty of Mathematics and Physics
- A Grammar Checker for CzechPublication without faculty affiliation
- IPFchecker - let's fight disorders of lung interstitium!2018 | First Faculty of Medicine, Faculty of Medicine in Hradec Králové
- SolCMC: Solidity Compiler's Model Checker2022 | Faculty of Mathematics and Physics
- The architecture of a grammar checker1994 | Publication without faculty affiliation
- A Prototype of a Grammar Checker for Czech1997 | Faculty of Mathematics and Physics
- eVolCheck: Incremental Upgrade Checker for C2013 | Faculty of Mathematics and Physics