Travelled to:1 × Norway
1 × South Africa
1 × Spain
1 × USA
2 × United Kingdom
Collaborated with:M.Roggenbach B.Schlingloff A.Gurfinkel J.A.Navas A.Komuravelli P.Rümmer H.Sanchez M.Schäf A.Dieumegard P.Garoche A.Taillar X.Thirioux G.Brat D.H.Bushnell M.Davies D.Giannakopoulou F.Howar J.Backes S.Bayless B.Cook C.Dodge A.Gacek A.J.Hu B.Kocik E.Kotelnikov J.Kukovec S.McLaughlin J.R.0004 N.Rungta J.Sizemore M.A.Stalzer P.Srinivasan P.Subotic C.Varming B.Whaley
Talks about:framework (3) verifi (3) horn (3) base (3) program (2) specif (2) test (2) sea (2) contribut (1) synchron (1)
Person: Temesghen Kahsai
DBLP: Kahsai:Temesghen
Contributed to:
2015
2015
2015
2015
2008200720162019Wrote 8 papers:
- CAV-2015-GurfinkelKKN #framework #verification
- The SeaHorn Verification Framework (AG, TK, AK, JAN), pp. 343–361.
- FM-2015-BratBDGHK #safety #verification
- Verifying the Safety of a Flight-Critical System (GB, DHB, MD, DG, FH, TK), pp. 308–324.
- SAC-2015-DieumegardGKTT #compilation #contract
- Compilation of synchronous observers as code contracts (AD, PLG, TK, AT, XT), pp. 1933–1939.
- TACAS-2015-GurfinkelKN #c #contest #framework #named #source code #verification
- SeaHorn: A Framework for Verifying C Programs (Competition Contribution) (AG, TK, JAN), pp. 447–450.
- SEFM-2008-KahsaiRS #product line #testing
- Specification-Based Testing for Software Product Lines (TK, MR, BHS), pp. 149–158.
- SEFM-2007-KahsaiRS #refinement #testing
- Specification-based testing for refinement (TK, MR, BHS), pp. 237–246.
- CAV-2016-KahsaiRSS #framework #java #named #source code #verification
- JayHorn: A Framework for Verifying Java programs (TK, PR, HS, MS), pp. 352–358.
- CAV-2019-BackesBCDGHKKKK #analysis #network #reachability
- Reachability Analysis for AWS-Based Networks (JB, SB, BC, CD, AG, AJH, TK, BK, EK, JK, SM, JR0, NR, JS, MAS, PS, PS, CV, BW), pp. 231–241.