Ihor Kuz

Citat de

	Toate	Din 2020
Referințe bibliografice	1474	297
h-index	17	11
i10-index	25	11

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

Acces public

Afișați-le pe toate

9 articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Maarten van SteenProfessor of Computer Science, Scientific Director of the Digital Society Institute, U. TwenteAdresă de e-mail confirmată pe utwente.nl
Gernot HeiserProfessor of Computer Science, University of New South WalesAdresă de e-mail confirmată pe unsw.edu.au
Gerwin KleinProofcraft and UNSWAdresă de e-mail confirmată pe unsw.edu.au
Andrew TanenbaumProfessor of Computer Science, Vrije Universiteit, AmsterdamAdresă de e-mail confirmată pe cs.vu.nl
Leonid RyzhykFelderaAdresă de e-mail confirmată pe feldera.com
June AndronickCEO and co-founcer, ProofcraftAdresă de e-mail confirmată pe proofcraft.systems
Matthew FernandezIntel LabsAdresă de e-mail confirmată pe intel.com
Peter ChubbUNSW, SydneyAdresă de e-mail confirmată pe unsw.edu.au
Henk SipsEm. Professor of Computer Science, Delft University of TechnologyAdresă de e-mail confirmată pe tudelft.nl
Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalAdresă de e-mail confirmată pe isep.ipp.pt
Kevin ElphinstoneUniversity of New South WalesAdresă de e-mail confirmată pe cse.unsw.edu.au
Guillaume PierreProfessor of computer science, University of RennesAdresă de e-mail confirmată pe irisa.fr
Darren CoferRockwell CollinsAdresă de e-mail confirmată pe ieee.org
Yan LiuProfessor, Concordia University, CanadaAdresă de e-mail confirmată pe concordia.ca
Anne-Marie KermarrecProfessor, EPFLAdresă de e-mail confirmată pe epfl.ch
Etienne Le SueurNICTAAdresă de e-mail confirmată pe nicta.com.au
Toby MurraySchool of Computing and Information Systems, University of MelbourneAdresă de e-mail confirmată pe unimelb.edu.au
Adam FoltzerFastlyAdresă de e-mail confirmată pe acfoltzer.net
Michael W WhalenAmazon, Inc. and the University of MinnesotaAdresă de e-mail confirmată pe cs.umn.edu
Andrew GacekAmazon Web ServiceAdresă de e-mail confirmată pe amazon.com

Urmăriți

Ihor Kuz

Principal OS Engineer, Kry10 Ltd

Adresă de e-mail confirmată pe ikuz.org - Pagina de pornire

Operating Systems Software Engineering Distributed Systems


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
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	150	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	21	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

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori