- Model Checking and Reduction of Behavior Protocols2006 | Faculty of Mathematics and Physics
- Modeling Environment for Component Model Checking from Hierarchical ArchitecturePublication without faculty affiliation
- UnitCheck: Unit Testing and Model Checking Combined2009 | Faculty of Mathematics and Physics
- Model Checking of Component Behavior Specification: A Real Life Experience +12006 | Faculty of Mathematics and Physics
- Specification and Generation of Environment for Model Checking of Software Components2007 | Faculty of Mathematics and Physics
- Modeling Environment for Component Model Checking from Hierarchical Architecture2007 | Faculty of Mathematics and Physics
- Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol CheckerPublication without faculty affiliation
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker +22007 | Faculty of Mathematics and Physics
- Applicability of the BLAST Model Checker: An Industrial Case Study2010 | Faculty of Mathematics and Physics
- Leveraging Interpolant Strength in Model Checking2012 | Faculty of Mathematics and Physics
- Model-Checking on Ordered Structures2020 | Faculty of Mathematics and Physics
- Fixed-Template Promise Model Checking Problems2022 | Faculty of Mathematics and Physics
- FunFrog: Bounded Model Checking with Interpolation-based Function Summarization2012 | Faculty of Mathematics and Physics
- Exhaustive Testing of Safety Critical Java2010 | Faculty of Mathematics and Physics
- Model Checking of Concurrent Programs with Static Analysis of Field Accesses2015 | Faculty of Mathematics and Physics
- Model Checking of Component Behavior Specification: A Real Life Experience2005 | Faculty of Mathematics and Physics, Central Library of Charles University
- Partial Verification of Software Components: Heuristics for Environment Construction2007 | Faculty of Mathematics and Physics
- Exploiting partial variable assignment in interpolation-based model checking2019 | Faculty of Mathematics and Physics
- The Golem Horn Solver2023 | Faculty of Mathematics and Physics
- Predicate Abstraction in Program Verification: Survey and Current Trends2014 | Faculty of Mathematics and Physics
- On partial state matching2017 | Faculty of Mathematics and Physics
- Transition Power Abstractions for Deep Counterexample Detection2022 | Faculty of Mathematics and Physics
- Testing first-order properties for subclasses of sparse graphs2013 | Faculty of Mathematics and Physics
- A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder2019 | Faculty of Mathematics and Physics
- SMT-based verification of program changes through summary repair2023 | Faculty of Mathematics and Physics
- Decomposition-Based Approach for Model-Based Test Generation2019 | Faculty of Mathematics and Physics
- Performance Improvements of Behavior Protocol Checking2005 | Faculty of Mathematics and Physics