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 25  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Matthew Fernandez, June Andronick, Gerwin Klein, Ihor Kuz.
    Automated Verification of RPC Stub Code.
    FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Matthew Fernandez, Ihor Kuz, Gerwin Klein, June Andronick.
    Towards a verified component platform.
    Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA, November 3-6, 2013 2013 (0) 2013
    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
    Conference paper
    He Zhang, Liming Zhu, Ihor Kuz.
    Welcome message of the chairs.
    Second International Workshop on Software Engineering for Embedded Systems, SEES 2012, Zurich, Switzerland, June 9, 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
    Show item 1 to 10 of 25  

    Your query returned 25 matches in the database.