斯特凡·施温
人员信息
优化列表
2020年–今天
2022 [公元42年] 吉安·卡洛·阿吉雷·萨姆博尼 , 斯特凡·哈尔 , 洛伊克·保列夫 , 斯特凡·施温 , 尼克·沃德曼 :
避免厄运:在Petri网中寻找悬崖边配置。 甘道夫 2022 : 178-193 2020 [j13] 洛伊格·杰泽奎尔 , 阿格尼斯·马达林斯基 , 斯特凡·施温 :
用于测试选择的Petri网展开中向量时钟的分布式计算。 谨慎。 事件动态。 系统。 30 ( 三 ) : 441-464 ( 2020 ) [公元41年] 斯特凡·哈尔 , 洛伊克·保列夫 , 斯特凡·施温 :
画线:安全Petri网中的盆地边界。 CMSB公司 2020 : 321-336 [公元40年] 斯特凡·哈尔 , 谢尔盖·哈达德 , 斯特凡·施温 , 丽娜·叶 :
离散事件系统的主动预测。 FSTTCS公司 2020 : 48:1-48:16
2010 – 2019
2018 [公元12年] 贝特里斯·贝拉德 , 斯特凡·哈尔 , 西尔万·施密茨 , 斯特凡·施温 :
Petri网可诊断性和不透明度验证的复杂性。 芬丹。 信息学 161 ( 4 ) : 317-349 ( 2018 ) 2017 [公元11年] 斯特凡·哈尔 , 谢尔盖·哈达德 , 塔里克·梅利提 , 斯特凡·施温 :
主动诊断的最佳结构。 J.计算。 系统。 科学。 83 ( 1 ) : 101-120 ( 2017 ) [公元39年] 贝特里斯·贝拉德 , 斯特凡·哈尔 , 西尔万·施密茨 , 斯特凡·施温 :
Petri网可诊断性和不透明度验证的复杂性。 Petri网 2017 : 200-220 2015 [公元10年] Vasileios Germanos公司 , 斯特凡·哈尔 , 维克托·科门科 , 斯特凡·施温 :
弱公平下的可诊断性。 ACM事务处理。 嵌入。 计算。 系统。 14 ( 4 ) : 69:1-69:19 ( 2015 ) [公元38年] 托马斯·查坦 , 斯特凡·哈尔 , 库特尼 , 斯特凡·施温 :
上下文网络中的非原子跃迁激发。 Petri网 2015 : 117-136 [公元37年] 斯坦尼斯拉夫·伯姆 , 斯特凡·哈尔 , 谢尔盖·哈达德 , 彼得罗·霍夫曼 , 斯特凡·施温 :
可观察到静止的主动诊断。 疾病预防控制中心 2015 : 1663-1668 [公元36年] 康斯坦蒂诺斯·阿萨纳西奥 , 埃尔南·蓬斯·德莱昂 , 斯特凡·施温 :
使用事件结构为并发系统生成测试用例。 STAF处的TAP 2015 : 19-37 2014 [公元35年] Vasileios Germanos公司 , 斯特凡·哈尔 , 维克托·科门科 , 斯特凡·施温 :
弱公平下的可诊断性。 ACSD系统 2014 : 132-141 [公元34年] 托马斯·查坦 , 斯特凡·哈尔 , 洛伊格·杰泽克尔 , 洛伊克·保列夫 , 斯特凡·施温 :
利用Petri网展开刻画可达吸引子。 CMSB公司 2014 : 129-142 [公元33年] 罗希特·查达 , 乌芒·马图尔 , 斯特凡·施温 :
使用符号模型检查计算信息流。 FSTTCS公司 2014 : 505-516 2013 【b2】 斯特凡·施温 :
顺序和并发系统的有效验证。 法国卡尚正常供应, 2013 [公元9年] 斯特凡·哈尔 , 克里斯蒂安克恩 , 斯特凡·施温 :
计算产状网中的揭示关系。 西奥。 计算。 科学。 493 : 66-79 ( 2013 ) [公元32年] 斯特凡·哈尔 , 塞萨尔·罗德里格斯 , 斯特凡·施温 :
揭露你的错误:这才公平! ACSD系统 2013 : 120-129 [公元31年] 塞萨尔·罗德里格斯 , 斯特凡·施温 , 维克托·科门科 :
上下文合并进程。 Petri网 2013 : 29-48 [公元30年] 塞萨尔·罗德里格斯 , 斯特凡·施温 :
Cunf:一种用读弧展开和验证Petri网的工具。 ATVA公司 2013 : 492-495 [公元29年] 塞萨尔·罗德里格斯 , 斯特凡·施温 :
一种改进的Petri网展开构造方法。 金融服务管理局 2013 : 47-52 [公元28年] 哈维尔·埃斯帕尔扎 , 洛伊格·杰泽克尔 , 斯特凡·施温 :
使用净展开计算汇总。 FSTTCS公司 2013 : 225-236 [公元27年] 斯特凡·哈尔 , 谢尔盖·哈达德 , 塔里克·梅利提 , 斯特凡·施温 :
主动诊断的最优结构。 FSTTCS公司 2013 : 527-539 [i4] 哈维尔·埃斯帕尔扎 , 洛伊格·杰泽奎尔 , 斯特凡·施温 :
使用净展开计算汇总。 CoRR公司 abs/1310.2143 ( 2013 ) 2012 [j8] 保罗·巴尔丹 , 亚历山德罗·布鲁尼 , 安德烈亚·科拉迪尼 , 芭芭拉·科尼格 , 塞萨尔·罗德里格斯 , 斯特凡·施温 :
上下文Petri网的有效展开。 西奥。 计算。 科学。 449 : 2-22 ( 2012 ) [公元26年] 塞萨尔·罗德里格斯 , 斯特凡·施温 :
用读弧验证Petri网。 CONCUR公司 2012 : 471-485 2011 [公元25年] 塞萨尔·罗德里格斯 , 斯特凡·施温 , 保罗·巴尔丹 :
高效的上下文展开。 CONCUR公司 2011 : 342-357 [公元24年] 斯特凡·施温 , 塞萨尔·罗德里格斯 :
上下文展开的构造和基于SAT的验证。 DCFS公司 2011 : 34-42 [c23] 斯特凡·哈尔 , 克里斯蒂安克恩 , 斯特凡·施温 :
计算事件网络中的显示关系。 甘道夫 2011 : 31-44 2010 [公元22年] 保罗·巴尔丹 , 亚历山德罗·布鲁尼 , 安德烈亚·科拉迪尼 , 芭芭拉·科尼格 , 斯特凡·施温 :
关于上下文网络和图文法中McMillan前缀的计算。 国际燃气轮机 2010 : 91-106
2000 – 2009
2009 【c21】 莫滕·库尼里奇 , 斯特凡·施温 , 吉尔·斯尔巴 , 斯特凡·基弗 :
具有无限下降链的权重域上的跨过程数据流分析。 FoSSaCS公司 2009 : 440-455 [公元20年] 安德烈亚斯·盖泽 , 斯特凡·施温 :
Büchi自动机上检查空的算法比较。 MEMICS公司 2009 [i3] 莫滕·库尼里奇 , 斯特凡·施温 , 吉尔·斯尔巴 , 斯特凡·基弗 :
具有无限下降链的权重域上的跨过程数据流分析。 CoRR公司 abs/0901.0501 ( 2009 ) [i2] 安德烈亚斯·盖泽 , 斯特凡·施温 :
Buechi自动机上检查空的算法比较。 CoRR公司 abs/0910.3766 ( 2009 ) 2008 [j7] 哈维尔·埃斯帕尔扎 , 斯特凡·基弗 , 斯特凡·施温 :
Craig插值和符号下推系统的抽象精化。 J.满意。 布尔模型。 计算。 5 ( 1-4 ) : 27-56 ( 2008 ) [j6] 哈维尔·埃斯帕尔扎 , Pradeep Kanade公司 , 斯特凡·施温 :
深度第一网展开的负面结果。 国际期刊软件。 工具技术。 Transf公司。 10 ( 2 ) : 161-166 ( 2008 ) [j5] 保罗·巴尔丹 , 安德烈亚·科拉迪尼 , 芭芭拉·科尼格 , 斯特凡·施温 :
麦克米兰的上下文网络完整前缀。 事务处理。 Petri网其他模型。 同意。 1 : 199-220 ( 2008 ) [第19条] 德jvuth Suwimonterabuth , 哈维尔·埃斯帕尔扎 , 斯特凡·施温 :
多线程Java程序的符号上下文分析。 自旋蛋白 2008 : 270-287 [第18条] 艾哈迈德·布阿贾尼 , 哈维尔·埃斯帕尔扎 , 斯特凡·施温 , 德jvuth Suwimonterabuth :
SDSIrep:基于SDSI的声誉系统。 TACAS公司 2008 : 501-516 2007 [第17条] 德jvuth Suwimonterabuth , 费利克斯·伯杰 , 斯特凡·施温 , 哈维尔·埃斯帕尔扎 :
jMoped:Java程序的测试环境。 腔静脉 2007 : 164-167 2006 [第16条] 德jvuth Suwimonterabuth , 斯特凡·施温 , 哈维尔·埃斯帕尔扎 :
交替下推系统的有效算法及其在证书链计算中的应用。 ATVA公司 2006 : 141-153 [第15条] 普拉萨德·纳尔德堡 , 斯特凡·施温 , 斯里拉姆·拉贾马尼 , 约翰·兰伯特 :
耐特拉 ::查看访问控制。 FMSE公司 2006 : 55-66 [第14条] 王浩(Hao Wang) , 萨默什·贾 , 托马斯·W·代表 , 斯特凡·施温 , 斯图亚特·G·斯塔布尔宾 :
降低SPKI/SDSI对PKI的依赖性。 ESORICS公司 2006 : 156-173 [第13条] 萨默什·贾 , 斯特凡·施温 , 王浩(Hao Wang) , 托马斯·W·代表 :
加权下推系统和信任管理系统。 TACAS公司 2006 : 1-26 [第12条] 哈维尔·埃斯帕尔扎 , 斯特凡·基弗 , 斯特凡·施温 :
Craig插值和符号下推系统的抽象精化。 TACAS公司 2006 : 489-503 [i1] 艾哈迈德·布阿贾尼 , 哈维尔·埃斯帕尔扎 , 斯特凡·施温 , 简·斯特雷切克 :
异步通信多线程软件可达性分析。 软件验证:无限状态模型检查和静态程序分析 2006 2005 【j4】 托马斯·W·代表 , 斯特凡·施温 , 萨默什·贾 , 大卫·梅尔斯基 :
加权下推系统及其在过程间数据流分析中的应用。 科学。 计算。 程序。 58 ( 1-2 ) : 206-263 ( 2005 ) [第11条] 艾哈迈德·布阿贾尼 , 哈维尔·埃斯帕尔扎 , 斯特凡·施温 , 简·斯特雷切克 :
异步通信多线程软件的可达性分析。 FSTTCS公司 2005 : 348-359 [c10] 哈维尔·埃斯帕尔扎 , 皮埃尔·甘蒂 , 斯特凡·施温 :
基于地域的抽象。 SAS公司 2005 : 118-134 【c9】 斯特凡·施温 , 哈维尔·埃斯帕尔扎 :
关于实时验证算法的注释。 TACAS公司 2005 : 174-190 【c8】 德jvuth Suwimonterabuth , 斯特凡·施温 , 哈维尔·埃斯帕尔扎 :
jMoped:基于Moped的Java字节码检查器。 TACAS公司 2005 : 541-545 2004 [j3] 马库斯·霍尔泽 , 斯特凡·施温 :
在ATOMIX中组装分子是困难的。 西奥。 计算。 科学。 313 ( 三 ) : 447-462 ( 2004 ) 2003 [注2] 哈维尔·埃斯帕尔扎 , 安东·库塞拉 , 斯特凡·施温 :
模型检查LTL,定期评估下推系统。 Inf.计算。 186 ( 2 ) : 355-376 ( 2003 ) 【c7】 克劳斯·施罗德 , 斯特凡·施温 , 哈维尔·埃斯帕尔扎 :
模型检查工具包。 ICATPN公司 2003 : 463-472 【c6】 斯特凡·施温 , 萨默什·贾 , 托马斯·W·代表 , 斯图亚特·G·斯塔布尔宾 :
关于广义授权问题。 CSFW公司 2003 : 202- 【c5】 托马斯·W·代表 , 斯特凡·施温 , 萨默什·贾 :
加权下推系统及其在跨过程数据流分析中的应用。 SAS公司 2003 : 189-213 2002 【b1】 斯特凡·施温 :
模型检查下推系统。 德国慕尼黑技术大学, 2002 ,第1-202页 2001 【c4】 哈维尔·埃斯帕尔扎 , 斯特凡·施温 :
一种用于递归程序的基于BDD的模型检查器。 腔静脉 2001 : 324-336 【c3】 斯特凡·施温 :
Streett自动机的确定与补充。 自动机、逻辑和无限游戏 2001 : 79-91 【c2】 哈维尔·埃斯帕尔扎 , 安东·库塞拉 , 斯特凡·施温 :
用于下推系统的具有常规估值的模型检查LTL。 节气门执行器控制系统 2001 : 316-339 2000 [j1] 哈维尔·埃斯帕尔扎 , 彼得·罗斯马尼斯 , 斯特凡·施温 :
上下文无关语法问题的统一框架。 牛市。 原子吸收光谱 72 : 169-177 ( 2000 ) 【c1】 哈维尔·埃斯帕尔扎 , 大卫·汉塞尔 , 彼得·罗斯马尼斯 , 斯特凡·施温 :
模型检验下推系统的有效算法。 腔静脉 2000 : 232-247