Publications
- A Road to a Formally Verified General-Purpose Operating System2010 | Faculty of Mathematics and Physics
- Component-based General-purpose Operating System2007 | Faculty of Mathematics and Physics
- A Non-Intrusive Read-Copy-Update for UTS2012 | Faculty of Mathematics and Physics
- Real-Time Java in Space: Potential Benefits and Open Challenges2009 | Faculty of Mathematics and Physics
- CoCoME in SOFA +12008 | Faculty of Mathematics and Physics
- CoCoME in Fractal2008 | Faculty of Mathematics and Physics
- Teaching Operating Systems: Student Assignments and the Software Engineering Perspective2008 | Faculty of Mathematics and Physics
- Resource Sharing in Performance Models +12007 | Faculty of Mathematics and Physics
- HelenOS 0.4.3Publication without faculty affiliation
- HelenOS 0.5.0Publication without faculty affiliation
Loading network view...