Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Ihor
    Last name: Kuz
    DBLP: 28/6197
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 21  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Ihor Kuz, Liming Zhu, Leonard J. Bass, Mark Staples, Xiwei Xu.
    An Architectural Approach for Cost Effective Trustworthy Systems.
    2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, WICSA/ECSA 2012, Helsinki, Finland, August 20-24, 2012 2012 (0) 2012
    Journal article
    Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser.
    Architecture optimisation with currawong.
    Computer Communication Review 2011, Volume 41 (0) 2011
    Conference paper
    Ihor Kuz, Zachary R. Anderson, Pravin Shinde.
    Multicore OS Benchmarks: We Can Do Better.
    13th Workshop on Hot Topics in Operating Systems, HotOS XIII, Napa, California, USA, May 9-11, 2011 2011 (0) 2011
    Conference paper
    Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker.
    capDL: a language for describing capability-based systems.
    Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, ApSys 2010, New Delhi, India, August 30, 2010 2010 (0) 2010
    Conference paper
    Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser.
    Architecture optimisation with Currawong.
    Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, ApSys 2010, New Delhi, India, August 30, 2010 2010 (0) 2010
    Conference paper
    Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser.
    Automatic device driver synthesis with termite.
    Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, October 11-14, 2009 2009 (0) 2009
    Conference paper
    Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser.
    Dingo: taming device drivers.
    Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009 2009 (0) 2009
    Conference paper
    Liming Zhu, Yan Liu, Ian Gorton, Ihor Kuz.
    Tools for Model Driven Development.
    40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA 2007 (0) 2007
    Conference paper
    Ihor Kuz, Yan Liu.
    Extending the Capabilities of Component Models for Embedded Systems.
    Software Architectures, Components, and Applications, Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers 2008 (0) 2007
    Conference paper
    Ihor Kuz, Yan Liu, Ian Gorton, Gernot Heiser.
    CAmkES: A component model for secure microkernel-based embedded systems.
    Journal of Systems and Software 2007, Volume 80 (0) 2007
    Show item 1 to 10 of 21  

    Your query returned 21 matches in the database.