Deian Tabakov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2005–2013
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | FMCAD | CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models. | Sonali Dutta, Moshe Y. Vardi, Deian Tabakov |
| 2010 | MEMOCODE | Monitoring temporal SystemC properties. | Deian Tabakov, Moshe Y. Vardi |
| 2010 | RV | Optimized temporal monitors for SystemC. | Deian Tabakov, Moshe Y. Vardi |
| 2008 | FMCAD | A Temporal Language for SystemC. | Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman |
| 2007 | LATA | Model Checking Buechi Specifications. | Deian Tabakov, Moshe Y. Vardi |
| 2005 | LPAR | Experimental Evaluation of Classical Automata Constructions. | Deian Tabakov, Moshe Y. Vardi |