Travelled to:2 × USA
Collaborated with:K.Holtz E.Bin A.Ghanayim E.Marcus R.Morad O.Peled M.Rimon G.Shurek A.Adir D.Goodman D.Hershcovich O.Hershkovitz B.G.Hickerson W.Kadry A.Koyfman J.M.Ludden C.Meissner A.Nahir R.R.Pratt M.Schiffli B.S.Onge B.W.Thompto A.Ziv
Talks about:verif (2) transact (1) ontolog (1) hardwar (1) servic (1) memori (1) power (1) tool (1) base (1)
Person: Elena Tsanko
DBLP: Tsanko:Elena
Contributed to:
2014
2010Wrote 2 papers:
- DAC-2014-AdirGHHHHKKLMNPSOTTZ #memory management #transaction #verification
- Verification of Transactional Memory in POWER8 (AA, DG, DH, OH, BGH, KH, WK, AK, JML, CM, AN, RRP, MS, BSO, BWT, ET, AZ), p. 6.
- SEKE-2010-BinGHMMPRST #hardware #ontology #tool support #verification
- Ontology-Based Tools in the Service of Hardware Verification (EB, AG, KH, EM, RM, OP, MR, GS, ET), pp. 303–308.