德维什·巴特
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年-今天
2022 [第15条] 德维什·巴特 , 郝仁 , 安妮莎·穆鲁根 , 杰森·比亚泰克 , 斯利瓦桑·瓦拉达拉扬 , 纳塔拉詹·尚卡尔 :
用于综合验证的需求驱动模型检查和测试生成。 非金融市场 2022 : 576-596 [i1] 纳塔拉詹·尚卡尔 , 德维什·巴特 , 迈克尔·D·恩斯特 , 金敏英(Minyoung Kim) , 斯利瓦桑·瓦拉达拉扬 , 苏珊·米尔斯坦 , 豪尔赫·纳瓦斯 , 杰森·比亚泰克 , 华斯卡·桑切斯 , 安妮莎·穆鲁根 , 郝仁 :
DesCert:认证设计。 CoRR公司 abs/2203.15178 ( 2022 ) 2021 [第14条] 布伦丹厅 , 萨拉特·钱德拉·瓦拉纳西 , 简·费多尔 , 约阿金·阿里亚斯 , 金贾尔巴苏 , 方丽 , 德维什·巴特 , 凯文·德里斯科尔 , 埃尔默·萨拉查 , 戈帕尔·古普塔 :
基于事件演算和目标导向答案集编程的模型增强系统需求知识辅助推理。 HCVS@ETAPS 2021 : 79-90
2010 – 2019
2016 [第13条] 德维什·巴特 , 阿鲁纳布·查托帕迪耶 , 李文超 , 大卫·奥格尔斯比 , 山姆·奥威尔 , 纳塔拉詹·尚卡尔 :
基于合同的航空电子系统复杂时间相关行为验证。 非金融市场 2016 : 34-40 [第12条] 郝仁 , 德维什·巴特 , 扬·霍兹多维奇(Jan Hvozdovic) :
使用SMT Solver改进工业测试生成工具。 非金融市场 2016 : 100-106 2013 [第11条] 德维什·巴特 , 柯克·施洛格尔 , 加博·马德尔 , 大卫·奥格尔斯比 :
量化数据流模型中的错误传播。 欧洲商业银行 2013 : 2-11
2000 – 2009
2007 [第10条] 周长燕 , 拉特内什·库马尔 , 德维什·巴特 , 柯克·施勒格尔 , 达伦·D·科弗 :
用于指定互连Simulink/Stateflow模块系统的层次需求模式框架。 瑞典克朗 2007 : 179-184 2003 【c9】 柯克·施洛格尔 , 大卫·奥格尔斯比 , 埃里克·恩格斯特罗 , 德维什·巴特 :
基于模型开发的可组合代码生成。 范围 2003 : 211-225 2000 【c8】 德维什·巴特 , 朗尼·R·韦尔奇 :
嵌入式/分布式HPC系统和应用研讨会(EHPC 2000)。 IPDPS研讨会 2000 : 773-775 【c7】 米内什·I·帕特尔 , 卡尔·乔丹 , 马修·克拉克 , 德维什·巴特 :
高性能分布式计算系统的自动源代码生成和运行时基础设施与环境。 IPDPS研讨会 2000 : 816-822
1990 – 1999
1999 [电子1] 何塞·D·P·罗利姆 , 弗兰克·米勒 , 阿尔伯特·Y·佐马亚 , 菲克雷特·埃尔萨勒 , 斯蒂芬·奥拉里奥 , 比诺伊·拉文德兰 , 简·古斯塔夫森 , Hiroaki Takada公司 , 罗纳德·奥尔森 , 拉克西坎特·V·卡莱 , 彼得·贝克曼 , 马修·海恩斯 , 霍萨姆·A·埃尔金迪 , 丹尼斯·卡罗姆 , 谢尔盖·乔米特 , 杰弗里·福克斯 , 易潘 , 李克勤 , 陶阳 , G.吉奥拉 , 吉安尼·孔蒂 , 路易吉·曼奇尼 , 多米尼克·梅里 , 贝弗利·A·桑德斯 , 德维什·巴特 , 维克托·普拉桑纳 :
并行和分布式处理,11个IPPS/SDP'99研讨会,与第13届国际并行处理研讨会和第10届并行和分布式处理研讨会同时举行,1999年4月12日至16日,美国波多黎各圣胡安,会议记录。 计算机科学课堂讲稿 1586, 施普林格 1999 ,国际标准图书编号 3-540-65831-9 [目录] 1996 [j1] 德维什·巴特 , 维克拉吉·托马斯 , 约翰·沙克尔顿 :
一种用于并行嵌入式系统设计的方法和工具集。 OOPS信使 7 ( 1 ) : 5-12 ( 1996 ) 【c6】 德维什·巴特 , 约翰·沙克尔顿 :
高性能嵌入式系统开发的设计符号和工具集。 欧洲教育论坛:嵌入式系统学校 1996 : 249-267 1995 【c5】 德维什·巴特 , 拉克什·贾 , 托德·斯蒂夫斯 , 拉什米·巴特 , 大卫·威尔斯 :
SPI:并行/分布式系统的仪器开发环境。 独立发电厂商 1995 : 494-501 1990 【c4】 德维什·巴特 :
在Ada中实现分布式容错嵌入式系统。 TRI-阿达 1990 : 323-331
1980 – 1989
1987 【c3】 德维什·巴特 , 阿德尔·戈纳米 , 兰加·拉马努扬 :
实时分布式系统开发的仪器测试平台。 RTSS系统 1987 : 241-250 1984 [c2] Tammy Chan(泰米·陈) , 德维什·巴特 , 沃尔特·海默丁格 , 拉里·金尼 , 马文·卢姆 :
一种用于实验分布式计算机测试台的高性能、多链路、多协议数据链路控制器。 ICDCS系统 1984 : 398-405 【c1】 沃尔特·海默丁格 , 德维什·巴特 :
DCT——分布式系统研究的测试平台方法。 集成电路驱动单元 1984 : 552-559
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)