Ihor Kuz

Cited by

	All	Since 2017
Citations	1259	249
h-index	16	9
i10-index	21	8

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202211 16 40 40 51 46 48 39 38 51 55 68 89 61 72 79 51 72 48 43 47 53 48 56 2

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Maarten van SteenProfessor of Computer Science, Scientific Director of the Digital Society Institute, U. TwenteVerified email at utwente.nl
Gernot HeiserProfessor of Computer Science, UNSW Sydney, and Data61, CSIROVerified email at unsw.edu.au
Gerwin KleinProofcraft and UNSWVerified email at 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
Kevin ElphinstoneUniversity of New South WalesVerified email at cse.unsw.edu.au
Guillaume PierreProfessor of computer science, Rennes 1 UniversityVerified email at irisa.fr
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
Adam FoltzerFastlyVerified email at acfoltzer.net
Darren CoferRockwell CollinsVerified email at ieee.org
Michael W WhalenAmazon, Inc. and the University of MinnesotaVerified email at cs.umn.edu
Andrew GacekAmazon Web ServiceVerified email at amazon.com

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	151	2000
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	136	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	132	2007
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	130	2009
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	83	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	77	2000
Differentiated strategies for replicating Web documents G Pierre, I Kuz, M Van Steen, AS Tanenbaum Computer Communications 24 (2), 232-240, 2001	75	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	74	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	58	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	34	2004
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	25	2010
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	24	2018
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	24	2018
The globe infrastructure directory service I Kuz, M Van Steen, HJ Sips Computer Communications 25 (9), 835-845, 2002	23	2002
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	21	2015
Multicore OS Benchmarks: We Can Do Better. I Kuz, ZR Anderson, P Shinde, T Roscoe HotOS, 2011	18	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	15*	2005
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	12	2007
An architectural approach for cost effective trustworthy systems I Kuz, L Zhu, L Bass, M Staples, X Xu 2012 Joint Working IEEE/IFIP Conference on Software Architecture and …, 2012	10	2012

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

Follow this author

Cited by

Co-authors