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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

2015
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

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

2012
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

2011
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

2010
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

2009
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

2007
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

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

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

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

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

2000
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

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

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


  Loading...