- Predicate Abstraction in Java Pathfinder2013 | Matematicko-fyzikální fakulta
- PANDA: Simultaneous Predicate Abstraction and Concrete Execution2015 | Matematicko-fyzikální fakulta
- Predicate Abstraction in Program Verification: Survey and Current Trends2014 | Matematicko-fyzikální fakulta
- PandaPublikace bez příslušnosti k fakultě
- Zlepšení specifikace a verifikace vlastností v nástroji BLAST2009 | Matematicko-fyzikální fakulta