伯恩德·韦斯特法尔
人员信息
附属: 德国弗莱堡大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [第51条] 士沙克里 , 奥利弗·克兰普 , 伯恩德·韦斯特法尔 :
通过创新建模塑造GAIA-X数据生态系统。 重新 2023 : 190-200 [公元50年] 亨宁·施伦德 , 拉尔夫·斯特默 , 金·格里特纳 , Günter Ehmen先生 , 伯恩德·韦斯特法尔 , 弗里德里克·布伦斯 :
在学生项目小组中教授网络物理系统。 SEUH公司 2023 [i2] 奥利弗·克莱姆 , 伯恩德·韦斯特法尔 , 斯特凡·普奇 :
IMoG——一种建模未来微电子创新的方法。 CoRR公司 abs/2304.09110 ( 2023 ) 2022 [公元49年] 多米尼克·格兰特 , 安娜·科恩 , Ishan Saxena公司 , 拉尔夫·斯特默 , 伯恩德·韦斯特法尔 , 艾克·莫尔曼 :
自动驾驶功能复杂系统要求的运行时监控。 飞行管理系统/ ASYDE@SEFM公司 2022 : 53-61 2021 [公元48年] 文森特·兰恩菲尔德 , 伯恩德·韦斯特法尔 , 安德烈亚斯·波德尔斯基 :
ACT-R的正式操作模型:结构和行为。 CogSci公司 2021 [公元47年] 伯恩德·韦斯特法尔 :
关于工业关键系统正式方法的教育和培训。 飞行管理信息系统 2021 : 85-103 [公元46年] 伯恩德·韦斯特法尔 :
现场准等时钟减少。 非金融市场 2021 : 375-391 [公元45年] 塞缪尔·贝克尔 , 丹尼尔·迪奇 , 尼科·豪夫 , 伊丽莎白·汉克尔 , 文森特·兰恩菲尔德 , 安德烈亚斯·波德尔斯基 , 伯恩德·韦斯特法尔 :
Hanfor:大规模语义需求评审。 REFSQ研讨会 2021 2020 [公元44年] 伯恩德·韦斯特法尔 :
用形式化方法补充本科软件工程课程。 CSEE&T公司 2020 : 1-10 [公元43年] 塞尔吉奥·费奥·阿雷尼斯 , 米兰·武吉诺维奇 , 伯恩德·韦斯特法尔 :
关于可实现的时间自动机。 复地 2020 : 78-95 [公元42年] 伯恩德·韦斯特法尔 :
使用支持触控笔的平板电脑进行教学。 SEUH公司 2020 : 44-48 [公元41年] 迈克尔·斯坦利 , 伯恩德·韦斯特法尔 :
软件工程形式化学习任务的自动生成。 SEUH公司 2020 : 61-65
2010 – 2019
2019 [公元40年] 文森特·兰恩菲尔德 , 伯恩德·韦斯特法尔 , 安德烈亚斯·波德尔斯基 :
ACT-R体系结构和模型的形式验证。 CogSci公司 2019 : 618-624 [公元39年] 伯恩德·韦斯特法尔 :
在软件工程本科导论中教授软件建模。 MoDELS(伴侣) 2019 : 690-699 [公元38年] 文森特·兰恩菲尔德 , 丹尼尔·迪奇 , 伯恩德·韦斯特法尔 , Jochen Hoenicke公司 , 阿玛琳达邮报 :
实时需求的可扩展分析。 重新 2019 : 234-244 [公元37年] 伯恩德·韦斯特法尔 :
软件技术中的形式化方法——Vorlesung(软件工程讲座中的形式方法)。 SEUH公司 2019 : 21-33 2018 [公元36年] 文森特·兰根菲尔德 , 伯恩德·韦斯特法尔 , 丽贝卡·阿尔布雷希特 , 安德烈亚斯·波德尔斯基 :
但它真的能做到吗? 使用形式分析确保理想的ACT-R模型行为。 CogSci公司 2018 [公元35年] 伯恩德·韦斯特法尔 :
本科要求工程课程与形式方法。 REET@RE(重新设置) 2018 : 1-10 2017 [公元34年] 塞尔吉奥·费奥·阿雷尼斯 , 米兰·武吉诺维奇 , 伯恩德·韦斯特法尔 :
时间自动机网络中的全局调度独立性。 格式 2017 : 42-57 2016 [j3] 塞尔吉奥·费奥·阿雷尼斯 , 伯恩德·韦斯特法尔 , 丹尼尔·迪奇 , 马可·穆尼兹 , 艾哈迈德·西亚尔·安迪沙 , 安德烈亚斯·波德尔斯基 :
准备测试:通过正式验证确保符合行业标准。 形式方面计算。 28 ( 三 ) : 499-527 ( 2016 ) [公元33年] 克里斯蒂安·埃雷拉 , 伯恩德·韦斯特法尔 :
准等时钟网络中的模型检验问题。 时间 2016 : 21-30 2015 [公元32年] 克里斯蒂安·埃雷拉 , 伯恩德·韦斯特法尔 :
准等时钟减少:消除网络上的假设。 海法核查会议 2015 : 173-189 [公元31年] 艾哈迈德·西亚尔·安迪沙 , 韦尔勒 , 伯恩德·韦斯特法尔 :
基于松弛距离函数的PROMELA有向模型检验。 自旋蛋白 2015 : 153-159 2014 [公元30年] 塞尔吉奥·费奥·阿雷尼斯 , 伯恩德·韦斯特法尔 , 丹尼尔·迪奇 , 马可·穆尼兹 , 艾哈迈德·西亚尔·安迪沙 :
无线火灾报警系统:通过正式验证确保符合行业标准。 FM公司 2014 : 658-672 [公元29年] 塞尔吉·博戈莫洛夫 , 克里斯蒂安·埃雷拉 , 马可·穆尼兹 , 伯恩德·韦斯特法尔 , 安德烈亚斯·波德尔斯基 :
混合自动机中的准相关变量。 高速列车控制中心 2014 : 93-102 [公元28年] 奥黛·朱伯伦 , 伯恩德·韦斯特法尔 :
优化无线传感器网络中TDMA的保护时间-案例研究。 LCN研讨会 2014 : 597-601 [公元27年] 艾哈迈德·马赫迪 , 伯恩德·韦斯特法尔 , 马丁·弗伦泽 :
假设-承诺属性的成分验证转换。 RP公司 2014 : 216-229 [公元26年] 克里斯蒂安·埃雷拉 , 伯恩德·韦斯特法尔 , 安德烈亚斯·波德尔斯基 :
准等时钟减少:更多网络,更多查询。 TACAS公司 2014 : 295-309 2013 [注2] 沃纳·达姆 , 汉斯-约尔格-彼得 , 简·亨德里克·拉科夫 , 伯恩德·韦斯特法尔 :
我们能否建立它:合作驾驶员辅助系统控制策略的形式化综合。 数学。 结构。 计算。 科学。 23 ( 4 ) : 676-725 ( 2013 ) [公元25年] 马可·穆尼兹 , 伯恩德·韦斯特法尔 , 安德烈亚斯·波德尔斯基 :
时间自动机中准等时钟的检测。 格式 2013 : 198-212 [公元24年] 塞尔吉奥·费奥·阿雷尼斯 , 伯恩德·韦斯特法尔 :
轨道拓扑聚合协议的参数化验证。 FMOODS/FORTE公司 2013 : 35-49 【c23】 塞尔吉奥·费奥·阿雷尼斯 , 伯恩德·韦斯特法尔 :
参数化数据聚合协议的形式验证。 NASA形式方法 2013 : 428-434 [公元22年] 奥代·朱布兰 , 伯恩德·韦斯特法尔 :
TDMA保护时间优化的形式化方法。 RTNS公司 2013 : 223-233 2012 【c21】 克里斯蒂安·埃雷拉 , 伯恩德·韦斯特法尔 , 塞尔吉奥·费奥·阿雷尼斯 , 马可·穆尼兹 , 安德烈亚斯·波德尔斯基 :
减少时间自动机网络中的准等时钟。 格式 2012 : 155-170 [公元20年] 马可·穆尼兹 , 伯恩德·韦斯特法尔 , 安德烈亚斯·波德尔斯基 :
具有不相交活动的时间自动机。 格式 2012 : 188-203 [第19条] 杰琳娜·巴思 , 伯恩德·韦斯特法尔 , 斯蒂芬·阿尔特 :
基于模型的嵌入式系统用户界面开发。 ACES-MB@MoDELS公司 2012 : 37-42 [第18条] 伯恩德·韦斯特法尔 , 丹尼尔·迪奇 , 塞尔吉奥·费奥·阿雷尼斯 , 安德烈亚斯·波德尔斯基 , 路易斯·帕洛 , 约钦·莫斯巴赫 , 芭芭拉·索默 , 安克·福克斯 , 克里斯汀·迈尔霍夫 :
致力于中小企业软件的成功分包。 重新焊接 2012 : 42-51 2011 [第17条] 丹尼尔·迪奇 , 伯恩德·韦斯特法尔 , 安德烈亚斯·波德尔斯基 :
通过程序验证进行系统验证。 FM公司 2011 : 27-41 [第16条] 丹尼尔·迪奇 , 塞尔吉奥·费奥·阿雷尼斯 , 伯恩德·韦斯特法尔 , 安德烈亚斯·波德尔斯基 :
通过形式化和图形语言消除工业标准的歧义。 重新 2011 : 265-270 2010 [i1] 托比·托本 , 伯恩德·韦斯特法尔 , 简·亨德里克·拉科夫 :
代理和区域的聚焦抽象。 网络协议的定量和定性分析 2010
2000 – 2009
2008 【b1】 伯恩德·韦斯特法尔 :
动态拓扑系统的规范和验证:基于查询和数据类型还原的抽象的适用性。 德国奥尔登堡大学, 2008 ,第1-380页 2007 [第15条] 约格·鲍尔 , 沃纳·达姆 , 托比·托本 , 伯恩德·韦斯特法尔 :
通过拓扑分析验证和合成OCL约束。 AGTIVE公司 2007 : 361-376 [第14条] 约格·鲍尔 , 托比·托本 , 伯恩德·韦斯特法尔 :
注意形状:通过拓扑不变量进行抽象优化。 ATVA公司 2007 : 35-50 [第13条] 比约恩·瓦赫特 , 伯恩德·韦斯特法尔 :
聚光灯原理。 VMCAI公司 2007 : 182-198 2006 [第12条] 约格·鲍尔 , 伊娜·谢弗 , 托比·托本 , 伯恩德·韦斯特法尔 :
动态通信系统的规范和验证。 ACSD系统 2006 : 189-200 [第11条] 沃纳·达姆 , 托比·托本 , 伯恩德·韦斯特法尔 :
关于实时序列图的表达能力。 程序分析和编译 2006 : 225-246 [第10条] 约钦·克洛泽 , 托比·托本 , 伯恩德·韦斯特法尔 , 哈特穆特·维特克 :
查看:关于实时序列图的有效形式验证。 CAV汽车 2006 : 219-233 【c9】 伯恩德·韦斯特法尔 , 托比·托本 :
好的、坏的和丑陋的:活序列图的良好形式。 FASE公司 2006 : 230-246 2005 [j1] 沃纳·达姆 , 伯恩德·韦斯特法尔 :
生存与死亡:基于LSC的UML模型验证。 科学。 计算。 程序。 55 ( 1-3 ) : 117-159 ( 2005 ) 【c8】 托比·托本 , 伯恩德·韦斯特法尔 :
并行LSC验证:部分序符号自动机的分解性质。 AVoCS公司 2005 : 95-111 【c7】 伯恩德·韦斯特法尔 :
无边界创建和销毁UML模型的LSC验证。 软件MC@CAV 2005 : 133-145 2004 【c6】 沃纳·达姆 , 伯恩德·韦斯特法尔 :
主题领域“图表”简介。 SoftSpez最终报告 2004 : 322-324 【c5】 马蒂亚斯·布里尔 , 沃纳·达姆 , 约钦·克洛泽 , 伯恩德·韦斯特法尔 , 哈特穆特·维特克 :
实时序列图:在形式验证的背景下介绍直线、箭头和奇怪的方框。 SoftSpez最终报告 2004 : 374-399 【c4】 马蒂亚斯·布里尔 , 拉尔夫·巴斯切姆(Ralf Buschermöhle) , 沃纳·达姆 , 约钦·克洛泽 , 伯恩德·韦斯特法尔 , 哈特穆特·维特克 :
开发过程中LSC的正式验证。 SoftSpez最终报告 2004 : 494-516 【c3】 英戈·辛茨 , 托比·托本 , 克里斯蒂安·姆鲁加拉 , 伯恩德·韦斯特法尔 :
狂想曲UML验证环境。 SEFM公司 2004 : 174-183 2002 【c2】 沃纳·达姆 , 伯恩德·韦斯特法尔 :
生存与死亡:基于LSC的UML模型验证。 FMCO公司 2002 : 99-135 2000 【c1】 弗兰克·科斯特 , 罗兰·拉德克 , 伯恩德·韦斯特法尔 , 迈克尔·索尼申恩(Michael Sonnenschein) :
结合数据库中知识发现的方法过程和面向个人的模拟——时间序列中的数据挖掘。 ISMDA公司 2000 : 169-182
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)