Concepedia

Temesghen Kahsai

TK

5

Publications

201

Citations

5

H-Index

2007

Active since

Affiliations

Swansea University(Current)

Humboldt-Universität zu Berlin

Temesghen Kahsai is an author at Swansea University specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationSoftware TestingAutomated ReasoningSystems Engineering

Publications per year

2007–2020

5

Publications

5

Think Fast: A Tensor Streaming Processor (TSP) for Accelerating Deep Learning Workloads

Dennis Abts, Jonathan Ross, Jonathan Sparling et al. · 2020 · 83 citations

Engineering, Machine Learning, Think Fast +20

PKind: A parallel k-induction based model checker

Temesghen Kahsai, Cesare Tinelli · Electronic Proceedings in Theoretical Computer Science · 2011 · 73 citations · Full text

Program Checking, Engineering, Parallel K-induction +19

Speci?cation-Based Testing for Software Product Lines

Temesghen Kahsai, Markus Roggenbach, Bernd–Holger Schlingloff · 2008 · 17 citations

Software Maintenance, Engineering, Verification +21

Quantified Heap Invariants for Object-Oriented Programs

Temesghen Kahsai, Rody Kersten, Philipp Rümmer et al. · EPiC series in computing · 2018 · 16 citations · Full text

Software Maintenance, Program Checking, Engineering +20

Specification-based testing for refinement

Temesghen Kahsai, Markus Roggenbach, Bernd–Holger Schlingloff · 2007 · 12 citations

Engineering, Verification, Software Engineering +18

Rows per page

1–5 of 5