戴安·塔巴科夫
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2013 【c7】 索纳利·杜塔 , 莫舍·瓦尔迪 , 戴安·塔巴科夫 :
CHIMP:基于断言的SystemC模型动态验证工具。 FMCAD的差异 2013 2012 [j1] 戴安·塔巴科夫 , 克里斯汀·罗泽尔 , 莫舍·瓦尔迪 :
SystemC的优化时间监视器。 形式方法系统。 设计。 41 ( 三 ) : 236-268 ( 2012 ) 【c6】 戴安·塔巴科夫 , 莫舍·瓦尔迪 :
系统C的自动方面化。 AOSD的MISS 2012 : 9-14 2010 【c5】 戴安·塔巴科夫 , 莫舍·瓦尔迪 :
监视临时SystemC属性。 记忆码 2010 : 123-132 【c4】 戴安·塔巴科夫 , 莫舍·瓦尔迪 :
SystemC的优化时间监视器。 RV汽车 2010 : 436-451
2000 – 2009
2008 【c3】 戴安·塔巴科夫 , 吉拉·卡米 , 莫舍·瓦尔迪 , 伊莱·辛格曼 :
SystemC的一种时态语言。 FMCAD公司 2008 : 1-9 2007 【c2】 戴安·塔巴科夫 , 莫舍·瓦尔迪 :
模型检查Buechi规范。 拉丁美洲旅游协会 2007 : 565-576 2005 【c1】 戴安·塔巴科夫 , 莫舍·瓦尔迪 :
经典自动机构造的实验评估。 LPAR公司 2005 : 396-411
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)