Ihor's Publications

• Jason Belt, Robby, John Hatcliff, John Shackleton, Jim Carciofini, Todd Carpenter Eric Mercer, Isaac Amundson, Junaid Babar, Darren Cofer, David Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, and Kent Mcleod
  Model-driven development for the seL4 microkernel using the HAMR framework
  Ada-Europe International Conference on Reliable Software Technologies, 2022
• Darren Cofer, Andrew Gacek, John Backes, Michael Whalen, Lee Pike, Adam Foltzer, Michael Podhradsky, Gerwin Klein, Ihor Kuz, June Andronick, Gernot Heiser and Douglas Stuart
  A formal approach to constructing secure air vehicle software
  IEEE Computer, Volume 51, Issue 11, pp. 14-23, November, 2018
• Gerwin Klein, June Andronick, Matthew Fernandez, Ihor Kuz, Toby Murray and Gernot Heiser
  Formally Verified Software in the Real World
  Communications of the ACM, Volume 61, Issue 10, pp. 68-77, October, 2018
• Darren Cofer, John Backes, Andrew Gacek, Daniel DaCosta, Michael Whalen, Ihor Kuz, Gerwin Klein, Gernot Heiser, Lee Pike, Adam Foltzer, Michael Podhradsky, Douglas Stuart, Jason Graham and Brett Wilson
  Secure mathematically-assured composition of control models
  HACMS Final Report, Technical Report, Data61, CSIRO, September, 2017
• Paul Rimba, Liming Zhu, Len Bass, Ihor Kuz and Steve Reeves
  Composing patterns to construct secure systems
  European Dependable Computing Conference, Paris, France, September, 2015
• Matthew Fernandez, June Andronick, Gerwin Klein and Ihor Kuz
  Automated verification of RPC stub code
  International Symposium on Formal Methods, Oslo, Norway, June, 2015
• Matthew Fernandez, Ihor Kuz, Gerwin Klein and June Andronick
  Towards a verified component platform
  Proceedings of the Workshop on Programming Languages and Operating Systems (PLOS), Farmington, PA, USA, November, 2013
• Ihor Kuz, Liming Zhu, Len Bass, Mark Staples and Xiwei Xu
  An architectural approach for cost effective trustworthy systems
  Proceedings of the 10th IEEE/IFIP Working Conference on Software Architecture (WICSA), Helsinki, Finland, August, 2012
• Ihor Kuz, Zachary Anderson, Pravin Shinde and Timothy Roscoe
  Multicore OS benchmarks: we can do better
  Proceedings of the 13th Workshop on Hot Topics in Operating Systems, Napa, CA, USA, May, 2011
• Nicholas FitzRoy-Dale, Ihor Kuz and Gernot Heiser
  Architecture optimisation with Currawong
  Proceedings of the 1st Asia-Pacific Workshop on Systems, New Delhi, India, August, 2010
• Ihor Kuz, Gerwin Klein, Corey Lewis and Adam Walker
  capDL: A language for describing capability-based systems
  Proceedings of the 1st Asia-Pacific Workshop on Systems, New Delhi, India, August, 2010
• Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur and Gernot Heiser
  Automatic device driver synthesis with Termite
  Proceedings of the 22nd ACM Symposium on Operating Systems Principles, Big Sky, MT, USA, October, 2009
• Nicholas FitzRoy-Dale and Ihor Kuz
  Towards automatic performance optimisation of componentised systems
  2nd Workshop on Isolation and Integration in Embedded Systems, Nuremberg, Germany, April, 2009
• 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
  [postscript]