弗兰兹·魏特尔
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2010 – 2019
2015 [j7] 西里尔·阿瑟 , 铃木邦彦 , Masami Hagiya先生 , Watcharin Leungwattanakit先生 , 理查德·波特 , 埃里克·柏拉图 , 田本义一(Yoshinori Tanabe) , 弗兰兹·魏特尔 , 山本三郎 :
使用检查点和虚拟化进行故障注入。 国际期刊网。 计算。 5 ( 2 ) : 347-372 ( 2015 ) [j6] 纳齐姆·塞比赫 , Masami Hagiya先生 , 弗兰兹·魏特尔 , 山本三郎 , 西里尔·阿瑟 , 田本义一(Yoshinori Tanabe) :
基于UDP的分布式应用程序的软件模型检查。 国际期刊网。 计算。 5 ( 2 ) : 373-402 ( 2015 ) [第10条] 弗兰兹·魏特尔 , 纳齐姆·塞比赫 , 西里尔·阿瑟 , Masami Hagiya先生 , 田本义一(Yoshinori Tanabe) , 山形义由纪夫 , 山本三郎 :
UDP传输结果的基数。 设置 2015 : 120-134 2014 【c9】 纳齐姆·塞比赫 , 弗兰兹·魏特尔 , 西里尔·阿瑟 , Masami Hagiya先生 , 田本义一(Yoshinori Tanabe) , 山本三郎 :
基于UDP的分布式应用程序的软件模型检查。 坎达尔 2014 : 96-105 【c8】 西里尔·阿瑟 , Masami Hagiya先生 , Watcharin Leungwattanakit先生 , 埃里克·柏拉图 , 理查德·波特 , 铃木邦彦 , 田本义一(Yoshinori Tanabe) , 弗兰兹·魏特尔 , 山本三郎 :
使用检查点和虚拟化进行故障注入。 坎达尔 2014 : 144-150 2013 【c7】 西里尔·阿瑟 , Masami Hagiya先生 , 理查德·波特 , 田本义一(Yoshinori Tanabe) , 弗兰兹·魏特尔 , 山本三郎 :
具有基于选择器的非阻塞通信的分布式系统的软件模型检查。 ASE公司 2013 : 169-179 2011 [j5] 弗兰兹·魏特尔 , Shin Nakajima先生 :
使用时序描述逻辑对静态结构和动态行为进行集成模型检查。 电子。 Commun公司。 欧洲协会软件。 科学。 Technol公司。 46 ( 2011 ) 【j4】 克里斯蒂安·施恩伯格 , 弗兰兹·魏特尔 , Burkhard Freitag公司 :
验证基于web的技术文档的一致性。 J.塞姆。 计算。 46 ( 2 ) : 183-206 ( 2011 ) 2010 [j3] 弗兰兹·魏特尔 , Shin Nakajima先生 , Burkhard Freitag公司 :
从反例到增量交互式错误跟踪(Schrittweise Fehleranalysie auf der Grundlage von Model-Checking)。 信息技术。 52 ( 5 ) : 295-297 ( 2010 ) 【c6】 弗兰兹·魏特尔 , Shin Nakajima先生 , Burkhard Freitag公司 :
时间描述逻辑ALCCTL的结构化反例。 SEFM公司 2010 : 232-243 【c5】 弗兰兹·魏特尔 , Shin Nakajima先生 :
模型检查Web文档中反例的增量构造。 WWV(WWV) 2010 : 34-50
2000 – 2009
2009 [注2] 弗兰兹·魏特尔 , 米尔贾娜·贾克西奇 , Burkhard Freitag公司 :
走向半结构化文档的自动验证。 数据知识。 工程师。 68 ( 三 ) : 292-317 ( 2009 ) 【c4】 克里斯蒂安·施恩伯格 , 弗兰兹·魏特尔 , 米尔贾娜·贾西奇 , Burkhard Freitag公司 :
技术文件的逻辑验证。 ACM文件工程研讨会 2009 : 251-252 2008 [第1页] 弗兰兹·魏特尔 :
Dokumentverification mit Temporaler Beschreibungslogik[使用时序描述逻辑进行文档验证]。 Ausgezeichnete信息发布 2008 : 321-330 2007 【b1】 弗兰兹·魏特尔 :
使用时间描述逻辑进行文档验证。 德国帕绍大学, 2007 ,第1-313页 【c3】 约翰娜·布科尔 , 沃纳·格拉斯 , 鲁道夫·坎默尔 , 弗兰兹·魏特尔 :
ELTIS:技术信息-Fernstudium für Schüler。 信息 2007 : 241-252 2006 [j1] 弗兰兹·魏特尔 , Burkhard Freitag公司 :
检查集成Web文档的内容一致性。 J.计算。 科学。 Technol公司。 21 ( 三 ) : 418-429 ( 2006 ) 2004 【c2】 弗朗茨·维特尔 , Burkhard Freitag公司 :
检查集成Web文档上的语义完整性约束。 ER(车间) 2004 : 198-209 【c1】 弗兰兹·魏特尔 , Burkhard Freitag公司 :
Datenqualität durch inhaltsbezogene参考。 GI Jahrestagung(1) 2004 : 336-340
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)