Ihor Kuz - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 31 from 31

2023

Model-driven development for the seL4 microkernel using the HAMR frameworkJason 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. jsa, 134:102789, 2023. [doi]

2018

2015

Automated Verification of RPC Stub CodeMatthew Fernandez, June Andronick, Gerwin Klein, Ihor Kuz. FM 2015: 273-290 [doi]

Composing Patterns to Construct Secure SystemsPaul Rimba, Liming Zhu, Len Bass, Ihor Kuz, Steve Reeves. edcc 2015: 213-224 [doi]

2013

Towards a verified component platformMatthew Fernandez, Ihor Kuz, Gerwin Klein, June Andronick. sosp 2013: [doi]

2012

An Architectural Approach for Cost Effective Trustworthy SystemsIhor Kuz, Liming Zhu, Len Bass, Mark Staples, Xiwei Xu. wicsa 2012: 325-328 [doi]

Welcome message of the chairsHe Zhang, Liming Zhu, Ihor Kuz. ICSE 2012: [doi]

2011

Architecture optimisation with currawongNicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser. ccr, 41(1):115-119, 2011. [doi]

Multicore OS Benchmarks: We Can Do BetterIhor Kuz, Zachary R. Anderson, Pravin Shinde. hotos 2011: [doi]

2010

2009

2007

2006

Adapting Distributed Shared Memory Applications in Diverse EnvironmentsDaniel Potts, Ihor Kuz. ccgrid 2006: 18 [doi]

2005

Securely Replicated Web DocumentsBogdan C. Popescu, Maarten van Steen, Bruno Crispo, Andrew S. Tanenbaum, Jan Sacha, Ihor Kuz. ipps 2005: [doi]

2002

The globe infrastructure directory serviceIhor Kuz, Maarten van Steen, Henk J. Sips. comcom, 25(9):835-845, 2002. [doi]

2001

Differentiated strategies for replicating Web documentsGuillaume Pierre, Ihor Kuz, Maarten van Steen, Andrew S. Tanenbaum. comcom, 24(2):232-240, 2001.

2000

The Globe Distribution NetworkArno Bakker, E. Amade, Gerco Ballintijn, Ihor Kuz, Patrick Verkaik, I. van der Wijk, Maarten van Steen, Andrew S. Tanenbaum. usenix 2000: 141-152 [doi]

The Distributed ASCI Supercomputer ProjectHenri 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 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. sigops, 34(4):76-96, 2000. [doi]

The Distributed ASCI Supercomputer ProjectHenri 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 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. sigops, 34(4):76-96, 2000. [doi]

A Distributed-Object Infrastructure for Corporate WebsitesIhor Kuz, Patrick Verkaik, Maarten van Steen, Henk J. Sips. doa 2000: 165-176 [doi]

1999

A scalable middleware solution for advanced wide-area Web servicesMaarten van Steen, Andrew S. Tanenbaum, Ihor Kuz, Henk J. Sips. dse, 6(1):34-42, 1999. [doi]

1998

A Framework for Consistent, Replicated Web ObjectsAnne-Marie Kermarrec, Ihor Kuz, Maarten van Steen, Andrew S. Tanenbaum. icdcs 1998: 276-291 [doi]

Sign in or sign up to see more results.

runs on WebDSL