Follow
Felix Rauch
Felix Rauch
Google (formerly ETH Zurich and NICTA)
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Model checking software at compile time
A Fehnker, R Huuck, P Jayet, M Lussenburg, F Rauch
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007
482007
Goanna—a static model checker
A Fehnker, R Huuck, P Jayet, M Lussenburg, F Rauch
Formal Methods: Applications and Technology, 297-300, 2006
382006
Generating a transition system for use with model checking
R Huuck, A Fehnker, P Jayet, FR Valenti
US Patent 8,850,415, 2014
362014
Generating a transition system for use with model checking
A Fehnker, R Huuck, P Jayet, F Rauch
EP Patent App. 20,070,800,309, 2007
36*2007
Generating a transition system for use with model checking
A Fehnker, R Huuck, P Jayet, F Rauch
WO Patent App. PCT/AU2007/001,355, 2007
36*2007
Cost/performance tradeoffs in network interconnects for clusters of commodity PCs
C Kurmann, F Rauch, TM Stricker
Proceedings International Parallel and Distributed Processing Symposium, 10 pp., 2003
272003
Speculative Defragmentation–Leading Gigabit Ethernet to True Zero-Copy Communication
C Kurmann, F Rauch, TM Stricker
Cluster Computing 4, 7-18, 2001
262001
Speculative defragmentation-a technique to improve the communication software efficiency for gigabit ethernet
C Kurmann, M Muller, F Rauch, TM Stricker
Proceedings the Ninth International Symposium on High-Performance …, 2000
232000
Partition cast—Modelling and optimizing the distribution of large data sets in PC clusters
F Rauch, C Kurmann, TM Stricker
Euro-Par 2000 Parallel Processing: 6th International Euro-Par Conference …, 2000
172000
Some assembly required-program analysis of embedded system code
A Fehnker, R Huuck, F Rauch, S Seefried
2008 Eighth IEEE International Working Conference on Source Code Analysis …, 2008
162008
Partition repositories for partition cloning OS independent software maintenance in large clusters of PCs
F Rauch, C Kurmann, TM Stricker
Proceedings IEEE International Conference on Cluster Computing. CLUSTER 2000 …, 2000
162000
Multi language software code analysis
R Huuck, F Rauch, B Blackham, S Seefried
US Patent 8,869,120, 2014
82014
Optimizing the distribution of large data sets in theory and practice
F Rauch, C Kurmann, TM Stricker
Concurrency and Computation: Practice and Experience 14 (3), 165-181, 2002
82002
Patagonia—A Dual Use Cluster of PCs for Computation and Education. In 2
F Rauch, C Kurmann, T Stricker, BM Müller
Workshop Cluster Computing, Karlsruhe, 65-75, 1999
81999
CoPs—Clusters of PCs Project overview
TM Stricker, C Kurmann, M Taufer, F Rauch
World Wide Web, http://www. cs. inf. ethz. ch/CoPs, 0
8
Distribution and storage of data on local and remote disks in multi-use clusters of commodity PCs
F Rauch
Series in computer science 4, 2003
32003
Distribution and storage of data on local and remote disks in multi-use clusters of commodity PCs
FV Rauch
Diss., Technische Wissenschaften ETH Zürich, Nr. 15281, 2003, 2003
32003
Os support for a commodity database on pc clusters: distributed devices vs. distributed file systems
F Rauch, TM Stricker
Proceedings of the 16th Australasian database conference-Volume 39, 145-154, 2005
22005
Porting ckpt lib to different UNIX operating systems
F Rauch
Internal report, ISE Integrated Systems Engineering, Zürich, Switzerland, 1996
21996
System architecture
SCM Hui
12010
The system can't perform the operation now. Try again later.
Articles 1–20