托拜厄斯·施密德
人员信息
其他同名人员
优化列表
2020年–今天
2022 [j5] 多米尼克·海尔哈克 , 朱斯特斯·博格纳 , 托拜厄斯·施密德 , 斯特凡·瓦格纳 :
使用耦合措施指导基于组件的系统中的黑盒集成测试。 柔和。 测试。 验证可靠性。 32 ( 4 ) ( 2022 ) 【j4】 阿德里安·赖泽 , 托拜厄斯·施密德 , 卢卡斯·贝鲁特 , Jürgen汉堡 , 托比亚斯·赖希林 , 托马斯·尼德豪泽 , 安德烈亚斯·海伯林 :
基于传导式心内通信的低功率无铅起搏器同步调制方案分析。 IEEE传输。 生物识别。 电路系统。 16 ( 三 ) : 419-429 ( 2022 ) 【d1】 阿德里安·赖泽 , 托拜厄斯·施密德 , 卢卡斯·贝鲁特 , Jürgen汉堡 , 托比亚斯·赖希林 , 托马斯·尼德豪泽 , 安德烈亚斯·海贝林 :
猪心内传导通道特性的体外测量。 IEEE数据端口 , 2022 2021 【c6】 乔纳斯·弗里茨奇 , 托拜厄斯·施密德 , 斯特凡·瓦格纳 :
大型模型检查的经验:使用NuSMV验证车辆控制系统。 ICST公司 2021 : 372-382 [i2] 托拜厄斯·施密德 , 斯蒂芬妮·施劳夫斯特尔 , 乔纳斯·弗里茨奇 , 多米尼克·海尔哈克 , 格雷塔·科伦 , 斯特凡·瓦格纳 :
故障操作汽车驱动系统的正式验证。 CoRR公司 abs/2101.07307 ( 2021 ) 2020 [i1] 乔纳斯·弗里茨奇 , 托拜厄斯·施密德 , 斯特凡·瓦格纳 :
大型模型检查的经验:车辆控制系统的验证。 CoRR公司 abs/2011.10351 ( 2020 )
2010 – 2019
2019 【c5】 托拜厄斯·施密德 , 斯蒂芬妮·施劳夫斯特尔 , 斯特凡·瓦格纳 , 多米尼克·赫尔哈克 :
符合ISO 26262的故障操作汽车系统的安全论证。 ICSRS系统 2019 : 484-493 【c4】 多米尼克·海尔哈克 , 托拜厄斯·施密德 , 斯特凡·瓦格纳 :
使用基于数据流的覆盖标准进行分布式软件系统的黑盒集成测试。 ICST公司 2019 : 420-429 2018 【c3】 托拜厄斯·施密德 , 斯蒂芬妮·施劳夫斯特尔 , 斯特凡·瓦格纳 :
构建用于安全分析的高度自动化驾驶多通道车辆系统的方法。 ICSRS公司 2018 : 362-367 【c2】 托拜厄斯·施密德 :
高度自动化驾驶的安全分析。 ISSRE研讨会 2018 : 154-157 2016 [j3] 费边·杰特 , 斯蒂芬·博世 , 托拜厄斯·施密德 :
分析Wohngebäuden和siedlungsgenetischer Merkmale的PV-Potenzials。 AGIT杂志Angew。 地理信息 2 : 106-115 ( 2016 ) [注2] 卡洛斯·阿纳斯塔西亚德斯 , 托拜厄斯·施密德 , 于尔格·韦伯 , 托尔斯滕·布劳恩 :
面向容错网络的以信息为中心的内容检索。 计算。 网络 107 : 194-207 ( 2016 ) 2014 【c1】 卡洛斯·阿纳斯塔西亚德斯 , 托拜厄斯·施密德 , 于尔格·韦伯 , 托尔斯滕·布劳恩 :
短网络联系期间以内容为中心的数据传输机会。 WCNC公司 2014 : 2516-2521 2013 [j1] L.巴斯滕·斯诺克 , 乔里·范德维尔德 , 丹尼·阿伦兹 , 杨丽 , 安捷·拜尔 , 伊懋可 , 贾斯敏·费舍尔 , 亚历克斯·哈伊纳尔 , 迈克尔·奥·亨加特纳 , 基诺·B·普林 , 米里亚姆·罗德里格斯 , 托拜厄斯·施密德 , 萨宾·施里姆普夫 , 冯雪 , Ritsert C.Jansen公司 , 简·E·坎蒙加 , 莫里斯·斯威茨 :
WormQTL-用于自然变化数据的公共存档和分析web门户 隐杆线虫 特殊目的地。 核酸研究。 41 ( 发布数据库 ) : 738-743 ( 2013 )