H Bal, R Bhoedjang, R Hofman, C Jacobs, T Kielmann, J Maassen, ...

ACM SIGOPS Operating Systems Review 34 (4), 76-96, 2000

L Ryzhyk, P Chubb, I Kuz, E Le Sueur, G Heiser

Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009

L Ryzhyk, P Chubb, I Kuz, G Heiser

Proceedings of the 4th ACM European conference on Computer systems, 275-288, 2009

G Heiser, K Elphinstone, I Kuz, G Klein, SM Petters

ACM SIGOPS Operating Systems Review 41 (4), 3-11, 2007

I Kuz, Y Liu, I Gorton, G Heiser

Journal of Systems and Software 80 (5), 687-699, 2007

A Bakker, E Amade, G Ballintijn, I Kuz, P Verkaik, I Van der Wijk, ...

Proc. 2000 USENIXAnn. Conf.(FREENIX Track), 2000

M van Steen, AS Tanenbaum, I Kuz, HJ Sips

Distributed Systems Engineering 6 (1), 34, 1999

G Pierre, I Kuz, M Van Steen, AS Tanenbaum

Computer Communications 24 (2), 232-240, 2001

AM Kermarrec, I Kuz, M Van Steen, AS Tanenbaum

Proceedings. 18th International Conference on Distributed Computing Systems …, 1998

G Klein, J Andronick, M Fernandez, I Kuz, T Murray, G Heiser

Communications of the ACM 61 (10), 68-77, 2018

F Engel, I Kuz, SM Petters, S Ruocco

Embedded Real-Time Systems Implementation (ERTSI 2004) Workshop, 2004

D Cofer, A Gacek, J Backes, MW Whalen, L Pike, A Foltzer, M Podhradsky, ...

Computer 51 (11), 14-23, 2018

I Kuz, G Klein, C Lewis, A Walker

Proceedings of the first ACM asia-pacific workshop on Workshop on systems, 31-36, 2010

P Rimba, L Zhu, L Bass, I Kuz, S Reeves

2015 11th European Dependable Computing Conference (EDCC), 213-224, 2015

I Kuz, M Van Steen, HJ Sips

Computer Communications 25 (9), 835-845, 2002

I Kuz, P Verkaik, M Van Steen, HJ Sips

Proceedings DOA'00. International Symposium on Distributed Objects and …, 2000

I Kuz, ZR Anderson, P Shinde, T Roscoe

HotOS, 2011

BC Popescu, M Van Steen, B Crispo, AS Tanenbaum, J Sacha, I Kuz

Parallel and Distributed Processing Symposium, 2005. Proceedings. 19th IEEE …, 2005

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

I Kuz, Y Liu

Software Architectures, Components, and Applications: Third International …, 2007