Deian Tabakov

According to our database, Deian Tabakov authored at least 8 papers between 2005 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2013

CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models.

Sonali Dutta, Moshe Y. Vardi, Deian Tabakov

Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, 2013

2012

Optimized temporal monitors for SystemC.

Deian Tabakov, Kristin Y. Rozier, Moshe Y. Vardi

Formal Methods Syst. Des., 2012

Automatic aspectization of systemC.

Deian Tabakov, Moshe Y. Vardi

Proceedings of the 2012 Workshop on Modularity in Systems Software, 2012

2010

Optimized temporal monitors for SystemC.

Deian Tabakov, Moshe Y. Vardi

Proceedings of the Runtime Verification - First International Conference, 2010

Monitoring temporal SystemC properties.

Deian Tabakov, Moshe Y. Vardi

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

2008

A Temporal Language for SystemC.

Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2007

Model Checking Buechi Specifications.

Deian Tabakov, Moshe Y. Vardi

Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007

2005

Experimental Evaluation of Classical Automata Constructions.

Deian Tabakov, Moshe Y. Vardi

Proceedings of the Logic for Programming, 2005