- From Textual Use-Cases to Component-Based Applications2010 | Faculty of Mathematics and Physics
- From Textual Use Cases to Behavior SpecificationsPublication without faculty affiliation
- Deriving Behavior Specifications from Textual Use Cases2004 | Faculty of Mathematics and Physics
- Formal Verification of Annotated Textual Use-Cases2015 | Faculty of Mathematics and Physics, Central Library of Charles University
- Deriving Behavior Specifications from Textual Use Cases2004 | Publication without faculty affiliation
- Improved Processing of Textual Use Cases: Deriving Behavior Specifications2007 | Publication without faculty affiliation
- FOAM : A Lightweight Method for Verification of Use-Cases2012 | Faculty of Mathematics and Physics
- Verifying Temporal Properties of Use-Cases in Natural Language2012 | 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
- Procasor Environment: Interactive Environment for Requirement SpecificationPublication without faculty affiliation