鲁珀特·施利克
人员信息
优化列表
2020年–今天
2022 [公元20年] Enrico Ferrari公司 , 鲁珀特·施利克 , 何塞·路易斯·德拉瓦拉 , 彼得·福克森 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
安全和安保关键系统验证与确认方法的差距和局限性分析标准。 SAFECOMP研讨会 2022 : 35-46岁 2021 [j6] Joseba Andoni阿吉雷 , 雷氏Etxeberria , 劳尔·巴博萨 , Stylianos Basagiannis公司 , 乔治·吉安塔米迪斯 , 托马斯·鲍尔 , Enrico Ferrari公司 , 米凯尔·拉巴恩·埃斯纳奥拉 , 瓦妮莎·奥拉尼 , 约翰尼·厄伯格 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 亚历斯·斯姆卡 , 沃尔特·提贝蒂 , 斯特凡诺·托内塔 , 马可·波扎诺 , 艾哈迈特·亚齐奇 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
VALU3S ECSEL项目:自动化系统安全和安保的验证和确认。 微加工。 微系统 87 : 104349 ( 2021 ) [第19条] 何塞·路易斯·德拉瓦拉 , 托马斯·鲍尔 , 伯恩哈德·菲舍尔 , 穆斯塔法·卡拉卡 , 亨利克·马德拉 , 马丁·马施尼格 , 西尔维娅·马齐尼 , 吉安·斯皮勒·南迪 , 法比奥·帕特龙 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 斯特凡诺·托内塔 , 乌古尔·亚扬 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
自动化系统安全、网络安全和隐私的验证和确认方法分类提案。 QUATIC公司 2021 : 325-340 [第18条] 托马斯·鲍尔 , Joseba Andoni阿吉雷 , 大卫·Fürcho , 沃尔夫冈·赫兹纳 , 鲍勃·赫鲁斯卡 , 穆斯塔法·卡拉卡 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 罗伯特·西彻 , 阿莱斯·斯马尔卡 , 乌古尔·亚扬 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
欧洲大规模研究项目VALU3S中验证和确认工作流的跨域建模-邀请论文。 萨摩斯 2021 : 368-382 [第17条] 斯特凡·马克斯坦纳 , 纳迪娅·马尔科 , 安德烈·斯穆德斯 , 斯特利奥斯·卡拉吉安尼斯 , 弗洛里安·斯塔尔 , 海克·哈马扎里安 , 鲁珀特·施利克 , 斯特凡·克拉斯伯格 , 亚历山大·瓦塞涅夫 :
促进自动化汽车网络安全测试的过程。 VTC弹簧 2021 : 1-7 [i3] 斯特凡·马克斯泰纳 , 纳迪娅·马尔科 , 安德烈·斯穆德斯 , 卡拉吉安尼斯石碑 , 弗洛里安·斯塔尔 , 海克·哈马扎里安 , 鲁珀特·施利克 , 斯特凡·克拉斯伯格 , 亚历山大·瓦塞涅夫 :
促进自动化汽车网络安全测试的过程。 CoRR公司 abs/2101.10048 ( 2021 ) 2020 [第16条] 劳尔·巴博萨 , Stylianos Basagiannis公司 , 乔治·吉安塔米迪斯 , H.贝克尔 , Enrico Ferrari公司 , J.贾希克 , A.卡纳克 , 米凯尔·拉巴恩·埃斯纳奥拉 , 瓦妮莎·奥拉尼 , 大卫·佩雷拉 , 路易吉·波曼特 , 鲁珀特·施利克 , 亚历斯·斯姆卡 , 艾哈迈特·亚齐奇 , 彼得·福克斯森 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
VALU3S ECSEL项目:自动化系统安全与安保的验证与确认。 DSD公司 2020 : 352-359 [第15条] 鲁珀特·施利克 :
SE-Wissenschaftliche Praxis和Vergleichbarkeit。 东南方 2020 : 157-158 [第14条] 鲁珀特·施利克 :
MoMuT-Eine Transfer-Geschichteüber模型基础测试。 东南方 2020 : 195-200 [第13条] 鲁珀特·施利克 :
简介:软件工程研究公司-AIT-奥地利理工学院股份有限公司。 东南方 2020 : 215-220
2010 – 2019
2019 [j5] 伯恩哈德·艾切里尼(Bernhard K.Aichernig) , 普里斯卡·鲍尔斯塔特 , 伊丽莎白·Jöbstl , 塞文·卡恩 , 罗伯特·科洛塞克 , 威利博德·克伦 , Cristinel Mateis公司 , 鲁珀特·施利克 , 理查德·舒米 :
系统响应时间的学习和统计模型检查。 柔和。 资格。 J。 27 ( 2 ) : 757-795 ( 2019 ) 【j4】 安德烈亚斯·费尔纳 , 威利博尔德·克伦 , 鲁珀特·施利克 , 托尔斯滕·塔拉赫 , 乔治·魏森巴赫 :
通过启发式指导的分支搜索生成基于模型的、突变驱动的测试用例。 ACM事务处理。 嵌入。 计算。 系统。 18 ( 1 ) : 4:1-4:28 ( 2019 ) [第12条] 迈克尔·巴特勒 , 达娜·戴姆 , 泰国Son Hoang , Tope Omitola公司 , 科林·F·斯努克 , 安德烈亚斯·费尔纳 , 鲁珀特·施利克 , 托尔斯滕·塔拉赫 , 托马斯·费舍尔 , 彼得·图梅尔沙姆 :
ETCS混合级别3的行为驱动形式化模型开发。 ICECCS公司 2019 : 97-106 2018 [第11条] 科林·F·斯努克 , 泰国Son Hoang , 达娜·戴姆 , 迈克尔·巴特勒 , 托马斯·费舍尔 , 鲁珀特·施利克 , 王克明(Keming Wang) :
行为驱动的正式模型开发。 ICFEM公司 2018 : 21-36 [第10条] 迈克尔·费尔德勒 , 迪利安·古罗夫 , 玛丽克·赫斯曼 , 比约恩·利斯珀 , 鲁珀特·施利克 :
工业实践中的形式方法-弥合差距(跟踪总结)。 ISoLA(4) 2018 : 77-81 【c9】 鲁珀特·施利克 , 迈克尔·费尔德勒 , 伊斯特万·马齐克 , 罗伯托·纳尔多 , 亚历山大·拉什克 , 科林·F·斯努克 , 瓦莱里娅·维托里尼 :
建议建立一个示例和实验库,以促进正式方法的工业采用。 ISoLA(4) 2018 : 249-272年 2017 【c8】 安德烈亚斯·费尔纳 , 威利博德·克伦 , 鲁珀特·施利克 , 托尔斯滕·塔拉赫 , 乔治·魏森巴赫 :
通过启发式指导的分支搜索生成基于模型的、变异驱动的测试用例。 记忆码 2017 : 56至66 【c7】 理查德·舒米 , 普里斯卡·朗 , 伯恩哈德·艾切里尼(Bernhard K.Aichernig) , 威利博尔德·克伦 , 鲁珀特·施利克 :
在随机用户配置文件下检查Web服务应用程序的响应时间属性。 信息和通信技术支持系统 2017 : 293-310 2015 [j3] 伯恩哈德·艾切里尼(Bernhard K.Aichernig) , 哈拉尔德·布兰德 , 伊丽莎白·Jöbstl , 威利博德·克伦 , 鲁珀特·施利克 , 斯特凡·蒂兰 :
基于模型的突变测试的终止策略。 柔和。 测试。 验证Reliab。 25 ( 8 ) : 716-748 ( 2015 ) 【c6】 威利博德·克伦 , 鲁珀特·施利克 , 斯特凡·蒂兰 , 伯恩哈德·艾切里尼(Bernhard K.Aichernig) , 伊丽莎白·Jöbstl , 哈拉尔德·布兰德 :
UML基于模型的UML变异测试。 ICST公司 2015 : 1-8 2014 【c5】 伯恩哈德·艾切里尼(Bernhard K.Aichernig) , 克劳斯·霍尔迈耶 , 弗洛里安·洛伯 , 德扬·尼科维奇 , 鲁珀特·施利克 , 迪迪埃·西蒙诺 , 斯特凡·蒂兰 :
通过OSLC集成需求工程和测试用例生成。 QSIC公司 2014 : 117-126 【c4】 伯恩哈德·艾切里尼(Bernhard K.Aichernig) , 雅各布·奥尔 , 伊丽莎白·Jöbstl , 罗伯特·科洛塞克 , 威利博德·克伦 , 鲁珀特·施利克 , 比吉特·维拉·施密特 :
工业测量设备的基于模型的突变测试。 STAF处的TAP 2014 : 1-19 2011 [注2] 沃尔夫冈·赫兹纳 , 鲁珀特·施利克 , 哈拉尔德·布兰德 , 约翰内斯·维萨拉 :
可靠嵌入式软件基于故障的测试用例生成。 软件技术——趋势 31 ( 三 ) ( 2011 ) 【c3】 鲁珀特·施利克 , 沃尔夫冈·赫兹纳 , 伊丽莎白·Jöbstl :
基于错误的UML模型测试用例生成——方法和一些经验。 SAFECOMP公司 2011 : 270-283 2010 [j1] 沃尔夫冈·赫兹纳 , 鲁珀特·施利克 , 沃纳·舒茨 , 哈拉尔德·布兰德 , 威利博德·克伦 :
从UML/OCL模型为复杂的安全关键系统生成有效的测试用例。 Elektrotech公司。 信息技术 127 ( 6 ) : 181-186 ( 2010 )
2000 – 2009
2009 【c2】 威利博德·克伦 , 鲁珀特·施利克 , 伯恩哈德·艾切里尼(Bernhard K.Aichernig) :
将UML映射到标记的转换系统以生成测试用例-通过面向对象的操作系统进行转换。 FMCO公司 2009 : 186-207 2008 [i2] 沃尔夫冈·赫兹纳 , 马丁·施拉格 , 吉尔吉斯·塞尔坦 , 伯恩哈德·胡贝尔 , 蒂埃里·勒塞贡特 , 埃尔文·肖奇 , 鲁珀特·施利克 :
分布式嵌入式实时系统的基于模型的开发。 ERCIM新闻 2008 ( 75 ) ( 2008 ) [i1] 沃尔夫冈·赫兹纳 , 鲁珀特·施利克 , 曼弗雷德·格鲁伯 :
生成高效测试用例的一步-MOGENTES项目。 ERCIM新闻 2008 ( 75 ) ( 2008 ) 2006 【c1】 鲁珀特·施利克 , 沃尔夫冈·赫兹纳 , 蒂埃里·勒塞贡特 :
检查SCADE模型是否正确使用物理单位。 SAFECOMP公司 2006 : 358-371