Concepedia

Deian Tabakov

DT

5

Publications

151

Citations

5

H-Index

2007

Active since

Affiliations

Rice University(Current)

Schlumberger (United States)

Deian Tabakov is an author at Rice University specializing in engineering, system software, and formal verification.

Top concepts

Publications per year

2007–2012

5

Publications

5

Optimized temporal monitors for SystemC

Deian Tabakov, Kristin Yvonne Rozier, Moshe Y. Vardi · Formal Methods in System Design · 2012 · 50 citations

, , +6

A Temporal Language for SystemC

Deian Tabakov, Gila Kamhi, Moshe Y. Vardi et al. · 2008 · 46 citations

, , +17

Monitoring temporal SystemC properties

Deian Tabakov, Moshe Y. Vardi · 2010 · 33 citations

, , +21

Automatic aspectization of systemC

Deian Tabakov, Moshe Y. Vardi · 2012 · 12 citations

, , +20

Model Checking Buechi Specifications.

Deian Tabakov, Moshe Y. Vardi · Language and Automata Theory and Applications · 2007 · 10 citations

, , +5

Rows per page

1–5 of 5