Ihor Kuz

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