- 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ě
- Formální verifikace komponent v Javě2008 | Matematicko-fyzikální fakulta
- Java pro geoinformatiky2007 | Přírodovědecká fakulta
- Kritické aplikace reálného času v Javě2010 | 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
- Systematické testování kritických aplikací reálného času v Javě2010 | Matematicko-fyzikální fakulta
- Generátor prostředí pro Java PathFinder +1Publikace bez příslušnosti k fakultě
- 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
- 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
- Získávání informací o závislostech mezi projekty v softwarových ekosystémech platformy Java2011 | 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ě
- Random Noise Code - webové stránky v Javě1998 | Matematicko-fyzikální fakulta
- jPapaBenchPublikace bez příslušnosti k fakultě
- A Family of Real-time Java Benchmarks2011 | Matematicko-fyzikální fakulta
- Extrakce modelu interakce mezi komponentou a prostředím pomocí průchodu stavovým prostorem2010 | Matematicko-fyzikální fakulta
- JOLT: Java Object Lifetime TracerPublikace bez příslušnosti k fakultě
- SPL tools for Java 1.0Publikace bez příslušnosti k fakultě
- Modelové úlohy pro verifikaci systémů reálného času2010 | Matematicko-fyzikální fakulta
- Predicate Abstraction in Java Pathfinder2013 | Matematicko-fyzikální fakulta
- DOs and DON'Ts of Conducting Performance Measurements in Java2015 | Matematicko-fyzikální fakulta
- Java Interface for Relaxed Object Storage2013 | Matematicko-fyzikální fakulta
- Analysis of Overhead in Dynamic Java Performance Monitoring2016 | Matematicko-fyzikální fakulta
- Component-Oriented Development for Real-Time Java2012 | Matematicko-fyzikální fakulta