Skip to content
cs-conference-ranking.org

Felix Rauch

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

7

Venues

7

Active years

2000–2008

Best venue rank

C

Where they publish

Papers

7 indexed papers, newest first.

YearVenueTitleAuthors
2008SCAMSome Assembly Required - Program Analysis of Embedded System Code.Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried
2007TASEModel Checking Software at Compile Time.Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch
2006FMICSGoanna - A Static Model Checker.Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch
2005ADCOS Support for a Commodity Database on PC clusters - Distributed Devices vs. Distributed File Systems.Felix Rauch, Thomas Stricker
2000CLUSTERPartition Repositories for Partition Cloning - OS Independent Software Maintenance in Large Clusters of PCs.Felix Rauch, Christian Kurmann, Thomas Stricker
2000EuroParPartition Cast - Modelling and Optimizing the Distribution of Large Data Sets in PC Clusters (Distinguished Paper).Felix Rauch, Christian Kurmann, Thomas Stricker
2000HPDCSpeculative Defragmentation - A Technique to Improve the Communication Software Efficiency for Gigabit Ethernet.Christian Kurmann, Michael Mller, Felix Rauch, Thomas Stricker