埃里克·默瑟
人员信息
附属: 美国犹他州普罗沃市杨百翰大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元22年] 杰森·贝尔特 , 约翰·哈特克利夫 , 罗比 , 约翰·沙克尔顿 , 吉姆·卡西奥菲尼 , 托德·卡彭特 , 埃里克·默瑟 , 艾萨克·阿蒙森 , 朱奈德·巴巴尔 , 达伦·D·科弗 , 大卫·S·哈丁 , 卡尔·霍奇 , 康拉德·斯林德 , 伊霍尔·库兹 , 肯特·麦克劳德 :
使用HAMR框架进行seL4微内核的模型驱动开发。 J.系统。 阿基特。 134 : 102789 ( 2023 ) [公元21年] 埃里克·默瑟 , 康拉德·斯林德 , 艾萨克·阿蒙森 , 达伦·D·科弗 , 朱奈德·巴巴尔 , 大卫·S·哈丁 :
为网络保证系统工程(engineering)合成经验证的组件。 柔和。 系统。 模型。 22 ( 5 ) : 1451-1471 ( 2023 ) [公元20年] 于晃(音) , 王涛 , 滋慧饮 , 埃里克·默瑟 , 本杰明·奥格尔斯 :
通过跟踪压缩提高MPI程序死锁检测的效率。 IEEE传输。 并行分布式系统。 34 ( 1 ) : 400-415 ( 2023 ) [公元54年] Aadesh Neupane公司 , 迈克尔·古德里奇 , 埃里克·默瑟 :
通过从面向目标的LTLf公式获得的行为树生成计划。 AAMAS研讨会 2023 : 97-122 [公元53年] 亚历克桑德·费德钦 , 泰勒·迪恩 , 杰弗里·福斯特 , 埃里克·默瑟 , 兹沃尼米尔·拉卡马利奇 , 贾尔斯·雷格尔 , 内哈·隆塔 , 罗宾·萨克尔德 , 卢卡斯·瓦格纳 , 卡西迪·沃尔德利 :
Dafny的自动化测试工具包。 非金融市场 2023 : 397-413 2022 [公元19年] 达伦·D·科弗 , 艾萨克·阿蒙森 , 朱奈德·巴巴尔 , 大卫·S·哈丁 , 康拉德·斯林德 , 佩里·亚历山大 , 约翰·哈特克利夫 , 罗比 , 格温·克莱因 , 科里·刘易斯 , 埃里克·默瑟 , 约翰·沙克尔顿 :
大规模网络保证系统工程。 IEEE安全。 私人。 20 ( 三 ) : 52-64 ( 2022 ) [第52条] 刘聪(音) , 朱奈德·巴巴尔 , 艾萨克·阿蒙森 , 卡尔·霍奇 , 达伦·D·科弗 , 埃里克·默瑟 :
假设使用计划组件进行保证推理。 非金融市场 2022 : 355-372 [c51] 帕克·汉森 , 本杰明·温特斯 , 埃里克·默瑟 , 布莱特戴克 :
使用软件分析工作台从OpenSSL验证SHA-3实现。 自旋蛋白 2022 : 97-113 [公元50年] 埃里克·默瑟 , 基思·A·巴特勒 , 阿里·巴赫拉米 :
人类认知和机器推理的模型检验功能集成。 SysCon公司 2022 : 1-8 2021 [公元49年] 埃里克·默瑟 , 康拉德·斯林德 , 艾萨克·阿蒙森 , 达伦·D·科弗 , 朱奈德·巴巴尔 , 大卫·S·哈丁 :
为网络保证系统工程(Engineering)合成经验证的组件。 模型 2021 : 205-215 [公元48年] 布莱特戴克 , 本杰明·温特斯 , 埃里克·默瑟 :
使用软件分析工作台在OpenSSL中验证SHA256。 非金融市场 2021 : 72-78 2020 [公元18年] 于晃(音) , 启公 , 埃里克·默瑟 :
消息传递中匹配对近似的有效算法。 并行计算。 91 ( 2020 ) [公元17年] 西里尔·阿瑟 , Quoc-Sang Phan公司 , 彼得·奥尔德斯 , 阿利亚斯·阿尔马维 , 卢卡斯·邦 , 拉塞·贝格隆德 , 特夫菲克·布尔坦 , 陈振邦 , 海耶斯·匡威 , 魏东 , 威廉·艾尔斯 , 米洛斯·格里戈里奇 , 西蒙·戈德史密斯 , 拉尔斯·格伦斯克 , 约书亚·胡克 , Ismet Burak Kadron公司 , 蒂莫·凯勒 , 萨尔夫拉兹·库希德 , 宣白丁乐 , 大卫·罗 , 埃里克·默瑟 , 萨萨·米塞洛维奇 , 埃戈尔·纳马可诺夫 , 黄林阮 , 亚尼克·诺勒 , 本杰明·奥格尔斯 , 罗汉·帕迪 , 帕维尔·帕里泽克 , 科琳娜·帕萨雷努 , 谢里丹·雅各布·鲍威尔 , 西曼塔·萨哈 , 库什克森 , 埃琳娜·谢尔曼 , 凯尔·斯托里 , 闵行堂 , 威廉·维瑟 , Ji Wang(音译) , 余恒彪 :
2019年Java探路者研讨会。 ACM SIGSOFT软件。 工程注释 45 ( 2 ) : 20-22 ( 2020 ) [公元47年] 于晃(音) , 本杰明·奥格尔斯 , 埃里克·默瑟 :
MPI程序死锁检测的预测分析。 酶 2020 : 18-28 [i1] Mohcine Madkour公司 , 基思·A·巴特勒 , 埃里克·默瑟 , 阿里·巴赫拉米 , 崔涛 :
概念工作产品的基于语义的模型,用于复杂交互系统的形式验证。 CoRR公司 abs/2008.01623 ( 2020 )
2010 – 2019
2019 [公元16年] 拉德哈·纳卡德 , 埃里克·默瑟 , 彼得·奥尔德斯 , 凯尔·斯托里 , 本杰明·奥格尔斯 , 约书亚·胡克 , 谢里丹·雅各布·鲍威尔 , 杰-麦卡锡 :
数据空间的模型检查任务并行程序。 因诺夫。 系统。 柔和。 工程师。 15 ( 3-4 ) : 289-306 ( 2019 ) [公元15年] 凯尔·斯托里 , 埃里克·默瑟 , 帕维尔·帕里泽克 :
Java Pathfinder的声音动态部分顺序缩减引擎。 ACM SIGSOFT软件。 工程注释 44 ( 4 ) : 15 ( 2019 ) [公元14年] 埃戈尔·纳马可诺夫 , 埃里克·默瑟 , 帕维尔·帕里泽克 , 凯尔·斯托里 :
Habanero程序的符号数据竞争检测。 ACM SIGSOFT软件。 工程注释 44 ( 4 ) : 18 ( 2019 ) [j13] 约书亚·胡克 , 彼得·奥尔德斯 , 埃里克·默瑟 , 本杰明·奥格尔斯 , 凯尔·斯托里 , 谢里丹·雅各布·鲍威尔 :
JPF-HJ:一种用于任务并行程序分析的工具。 ACM SIGSOFT软件。 工程注释 44 ( 4 ) : 19 ( 2019 ) [公元46年] 本杰明·奥格尔斯 , 彼得·奥尔德斯 , 埃里克·默瑟 :
用弱偏序证明任务并行程序中的数据竞争自由度。 FMCAD公司 2019 : 55-63 2018 [公元12年] 约瑟夫·琼斯 , 詹姆斯·沃森 , 肖恩布朗 , 赛斯·鲍尔森 , 彼得·奥尔德斯 , 埃里克·默瑟 :
通过抽象解释实现C语言的记忆安全。 ACM SIGSOFT软件。 工程注释 43 ( 4 ) : 56 ( 2018 ) [公元45年] Aadesh Neupane公司 , 迈克尔·A·古德里奇 , 埃里克·默瑟 :
GEESE:用于群体行为进化的语法进化算法。 美国原子能机构 2018 : 2025-2027 [公元44年] Aadesh Neupane公司 , 迈克尔·古德里奇 , 埃里克·默瑟 :
GEESE:用于群体行为进化的语法进化算法。 GECCO公司 2018 : 999-1006 [公元43年] 凯尔·斯托里 , 谢里登·雅各布·鲍威尔 , 本杰明·奥格尔斯 , 约书亚·胡克 , 彼得·奥尔德斯 , 埃里克·默瑟 :
结构化并行程序中的优化声音和完整数据竞争检测。 LCPC公司 2018 : 94-111 [公元42年] Radha Nakade公司 , 埃里克·默瑟 , 彼得·奥尔德斯 , 杰-麦卡锡 :
数据空间的模型检查任务并行程序。 非金融市场 2018 : 367-382 2016 [公元11年] 埃里克·默瑟 , 内哈·隆塔 , 道格拉斯·J·吉兰 :
客座编辑专刊《人机界面系统方法:提高弹性、鲁棒性和稳定性》。 IEEE传输。 嗯,马赫。 系统。 46 ( 2 ) : 169-173 ( 2016 ) [公元41年] 内哈·隆塔 , 埃里克·默瑟 , 弗兰科·雷蒙迪 , 比约恩·克兰茨 , 理查德·斯托克 , 安德鲁·华莱士 :
对复杂的空中交通管理系统进行建模。 MiSE@ICSE 2016 : 41-47 [公元40年] 本杰明·希勒里 , 埃里克·默瑟 , 内哈·隆塔 , 苏泽特人 :
符号执行的精确堆摘要。 VMCAI公司 2016 : 206-225 2015 [公元10年] 彼得·安德森 , 尼克·弗维洛 , 埃里克·默瑟 , 维维克·萨卡尔 :
使用渐变类型权限区域对Habanero Java程序进行JPF验证。 ACM SIGSOFT软件。 工程注释 40 ( 1 ) : 1-5 ( 2015 ) [公元9年] 拉德哈·纳卡德 , 埃里克·默瑟 :
使用计算图验证Habanero Java程序。 ACM SIGSOFT软件。 工程注释 40 ( 6 ) : 1-4 ( 2015 ) [公元39年] 基思·A·巴特勒 , 埃里克·默瑟 , 阿里·巴赫拉米 , 崔涛 :
交互式健康IT系统验证的模型检查。 AMIA公司 2015 [公元38年] 理查德·斯托克 , 内哈·隆塔 , 埃里克·默瑟 , 弗兰科·雷蒙迪 , 乔恩·霍尔布鲁克 , 科伦·卡多萨 , 迈克尔·古德里奇 :
一种量化代理系统中工作负载的方法。 美国原子能机构 2015 : 1041-1050 [公元37年] 埃里克·G·默瑟 , 彼得·安德森 , 尼克·弗维洛 , 维维克·萨卡尔 :
使用渐进权限的模型检查任务并行程序(N)。 酶 2015 : 535-540 [公元36年] 于晃(音) , 埃里克·默瑟 :
通过SMT编码检测MPI零缓冲区不兼容。 非金融市场 2015 : 219-233 2014 [j8] 曼尼什·贾恩 , 阿尔伯特·新疆 , Kido先生 , 凯基·塔卡达玛 , 埃里克·默瑟 , 内哈·隆塔 , 马克·沃瑟 , 艾伦·瓦格纳 , 詹妮弗·伯克 , 唐纳德·索菲 , 威廉·F·劳利斯 , 莫汉·斯里德哈兰 , 尼克·霍斯 , 蒂姆·黄 :
2014年AAAI春季研讨会系列报告。 人工智能杂志。 35 ( 三 ) : 70-76 ( 2014 ) [j7] 彼得·安德森 , 布兰登·蔡斯 , 埃里克·默瑟 :
JPF验证habanero Java程序。 ACM SIGSOFT软件。 工程注释 39 ( 1 ) : 1-7 ( 2014 ) [j6] 本杰明·希勒里 , 埃里克·默瑟 , 内哈·隆塔 , 苏泽特人 :
走向一个懒惰的象征性探路者。 ACM SIGSOFT软件。 工程注释 39 ( 1 ) : 1-5 ( 2014 ) [j5] 埃里克·努南 , 埃里克·默瑟 , 内哈·隆塔 :
JPF中基于向量块的部分降阶。 ACM SIGSOFT软件。 工程注释 39 ( 1 ) : 1-5 ( 2014 ) [公元35年] 埃里克·默瑟 :
委员会。 AAAI春季研讨会 2014 [公元34年] 埃里克·G·默瑟 , 迈克尔·古德里奇 , 内哈·隆塔 , 艾伦·J·巴斯 :
前言。 AAAI春季研讨会 2014 [公元33年] J.J.摩尔 , R.艾维 , T.J.格莱德希尔 , 埃里克·默瑟 , 迈克尔·古德里奇 :
无人机系统中的人体工作负荷建模。 AAAI春季研讨会 2014 2013 [公元32年] 于晃(音) , 埃里克·默瑟 , 杰-麦卡锡 :
使用SMT证明MCAPI执行是正确的。 酶 2013 : 26-36 [公元31年] T.J.格莱德希尔 , 埃里克·默瑟 , 迈克尔·A·古德里奇 :
为角色融合和人机界面优化建模UAS。 SMC公司 2013 : 1929-1937 2012 【j4】 埃里克·默瑟 , 苏泽特人 , 内哈·隆塔 :
使用Java PathFinder扩展计算和可视化更改的影响。 ACM SIGSOFT软件。 工程注释 37 ( 6 ) : 1-5 ( 2012 ) [公元30年] 迈克尔·古德里奇 , 埃里克·默瑟 :
抽象与持久:人类监督下集体生物激励团队的宏观保障。 Infotech@航空航天 2012 [公元29年] Jun Shirako先生 , 尼克·弗维洛 , 埃里克·默瑟 , 维韦克·萨卡 :
一种新的读写锁算法的设计、验证和应用。 西班牙 2012 : 48-57 [公元28年] 埃弗雷特·莫尔斯 , 尼克·弗维洛 , 埃里克·默瑟 , 杰-麦卡锡 :
C程序的异步消息传递建模。 VMCAI公司 2012 : 332-347 2011 [公元27年] 圣维松加 , 埃里克·默瑟 , 内哈·隆塔 :
引导测试可视化:理解并发程序中的错误。 酶 2011 : 624-627 [公元26年] 托弗·费舍尔 , 埃里克·默瑟 , 内哈·隆塔 :
对并发MCAPI执行进行符号建模。 PPoPP(PPoPP) 2011 : 307-308 2010 [公元25年] 内哈·隆塔 , 埃里克·默瑟 :
并行程序中的切片和分割错误。 ICSE(2) 2010 : 195-198
2000 – 2009
2009 [公元24年] Subodh Sharma公司 , 加内什·戈帕拉克里什南 , 埃里克·默瑟 , 吉姆·霍尔特 :
MCC:MCAPI用户应用程序的运行时验证工具。 FMCAD公司 2009 : 41-44 【c23】 Subodh Sharma公司 , 加内什·戈帕拉克里什南 , 埃里克·默瑟 :
MCAPI中多核通信应用程序的动态验证。 HLDVT公司 2009 : 100-105 [公元22年] 内哈·隆塔 , 埃里克·默瑟 :
泰坦冲突:在并发程序中寻找bug的工具和技术。 帕达德 2009 【c21】 内哈·隆塔 , 埃里克·默瑟 :
多态性程序的引导模型检查。 政治公众人物 2009 : 21-30 [公元20年] 内哈·隆塔 , 埃里克·默瑟 , 威廉·维瑟 :
使用抽象引导的符号执行对并发程序进行有效测试。 自旋蛋白 2009 : 174-191 [电子1] 加内什·戈帕拉克里什南 , 埃坦·法基 , 埃里克·默瑟 :
2009年7月19日至20日,美国伊利诺伊州芝加哥,PADTAD 2009,第七届并行和分布式系统研讨会论文集:测试、分析和调试。 ACM公司 2009 ,国际标准图书编号 978-1-60558-655-7 [目录] 2008 [j3] 拉胡尔·库马尔 , 埃里克·默瑟 :
改进实时序列图以自动转换以进行验证。 电子。 Commun公司。 欧洲协会软件。 科学。 Technol公司。 10 ( 2008 ) [第19条] 内哈·隆塔 , 埃里克·默瑟 :
有效检测并发错误的元启发式方法。 海法核查会议 2008 : 23-37 [第18条] 丹尼尔·沃克 , 埃里克·默瑟 , 肯特·塞蒙斯 :
或最佳方案:隐私政策协商协议。 政策 2008 : 173-180 [第17条] 拉胡尔·库马尔 , 埃里克·默瑟 :
使用实时序列图规范验证通信协议。 AVoCS公司 2008 : 33-48 2007 [第16条] 内哈·隆塔 , Hyrum Carroll公司 , 埃里克·默瑟 , 兰德尔·J·罗珀 , 马克·克莱门特 , 奎恩·斯奈尔 :
用标记转移图分析唐氏综合征的基因关系。 FMCAD公司 2007 : 216-219 [第15条] 内哈·隆塔 , 埃里克·默瑟 :
显式状态软件模型检查基准的硬度。 SEFM公司 2007 : 247-256 [第14条] 内哈·隆塔 , 埃里克·默瑟 :
通过随机引导搜索生成反例。 自旋蛋白 2007 : 39-57 [第13条] 乔尔·塞尔夫 , 埃里克·默瑟 :
现场动态死变量分析。 自旋蛋白 2007 : 113-130 [第12条] 拉胡尔·库马尔 , 埃里克·默瑟 , 安妮特·邦克 :
改进实时序列图到时间逻辑的翻译。 AVoCS公司 2007 : 137-152 2006 [第11条] 内哈·隆塔 , 埃里克·默瑟 :
用于有向软件模型检查的改进距离启发函数。 FMCAD公司 2006 : 60-67 2005 [第10条] 内哈·隆塔 , 埃里克·默瑟 :
用于引导搜索模型检查的上下文敏感结构启发式。 酶 2005 : 410-413 【c9】 埃里克·默瑟 , 迈克尔·琼斯 :
使用GNU调试器检查机器代码。 自旋蛋白 2005 : 251-265 2004 【c8】 迈克尔·琼斯 , 埃里克·默瑟 :
使用料斗进行显式状态模型检查。 自旋蛋白 2004 : 146-150 【c7】 拉胡尔·库马尔 , 埃里克·G·默瑟 :
负载平衡并行显式状态模型检查。 PDMC公司 2004 : 19-34 2003 [注2] 郝政 , 埃里克·默瑟 , 克里斯·迈尔斯 :
使用自动抽象对定时电路进行模块化验证。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 22 ( 9 ) : 1138-1153 ( 2003 ) 【c6】 迈克尔·琼斯 , 埃里克·默瑟 , 通拉嘎包 , 拉胡尔·库马尔 , 彼得·兰博恩 :
对显式状态并行模型检查器进行基准测试。 PDMC@CAV 2003 : 84-98 2002 [j1] Tomohiro Yoneda公司 , 埃里克·默瑟 , 克里斯·迈尔斯 :
用部分降阶法进行定时电路的模块化综合。 IEICE传输。 芬丹。 电子。 Commun公司。 计算。 科学。 85-A型 ( 12 ) : 2684-2692 ( 2002 ) 【c5】 北井俊彦 , Yusuke Oguro先生 , Tomohiro Yoneda公司 , 埃里克·默瑟 , 克里斯·迈尔斯 :
面向层次的异步电路验证形式化模型及其有效分析方法。 PRDC公司 2002 : 210-220 【c4】 埃里克·默瑟 , 克里斯·迈尔斯 , Tomohiro Yoneda公司 :
使用部分降阶的定时电路的模块化综合。 时间系统理论与实践 2002 : 180-201 2001 【c3】 Kip C.Killpack公司 , 埃里克·默瑟 , 克里斯·迈尔斯 :
能量和区域关键同步系统的标准单元自定时乘法器。 ARVLSI公司 2001 : 188-201 【c2】 郝政 , 埃里克·默瑟 , 克里斯·迈尔斯 :
用于验证定时电路和系统的自动抽象。 CAV汽车 2001 : 182-193 2000 【c1】 埃里克·默瑟 , 克里斯·迈尔斯 :
定时电路中的随机周期分析。 国际会计准则委员会 2000 : 172-175
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)