Ihor Kuz

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 3

Top Topics

Security Patterns

Rapid Prototyping

Automated Verification

Top Venues

J. Syst. Archit.

Publications

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
Model-driven development for the seL4 microkernel using the HAMR framework. J. Syst. Archit. 134 (2023)
Gerwin Klein, June Andronick, Matthew Fernandez, Ihor Kuz, Toby C. Murray, Gernot Heiser
Formally verified software in the real world. Commun. ACM 61 (10) (2018)
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
A Formal Approach to Constructing Secure Air Vehicle Software. Computer 51 (11) (2018)
Matthew Fernandez, June Andronick, Gerwin Klein, Ihor Kuz
Automated Verification of RPC Stub Code. FM (2015)
Paul Rimba, Liming Zhu, Len Bass, Ihor Kuz, Steve Reeves
Composing Patterns to Construct Secure Systems. EDCC (2015)
Matthew Fernandez, Ihor Kuz, Gerwin Klein, June Andronick
Towards a verified component platform. PLOS@SOSP (2013)
He Zhang, Liming Zhu, Ihor Kuz
Welcome message of the chairs. SEES@ICSE (2012)
Ihor Kuz, Liming Zhu, Len Bass, Mark Staples, Xiwei Xu
An Architectural Approach for Cost Effective Trustworthy Systems. WICSA/ECSA (2012)
Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser
Architecture optimisation with currawong. Comput. Commun. Rev. 41 (1) (2011)
Ihor Kuz, Zachary R. Anderson, Pravin Shinde
Multicore OS Benchmarks: We Can Do Better. HotOS (2011)
Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker
capDL: a language for describing capability-based systems. ApSys (2010)
Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk
The road to trustworthy systems. STC@CCS (2010)
Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser
Architecture optimisation with Currawong. ApSys (2010)
Nicholas Fitzroy-Dale, Ihor Kuz
Towards automatic performance optimisation of componentised systems. IIES@EuroSys (2009)
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser
Automatic device driver synthesis with termite. SOSP (2009)
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser
Dingo: taming device drivers. EuroSys (2009)
Liming Zhu, Yan Liu, Ian Gorton, Ihor Kuz
Tools for Model Driven Development. HICSS (2007)
Leonid Ryzhyk, Ihor Kuz, Gernot Heiser
Formalising device driver interfaces. PLOS@SOSP (2007)
Ihor Kuz, Yan Liu
Extending the Capabilities of Component Models for Embedded Systems. QoSA (2007)
Ihor Kuz, Yan Liu, Ian Gorton, Gernot Heiser
CAmkES: A component model for secure microkernel-based embedded systems. J. Syst. Softw. 80 (5) (2007)
Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters
Towards trustworthy computing systems: taking microkernels to the next level. ACM SIGOPS Oper. Syst. Rev. 41 (4) (2007)
Daniel Potts, Ihor Kuz
Adapting Distributed Shared Memory Applications in Diverse Environments. CCGRID (2006)
Bogdan C. Popescu, Maarten van Steen, Bruno Crispo, Andrew S. Tanenbaum, Jan Sacha, Ihor Kuz
Securely Replicated Web Documents. IPDPS (2005)
Ihor Kuz, Maarten van Steen, Henk J. Sips
The globe infrastructure directory service. Comput. Commun. 25 (9) (2002)
Guillaume Pierre, Ihor Kuz, Maarten van Steen, Andrew S. Tanenbaum
Differentiated strategies for replicating Web documents. Comput. Commun. 24 (2) (2001)
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
The Distributed ASCI Supercomputer Project. ACM SIGOPS Oper. Syst. Rev. 34 (4) (2000)
Ihor Kuz, Patrick Verkaik, Maarten van Steen, Henk J. Sips
A Distributed-Object Infrastructure for Corporate Websites. DOA (2000)
Arno Bakker, E. Amade, Gerco Ballintijn, Ihor Kuz, Patrick Verkaik, I. van der Wijk, Maarten van Steen, Andrew S. Tanenbaum
The Globe Distribution Network. USENIX Annual Technical Conference, FREENIX Track (2000)
Maarten van Steen, Andrew S. Tanenbaum, Ihor Kuz, Henk J. Sips
A scalable middleware solution for advanced wide-area Web services. Distributed Syst. Eng. 6 (1) (1999)
Anne-Marie Kermarrec, Ihor Kuz, Maarten van Steen, Andrew S. Tanenbaum
A Framework for Consistent, Replicated Web Objects. ICDCS (1998)