Kitsune
Correctness
KeY
Formal methods
Applied mathematics
Software
Dynamic Software Updating
System administration
Theoretical computer science