Ihor's Publications

• Leonid Ryzhyk, Peter Chubb, Ihor Kuz and Gernot Heiser
  Dingo: taming device drivers
  Proceedings of the 4th EuroSys Conference, Nuremberg, Germany, April, 2009
• Leonid Ryzhyk, Ihor Kuz and Gernot Heiser
  Formalising device driver interfaces
  Proceedings of the 4th Workshop on Programming Languages and Operating Systems, Stevenson, Washington, USA, October, 2007.
• Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein and Stefan M. Petters
  Towards trustworthy computing systems: taking microkernels to the next level
  Operating Systems Review, 41(3), (July, 2007).
• Ihor Kuz and Yan Liu
  Extending the capabilities of component models for embedded systems
  Proceedings of the Third International Conference on the Quality of Software-Architectures (QoSA), Boston, MA, USA, July, 2007.
• Leonid Ryzhyk, Timothy Bourke and Ihor Kuz
  Reliable device drivers require well-defined protocols
  Proceedings of the 3rd Workshop on Hot Topics in System Dependability, Edinburgh, UK, June, 2007.
• Ihor Kuz, Yan Liu, Ian Gorton and Gernot Heiser
  CAmkES: a component model for secure microkernel-based embedded systems (Preprint)
  Journal of Systems and Software Special Edition on Component-Based Software Engineering of Trustworthy Embedded Systems, 80(5), 687699, (May, 2007).
• Daniel Potts and Ihor Kuz
  Adapting distributed shared memory applications in diverse environments
  Proceedings of the 6th International Symposium on Cluster Computing and the Grid, Singapore, May, 2006.
• B. Popescu, J. Sacha, M. van Steen, B. Crispo, A.S. Tanenbaum and I. Kuz
  Securely Replicated Web Documents
  Proc. IEEE 19th International Parallel & Distributed Processing Symposium, Denver, CO, USA, April 2005.
  [postcript.gz]
• Frank Engel, Gernot Heiser, Ihor Kuz, Stefan M. Petters and Sergio Ruocco
  Operating systems on SoCs: a good idea?
  Embedded Real-Time Systems Implementation (ERTSI 2004) Workshop, Lisbon, Portugal, December, 2004

• I. Kuz, M. van Steen, H.J. Sips
  The Globe Infrastructure Directory Service. (preprint)
  Computer Communications vol. 25(9), June 2002, pp. 835-845.
  [poscript]

• G. Pierre, I. Kuz, M. van Steen, A.S. Tanenbaum
  Differentiated Strategies for Replicating Web Documents.
  Computer Communications vol. 24(2), February 2001, pp. 232-240.
  [postscript]

• I. Kuz, P. Verkaik, M. van Steen, H,J, Sips
  A Distributed-Object Infrastructure for Corporate Websites.
  Proc. IEEE Distributed Objects and Applications (DOA'00), Antwerp, September 2000, pp. 165-176.
  [postscript]

• A. Bakker, E. Amade, G. Ballintijn, I. Kuz, P. Verkaik, I. van der Wijk, M. van Steen, A.S. Tanenbaum
  The Globe Distribution Network.
  Proc. 2000 USENIX Annual Conf. (FREENIX Track), San Diego, June 18-23, 2000, pp. 141-152.
  [postscript]

• M. van Steen, A.S. Tanenbaum, I. Kuz, and H.J. Sips
  A Scalable Middleware Solution for Advanced Wide-Area Web Services.
  Distributed Systems Engineering, vol. 6(1), March 1999, pp.34-42.
  [postscript]

• A.-M. Kermarrec, I. Kuz, M. van Steen, and A.S. Tanenbaum
  Towards Scalable Web Documents.
  Technical Report IR-452, October 1998.
  [postscript]

• M. van Steen, A.S. Tanenbaum, I. Kuz, and H.J. Sips
  A Scalable Middleware Solution for Advanced Wide-Area Web Services.
  Proc. Middleware '98, The Lake District, UK, Sept. 1998.
  [postscript]

• I. Kuz, A.M. Kermarrec, M. van Steen, and H.J. Sips.
  Replicated Web Objects: Design and Implementation.
  Proc. Fourth Annual ASCI Conf., Lommel, Belgium, June 1998.
  [postscript]

• A.M. Kermarrec, I. Kuz, M. van Steen, and A.S. Tanenbaum.
  A Framework for Consistent, Replicated Web Objects.
  Proc. 18th Int'l. Conf. on Distributed Computings Systems, Amsterdam, May 1998.
  [postscript]

• A. Bakker, I. Kuz and M. van Steen.
  Towards a Taxonomy of Distributed-Object Models
  Proc. Third Annual ASCI Conf., Heijen, The Netherlands, June 1997.
  [postscript]

my Ph.D. thesis:

• An Approach to A Scalable Wide-Area Web Service

and my Masters thesis:

• A Framework for Describing Distributed Object Models