Ihor Kuz

Cited by

	All	Since 2015
Citations	1131	283
h-index	16	8
i10-index	20	7

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202011 15 31 41 50 46 44 39 40 53 51 65 89 57 70 74 53 72 45 42 36 52 36

Co-authors

Gernot HeiserProfessor of Computer Science, UNSW Sydney, and Data61, CSIROVerified email at unsw.edu.au
Maarten van SteenProfessor of Computer Science, Scientific Director of the Digital Society Institute, U. TwenteVerified email at utwente.nl
Gerwin KleinData61 and UNSWVerified email at cse.unsw.edu.au
Andrew TanenbaumProfessor of Computer Science, Vrije Universiteit, AmsterdamVerified email at cs.vu.nl
Leonid RyzhykVMware ResearchVerified email at vmware.com
June AndronickPrincipal Research Scientist, Data61, CSIROVerified email at data61.csiro.au
Matthew FernandezIntel LabsVerified email at intel.com
Henk SipsEm. Professor of Computer Science, Delft University of TechnologyVerified email at tudelft.nl
Peter ChubbData61, CSIROVerified email at data61.csiro.au
Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalVerified email at isep.ipp.pt
Guillaume PierreProfessor of computer science, Rennes 1 UniversityVerified email at irisa.fr
Kevin ElphinstoneUniversity of New South WalesVerified email at cse.unsw.edu.au
Anne-Marie KermarrecProfessor, EPFLVerified email at epfl.ch
Yan LiuAssociate Professor, Concordia University, CanadaVerified email at concordia.ca
Etienne Le SueurNICTAVerified email at nicta.com.au
Ian GortonNortheastern UniversityVerified email at neu.edu
Len BassCarnegie Mellon UniversityVerified email at cmu.edu
Toby MurraySchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Adam FoltzerFastlyVerified email at acfoltzer.net
Darren CoferRockwell CollinsVerified email at ieee.org

Ihor Kuz

Principal Research Engineer, Data61 CSIRO

Verified email at data61.csiro.au - Homepage

Operating Systems Software Engineering Distributed Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	142	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	124	2009
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	121	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	113	2007
THEGLOBEDISTRIBUTIONN ETWORK A Bakker, E Amade, G Ballintijn, I Kuz, P Verkaik, I Van der Wijk, ...	76	2000
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	69	2007
Differentiated strategies for replicating Web documents G Pierre, I Kuz, M Van Steen, AS Tanenbaum Computer Communications 24 (2), 232-240, 2001	68	2001
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	68	1999
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	54	1998
Operating systems on SoCs: a good idea? F Engel, I Kuz, SM Petters, S Ruocco Embedded Real-Time Systems Implementation (ERTSI 2004) Workshop, 2004	32	2004
The globe infrastructure directory service I Kuz, M Van Steen, HJ Sips Computer Communications 25 (9), 835-845, 2002	21	2002
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	20	2010
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	18	2018
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	17	2018
Multicore OS Benchmarks: We Can Do Better. I Kuz, ZR Anderson, P Shinde, T Roscoe HotOS, 2011	17	2011
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	16*	2005
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	14	2015
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	14	2010
Extending the capabilities of component models for embedded systems I Kuz, Y Liu International Conference on the Quality of Software Architectures, 182-196, 2007	10	2007
Design and implementation of the Globe middleware A Bakker, I Kuz, M Van Steen Vrije Universiteit, Faculty of Mathematics and Computer Science, 2003	10	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors