Ihor Kuz

According to our database, Ihor Kuz authored at least 29 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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, Konrad Slind, Ihor Kuz, Kent McLeod

J. Syst. Archit., 2023

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

Formally verified software in the real world.

Gerwin Klein, June Andronick, Matthew Fernandez, Ihor Kuz, Toby C. Murray, Gernot Heiser

Commun. ACM, 2018

2015

Automated Verification of RPC Stub Code.

Matthew Fernandez, June Andronick, Gerwin Klein, Ihor Kuz

Proceedings of the FM 2015: Formal Methods, 2015

Composing Patterns to Construct Secure Systems.

Paul Rimba, Liming Zhu, Len Bass, Ihor Kuz, Steve Reeves

Proceedings of the 11th European Dependable Computing Conference, 2015

2013

Towards a verified component platform.

Matthew Fernandez, Ihor Kuz, Gerwin Klein, June Andronick

Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, 2013

2012

An Architectural Approach for Cost Effective Trustworthy Systems.

Ihor Kuz, Liming Zhu, Len Bass, Mark Staples, Xiwei Xu

Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

Welcome message of the chairs.

He Zhang, Liming Zhu, Ihor Kuz

Proceedings of the Second International Workshop on Software Engineering for Embedded Systems, 2012

2011

Architecture optimisation with currawong.

Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser

Comput. Commun. Rev., 2011

Multicore OS Benchmarks: We Can Do Better.

Ihor Kuz, Zachary R. Anderson, Pravin Shinde

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

2010

capDL: a language for describing capability-based systems.

Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker

Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, 2010

The road to trustworthy systems.

Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk

Proceedings of the fifth ACM workshop on Scalable trusted computing, 2010

2009

Automatic device driver synthesis with termite.

Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Dingo: taming device drivers.

Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser

Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009

Towards automatic performance optimisation of componentised systems.

Nicholas Fitzroy-Dale, Ihor Kuz

Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, 2009

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

CAmkES: A component model for secure microkernel-based embedded systems.

Ihor Kuz, Yan Liu, Ian Gorton, Gernot Heiser

J. Syst. Softw., 2007

Formalising device driver interfaces.

Leonid Ryzhyk, Ihor Kuz, Gernot Heiser

Proceedings of the 4th workshop on Programming languages and operating systems, 2007

Extending the Capabilities of Component Models for Embedded Systems.

Ihor Kuz, Yan Liu

Proceedings of the Software Architectures, 2007

Tools for Model Driven Development.

Liming Zhu, Yan Liu, Ian Gorton, Ihor Kuz

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2006

Adapting Distributed Shared Memory Applications in Diverse Environments.

Daniel Potts, Ihor Kuz

Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 2006

2005

Securely Replicated Web Documents.

Bogdan C. Popescu, Maarten van Steen, Bruno Crispo, Andrew S. Tanenbaum, Jan Sacha, Ihor Kuz

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

2002

The globe infrastructure directory service.

Ihor Kuz, Maarten van Steen, Henk J. Sips

Comput. Commun., 2002

2001

Differentiated strategies for replicating Web documents.

Guillaume Pierre, Ihor Kuz, Maarten van Steen, Andrew S. Tanenbaum

Comput. Commun., 2001

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, Aline Baggio, Gerco Ballintijn, Ihor Kuz, Guillaume Pierre, Maarten van Steen, Andrew S. Tanenbaum, Gerben Doornbos, Desmond Germans, Hans J. W. Spoelder, Evert Jan Baerends, Stan J. A. van Gisbergen, Hamid Afsermanseh, G. Dick van Albada, Adam Belloum, David Dubbeldam, Zeger W. Hendrikse, Louis O. Hertzberger, Alfons G. Hoekstra, Kamil Iskra, Drona Kandhai, Dennis C. Koelma, Frank van der Linden, Benno J. Overeinder, Peter M. A. Sloot, Piero Spinnato, Dick H. J. Epema, Arjan J. C. van Gemund, Pieter P. Jonker, Andrei Radulescu, Kees van Reeuwijk, Henk J. Sips, Peter M. W. Knijnenburg, Michael S. Lew, Floris Sluiter, Lex Wolters, Hans Blom, Cees de Laat

ACM SIGOPS Oper. Syst. Rev., 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

Proceedings of the Freenix Track: 2000 USENIX Annual Technical Conference, 2000

A Distributed-Object Infrastructure for Corporate Websites.

Ihor Kuz, Patrick Verkaik, Maarten van Steen, Henk J. Sips

Proceedings of the International Symposium on Distributed Objects and Applications, 2000

1999

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

1998

A Framework for Consistent, Replicated Web Objects.

Anne-Marie Kermarrec, Ihor Kuz, Maarten van Steen, Andrew S. Tanenbaum

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998