Miscellaneous

"Formal Specification and Verification of Functions of the VAMOS Scheduler" PDF PPS

Slides from the Master's Seminar, 19.07.2005.

"Impact analysis" PPS

Slides of the talk on "Software Evolution" seminar WS 2004/05.

"Documenting the programmer environment for L4Ka operating system" PPS

Slides of diploma defence, 2004.