Experimental evaluation of classical automata constructions D Tabakov, MY Vardi International conference on logic for programming artificial intelligence …, 2005 | 143 | 2005 |
Optimized temporal monitors for SystemC D Tabakov, KY Rozier, MY Vardi Formal Methods in System Design 41 (3), 236-268, 2012 | 80 | 2012 |
A temporal language for SystemC D Tabakov, G Kamhi, MY Vardi, E Singerman 2008 Formal Methods in Computer-Aided Design, 1-9, 2008 | 78 | 2008 |
Monitoring temporal SystemC properties D Tabakov, MY Vardi Eighth ACM/IEEE International Conference on Formal Methods and Models for …, 2010 | 62 | 2010 |
Model Checking Buechi Specifications. D Tabakov, MY Vardi LATA, 565-576, 2007 | 24 | 2007 |
Automatic aspectization of SystemC D Tabakov, MY Vardi Proceedings of the 2012 workshop on Modularity in Systems Software, 9-14, 2012 | 23 | 2012 |
Chimp: a tool for assertion-based dynamic verification of systemc models S Dutta, D Tabakov, MY Vardi Program Proceedings, 38, 2013 | 12 | 2013 |
Dynamic assertion-based verification for SystemC D Tabakov Rice University, 2010 | 3 | 2010 |
Experimental evaluation of explicit and symbolic automata-theoretic algorithms D Tabakov Rice University, 2006 | 2 | 2006 |