Ihor Kuz

According to our database1, Ihor Kuz authored at least 27 papers between 1998 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


A Formal Approach to Constructing Secure Air Vehicle Software.
Computer, 2018

Formally verified software in the real world.
Commun. ACM, 2018

Automated Verification of RPC Stub Code.
Proceedings of the FM 2015: Formal Methods, 2015

Composing Patterns to Construct Secure Systems.
Proceedings of the 11th European Dependable Computing Conference, 2015

Towards a verified component platform.
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, 2013

An Architectural Approach for Cost Effective Trustworthy Systems.
Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

Welcome message of the chairs.
Proceedings of the Second International Workshop on Software Engineering for Embedded Systems, 2012

Architecture optimisation with currawong.
Comput. Commun. Rev., 2011

Multicore OS Benchmarks: We Can Do Better.
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

capDL: a language for describing capability-based systems.
Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, 2010

The road to trustworthy systems.
Proceedings of the fifth ACM workshop on Scalable trusted computing, 2010

Automatic device driver synthesis with termite.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Dingo: taming device drivers.
Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009

Towards trustworthy computing systems: taking microkernels to the next level.
ACM SIGOPS Oper. Syst. Rev., 2007

CAmkES: A component model for secure microkernel-based embedded systems.
J. Syst. Softw., 2007

Formalising device driver interfaces.
Proceedings of the 4th workshop on Programming languages and operating systems, 2007

Extending the Capabilities of Component Models for Embedded Systems.
Proceedings of the Software Architectures, 2007

Tools for Model Driven Development.
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

Adapting Distributed Shared Memory Applications in Diverse Environments.
Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 2006

Securely Replicated Web Documents.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

The globe infrastructure directory service.
Comput. Commun., 2002

Differentiated strategies for replicating Web documents.
Comput. Commun., 2001

The Distributed ASCI Supercomputer Project.
ACM SIGOPS Oper. Syst. Rev., 2000

The Globe Distribution Network.
Proceedings of the Freenix Track: 2000 USENIX Annual Technical Conference, 2000

A Distributed-Object Infrastructure for Corporate Websites.
Proceedings of the International Symposium on Distributed Objects and Applications, 2000

A scalable middleware solution for advanced wide-area Web services.
Distributed Syst. Eng., 1999

A Framework for Consistent, Replicated Web Objects.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998