Concepedia

Brian Keng

BK

6

Publications

89

Citations

6

H-Index

2009

Active since

Affiliations

University of Toronto(Current)

Brian Keng is an author at University of Toronto specializing in engineering, computer engineering, and formal methods.

Top concepts

EngineeringFormal MethodsProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringComputer ScienceSystems EngineeringSoftware Engineering

Publications per year

2009–2019

6

Publications

6

Bounded Model Debugging

Brian Keng, Sean Safarpour, Andreas Veneris · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2010 · 27 citations

Engineering, Design Debugging, Electronic Design Automation +22

Unsupervised Embedding Enhancements of Knowledge Graphs using Textual Associations

Neil Veira, Brian Keng, Kanchana Padmanabhan et al. · 2019 · 18 citations · Full text

Engineering, Knowledge Extraction, Semantic Web +17

Path-Directed Abstraction and Refinement for SAT-Based Design Debugging

Brian Keng, Andreas Veneris · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2013 · 12 citations

Engineering, Debugging Problem, Computer Architecture +21

Automated debugging of SystemVerilog assertions

Brian Keng, S. Safarpour, Andreas Veneris · 2011 · 12 citations

Engineering, Verification, Automated Debugging +21

Path directed abstraction and refinement in SAT-based design debugging

Brian Keng, Andreas Veneris · 2012 · 10 citations

Software Maintenance, Program Checking, Engineering +23

Rows per page

1–5 of 6