Ihor Kuz

Citado por

	Todos	Desde 2020
Citações	1476	299
Índice h	17	11
Índice i10	25	11

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202511 17 37 47 54 47 39 38 45 51 55 72 86 68 69 79 52 72 55 43 45 56 45 58 67 66 54 8

Acesso público

Ver todos

9 artigos

0 artigo

disponível

não disponível

Com base nas autorizações de financiamento

Coautores

Maarten van SteenProfessor of Computer Science, Scientific Director of the Digital Society Institute, U. TwenteE-mail confirmado em utwente.nl
Gernot HeiserProfessor of Computer Science, University of New South WalesE-mail confirmado em unsw.edu.au
Gerwin KleinProofcraft and UNSWE-mail confirmado em unsw.edu.au
Andrew TanenbaumProfessor of Computer Science, Vrije Universiteit, AmsterdamE-mail confirmado em cs.vu.nl
Leonid RyzhykFelderaE-mail confirmado em feldera.com
June AndronickCEO and co-founcer, ProofcraftE-mail confirmado em proofcraft.systems
Matthew FernandezIntel LabsE-mail confirmado em intel.com
Peter ChubbUNSW, SydneyE-mail confirmado em unsw.edu.au
Henk SipsEm. Professor of Computer Science, Delft University of TechnologyE-mail confirmado em tudelft.nl
Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalE-mail confirmado em isep.ipp.pt
Kevin ElphinstoneUniversity of New South WalesE-mail confirmado em cse.unsw.edu.au
Guillaume PierreProfessor of computer science, University of RennesE-mail confirmado em irisa.fr
Darren CoferRockwell CollinsE-mail confirmado em ieee.org
Yan LiuProfessor, Concordia University, CanadaE-mail confirmado em concordia.ca
Anne-Marie KermarrecProfessor, EPFLE-mail confirmado em epfl.ch
Etienne Le SueurNICTAE-mail confirmado em nicta.com.au
Toby MurraySchool of Computing and Information Systems, University of MelbourneE-mail confirmado em unimelb.edu.au
Adam FoltzerFastlyE-mail confirmado em acfoltzer.net
Michael W WhalenAmazon, Inc. and the University of MinnesotaE-mail confirmado em cs.umn.edu
Andrew GacekAmazon Web ServiceE-mail confirmado em amazon.com

Seguir

Ihor Kuz

Principal OS Engineer, Kry10 Ltd

E-mail confirmado em ikuz.org - Página inicial

Operating Systems Software Engineering Distributed Systems


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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	154	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	151	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	140	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	79	2000
Differentiated strategies for replicating Web documents G Pierre, I Kuz, M Van Steen, AS Tanenbaum Computer Communications 24 (2), 232-240, 2001	77	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	77	1999
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	63	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	56	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	39	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
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	35	2000
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
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	22	2010
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
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	17*	2005
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

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores