2
Publications
77
Citations
2
H-Index
2013
Active since
Affiliations
University of British Columbia(Current)
Alex Horn is an author at University of British Columbia specializing in computer science, formal methods, and computer engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationComputer EngineeringCompilersData SecurityNetwork ScienceSystem Software
Publications per year
2013–2017
2
2
Formal co-validation of low-level hardware/software interfaces
Alex Horn, Michael Tautschnig, Celina G. Val et al. · 2013 · 36 citations
Formal Co-validation, Engineering, Hardware Verification Language +27
Rows per page
1–2 of 2