- Formální verifikace komponent v Javě2008 | Matematicko-fyzikální fakulta
- Cesta k formálně verifikovanému obecnému operačnímu systému2010 | Matematicko-fyzikální fakulta
- Nástroj pro ověřování behavior protokolů +1Publikace bez příslušnosti k fakultě
- Konstrukce reprezentačních stavů v Interfering automata2007 | Matematicko-fyzikální fakulta
- Rozšíření Behavior Protocols2007 | Matematicko-fyzikální fakulta