Ihor Kuz

Cited by

	All	Since 2019
Citations	1461	325
h-index	18	10
i10-index	25	11

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 18 37 48 52 47 39 38 48 50 55 71 87 68 69 80 53 72 55 49 48 54 45 59 69 63 35

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Gernot HeiserProfessor of Computer Science, University of New South WalesVerified 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 KleinProofcraft and UNSWVerified email at unsw.edu.au
Andrew TanenbaumProfessor of Computer Science, Vrije Universiteit, AmsterdamVerified email at cs.vu.nl
Leonid RyzhykFelderaVerified email at feldera.com
June AndronickCEO and co-founcer, ProofcraftVerified email at proofcraft.systems
Matthew FernandezIntel LabsVerified email at intel.com
Peter ChubbUNSW, SydneyVerified email at unsw.edu.au
Henk SipsEm. Professor of Computer Science, Delft University of TechnologyVerified email at tudelft.nl
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, University of RennesVerified email at irisa.fr
Anne-Marie KermarrecProfessor, EPFLVerified email at epfl.ch
Yan LiuProfessor, Concordia University, CanadaVerified email at concordia.ca
Darren CoferRockwell CollinsVerified email at ieee.org
Etienne Le SueurNICTAVerified email at nicta.com.au
Toby MurraySchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
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
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	158	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	147	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	144	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	138	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	113	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	61	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	57	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	38	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	36	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	16	2017

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