- Environment Generator for Java PathFinder +1Publication without faculty affiliation
- 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
- Abstract Pathfinder2012 | Faculty of Mathematics and Physics
- Online Multi-Agent Pathfinding2019 | Faculty of Mathematics and Physics
- Predicate Abstraction in Java Pathfinder2013 | Faculty of Mathematics and Physics
- Multi-agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way?2022 | Faculty of Mathematics and Physics
- Modeling and Solving the Multi-agent Pathfinding Problem in Picat2017 | Faculty of Mathematics and Physics
- Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks2019 | Faculty of Mathematics and Physics
- Multi-Agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way?2023 | Faculty of Mathematics and Physics
- Efficient Detection of Errors in Java Components Using Random Environment and Restarts2010 | Faculty of Mathematics and Physics
- A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder2019 | Faculty of Mathematics and Physics
- Thom Gunn's Pathfinder2004 | Faculty of Mathematics and Physics
- Tackling Train Routing via Multi-agent Pathfinding and Constraint-based Scheduling2022 | Faculty of Mathematics and Physics
- Reduction-based Solving of Multi-agent Pathfinding on Large Maps Using Graph Pruning2022 | Faculty of Mathematics and Physics
- Extraction of Component-Environment Interaction Model Using State Space Traversal2010 | Faculty of Mathematics and Physics
- Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding2017 | Faculty of Mathematics and Physics
- Advanced Debugging with JPF Inspector2011 | Faculty of Mathematics and Physics
- JPF-staticPublication without faculty affiliation
- Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal2014 | Faculty of Mathematics and Physics
- BeJC: Checking Compliance beetween Java Implementation and Behavior Specification2012 | Faculty of Mathematics and Physics
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublication without faculty affiliation
- Partial Verification of Software Components: Heuristics for Environment Construction +22007 | Faculty of Mathematics and Physics
- Formal Verification of Components in Java2008 | Faculty of Mathematics and Physics
- Model Checking of Concurrent Programs with Static Analysis of Field Accesses2015 | Faculty of Mathematics and Physics