埃尔南·蓬斯·德莱昂
人员信息
附属: 华为德国德累斯顿研究中心 隶属关系(前): 德国慕尼黑联邦国防大学 隶属关系(前): fortiss股份有限公司 隶属关系(前): ENS Cachan,法国巴黎
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2023 [j8] 埃尔南·庞斯·德·莱昂 , 史蒂芬温特 :
Front Matter-ECOOP 2023文物,目录,前言,文物评估委员会。 Dagstuhl Artifacts爵士。 9 ( 2 ) : 00:-1-00:-12 ( 2023 ) [j7] 托马斯·哈斯 , 雷内·帕斯卡尔·马塞利 , 罗兰·梅耶 , 埃尔南·蓬斯·德莱昂 :
SMT编码记忆模型的静态分析。 程序。 ACM计划。 语言。 7 ( OOPSLA2公司 ) : 1618-1647 ( 2023 ) 2022 [j6] 托马斯·哈斯 , 罗兰·梅耶 , 埃尔南·蓬斯·德莱昂 :
CAAT:作为理论的一致性。 程序。 ACM计划。 语言。 6 ( OOPSLA2公司 ) : 114-144 ( 2022 ) [第17条] 埃尔南·蓬斯·德莱昂 , 约翰内斯·金德 :
猫与投机者:一种公理化方法,用于模拟投机性执行攻击。 服务提供商 2022 : 235-248 [第16条] 埃尔南·蓬斯·德莱昂 , 托马斯·哈斯 , 罗兰·梅耶 :
Dartagnan:基于SMT的违规见证验证(竞争贡献)。 TACAS(2) 2022 : 418-423 2021 [第15条] 埃尔南·蓬斯·德莱昂 , 托马斯·哈斯 , 罗兰·梅耶 :
Dartagnan:利用编译器优化和精度价格(竞争贡献)。 TACAS(2) 2021 : 428-432 [i6] 埃尔南·蓬斯·德莱昂 , 约翰内斯·金德 :
猫与投机者:一种公理化方法,用于模拟投机性执行攻击。 CoRR公司 abs/2108.13818 ( 2021 ) [i5] 安东尼奥·保利略 , 埃尔南·蓬斯·德莱昂 , 托马斯·哈斯 , 迪奥戈·贝伦斯 , 拉斐尔·卢伦斯科·德利马·切哈布(Rafael Lourenco de Lima Chehab) , 明复 , 罗兰·迈耶 :
验证和优化弱内存模型上的紧凑NUMA感知锁。 CoRR公司 腹肌/2111.15240 ( 2021 ) 2020 [第14条] 皮埃尔·布维尔 , 休伯特·加拉维 , 埃尔南·蓬斯·德莱昂 :
Petri网到自动机网络的自动分解-综合考虑。 Petri网 2020 : 3-23 [第13条] 埃尔南·蓬斯·德莱昂 , 弗洛里安·弗巴赫 , 凯霍·赫尔扬科 , 罗兰·梅耶 :
Dartagnan:弱记忆模型的有界模型检查(竞争贡献)。 TACAS(2) 2020 : 378-382
2010 – 2019
2019 [第12条] 纳塔莉亚·加夫里连科 , 埃尔南·蓬斯·德莱昂 , 弗洛里安·弗巴赫 , 凯乔·赫尔詹科 , 罗兰·梅耶 :
弱记忆模型的BMC:紧凑SMT编码的关系分析。 CAV(1) 2019 : 355-365 2018 [j5] 埃尔南·蓬斯·德莱昂 , 安德烈·莫霍夫 :
并发系统的紧凑且有效的可验证模型。 形式方法系统。 设计。 53 ( 三 ) : 407-431 ( 2018 ) 【j4】 埃尔南·蓬斯·德莱昂 , 卢西奥·纳德利 , 约塞普·卡莫纳 , 塞普·K·L·M·范登·布鲁克 :
将负面信息纳入复杂系统的过程发现。 信息科学。 422 : 480-496 ( 2018 ) [第11条] 埃尔南·蓬斯·德莱昂 , 弗洛里安·弗巴赫 , 凯霍·赫尔扬科 , 罗兰·梅耶 :
以内存模型作为模块的BMC。 FMCAD公司 2018 : 1-9 2017 [j3] 奥利·萨里基维 , 埃尔南·蓬斯·德莱昂 , 卡里·卡霍宁 , 凯霍·赫尔扬科 , 哈维尔·埃斯帕尔扎 :
通过展开多线程程序最小化测试套件。 ACM事务处理。 嵌入。 计算。 系统。 16 ( 2 ) : 45:1-45:24 ( 2017 ) [第10条] 埃尔南·蓬斯·德莱昂 , 弗洛里安·弗巴赫 , 凯霍·赫尔扬科 , 罗兰·梅耶 :
弱记忆模型的可移植性分析。 PORTHOS:适用于所有模型的一个工具。 SAS公司 2017 : 299-320 [i4] 埃尔南·庞斯·德·莱昂 , 弗洛里安·弗巴赫 , 凯霍·赫尔扬科 , 罗兰·梅耶 :
公理记忆模型的可移植性分析。 PORTHOS:适用于所有模型的一个工具。 CoRR公司 abs/1702.06704 ( 2017 ) 2016 [注2] 埃尔南·蓬斯·德莱昂 , 斯特凡·哈尔 , 德尔芬·朗格特 :
并发系统的基于模型的测试:基于展开的测试选择。 国际期刊软件。 技术工具。 Transf公司。 18 ( 三 ) : 305-318 ( 2016 ) 2015 【c9】 埃尔南·蓬斯·德莱昂 , 奥利·萨里基维 , 卡里·卡霍宁 , 凯霍·赫尔扬科 , 哈维尔·埃斯帕尔扎 :
用于测试多线程程序的基于展开的最小测试套件。 ACSD系统 2015 : 40-49 【c8】 埃尔南·庞斯·德·莱昂 , 塞萨尔·罗德里格斯 , 约瑟普·卡莫纳 , 凯霍·赫尔扬科 , 斯特凡·哈尔 :
基于展开的流程发现。 ATVA公司 2015 : 31-47 【c7】 埃尔南·蓬斯·德莱昂 , 塞萨尔·罗德里格斯 , 约塞普·卡莫纳 :
POD-使用部分顺序和独立信息进行进程发现的工具。 BPM(演示) 2015 : 100-104 【c6】 埃尔南·蓬斯·德莱昂 , 约塞普·卡莫纳 , 塞普·K·L·M·范登·布鲁克 :
在流程发现中纳入负面信息。 业务流程管理 2015 : 126-143 【c5】 埃尔南·庞斯·德·莱昂 , 安德烈·莫霍夫 :
在部分订单集之间建立桥梁。 拉丁美洲旅游协会 2015 : 145-160 【c4】 康斯坦蒂诺斯·阿萨纳西奥 , 埃尔南·蓬斯·德莱昂 , 斯特凡·施温 :
使用事件结构为并发系统生成测试用例。 STAF处的TAP 2015 : 19-37 [i3] 埃尔南·蓬斯·德莱昂 , 冈萨洛·博尼戈 , 劳拉·布兰登·布里昂斯 :
并发系统可诊断性的分布式分析。 CoRR公司 abs/1502.07466 ( 2015 ) [i2] 劳拉·布兰登·布里昂斯 , 阿格尼斯·马达林斯基 , 埃尔南·蓬斯·德莱昂 :
基于Petri网的分布式可诊断性分析。 CoRR公司 abs/1502.07744 ( 2015 ) [i1] 埃尔南·蓬斯·德莱昂 , 塞萨尔·罗德里格斯 , 约塞普·卡莫纳 , 凯霍·赫尔扬科 , 斯特凡·哈尔 :
基于展开的流程发现。 CoRR公司 腹肌/1507.02744 ( 2015 ) 2014 【b1】 埃尔南·庞斯·德·莱昂 :
通过事件结构测试并发系统。 (测试系统的并发性)。 法国卡尚正常供应, 2014 [j1] 埃尔南·蓬斯·德莱昂 , 斯特凡·哈尔 , 德尔芬·朗格特 :
具有标记事件结构的并发系统的基于模型的测试。 柔和。 测试。 验证可靠性。 24 ( 7 ) : 558-590 ( 2014 ) 【c3】 埃尔南·蓬斯·德莱昂 , 斯特凡·哈尔 , 德尔芬·朗格特 :
并发系统的分布式测试:拯救向量时钟。 ICTAC公司 2014 : 369-387 2013 【c2】 埃尔南·蓬斯·德莱昂 , 斯特凡·哈尔 , 德尔芬·朗格特 :
并行一致性的基于展开的测试选择。 图片集 2013 : 98-113 2012 【c1】 埃尔南·蓬斯·德莱昂 , 斯特凡·哈尔 , 德尔芬·朗格特 :
标记事件结构的一致性关系。 攻丝@工具 2012 : 83-98
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)