斯特凡·洛伊
人员信息
附属: 德国康斯坦茨大学计算机与信息科学系
其他同名人员
斯特凡诺·卢奇 0001 — 意大利拉奎拉大学 (还有1个) 斯特凡诺·卢奇 0002 -意大利特伦托大学 斯特凡·卢赫滕贝格 斯特凡·莱克 斯特凡·鲁波尔德 斯特凡·M·卢波德 斯特凡·勒滕内格 斯特凡·利特盖布 斯特凡·卢瑟尔德
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [i13] 大卫·波提乌斯 , 斯特凡·洛伊 :
反例——使用安全评论员指导修复强化学习系统。 CoRR公司 abs/2405.15430 ( 2024 ) [i12] 大卫·波提乌斯 , 斯特凡·洛伊 , 托比亚斯·萨特 :
使用分支和定界对神经网络进行概率验证。 CoRR公司 abs/2405.17556 ( 2024 ) 2023 [公元67年] 大卫·波提乌斯 , 斯特凡·洛伊 :
使用超属性验证全局神经网络规范。 FoMLAS@CAV 2023 : 71-82 [公元66年] 费边·鲍尔·马尔夸特 , 斯特凡·洛伊 , 克里斯蒂安·席林 :
symQV:量子程序的自动符号验证。 FM公司 2023 : 181-198 [公元65年] 大卫·波提乌斯 , 斯特凡·洛伊 , 托比亚斯·萨特 :
神经网络反例引导修复的稳健优化观点。 ICML公司 2023 : 2712-2737 [i11] 大卫·波提乌斯 , 斯特凡·洛伊 , 托比亚斯·萨特 :
神经网络反例引导修复的稳健优化观点。 CoRR公司 abs/2301.11342 ( 2023 ) [i10] 大卫·波提乌斯 , 斯特凡·洛伊 :
使用超属性验证全局神经网络规范。 CoRR公司 abs/2306.12495 ( 2023 ) 2022 [公元64年] 阿兰·科亚 , 马丁·科尔布尔 , 斯特凡·洛伊 , 鲁迪格·威廉米 :
法律合同的自动一致性分析。 自旋蛋白 2022 : 1-23 [公元63年] 费边·鲍尔·马尔夸特 , 大卫·波提乌斯 , 斯特凡·洛伊 , 克里斯蒂安·席林 :
SpecRepair:Deep Neural Networks的反示例引导安全修复。 自旋蛋白 2022 : 79-96 [第九章] 费边·鲍尔·马尔夸特 , 斯特凡·洛伊 , 克里斯蒂安·席林 :
symQV:量子程序的自动符号验证。 CoRR公司 abs/2212.02267 ( 2022 ) [i8] 阿兰·科亚 , 马丁·科尔布尔 , 斯特凡·洛伊 , 鲁迪格·威廉米 :
使用ContractCheck对法律合同进行形式化建模和分析。 CoRR公司 abs/2212.03349 ( 2022 ) 2021 [公元16年] 马丁·科尔布尔 , 斯特凡·洛伊 , 托马斯·维斯 :
定时系统的自动修复。 形式方法系统。 设计。 59 ( 1 ) : 136-169 ( 2021 ) [i7] 费边·鲍尔·马尔夸特 , 斯特凡·洛伊 , 克里斯蒂安·席林 :
DeepOpt:使用Black-Box优化的基于可扩展规范的神经网络伪造。 CoRR公司 abs/2106.01917 ( 2021 ) 2020 [公元62年] 马丁·科尔布尔 , 斯特凡·洛伊 , 托马斯·维斯 :
TarTar:定时自动修复工具。 CAV(1) 2020 : 529-540 [第61条] 马丁·科尔布尔 , 斯特凡·洛伊 , 罗伯特·施密德 :
违反定时可达性属性的动态原因。 格式 2020 : 127-143 [公元60年] 马丁·科尔布尔 , 斯特凡·洛伊 :
一种计算动作轨迹中动作严格偏序的算法。 ISoLA(4) 2020 : 10-26 [公元59年] 乔治亚娜·卡尔泰斯 , 斯特凡·洛伊 , 哈古比尔·辛格 :
从SysML状态机图到Promela的ATL模型转换的正确性。 MODELSWARD公司 2020 : 360-372 [i6] 马丁·科尔布尔 , 斯特凡·洛伊 , 托马斯·维斯 :
TarTar:定时自动修复工具。 CoRR公司 2002年2月760日 ( 2020 )
2010 – 2019
2019 [公元58年] 马丁·科尔布尔 , 斯特凡·洛伊 :
因果检验中计算因果迹集的有效算法。 ATVA公司 2019 : 171-186 [公元57年] 马丁·科尔布尔 , 斯特凡·洛伊 , 托马斯·维斯 :
定时系统的时钟限制维修。 CAV(1) 2019 : 79-96 [i5] 格雷戈·戈斯勒 , 斯特凡·洛伊 , 中岛伸 :
系统中的因果推理(NII Shonan会议139)。 NII Shonan会议。 代表。 2019 ( 2019 ) 2018 [公元15年] 斯特凡·瓦格纳 , 马蒂亚斯·蒂希 , 迈克尔·费尔德勒 , 斯特凡·洛伊 :
Verlässliche Software im 21。 贾赫亨德特。 通知。 Spektrum公司 41 ( 5 ) : 311-316 ( 2018 ) [公元56年] 马丁·科尔布尔 , 斯特凡·洛伊 :
自动驾驶系统的自动功能安全分析。 飞行管理信息系统 2018 : 35-51 [公元55年] 马丁·科尔布尔 , 斯特凡·洛伊 , 哈古比尔·辛格 :
通过模型转换从SysML到模型检查器。 自旋蛋白 2018 : 255-274 [公元54年] 乔治亚娜·卡尔泰斯 , 索菲·林妮娅·盖特琳 , 斯特凡·洛伊 :
一般LTL可定义属性的因果关系。 ETAPS坝顶 2018 : 1-15 [i4] 斯特凡·瓦格纳 , 马蒂亚斯·蒂希 , 迈克尔·费尔德勒 , 斯特凡·洛伊 :
Verlässliche Software im 21。 贾赫亨德特。 CoRR公司 abs/1812.01434 ( 2018 ) 2017 [电子7] 亚历克斯·格罗斯 , 斯特凡·洛伊 :
嵌入式和安全关键系统技术因果推理第二届国际研讨会论文集, ETAPS坝顶 2017年4月29日,瑞典乌普萨拉。 EPTCS系统 259, 2017 [目录] 2016 [公元53年] 乔治亚娜·卡尔泰斯 , 弗洛里安·雷特纳·菲舍尔 , 斯特凡·洛伊 , 詹尼斯·威瑟 :
通过面向对象将SysML转换为NuSMV模型。 CyPhy公司 2016 : 31-45 [第52条] 乔治亚娜·卡尔泰斯 , 斯特凡·洛伊 , 穆罕默德·雷扎·穆萨维 :
标记转换系统中的(去)复合因果关系。 ETAPS坝顶 2016 : 10-24 2015 【b1】 斯特凡·洛伊 :
电信系统工程的方法和语义。 瑞士伯尔尼大学, 2015 [第51条] 阿德里安·比尔 , 斯蒂芬·海丁格 , 乌韦·库恩 , 弗洛里安·雷特纳·菲舍尔 , 斯特凡·洛伊 :
使用有界模型检查进行符号因果关系检查。 自旋蛋白 2015 : 203-221 2014 [公元50年] 弗洛里安·雷特纳·菲舍尔 , 斯特凡·洛伊 :
SpinCause:因果关系检查工具。 自旋蛋白 2014 : 117-120 2013 [公元14年] 弗洛里安·雷特纳·菲舍尔 , 斯特凡·洛伊 :
使用因果计算的概率故障树合成。 国际期刊临界计算。 基于系统。 4 ( 2 ) : 119-143 ( 2013 ) [j13] 斯特凡·洛伊 , 魏伟 :
异步无功系统基于整数线性规划的性能检查。 IEEE传输。 软件工程。 39 ( 2 ) : 216-236 ( 2013 ) [公元49年] 阿德里安·比尔 , 托多尔·乔治耶夫 , 弗洛里安·雷特纳·菲舍尔 , 斯特凡·洛伊 :
基于模型的Matlab Simulink/Stateflow模型的定量安全分析。 MBEES公司 2013 : 60-69 [公元48年] 弗洛里安·雷特纳·菲舍尔 , 斯特凡·洛伊 :
概率因果计算与因果检验的协同作用。 自旋蛋白 2013 : 246-263 [公元47年] 斯特凡·洛伊 , Mitra Tabaei Befrouei公司 :
挖掘序列模式以解释并发反例。 自旋蛋白 2013 : 264-281 [公元46年] 弗洛里安·雷特纳·菲舍尔 , 斯特凡·洛伊 :
复杂系统模型的因果关系检查。 VMCAI公司 2013 : 248-267 2012 [公元45年] 弗洛里安·雷特纳·菲舍尔 , 斯特凡·洛伊 :
面向复杂系统模型的因果关系检查。 MBEES公司 2012 : 71-80 [公元44年] 斯特凡·洛伊 , Mitra Tabaei Befrouei公司 :
通过异常检测进行反例解释。 自旋蛋白 2012 : 24-42 2011 [公元12年] 侯赛因·阿尔贾扎尔 , 斯特凡·洛伊 :
K(K) ⁎ :用于查找k条最短路径的启发式搜索算法。 工件。 智力。 175 ( 18 ) : 2129-2154 ( 2011 ) [公元11年] 达伦·D·科弗 , 亚历山德罗·范特奇 , 斯特凡·洛伊 , 佩德罗·梅里诺 :
《工业关键系统的形式化方法》专刊前言(FMICS 2007+FMICS 2008)。 科学。 计算。 程序。 76 ( 2 ) : 63-64 ( 2011 ) [公元43年] 弗洛里安·雷特纳·菲舍尔 , 斯特凡·洛伊 :
UML模型的定量分析。 MBEES公司 2011 : 91-100 [公元42年] 马蒂亚斯·昆茨 , 弗洛里安·雷特纳·菲舍尔 , 斯特凡·洛伊 :
从因果关系的概率反例到故障树。 SAFECOMP公司 2011 : 71-84 [公元41年] 侯赛因·阿尔贾扎尔 , 弗洛里安·雷特纳·菲舍尔 , 斯特凡·洛伊 , 迪米塔尔·西蒙诺夫 :
DiPro-概率反例生成工具。 自旋蛋白 2011 : 183-187 [公元40年] 弗洛里安·雷特纳·菲舍尔 , 斯特凡·洛伊 :
QuantUM:UML模型的定量安全分析。 QAPL公司 2011 : 16-30 2010 [公元10年] 侯赛因·阿尔贾扎尔 , 斯特凡·洛伊 :
随机模型检验反例生成中的定向显式状态空间搜索。 IEEE传输。 软件工程。 36 ( 1 ) : 37-60 ( 2010 ) [公元39年] 巴哈勒巴德班 , 斯特凡·洛伊 , Jan-Georg Smaus公司 :
实时系统验证的自动不变量生成。 ETAPS时的机翼 /国际JCAR 2010 : 44-58 [公元38年] 马蒂亚斯·昆茨 , 斯特凡·洛伊 , 克里斯托夫·谢本 :
将非终止证明技术扩展到异步通信并发程序。 ETAPS时的机翼 /国际JCAR 2010 : 132-147 [公元37年] 侯赛因·阿尔贾扎尔 , 马蒂亚斯·昆茨 , 弗洛里安·雷特纳·菲舍尔 , 斯特凡·洛伊 :
概率模型检验的定向和启发式反例生成:比较评估。 报价@ICSE 2010 : 25-32
2000 – 2009
2009 [公元9年] 德拉甘·博斯纳基 , 斯特凡·洛伊 , 阿尔贝托·卢奇·拉富恩特 :
一般状态探索算法的部分降阶。 国际期刊软件。 技术工具。 Transf公司。 11 ( 1 ) : 39-51 ( 2009 ) [公元36年] 克里斯蒂安·达克斯 , 费利克斯·克莱特克 , 斯特凡·洛伊 :
口吃非变异正则属性的规范语言。 ATVA公司 2009 : 244-254 [公元35年] 斯特凡·洛伊 , 魏伟 :
UML-RT的可执行和可扩展形式语义。 MBEES公司 2009 : 182-188 [公元34年] 侯赛因·阿尔贾扎尔 , 斯特凡·洛伊 :
马尔可夫决策过程模型检验反例的生成。 QEST公司 2009 : 197-206 [公元33年] 侯赛因·阿尔贾扎尔 , 曼努埃尔·菲舍尔 , 拉尔斯·格伦斯克 , 马蒂亚斯·昆茨 , 弗洛里安·雷特纳·菲舍尔 , 斯特凡·洛伊 :
使用概率FMEA和概率反例对安全气囊系统进行安全分析。 QEST公司 2009 : 299-308 [公元32年] 巴哈勒巴德班 , 斯特凡·洛伊 , Jan-Georg Smaus公司 :
实时模型的自动谓词提取。 无穷 2009 : 36-43 2008 [公元31年] 侯赛因·阿尔贾扎尔 , 斯特凡·洛伊 :
使用反例的交互式可视化调试可靠性模型。 QEST公司 2008 : 189-198 [公元30年] 斯特凡·洛伊 , 阿林·斯特凡内斯库 , 魏伟 :
反应通信过程中控制流循环的依赖性分析。 自旋蛋白 2008 : 176-195 [公元29年] 斯特凡·洛伊 , 阿林·斯特凡内斯库 , 魏伟 :
UML-RT中动态结构和运行时调度的AsmL语义。 工具(46) 2008 : 238-257 [电子6] 斯特凡·洛伊 , 佩德罗·梅里诺 :
《工业关键系统的形式方法》,第12届国际研讨会,2007年7月1日至2日,德国柏林,FMICS 2007,修订论文集。 计算机科学课堂讲稿 4916, 施普林格 2008 ,国际标准图书编号 978-3-540-79706-7 [目录] 2007 [e5] 斯特凡·埃德尔坎普 , 斯特凡·洛伊 , 威廉·维瑟 :
定向模型检查,26.04.- 29.04.2006. 达格斯图尔研讨会记录 06172, 德国达格斯图尔宫国际展览中心-und Forschungszentrum fuer Informatik(IBFI) 2007 [目录] 2006 [公元28年] 斯特凡·洛伊 , 阿林·斯特凡内斯库 , 魏伟 :
无限状态异步无功系统的Livelock自由度分析。 CONCUR公司 2006 : 79-94 [公元27年] 侯赛因·阿尔贾扎尔 , 斯特凡·洛伊 :
概率时间可达性的扩展定向搜索。 格式 2006 : 33-51 [公元26年] 朱塞佩·迪法塔 , 斯特凡·洛伊 , Evghenia Stegantova公司 :
软件故障检测中的判别模式挖掘。 SOQUA公司 2006 : 62-69 [公元25年] 德拉甘·博斯纳基 , 斯特凡·洛伊 , 阿尔贝托·卢奇·拉富恩特 :
一般状态探索算法的部分降阶。 自旋蛋白 2006 : 271-287 [公元24年] 斯特凡·洛伊 , 魏伟 :
一种基于区域图的终止证明方法。 TACAS公司 2006 : 318-333 [i3] 斯特凡·埃德尔坎普 , 斯特凡·洛伊 , 威廉·维瑟 :
06172执行摘要——定向模型检查。 定向模型检查 2006 [i2] 斯特凡·埃德尔坎普 , 斯特凡·洛伊 , 威廉·维瑟 :
06172摘要收集--定向模型检查。 定向模型检查 2006 2005 【c23】 侯赛因·阿尔贾扎尔 , 霍尔格·赫尔曼斯 , 斯特凡·洛伊 :
定时概率可达性的反例。 格式 2005 : 177-195 [公元22年] 斯特凡·洛伊 , 魏伟 :
CFSM语言有界性测试的基于反例的改进。 自旋蛋白 2005 : 58-74 [电子4] 斯特凡·洛伊 , Tarja Systä :
场景:模型、转换和工具,国际研讨会,德国达格斯图尔城堡,2003年9月7日至12日,修订论文集。 计算机科学课堂讲稿 3466, 施普林格 2005 ,国际标准图书编号 3-540-26189-3 [目录] [i1] 曼弗雷德·布罗伊 , 马蒂亚斯·贾克 , 曼弗雷德·纳格尔 , 汉斯·迪特尔·罗姆巴赫 , Armin B.Cremers公司 , 尤尔根·埃伯特 , 萨宾·格莱斯纳 , 马丁·格林茨 , 迈克尔·戈迪克 , 格哈德·戈斯 , 沃尔克·格鲁恩 , 威廉·哈塞尔布林 , 斯特凡·贾纳亨 , 斯特凡·科瓦列夫斯基 , 伯恩德·克雷默 , 斯特凡·洛伊 , 克劳斯·勒伦茨 , 彼得·利格斯迈耶 , 克里斯托夫·吕斯 , 芭芭拉·佩奇 , 赫尔穆斯·亚瑟·帕奇 , 伊尔卡·菲利普鲍 , Lutz Prechelt公司 , 安德烈亚斯·劳什 , 威廉·鲍尔·德罗弗 , 伯恩哈德·伦普 , 古杜拉·伦格 , 威廉·施费尔 , 库尔特·施奈德 , 安迪·舒尔 , 沃尔特·蒂希 , 伯恩哈德·韦斯特费特尔 , 沃尔夫·齐默尔曼 , 阿尔伯特·津多夫 :
德国的Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering。 展望研讨会 2005 2004 [j8] 斯特凡·埃德尔坎普 , 斯特凡·洛伊 , 阿尔贝托·卢奇·拉富恩特 :
通信协议验证中的定向显式状态模型检查。 国际期刊软件。 技术工具。 Transf公司。 5 ( 2-3 ) : 247-267 ( 2004 ) [j7] 马修·德怀尔 , 斯特凡·洛伊 :
介绍性文件。 国际期刊软件。 技术工具。 Transf公司。 6 ( 4 ) : 257-259 ( 2004 ) [j6] 斯特凡·埃德尔坎普 , 斯特凡·洛伊 , 阿尔贝托·卢奇·拉富恩特 :
定向模型检查中的部分阶减少和跟踪改进。 国际期刊软件。 技术工具。 Transf公司。 6 ( 4 ) : 277-301 ( 2004 ) 【c21】 谭建斌 , 乔治·阿夫鲁宁 , 洛丽·克拉克 , 什洛莫·齐尔伯斯坦 , 斯特凡·洛伊 :
FLAVERS中的启发式反例搜索。 SIGSOFT FSE公司 2004 : 201-210 [公元20年] 斯特凡·洛伊 , 理查·马 , 魏伟 :
Promela模型中消息缓冲区溢出的可扩展不完整测试。 自旋蛋白 2004 : 216-233 [第19条] 斯特凡·洛伊 , 理查·马 , 魏伟 :
UML RT模型有界性的可扩展不完全测试。 TACAS公司 2004 : 327-341 2002 [第18条] 阿尔贝托·卢奇·拉富恩特 , 斯特凡·埃德尔坎普 , 斯特凡·洛伊 :
定向模型检查中的部分降阶。 自旋蛋白 2002 : 112-127 [电子3] 德拉甘·博斯纳基 , 斯特凡·洛伊 :
软件模型检查,第九届国际SPIN研讨会,法国格勒诺布尔,2002年4月11-13日,会议记录。 计算机科学课堂讲稿 2318, 施普林格 2002 ,国际标准图书编号 3-540-43477-1 [目录] 2001 [第17条] 斯特凡·埃德尔坎普 , 阿尔贝托·卢奇·拉富恩特 , 斯特凡·洛伊 :
使用HSF-SPIN进行定向显式模型检查。 自旋蛋白 2001 : 57-79 [第16条] 斯特凡·埃德尔坎普 , 阿尔贝托·卢奇·拉富恩特 , 斯特凡·洛伊 :
跟踪模型检查。 软件模型检查研讨会@CAV 2001 : 343-356 2000 [j5] 莫阿塔兹·卡梅尔 , 斯特凡·洛伊 :
使用PROMELA和SPIN对通用Inter-ORB协议(GIOP)进行形式化和验证。 国际期刊软件。 技术工具。 Transf公司。 2 ( 4 ) : 394-409 ( 2000 ) [第15条] 莫阿塔兹·卡梅尔 , 斯特凡·洛伊 :
VIP:v-Promela的可视化编辑器和编译器。 TACAS公司 2000 : 471-486
1990 – 1999
1999 [第14条] 斯特凡·洛伊 , 杰拉德·J·霍尔兹曼 :
v-Promela:一种面向对象的可视化SPIN语言。 国际标准化组织 1999 : 14-23 [第13条] 莫阿塔兹·卡梅尔 , 斯特凡·洛伊 :
VIP:Promela的可视化界面。 自旋蛋白 1999 : 153 [电子2] 丹尼斯·达姆斯 , 罗布·格思 , 斯特凡·洛伊 , 梅克·马西克 :
SPIN模型检验的理论和实践方面,第五和第六届国际SPIN研讨会,意大利特伦托,1999年7月5日,法国图卢兹,1999年9月21日和24日,会议记录。 计算机科学课堂讲稿 1680, 施普林格 1999 ,国际标准图书编号 3-540-66499-8 [目录] 1998 【j4】 斯特凡·费舍尔 , 斯特凡·洛伊 :
宽带和多媒体系统的形式化方法。 计算。 网络 30 ( 9-10 ) : 865-899 ( 1998 ) [第12条] 斯特凡·洛伊 , 拉尔斯·梅赫曼 , 穆罕默德·雷扎·穆萨维 :
从消息序列图规范合成软件架构描述。 酶 1998 : 192-195 [第11条] 汉尼·本·阿巴达拉 , 斯特凡·洛伊 :
MESA:支持基于场景的并发系统设计。 TACAS公司 1998 : 118-135 1997 [第10条] 汉尼·本·阿巴达拉 , 斯特凡·洛伊 :
消息序列图规范中的时间限制。 复地 1997 : 91-106 【c9】 斯特凡·费舍尔 , 斯特凡·洛伊 :
宽带和多媒体系统的形式化方法(教程)。 ICSE公司 1997 : 665-666 【c8】 汉尼·本·阿巴达拉 , 斯特凡·洛伊 :
消息序列图中进程发散和非逻辑选择的句法检测。 TACAS公司 1997 : 259-274 1996 [j3] 斯特凡·洛伊 , 菲利普·奥赫斯林 :
OpParIm:一种用于优化并行协议实现的方法和工具。 J.高速网络 5 ( 2 ) : 125-143 ( 1996 ) [注2] 斯特凡·洛伊 , 菲利普·奥赫斯林 :
关于通信协议的并行化和优化实现。 IEEE/ACM传输。 Netw公司。 4 ( 1 ) : 55-70 ( 1996 ) 【c7】 斯特凡·洛伊 , 彼得·拉德金 :
使用Promela/XSpin实现和验证MSC规范。 自旋验证系统 1996 : 65-89 1995 [j1] 彼得·拉德金 , 斯特凡·洛伊 :
解释消息流图。 形式方面计算。 7 ( 5 ) : 473-509 ( 1995 ) 【c6】 斯特凡·洛伊 :
为SDL规范指定实时需求——一种基于时序逻辑的方法。 公共电视台 1995 : 19-34 [电子1] 迪特尔·霍格利夫 , 斯特凡·洛伊 :
形式描述技术VII,第七届IFIP WG6.1国际形式描述技术会议记录,瑞士伯尔尼,1994年。 IFIP会议记录 6, 查普曼和霍尔 1995 ,国际标准图书编号 0-412-64450-9 [目录] 1994 【c5】 彼得·拉德金 , 斯特凡·洛伊 :
关于消息流图语义的四个问题。 复地 1994 : 355-369 【c4】 斯特凡·洛伊 , 菲利普·奥赫斯林 :
用于优化并行协议实现的形式化和算法。 ICNP公司 1994 : 178-185 【c3】 斯特凡·洛伊 , 菲利普·奥赫斯林 :
从SDL规范到优化的并行协议实现。 高速网络协议 1994 : 308-327 1993 【c2】 彼得·拉德金 , 斯特凡·洛伊 :
信息序列图意味着什么? 复地 1993 : 301-316 1992 【c1】 彼得·拉德金 , 斯特凡·洛伊 :
关于消息序列图的语义。 FBT公司 1992 : 88-104
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)