- Wally axiomatics of Branching Continuations2013 | Faculty of Arts
- Does branching explain flow of time or the other way around?2015 | Faculty of Arts
- Labelled Superposition for PLTL2012 | Faculty of Mathematics and Physics
- Formal Verification of Annotated Textual Use-Cases2015 | Faculty of Mathematics and Physics, Central Library of Charles University
- Flow of Time in BST/BCont Models and Related Semantical Observations2012 | Faculty of Arts
- A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance2012 | Faculty of Mathematics and Physics
- DeSpec: Modeling the Windows Driver Environment2009 | Faculty of Mathematics and Physics
- Checking Software Components Behavior Using Behavior Protocols and Spin2007 | Faculty of Mathematics and Physics
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker +22007 | Faculty of Mathematics and Physics