| 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 | 48 | 2007 |
| Goanna—a static model checker A Fehnker, R Huuck, P Jayet, M Lussenburg, F Rauch Formal Methods: Applications and Technology, 297-300, 2006 | 38 | 2006 |
| Generating a transition system for use with model checking R Huuck, A Fehnker, P Jayet, FR Valenti US Patent 8,850,415, 2014 | 36 | 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 | 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 | 27 | 2003 |
| Speculative Defragmentation–Leading Gigabit Ethernet to True Zero-Copy Communication C Kurmann, F Rauch, TM Stricker Cluster Computing 4, 7-18, 2001 | 26 | 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 | 23 | 2000 |
| 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 | 17 | 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 | 16 | 2008 |
| 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 | 16 | 2000 |
| Multi language software code analysis R Huuck, F Rauch, B Blackham, S Seefried US Patent 8,869,120, 2014 | 8 | 2014 |
| 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 | 8 | 2002 |
| 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 | 8 | 1999 |
| 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 | 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 |
| 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 |
| System architecture SCM Hui | 1 | 2010 |
Ralf HuuckNICTA, UNSWBestätigte E-Mail-Adresse bei cse.unsw.edu.au
