Concepedia

Serdar Taşiran

ST

33

Publications

1.8K

Citations

19

H-Index

1994

Active since

Affiliations

Koç University(Current)

Microsoft (United States)

University of California, Berkeley

University of Washington

Amazon (United States)

Serdar Taşiran is an author at Koç University specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceVerificationSoftware AnalysisFormal VerificationProgram AnalysisFormal MethodsSoftware TestingComputer EngineeringSoftware Engineering

Publications per year

1994–2021

33

Publications

33

TreeJuxtaposer

Tamara Munzner, François Guimbretière, Serdar Taşiran et al. · 2003 · 297 citations

Interactive Visualization, Large Trees, Engineering +10

Tayfun Elmas, Shaz Qadeer, Serdar Taşiran · 2007 · 265 citations

Engineering, Operating Systems, Data Races +15

Coverage metrics for functional validation of hardware designs

Serdar Taşiran, Kurt Keutzer · IEEE Design & Test of Computers · 2001 · 210 citations

Engineering, Hardware Verification Language, Verification +20

Tamara Munzner, François Guimbretière, Serdar Taşiran et al. · ACM Transactions on Graphics · 2003 · 182 citations

Interactive Visualization, Large Trees, Engineering +10

A calculus of atomic actions

Tayfun Elmas, Shaz Qadeer, Serdar Taşiran · 2009 · 113 citations

Engineering, Verification, Concurrent System +19

Rows per page

1–5 of 33