Temesghen Kahsai

发表

Temesghen Kahsai, Philipp Rümmer, Martin Schäf, 2019, TACAS.
Markus Roggenbach, Temesghen Kahsai, Holger Schlingloff, 2007, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Temesghen Kahsai, Dimitra Giannakopoulou, Falk Howar, 2015, FM.
Arie Gurfinkel, Temesghen Kahsai, Caterina Urban, 2016, TACAS.
Temesghen Kahsai, Clark Barrett, 2018, Journal of Automated Reasoning.
Cesare Tinelli, Arie Gurfinkel, Temesghen Kahsai, 2016, SEFM.
Zvonimir Rakamaric, Temesghen Kahsai, Falk Howar, 2017, SOEN.
Cesare Tinelli, Arie Gurfinkel, Temesghen Kahsai, 2015 .
Markus Roggenbach, Temesghen Kahsai, Temesghen Kahsai, 2009, WADT.
Cesare Tinelli, Temesghen Kahsai, C. Tinelli, 2011, PDMC.
Alan J. Hu, Temesghen Kahsai, John D. Backes, 2019, CAV.
Temesghen Kahsai, Falk Howar, Pierre-Loïc Garoche, 2014, NASA Formal Methods.
Cesare Tinelli, Temesghen Kahsai, Christoph Sticksel, 2013 .
Cesare Tinelli, Temesghen Kahsai, Yeting Ge, 2011, NASA Formal Methods.
Temesghen Kahsai, Pierre-Loïc Garoche, Xavier Thirioux, 2016, HCVS@ETAPS.
Cesare Tinelli, Temesghen Kahsai, Pierre-Loïc Garoche, 2013, NASA Formal Methods.
Cesare Tinelli, Temesghen Kahsai, Pierre-Loïc Garoche, 2012, NASA Formal Methods.
Markus Roggenbach, Temesghen Kahsai, Holger Schlingloff, 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Jorge A. Navas, Arie Gurfinkel, Temesghen Kahsai, 2015, CAV.
Cesare Tinelli, Temesghen Kahsai, Pierre-Loïc Garoche, 2012, ArXiv.
Zvonimir Rakamaric, Temesghen Kahsai, Dimitra Giannakopoulou, 2016, TACAS.
Temesghen Kahsai, Clark Barrett, Misty Davies, 2017 .
Temesghen Kahsai, Martin Schäf, Rody Kersten, 2017, SOEN.
Temesghen Kahsai, Philipp Rümmer, Martin Schäf, 2016, CAV.
Jorge A. Navas, Temesghen Kahsai, Martin Schäf, 2015, LPAR.
Temesghen Kahsai, Arnaud Dieumegard, Pierre-Loïc Garoche, 2015, SAC.
Markus Roggenbach, Temesghen Kahsai, Andy Gimblett, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Jorge A. Navas, Arie Gurfinkel, Temesghen Kahsai, 2015, TACAS.
John Thompson, Temesghen Kahsai, Ashay Rane, 2020, 2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA).
Arie Gurfinkel, Temesghen Kahsai, Pierre-Loïc Garoche, 2014, HCVS.
Jorge A. Navas, Arie Gurfinkel, Temesghen Kahsai, 2015, SIGL.
Temesghen Kahsai, Philipp Rümmer, Martin Schäf, 2017, LPAR.
Arie Gurfinkel, Temesghen Kahsai, Pierre-Loïc Garoche, 2017, LPAR.
Temesghen Kahsai, Temesghen Kahsai, 2009 .
Jorge A. Navas, Arie Gurfinkel, Temesghen Kahsai, 2018, VSTTE.
Temesghen Kahsai, Marino Miculan, Temesghen Kahsai, 2008, CiE.