| Automatic device driver synthesis with Termite L Ryzhyk, P Chubb, I Kuz, E Le Sueur, G Heiser Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009 | 156 | 2009 |
| The distributed ASCI supercomputer project H Bal, R Bhoedjang, R Hofman, C Jacobs, T Kielmann, J Maassen, ... ACM SIGOPS Operating Systems Review 34 (4), 76-96, 2000 | 146 | 2000 |
| Dingo: Taming device drivers L Ryzhyk, P Chubb, I Kuz, G Heiser Proceedings of the 4th ACM European conference on Computer systems, 275-288, 2009 | 142 | 2009 |
| Towards trustworthy computing systems: taking microkernels to the next level G Heiser, K Elphinstone, I Kuz, G Klein, SM Petters ACM SIGOPS Operating Systems Review 41 (4), 3-11, 2007 | 137 | 2007 |
| CAmkES: A component model for secure microkernel-based embedded systems I Kuz, Y Liu, I Gorton, G Heiser Journal of Systems and Software 80 (5), 687-699, 2007 | 110 | 2007 |
| The Globe distribution network A Bakker, E Amade, G Ballintijn, I Kuz, P Verkaik, I Van der Wijk, ... 2000 USENIX Annual Technical Conference (USENIX ATC 00), 2000 | 78 | 2000 |
| A scalable middleware solution for advanced wide-area web services M van Steen, AS Tanenbaum, I Kuz, HJ Sips Distributed Systems Engineering 6 (1), 34, 1999 | 77 | 1999 |
| Differentiated strategies for replicating Web documents G Pierre, I Kuz, M Van Steen, AS Tanenbaum Computer Communications 24 (2), 232-240, 2001 | 76 | 2001 |
| Formally verified software in the real world G Klein, J Andronick, M Fernandez, I Kuz, T Murray, G Heiser Communications of the ACM 61 (10), 68-77, 2018 | 58 | 2018 |
| A framework for consistent, replicated Web objects AM Kermarrec, I Kuz, M Van Steen, AS Tanenbaum Proceedings. 18th International Conference on Distributed Computing Systems …, 1998 | 56 | 1998 |
| A formal approach to constructing secure air vehicle software D Cofer, A Gacek, J Backes, MW Whalen, L Pike, A Foltzer, M Podhradsky, ... Computer 51 (11), 14-23, 2018 | 36 | 2018 |
| capDL: A language for describing capability-based systems I Kuz, G Klein, C Lewis, A Walker Proceedings of the first ACM asia-pacific workshop on Workshop on systems, 31-36, 2010 | 35 | 2010 |
| Operating systems on SoCs: a good idea? F Engel, I Kuz, SM Petters, S Ruocco Embedded Real-Time Systems Implementation (ERTSI 2004) Workshop, 2004 | 34 | 2004 |
| A Distributed-Object Infrastructure for Corporate Websites I Kuz, P Verkaik, M Van Steen, HJ Sips Proceedings DOA'00. International Symposium on Distributed Objects and …, 2000 | 32 | 2000 |
| Composing patterns to construct secure systems P Rimba, L Zhu, L Bass, I Kuz, S Reeves 2015 11th European Dependable Computing Conference (EDCC), 213-224, 2015 | 28 | 2015 |
| The globe infrastructure directory service I Kuz, M Van Steen, HJ Sips Computer Communications 25 (9), 835-845, 2002 | 24 | 2002 |
| The road to trustworthy systems G Heiser, J Andronick, K Elphinstone, G Klein, I Kuz, L Ryzhyk Proceedings of the fifth ACM workshop on Scalable trusted computing, 3-10, 2010 | 18 | 2010 |
| Securely replicated web documents BC Popescu, M Van Steen, B Crispo, AS Tanenbaum, J Sacha, I Kuz Parallel and Distributed Processing Symposium, 2005. Proceedings. 19th IEEE …, 2005 | 18* | 2005 |
| Multicore {OS} Benchmarks: We Can Do Better I Kuz, Z Anderson, P Shinde 13th Workshop on Hot Topics in Operating Systems (HotOS XIII), 2011 | 17 | 2011 |
| Secure mathematically-assured composition of control models D Cofer, J Backes, A Gacek, D DaCosta, M Whalen, I Kuz, G Klein, ... Air Force Research Laboratory Information Directorate, 2017 | 14 | 2017 |
Gernot HeiserProfessor of Computer Science, University of New South Wales在 unsw.edu.au 的电子邮件经过验证
