- Formal Verification of Components in Java2008 | Faculty of Mathematics and Physics
- Formal Verification of Annotated Textual Use-Cases2015 | Faculty of Mathematics and Physics, Central Library of Charles University
- A Road to a Formally Verified General-Purpose Operating System2010 | Faculty of Mathematics and Physics
- Verification of Use-Cases with FOAM Tool in Context of Cloud Providers2015 | Faculty of Mathematics and Physics, Central Library of Charles University
- Towards Verification of Ensemble-Based Component Systems2014 | Faculty of Mathematics and Physics
- Addressing State Explosion in Behavior Protocol Verification2004 | Faculty of Mathematics and Physics
- FOAM : A Lightweight Method for Verification of Use-Cases2012 | Faculty of Mathematics and Physics
- Behavior Protocol Verification: Fighting State Explosion +22005 | Faculty of Mathematics and Physics
- Extracting Behavior Specification of Components in Legacy Applications2009 | Faculty of Mathematics and Physics
- Using linear algebra in decomposition of Farkas interpolants2022 | Faculty of Mathematics and Physics
- Behavior Protocols Extensions2007 | Faculty of Mathematics and Physics
- CHC Model Validation with Proof Guarantees2024 | Faculty of Mathematics and Physics