Travelled to:1 × Finland
1 × Norway
3 × USA
Collaborated with:M.Fernandez J.Andronick G.Klein Y.Liu L.Zhu L.Bass M.Staples X.Xu L.Ryzhyk P.Chubb E.L.Sueur G.Heiser
Talks about:system (2) compon (2) trustworthi (1) architectur (1) synthesi (1) platform (1) approach (1) automat (1) verifi (1) toward (1)
Person: Ihor Kuz
DBLP: Kuz:Ihor
Contributed to:
2015
2013
2012
2009
2007Wrote 5 papers:
- FM-2015-FernandezAKK #automation #verification
- Automated Verification of RPC Stub Code (MF, JA, GK, IK), pp. 273–290.
- PLOS-2013-FernandezKKA #component #framework #platform #towards
- Towards a verified component platform (MF, IK, GK, JA), p. 7.
- WICSA-ECSA-2012-KuzZBSX #approach #architecture #effectiveness
- An Architectural Approach for Cost Effective Trustworthy Systems (IK, LZ, LB, MS, XX), pp. 325–328.
- SOSP-2009-RyzhykCKSH #automation #synthesis
- Automatic device driver synthesis with termite (LR, PC, IK, ELS, GH), pp. 73–86.
- QoSA-2007-KuzL #component #embedded #modelling
- Extending the Capabilities of Component Models for Embedded Systems (IK, YL), pp. 182–196.