Suha Orhun Mutluergil | TU Delft Repository

Library

local_library Home Repository

SM

Suha Orhun Mutluergil

Book chapter (1)

Conference paper (1)

2 records found

1

Verification Tools for Transactional Programs

Book chapter (2015) - Adrian Cristal (author) , Burcu Kulahcioglu Özkan (author) , Ernie Cohen (author) , Gokcen Kestor (author) , Ismail Kuru (author) , Osman S. Unsal (author) , Serdar Tasiran (author) , Suha Orhun Mutluergil (author) , Tayfun Elmas (author)

Verifying programs under snapshot isolation and similar relaxed consistency models

Conference paper (2014) - Ismail Kuru (author) , Burcu Kulahcioglu Ozkan (author) , Suha Orhun Mutluergil (author) , Serdar Tasiran (author) , Tayfun Elmas (author) , Ernie Cohen (author)