Serdar Tasiran

Identifiers

• name variant Serdar Tasiran 0.60 · backfill

Papers (2)

1. Reasoning About TSO Programs Using Reduction and Abstraction cs.LO · 2018 · author #4
2. Fast Monte Carlo Estimation of Timing Yield: Importance Sampling with Stochastic Logical Effort (ISLE) cs.OH · 2008 · author #3

Mentions

• 0805.2627 #3 · backfill · confidence 0.70 Serdar Tasiran

Frequent Coauthors

• Ahmed Bouajjani 1 shared papers
• Alp Arslan Bayrakci 1 shared papers
• Alper Demir 1 shared papers
• Constantin Enea 1 shared papers
• Suha Orhun Mutluergil 1 shared papers