A Framework for Consistent, Replicated Web Objects. - Anne-Marie Kermarrec; Ihor Kuz; Maarten van Steen; Andrew S. Tanenbaum (ICDCS, 1998)

A scalable middleware solution for advanced wide-area Web services. - Maarten van Steen; Andrew S. Tanenbaum; Ihor Kuz; Henk J. Sips (Distributed Syst. Eng., 1999)

A Distributed-Object Infrastructure for Corporate Websites. - Ihor Kuz; Patrick Verkaik; Maarten van Steen; Henk J. Sips (DOA, 2000)

The Globe Distribution Network. - Arno Bakker; E. Amade; Gerco Ballintijn; Ihor Kuz; Patrick Verkaik; I. van der Wijk; Maarten van Steen; Andrew S. Tanenbaum (USENIX ATC, FREENIX Track, 2000)

The Distributed ASCI Supercomputer Project. - Henri E. Bal; Raoul Bhoedjang; Rutger F. H. Hofman; Ceriel J. H. Jacobs; Thilo Kielmann; Jason Maassen; Rob van Nieuwpoort; John Romain; Luc Renambot; Tim Rühl; Ronald Veldema; Kees Verstoep; et al. (ACM SIGOPS Oper. Syst. Rev., 2000)

Differentiated strategies for replicating Web documents. - Guillaume Pierre; Ihor Kuz; Maarten van Steen; Andrew S. Tanenbaum (Comput. Commun., 2001)

The globe infrastructure directory service. - Ihor Kuz; Maarten van Steen; Henk J. Sips (Comput. Commun., 2002)

Securely Replicated Web Documents. - Bogdan C. Popescu; Maarten van Steen; Bruno Crispo; Andrew S. Tanenbaum; Jan Sacha; Ihor Kuz (IPDPS, 2005)

Adapting Distributed Shared Memory Applications in Diverse Environments. - Daniel Potts; Ihor Kuz (CCGRID, 2006)

Tools for Model Driven Development. - Liming Zhu 001; Yan Liu 001; Ian Gorton; Ihor Kuz (HICSS, 2007)

Extending the Capabilities of Component Models for Embedded Systems. - Ihor Kuz; Yan Liu 001 (QoSA, 2007)

Formalising device driver interfaces. - Leonid Ryzhyk; Ihor Kuz; Gernot Heiser (PLOS@SOSP, 2007)

CAmkES: A component model for secure microkernel-based embedded systems. - Ihor Kuz; Yan Liu 001; Ian Gorton; Gernot Heiser (J. Syst. Softw., 2007)

Towards trustworthy computing systems: taking microkernels to the next level. - Gernot Heiser; Kevin Elphinstone; Ihor Kuz; Gerwin Klein; Stefan M. Petters (ACM SIGOPS Oper. Syst. Rev., 2007)

Towards automatic performance optimisation of componentised systems. - Nicholas Fitzroy-Dale; Ihor Kuz (IIES@EuroSys, 2009)

Dingo: taming device drivers. - Leonid Ryzhyk; Peter Chubb; Ihor Kuz; Gernot Heiser (EuroSys, 2009)

Automatic device driver synthesis with termite. - Leonid Ryzhyk; Peter Chubb; Ihor Kuz; Etienne Le Sueur; Gernot Heiser (SOSP, 2009)

The road to trustworthy systems. - Gernot Heiser; June Andronick; Kevin Elphinstone; Gerwin Klein; Ihor Kuz; Leonid Ryzhyk (STC@CCS, 2010)

capDL: a language for describing capability-based systems. - Ihor Kuz; Gerwin Klein; Corey Lewis; Adam Walker (ApSys, 2010)

Multicore OS Benchmarks: We Can Do Better. - Ihor Kuz; Zachary R. Anderson; Pravin Shinde (HotOS, 2011)

Architecture optimisation with currawong. - Nicholas Fitzroy-Dale; Ihor Kuz; Gernot Heiser (Comput. Commun. Rev., 2011)

Welcome message of the chairs. - He Zhang 001; Liming Zhu 001; Ihor Kuz (SEES@ICSE, 2012)

An Architectural Approach for Cost Effective Trustworthy Systems. - Ihor Kuz; Liming Zhu 001; Len Bass; Mark Staples; Xiwei Xu 001 (WICSA/ECSA, 2012)

Towards a verified component platform. - Matthew Fernandez; Ihor Kuz; Gerwin Klein; June Andronick (PLOS@SOSP, 2013)

Composing Patterns to Construct Secure Systems. - Paul Rimba; Liming Zhu 001; Len Bass; Ihor Kuz; Steve Reeves (EDCC, 2015)

Automated Verification of RPC Stub Code. - Matthew Fernandez; June Andronick; Gerwin Klein; Ihor Kuz (FM, 2015)

Formally verified software in the real world. - Gerwin Klein; June Andronick; Matthew Fernandez; Ihor Kuz; Toby C. Murray; Gernot Heiser (Commun. ACM, 2018)

A Formal Approach to Constructing Secure Air Vehicle Software. - Darren D. Cofer; Andrew Gacek; John Backes; Michael W. Whalen; Lee Pike; Adam Foltzer; Michal Podhradsky; Gerwin Klein; Ihor Kuz; June Andronick; Gernot Heiser; Douglas Stuart (Computer, 2018)

Model-driven development for the seL4 microkernel using the HAMR framework. - Jason Belt; John Hatcliff; Robby; John Shackleton; Jim Carciofini; Todd Carpenter; Eric Mercer; Isaac Amundson; Junaid Babar; Darren D. Cofer; David S. Hardin; Karl Hoech; et al. (J. Syst. Archit., 2023)