Experimental Evaluation of Classical Automata Constructions. - Deian Tabakov; Moshe Y. Vardi (LPAR, 2005)

Model Checking Buechi Specifications. - Deian Tabakov; Moshe Y. Vardi (LATA, 2007)

A Temporal Language for SystemC. - Deian Tabakov; Gila Kamhi; Moshe Y. Vardi; Eli Singerman (FMCAD, 2008)

Monitoring temporal SystemC properties. - Deian Tabakov; Moshe Y. Vardi (MEMOCODE, 2010)

Optimized temporal monitors for SystemC. - Deian Tabakov; Moshe Y. Vardi (RV, 2010)

Automatic aspectization of systemC. - Deian Tabakov; Moshe Y. Vardi (MISS@AOSD, 2012)

Optimized temporal monitors for SystemC. - Deian Tabakov; Kristin Y. Rozier; Moshe Y. Vardi (Formal Methods Syst. Des., 2012)

CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models. - Sonali Dutta; Moshe Y. Vardi; Deian Tabakov (DIFTS@FMCAD, 2013)