13
Publications
631
Citations
12
H-Index
2005
Active since
Affiliations
Tayfun Elmas is an author at Koç University specializing in formal verification, program analysis, and engineering.
Top concepts
EngineeringComputer ScienceProgram AnalysisFormal VerificationSoftware AnalysisVerificationFormal MethodsParallel ProgrammingSoftware TestingParallel Computing
Publications per year
2005–2013
13
13
Tayfun Elmas, Shaz Qadeer, Serdar Taşiran · 2007 · 265 citations
Tayfun Elmas, Shaz Qadeer, Serdar Taşiran · 2009 · 113 citations
Tayfun Elmas, Serdar Taşiran, Shaz Qadeer · ACM SIGPLAN Notices · 2005 · 40 citations
Tayfun Elmas, Shaz Qadeer, Serdar Taşiran · ACM SIGPLAN Notices · 2009 · 36 citations
Tayfun Elmas, Serdar Taşiran, Shaz Qadeer · 2005 · 36 citations
Rows per page
1–5 of 13