- Rozšíření Behavior Protocols +12007 | Matematicko-fyzikální fakulta
- Ověřování softwarových komponent s použitím Behavior Protocols a Spinu2007 | Matematicko-fyzikální fakulta
- Extrakce modelu interakce mezi komponentou a prostředím pomocí průchodu stavovým prostorem2010 | Matematicko-fyzikální fakulta
- Rozšíření Behavior protokolů2006 | Matematicko-fyzikální fakulta
- Nástroj pro ověřování behavior protokolů +3Publikace bez příslušnosti k fakultě
- Threaded Behavior Protocols2013 | Matematicko-fyzikální fakulta
- Distribuovaný ověřovač Behavior protokolů2006 | Matematicko-fyzikální fakulta
- Distribuovaný ověřovač Behavior protokolů +1Publikace bez příslušnosti k fakultě
- Rozšíření protokolů chování o podporu vyjímek2005 | Matematicko-fyzikální fakulta
- Rozšíření Behavior protokolů o data a multisynchronizaciPublikace bez příslušnosti k fakultě
- Model checking a redukce behavior protokolů2006 | Matematicko-fyzikální fakulta
- Behavior Protocoly: Řešení problému 'spearhead'2006 | Matematicko-fyzikální fakulta
- Zlepšení výkony testování protokolů chování2005 | Matematicko-fyzikální fakulta
- Verifikace protokolů chování: řešení problému +12005 | Matematicko-fyzikální fakulta
- Protokoly chování: Efektivní kontrola chyb skládání2005 | Matematicko-fyzikální fakulta
- Verifikace softwarových komponent: O překladu Behavior protokolů do PromelyPublikace bez příslušnosti k fakultě
- Behavior ProtocolsPublikace bez příslušnosti k fakultě
- Model checking softwarových komponent: kombinace Java PathFinder a Behavior Protocol model checker +12007 | Matematicko-fyzikální fakulta
- Model checking softwarových komponent: úprava Java PathFinder pro spolupráci s Behavior Protocol CheckerPublikace bez příslušnosti k fakultě
- Enhancing Behavior Protocols with Exceptions2005 | Matematicko-fyzikální fakulta
- Behavior Protocols Capturing Errors and Updates2003 | Matematicko-fyzikální fakulta
- Performance Improvements of Behavior Protocol Checking2005 | Matematicko-fyzikální fakulta
- Behavior Protocol Verification: Fighting State Explosion2005 | Matematicko-fyzikální fakulta