| 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 | 46 | 2007 |
| Goanna—a static model checker A Fehnker, R Huuck, P Jayet, M Lussenburg, F Rauch Formal Methods: Applications and Technology, 297-300, 2006 | 34 | 2006 |
| 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 | 28 | 2003 |
| Generating a transition system for use with model checking R Huuck, A Fehnker, P Jayet, FR Valenti US Patent 8,850,415, 2014 | 27 | 2014 |
| 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 | 27* | 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 | 27* | 2007 |
| Speculative Defragmentation–Leading Gigabit Ethernet to True Zero-Copy Communication C Kurmann, F Rauch, TM Stricker Cluster Computing 4 (1), 7-18, 2001 | 25 | 2001 |
| 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 | 24 | 2000 |
| Partition cast—Modelling and optimizing the distribution of large data sets in PC clusters F Rauch, C Kurmann, TM Stricker European Conference on Parallel Processing, 1118-1131, 2000 | 17 | 2000 |
| 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 | 15 | 2000 |
| 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 | 14 | 2008 |
| 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 | 9 | 2002 |
| Multi language software code analysis R Huuck, F Rauch, B Blackham, S Seefried US Patent 8,869,120, 2014 | 8 | 2014 |
| 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 | |
| Patagonia-A Dual Use Cluster of PCs for Computation and Education F Rauch, C Kurmann, BM Müller-Lagunez, B Maria, M Thomas, ... In 2. Workshop Cluster Computing, 1999 | 7 | 1999 |
| 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 | 3 | 2003 |
| 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 | 3 | 2003 |
| Comprehensive throughput evaluation of LANs in clusters of PCs with Switchbench-or how to bring your switch to its knees F Rauch IEEE International. 2005 Proceedings of the IEEE Workload Characterization …, 2005 | 2 | 2005 |
| 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 | 2 | 2005 |
| Porting ckpt lib to different UNIX operating systems F Rauch Internal report, ISE Integrated Systems Engineering, Zürich, Switzerland, 1996 | 2 | 1996 |
Ralf HuuckNICTA, UNSWVerified email at cse.unsw.edu.au
