Research Outputs
Permanent URI for this communityhttps://hdl.handle.net/20.500.14288/2
Browse
2 results
Search Results
Publication Restricted Techniques for runtime monitoring and static verification of concurrent software(Koç University, 2010) Elmas, Tayfun; Taşıran, Serdar; Qadeer, Shaz; Koç University Graduate School of Sciences and Engineering; Computer EngineeringPublication Restricted Techniques for verifying transactional programs and linearizability(Koç University, 2012) Subaşı, Ömer; Taşıran, Serdar; Koç University Graduate School of Sciences and Engineering; Computer Engineering