19
Publications
826
Citations
15
H-Index
1999
Active since
Ihor Kuz is an author at Data61 specializing in engineering, computer science, and systems engineering.
Top concepts
EngineeringComputer ScienceSystems EngineeringSystem SoftwareInformation SecurityData SecurityComputer EngineeringFormal VerificationSoftware AnalysisFormal Methods
Publications per year
1999–2022
19
19
The distributed ASCI Supercomputer project
Henri E. Bal, R.A.F. Bhoedjang, Rutger F. H. Hofman et al. · ACM SIGOPS Operating Systems Review · 2000 · 120 citations · Full text
Automatic device driver synthesis with termite
Leonid Ryzhyk, Peter Chubb, Ihor Kuz et al. · 2009 · 107 citations
Engineering, Software Engineering, Advanced Driver-assistance System +18
Leonid Ryzhyk, Peter Chubb, Ihor Kuz et al. · 2009 · 97 citations
Towards trustworthy computing systems
Gernot Heiser, Kevin Elphinstone, Ihor Kuz et al. · ACM SIGOPS Operating Systems Review · 2007 · 80 citations · Full text
Engineering, Information Security, Trust Management Architecture +25
CAmkES: A component model for secure microkernel-based embedded systems
Ihor Kuz, Yan Liu, Ian Gorton et al. · Journal of Systems and Software · 2007 · 69 citations · Full text
Rows per page
1–5 of 19