Ihor Kuz

Cited by

	All	Since 2018
Citations	1367	293
h-index	18	10
i10-index	25	10

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202312 16 37 43 52 48 49 39 39 51 54 72 82 64 72 81 50 74 63 44 47 54 45 65 62 20

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 SydneyVerified 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 ChubbUNSW, SydneyVerified email at unsw.edu.au
Guillaume PierreProfessor of computer science, Rennes 1 UniversityVerified email at irisa.fr
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
Darren CoferRockwell CollinsVerified email at ieee.org
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
Michael W WhalenAmazon, Inc. and the University of MinnesotaVerified email at cs.umn.edu
Andrew GacekAmazon Web ServiceVerified email at amazon.com

Ihor Kuz

Senior OS Engineer, Kry10 Ltd

Verified email at ikuz.org - 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	153	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	147	2009
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	138	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
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	98	2007
THEGLOBEDISTRIBUTIONN ETWORK A Bakker, E Amade, G Ballintijn, I Kuz, P Verkaik, I Van der Wijk, ... Proc. 2000 USENIXAnn. Conf.(FREENIX Track), 2000	77	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	75	2001
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	57	1998
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	48	2018
Operating systems on SoCs: A good idea? F Engel, I Kuz, SM Petters, S Ruocco Embedded Real-Time Systems Implementation (ERTSI 2004) Workshop, 2004	33	2004
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	31	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	29	2010
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	24	2015
The globe infrastructure directory service I Kuz, M Van Steen, HJ Sips Computer Communications 25 (9), 835-845, 2002	23	2002
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	22	2000
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	18*	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	16	2010
Extending the capabilities of component models for embedded systems I Kuz, Y Liu Software Architectures, Components, and Applications: Third International …, 2007	13	2007

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

Cited by

Co-authors