- Real-Time Java in Space: Potential Benefits and Open Challenges2009 | Faculty of Mathematics and Physics
- A Family of Real-time Java Benchmarks2011 | Faculty of Mathematics and Physics
- Component-Oriented Development for Real-Time Java2012 | Faculty of Mathematics and Physics
- Replicating Real-Time Garbage Collector2011 | Faculty of Mathematics and Physics
- Challenge Benchmarks for Verification of Real-time Programs2010 | Faculty of Mathematics and Physics
- Exhaustive Testing of Safety Critical Java2010 | Faculty of Mathematics and Physics
- jPapaBenchPublication without faculty affiliation
- Developing safety critical Java applications with oSCJ/L02010 | Faculty of Mathematics and Physics
- Accurate Garbage Collection in Uncooperative Environments Revisited2009 | Faculty of Mathematics and Physics