- Behavior Java CheckerPublication without faculty affiliation
- Tree Aligner 0.8, Java implementationPublication without faculty affiliation
- JPMF: Java Performance Measurement Framework (release 1.0)Publication without faculty affiliation
- Formal Verification of Components in Java2008 | Faculty of Mathematics and Physics
- Java in geonformatics2007 | Faculty of Science
- Developing safety critical Java applications with oSCJ/L02010 | Faculty of Mathematics and Physics
- Efficient Detection of Errors in Java Components Using Random Environment and Restarts2010 | Faculty of Mathematics and Physics
- Exhaustive Testing of Safety Critical Java2010 | Faculty of Mathematics and Physics
- Environment Generator for Java PathFinder +1Publication without faculty affiliation
- Automated Construction of Reasonable Environment for Java Components2009 | Faculty of Mathematics and Physics
- Real-Time Java in Space: Potential Benefits and Open Challenges2009 | Faculty of Mathematics and Physics
- ActionLine - interactive multimedia for Java1998 | Faculty of Mathematics and Physics
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker +22007 | Faculty of Mathematics and Physics
- Retrieving Inter-Project Dependencies from Java-Based Software Ecosystems2011 | Faculty of Mathematics and Physics
- Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol CheckerPublication without faculty affiliation
- Random Noise Coda - web pages in Java1998 | Faculty of Mathematics and Physics
- jPapaBenchPublication without faculty affiliation
- A Family of Real-time Java Benchmarks2011 | Faculty of Mathematics and Physics
- Extraction of Component-Environment Interaction Model Using State Space Traversal2010 | Faculty of Mathematics and Physics
- JOLT: Java Object Lifetime TracerPublication without faculty affiliation
- SPL tools for Java 1.0Publication without faculty affiliation
- Challenge Benchmarks for Verification of Real-time Programs2010 | Faculty of Mathematics and Physics
- Predicate Abstraction in Java Pathfinder2013 | Faculty of Mathematics and Physics
- DOs and DON'Ts of Conducting Performance Measurements in Java2015 | Faculty of Mathematics and Physics
- Java Interface for Relaxed Object Storage2013 | Faculty of Mathematics and Physics
- Analysis of Overhead in Dynamic Java Performance Monitoring2016 | Faculty of Mathematics and Physics
- Component-Oriented Development for Real-Time Java2012 | Faculty of Mathematics and Physics