Partition Repositories for Partition Cloning - OS Independent Software Maintenance in Large Clusters of PCs. - Felix Rauch; Christian Kurmann; Thomas Stricker (CLUSTER, 2000)

Partition Cast - Modelling and Optimizing the Distribution of Large Data Sets in PC Clusters (Distinguished Paper). - Felix Rauch; Christian Kurmann; Thomas Stricker (Euro-Par, 2000)

Speculative Defragmentation - A Technique to Improve the Communication Software Efficiency for Gigabit Ethernet. - Christian Kurmann; Michael Müller; Felix Rauch; Thomas Stricker (HPDC, 2000)

Speculative Defragmentation - Leading Gigabit Ethernet to True Zero-Copy Communication. - Christian Kurmann; Felix Rauch; Thomas Stricker (Clust. Comput., 2001)

Optimizing the distribution of large data sets in theory and practice. - Felix Rauch; Christian Kurmann; Thomas Stricker (Concurr. Comput. Pract. Exp., 2002)

Comments on "transparent user-level process checkpoint and restore for migration" by Bozyigit and Wasiq. - Felix Rauch; Thomas Stricker (ACM SIGOPS Oper. Syst. Rev., 2002)

Cost/Performance Tradeoffs in Network Interconnects for Clusters of Commodity PCs. - Christian Kurmann; Felix Rauch; Thomas Stricker (IPDPS, 2003)

Distribution and storage of data on local and remote disks in multi-use clusters of commodity PCs. - Felix Rauch (2003)

OS Support for a Commodity Database on PC clusters - Distributed Devices vs. Distributed File Systems. - Felix Rauch; Thomas Stricker (ADC, 2005)

Goanna - A Static Model Checker. - Ansgar Fehnker; Ralf Huuck; Patrick Jayet; Michel Lussenburg; Felix Rauch (FMICS/PDMC, 2006)

Model Checking Software at Compile Time. - Ansgar Fehnker; Ralf Huuck; Patrick Jayet; Michel Lussenburg; Felix Rauch (TASE, 2007)

Some Assembly Required - Program Analysis of Embedded System Code. - Ansgar Fehnker; Ralf Huuck; Felix Rauch; Sean Seefried (SCAM, 2008)