- Behavior Java CheckerPublikace bez příslušnosti k fakultě
- Tree Aligner 0.8, implementace v JavěPublikace bez příslušnosti k fakultě
- JPMF: Framework pro měření výkonnosti v Java aplikacích (verze 1.0)Publikace bez příslušnosti k fakultě
- Java pro geoinformatiky2007 | Přírodovědecká fakulta
- Generátor prostředí pro Java PathFinder +1Publikace bez příslušnosti k fakultě
- Efektivní detekce chyb v Java komponentách s použitím náhodného prostředí a restartů2010 | Matematicko-fyzikální fakulta
- Formální verifikace komponent v Javě2008 | Matematicko-fyzikální fakulta
- Kritické aplikace reálného času v Javě2010 | Matematicko-fyzikální fakulta
- Automatická konstrukce přiměřeného prostředí pro Java komponenty2009 | Matematicko-fyzikální fakulta
- Real-time Java ve vesmíru: Potenciální výhody a otevřené problémy2009 | Matematicko-fyzikální fakulta
- Systematické testování kritických aplikací reálného času v Javě2010 | Matematicko-fyzikální fakulta
- ActionLine-aplety bez Javy1997 | Matematicko-fyzikální fakulta
- Java na každém kroku1997 | Matematicko-fyzikální fakulta
- Zkuste Javu na Macu1997 | Matematicko-fyzikální fakulta
- ActionLine - interaktivní multimédia pro Javu1998 | Matematicko-fyzikální fakulta
- Model checking softwarových komponent: kombinace Java PathFinder a Behavior Protocol model checker +22007 | 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ě
- Získávání informací o závislostech mezi projekty v softwarových ekosystémech platformy Java2011 | Matematicko-fyzikální fakulta
- Java-tvorba dokonalých WWW stránek1997 | Matematicko-fyzikální fakulta
- Extrakce modelu interakce mezi komponentou a prostředím pomocí průchodu stavovým prostorem2010 | Matematicko-fyzikální fakulta
- Modelové úlohy pro verifikaci systémů reálného času2010 | Matematicko-fyzikální fakulta
- Random Noise Code - webové stránky v Javě1998 | Matematicko-fyzikální fakulta
- jPapaBenchPublikace bez příslušnosti k fakultě
- VZDÁLENÉ EXPERIMENTY KDEKOLIV, KDYKOLIV, KDOKOLIV A NA ČEMKOLIV, I NA DOTYKOVÝCH MOBILNÍCH ZAŘÍZENÍCH2016 | Matematicko-fyzikální fakulta
- Hroznové víno... Komunikační nástrahy slovensko-české lexikální medzijazykové homonymie2017 | Filozofická fakulta
- Vzdálené laboratoře na mobilních zařízeních2014 | Matematicko-fyzikální fakulta
- 8. Nardia scalaris Gray2007 | Přírodovědecká fakulta