Deian Tabakov

Publication Activity (10 Years)

Years Active: 2005-2013
Publications (10 Years): 0

Top Topics

Temporal Characteristics

Top Venues

Formal Methods Syst. Des.

Publications

Sonali Dutta, Moshe Y. Vardi, Deian Tabakov
CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models. DIFTS@FMCAD (2013)
Deian Tabakov, Kristin Y. Rozier, Moshe Y. Vardi
Optimized temporal monitors for SystemC. Formal Methods Syst. Des. 41 (3) (2012)
Deian Tabakov, Moshe Y. Vardi
Automatic aspectization of systemC. MISS@AOSD (2012)
Deian Tabakov, Moshe Y. Vardi
Monitoring temporal SystemC properties. MEMOCODE (2010)
Deian Tabakov, Moshe Y. Vardi
Optimized temporal monitors for SystemC. RV (2010)
Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman
A Temporal Language for SystemC. FMCAD (2008)
Deian Tabakov, Moshe Y. Vardi
Model Checking Buechi Specifications. LATA (2007)
Deian Tabakov, Moshe Y. Vardi
Experimental Evaluation of Classical Automata Constructions. LPAR (2005)