- Formální verifikace komponent v Javě2008 | Matematicko-fyzikální fakulta
- Formal Verification of Annotated Textual Use-Cases2015 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Cesta k formálně verifikovanému obecnému operačnímu systému2010 | Matematicko-fyzikální fakulta
- Verification of Use-Cases with FOAM Tool in Context of Cloud Providers2015 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Towards Verification of Ensemble-Based Component Systems2014 | Matematicko-fyzikální fakulta
- Addressing State Explosion in Behavior Protocol Verification2004 | Matematicko-fyzikální fakulta
- FOAM : A Lightweight Method for Verification of Use-Cases2012 | Matematicko-fyzikální fakulta
- Behavior Protocol Verification: Fighting State Explosion2005 | Matematicko-fyzikální fakulta
- Verifikace protokolů chování: řešení problému +12005 | Matematicko-fyzikální fakulta
- Extrakce specifikace chování komponent v nasazených aplikacích2009 | Matematicko-fyzikální fakulta
- Using linear algebra in decomposition of Farkas interpolants2022 | Matematicko-fyzikální fakulta
- Rozšíření Behavior Protocols2007 | Matematicko-fyzikální fakulta
- CHC Model Validation with Proof Guarantees2024 | Matematicko-fyzikální fakulta