- Predicate Abstraction in Java Pathfinder2013 | Faculty of Mathematics and Physics
- PANDA: Simultaneous Predicate Abstraction and Concrete Execution2015 | Faculty of Mathematics and Physics
- Predicate Abstraction in Program Verification: Survey and Current Trends2014 | Faculty of Mathematics and Physics
- PandaPublication without faculty affiliation
- Enhanced Property Specification and Verification in BLAST2009 | Faculty of Mathematics and Physics