Helgi Sigurbjarnarson

Author

Also Known As

Helgi Sigurbjarnarson

Publications

159

Citations

H-Index

Concepts

All Affiliations

Helgi Sigurbjarnarson is an author at University of Washington specializing in system software, formal methods, and formal verification.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	156
2	Computer Science	3	3	156
3	Computer Engineering	2	2	132
4	Systems Engineering	2	2	81
5	Computer Architecture	1	1	75

Helgi Sigurbjarnarson

Publications

156

Citations

H-Index

Page 1

	Year	Citations
Hyperkernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, EngineeringVerificationComputer ArchitectureComputer-aided VerificationFormal Verification	2017	75
Push-button verification of file systems via crash refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Operating Systems Design and Implementation Software MaintenanceDistributed File SystemEngineeringFile System CorrectnessVerification	2016	57
Nickel: a framework for design and verification of information flow control systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, Operating Systems Design and Implementation EngineeringInformation SecurityVerificationSoftware AnalysisFormal Verification	2018	24

Page 1