TKTemesghen Kahsai
Temesghen Kahsai
*This is an algorithmically generated author record based on publicly available information.
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Research Subjects
Temesghen Kahsai has a total of 10 co-authors. Here are the top co-authors by number of shared publications:
- Jorge A. Navas
NASA Ames Research Center
2 shared publications - Anvesh Komuravelli
Carnegie Mellon University
1 shared publication - Arie Gurfinkel
Carnegie Mellon University
1 shared publication David Bushnell
AerospaceComputing
1 shared publication- Dejan Jovanović
SRI International New York City USA
1 shared publication Dimitra Giannakopoulou
NASA Ames
1 shared publication
Latest Publications
- 22 November 2015
- Published by Springer Nature
- p. 499-514
Finding Inconsistencies in Programs with Loops
- 22 November 2015
- Published by Springer Nature
- p. 499-514
Finding Inconsistencies in Programs with Loops
- Top Cited Papers
- 16 July 2015
- Published by Springer Nature
- p. 343-361
The SeaHorn Verification Framework
- 16 July 2015
- Published by Springer Nature
- p. 343-361
Top Cited PapersThe SeaHorn Verification Framework
- 1 January 2015
- Published by Springer Nature
- p. 308-324
Verifying the Safety of a Flight-Critical System
- 1 January 2015
- Published by Springer Nature
- p. 308-324
Verifying the Safety of a Flight-Critical System