- Introducing Distribution into a RTSJ-based Component Framework2008 | Faculty of Mathematics and Physics
- jPapaBenchPublication without faculty affiliation
- Component-Oriented Development for Real-Time Java2012 | Faculty of Mathematics and Physics
- Exhaustive Testing of Safety Critical Java2010 | Faculty of Mathematics and Physics