Concepedia

Hari Govind V K

HG

5

Publications

112

Citations

5

H-Index

2006

Active since

Affiliations

University of Waterloo(Current)

Tallinn University of Technology

Hari Govind V K is an author at University of Waterloo specializing in engineering, computer science, and computer architecture.

Top concepts

EngineeringComputer ScienceFormal MethodsHardware SecurityAutomated ReasoningFormal VerificationComputer EngineeringComputer ArchitectureVerificationProgram Analysis

Publications per year

2006–2022

5

Publications

5

An External Test Approach for Network-on-a-Chip Switches

Jaan Raik, Hari Govind V K, Raimund Ubar · Asian Test Symposium · 2006 · 34 citations

Hardware Security, Network Switches, Engineering +12

Design-for-testability-based external test and diagnosis of mesh-like network-on-a-chips

Jaan Raik, Hari Govind V K, Raimund Ubar · IET Computers & Digital Techniques · 2009 · 25 citations

Hardware Security, Reliability Engineering, Network Switches +14

Solving constrained Horn clauses modulo algebraic data types and recursive functions

Hari Govind V K, Sharon Shoham, Arie Gurfinkel · Proceedings of the ACM on Programming Languages · 2022 · 24 citations · Full text

Mathematical Programming, Program Checking, Engineering +24

CHC-COMP 2022: Competition Report

Emanuele De Angelis, Hari Govind V K · Electronic Proceedings in Theoretical Computer Science · 2022 · 15 citations · Full text

Mathematical Programming, Engineering, Education +18

Word level property directed reachability

Hari Govind V K, Grigory Fedyukovich, Arie Gurfinkel · 2020 · 14 citations

Engineering, Reachability Problem, Hardware Verification Language +24

Rows per page

1–5 of 5