- Generátor prostředí pro Java PathFinder +1Publikace bez příslušnosti k fakultě
- Model checking softwarových komponent: úprava Java PathFinder pro spolupráci s Behavior Protocol CheckerPublikace bez příslušnosti k fakultě
- Model checking softwarových komponent: kombinace Java PathFinder a Behavior Protocol model checker +22007 | Matematicko-fyzikální fakulta
- Predicate Abstraction in Java Pathfinder2013 | Matematicko-fyzikální fakulta
- A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder2019 | Matematicko-fyzikální fakulta
- Efektivní detekce chyb v Java komponentách s použitím náhodného prostředí a restartů2010 | Matematicko-fyzikální fakulta
- Extrakce modelu interakce mezi komponentou a prostředím pomocí průchodu stavovým prostorem2010 | Matematicko-fyzikální fakulta
- Advanced Debugging with JPF Inspector2011 | Matematicko-fyzikální fakulta
- JPF-staticPublikace bez příslušnosti k fakultě
- Abstract Pathfinder2012 | Matematicko-fyzikální fakulta
- Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal2014 | Matematicko-fyzikální fakulta
- BeJC: Checking Compliance beetween Java Implementation and Behavior Specification2012 | Matematicko-fyzikální fakulta
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublikace bez příslušnosti k fakultě
- Částečná verifikace softwarových komponent: heuristiky pro konstrukci prostředí +22007 | Matematicko-fyzikální fakulta
- Formální verifikace komponent v Javě2008 | Matematicko-fyzikální fakulta
- Model Checking of Concurrent Programs with Static Analysis of Field Accesses2015 | Matematicko-fyzikální fakulta
- Použitelnost model checkeru BLAST: průmyslová případová studie2010 | Matematicko-fyzikální fakulta
- Heuristická redukce paralelismu v prostředí komponentyPublikace bez příslušnosti k fakultě
- Ověřování relačně-omezené komunikace mezi webovými službami2008 | Matematicko-fyzikální fakulta
- Modelování a verifikace relačně-orientovaných interakcí mezi webovými službami: kompatibilita BPEL a relačních protokolůPublikace bez příslušnosti k fakultě
- Automatická konstrukce přiměřeného prostředí pro Java komponenty2009 | Matematicko-fyzikální fakulta
- PandaPublikace bez příslušnosti k fakultě
- Dead Variable Analysis for Multi-Threaded Heap Manipulating Programs2016 | Matematicko-fyzikální fakulta
- On partial state matching2017 | Matematicko-fyzikální fakulta
- Fast Error Detection with Hybrid Analyses of Future Accesses2016 | Matematicko-fyzikální fakulta