Statistics
Publications
7
Citations
145
H-Index
7
Active since
2001
Affiliations
Felix Rauch is an author at École Polytechnique Fédérale de Lausanne specializing in computing, computer science, and computer networks.
Publications per year
2001–2010
7
7
Model Checking Software at Compile Time
Ansgar Fehnker, Ralf Huuck, Patrick Jayet et al. · 2007 · 32 citations
Some Assembly Required - Program Analysis of Embedded System Code
Ansgar Fehnker, Ralf Huuck, Felix Rauch et al. · 2008 · 12 citations
1–5 of 7