克拉拉·贝纳克·厄尔
人员信息
优化列表
2020年–今天
2024 [公元38年] 路易斯·爱德华多·布埃索·德·巴里奥 , 拉尔斯·奥克·弗雷德伦德 , 克拉拉·贝纳克·厄尔 , 安杰尔·赫兰兹 , 朱利奥·马里诺 :
并发灵丹妙药计划的受控调度。 埃尔朗 2024 : 67-75 2023 [j8] 拉尔斯·奥克·弗雷德伦德 , 克拉拉·贝纳克·厄尔 , 托马斯艺术 , 汉斯·斯文森 :
通过跟踪安全协议获得信任。 J.日志。 代数方法课程。 130 : 100829 ( 2023 ) [j7] 阿尔瓦罗·费尔南德斯·迪亚斯 , 拉尔斯·奥克·弗雷德伦德 , 克拉拉·贝纳克·厄尔 , 朱利奥·马里诺 :
Jason中代理分布和容错的形式化语义。 J.日志。 代数方法课程。 133 : 100874 ( 2023 ) [j6] 托马斯艺术 , 汉斯·斯文森 , 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 :
测试功能丰富的区块链。 柔和。 实际。 支出。 53 ( 5 ) : 1144-1173 ( 2023 ) [公元37年] 路易斯·爱德华多·布埃索·德·巴里奥 , 拉尔斯·奥克·弗雷德伦德 , 克拉拉·贝纳克·厄尔 , 安吉尔·赫兰兹 , 胡里奥·马里尼奥 :
测试模型的生成和优化。 Erlang研讨会 2023 : 14-23 2022 [公元36年] 伊格纳西奥·巴列斯特罗斯 , 克拉拉·贝纳克·厄尔 , 路易斯·爱德华多·布埃索·德·巴里奥 , 拉尔斯·奥克·弗雷德伦德 , 安杰尔·赫兰兹 , 朱利奥·马里诺 :
自动生成实体攻击者合同。 FMBC@CAV 2022 : 3:1-3:14 [公元35年] 塞尔吉奥·佩雷斯 , 路易斯·爱德华多·布埃索·德·巴里奥 , 伊格纳西奥·巴列斯特罗斯 , 安杰尔·赫兰兹 , 朱利奥·马里诺 , 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 :
Elixir的可执行合同。 Erlang研讨会 2022 : 40-46 2021 [公元34年] 路易斯·爱德华多·布埃索·德·巴里奥 , 拉尔斯·奥克·弗雷德伦德 , 安杰尔·赫兰兹 , 克拉拉·贝纳克·厄尔 , 朱利奥·马里诺 :
Makina:一个新的QuickCheck状态机库。 二郎工作室 2021 : 41-53
2010 – 2019
2019 [公元33年] 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 :
多代理系统的基于属性的测试框架。 美国原子能机构 2019 : 1823-1825 [公元32年] 拉尔斯·奥克·弗雷德伦德 , 克拉拉·贝纳克·厄尔 , 托马斯艺术 , 汉斯·斯文森 :
通过跟踪安全协议获得信任。 Erlang研讨会 2019 : 56-67 [公元31年] 弗吉尼亚格兰德 , 克拉拉·贝纳克·厄尔 , 克里斯蒂娜·曼雷萨·耶伊 , 埃琳娜·戈梅斯·马丁内斯 , 劳拉·卡斯特罗 , 帕特里夏·彭斯 , 劳尔·科罗宾 :
每个人都会动摇你的公平:组织一场具有多样性和包容性榜样的女性计算机活动的经验。 I3E研讨会 2019 : 5-16 2018 [公元30年] 阿尔瓦罗·费尔南德斯·迪亚斯 , 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 :
Jason Concurrency的陷阱。 EMAS@AAMAS 2018 : 19-33 2017 [j5] 芭芭拉·加利纳 , 埃琳娜·戈梅斯·马丁内斯 , 克拉拉·贝纳克·厄尔 :
通过MDSafeCer获取与流程相关的证据,在铁路行业推广MBA。 计算。 站立。 接口 54 : 119-128 ( 2017 ) 2016 [公元29年] 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 , 约翰·休斯 :
使用基于属性的测试对编程练习进行自动评分。 ITiCSE公司 2016 : 47-52 [公元28年] 芭芭拉·加利纳 , 埃琳娜·戈梅斯·马丁内斯 , 克拉拉·贝纳克·厄尔 :
衍生安全案例片段以评估MBASafe是否符合EN 50128。 香料 2016 : 3-16 2015 【j4】 阿尔瓦罗·费尔南德斯·迪亚斯 , 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 :
为Jason添加分布和容错功能。 科学。 计算。 程序。 98 : 205-232 ( 2015 ) [公元27年] 克拉拉·贝纳克·厄尔 , 安娜·玛丽亚·费尔南德斯·索里亚诺 , 拉尔斯·奥克·弗雷德伦德 , 埃琳娜·戈梅斯·马丁内斯 :
向硕士生教授软件安全。 欧微-东南亚 2015 : 306-308 [公元26年] 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 :
Java程序的功能测试。 全要素生产率 2015 : 40-59 2014 [公元25年] 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 , 安杰尔·赫兰兹·尼娃 , 朱利奥·马里诺 :
Jsongen:一个基于快速检查的库,用于测试JSON web服务。 二郎工作室 2014 : 33-41 [公元24年] 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 , 朱利奥·马里诺 , 托马斯艺术 :
教授学生基于属性的测试。 欧微-东南亚 2014 : 437-442 [c23] 拉尔斯·奥克·弗雷德伦德 , 克拉拉·贝纳克·厄尔 , 安吉尔·赫兰兹·涅瓦 , 朱利奥·马里尼奥·卡巴洛 :
基于JSON的Web服务的基于属性的测试。 ICWS公司 2014 : 704-707 [公元22年] 埃琳娜·戈梅斯·马丁内斯 , 里卡多·罗德里格斯 , Leire Etxeberria Elorza公司 , 米伦·伊拉拉门迪·雷扎巴尔 , 克拉拉·贝纳克·厄尔 :
基于模型的安全合同验证。 SEFM研讨会 2014 : 101-115 2012 【c21】 阿尔瓦罗·费尔南德斯·迪亚斯 , 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 :
为jason添加分布和容错功能。 阿盖尔@ 溅水 2012 : 95-106 [公元20年] 阿尔瓦罗·费尔南德斯·迪亚斯 , 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 :
Erlang作为BDI语言的实现平台。 Erlang研讨会 2012 : 1-10 [第19条] 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 :
使用McErlang验证定时Erlang程序。 FMOODS/FORTE公司 2012 : 251-267 [第18条] 阿尔瓦罗·费尔南德斯·迪亚斯 , 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 :
eJason:Jason在Erlang中的实现。 项目管理体系 2012 : 1-16 [第17条] 阿尔瓦罗·费尔南德斯·迪亚斯 , 克里斯特尔·拜尔 , 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 :
概率并发系统的静态部分降阶。 QEST公司 2012 : 104-113 2010 [第16条] 汉斯·斯文森 , 拉尔斯·奥克·弗雷德伦德 , 克拉拉·贝纳克·厄尔 :
未来Erlang的统一语义。 Erlang研讨会 2010 : 23-32 [第15条] 阿尔瓦罗·费尔南德斯·迪亚斯 , 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 :
在Erlang中实现多代理协商协议。 Erlang研讨会 2010 : 69-74 [第14条] Qiang Guo(强国) , 约翰·德里克 , 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 :
模型检查Erlang——EtomCRL2和McErlang的比较。 TAIC零件 2010 : 23-38 [第13条] 大卫·卡斯特罗 , 维克托·M·古利亚斯 , 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 , 塞缪尔·里瓦斯 :
使用McErlang验证Supervisor组件的案例研究。 PROLE公司 2010 : 23-40
2000 – 2009
2009 [第12条] 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 :
McErlang模型检查器的最新改进。 Erlang研讨会 2009 : 93-100 [第11条] 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 :
多代理系统的调试和验证。 欧洲广播公司 2009 : 263-270 [c10] 约翰·德里克 , 尼尔·沃尔金肖 , 托马斯艺术 , 克拉拉·贝纳克·厄尔 , 弗朗西斯科·塞萨里尼 , 拉尔斯·奥克·弗雷德伦德 , 维克托·M·古利亚斯 , 约翰·休斯 , 西蒙·汤普森 :
基于属性的测试-ProTest项目。 FMCO公司 2009 : 250-271 【c9】 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 :
使用McErlang进行严格的软件开发。 日本工业标准化局 2009 : 355-358 [电子1] 克拉拉·贝纳克·厄尔 , 西蒙·汤普森 :
第八届ACM SIGPLAN Erlang研讨会会议记录,英国苏格兰爱丁堡,2009年9月5日。 ACM公司 2009 ,国际标准图书编号 978-1-60558-507-9 [目录] 2008 [j3] 马里奥·戈麦斯 , 哈维尔·卡博 , 克拉拉·贝纳克·厄尔 :
ART试验台的认知信任和声誉模型。 智能工艺。 12 ( 39 ) : 29-40 ( 2008 ) 【c8】 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 , 何塞·安东尼奥·伊格莱西亚斯 , 阿加皮托·莱德斯马 :
验证Robocup团队。 MoChArt公司 2008 : 34-48 2007 [注2] 马里奥·戈麦斯 , 哈维尔·卡波 , 克拉拉·贝纳克·厄尔 :
诚实与信任:对他人认知模式保持中立的优势。 自动。 Agent多Agent系统。 15 ( 三 ) : 313-335 ( 2007 ) 2006 【c7】 拉尔斯·奥克·弗雷德伦德 , 克拉拉·贝纳克·厄尔 :
模型检查erlang程序:函数方法。 Erlang研讨会 2006 : 11-19 【c6】 马里奥·戈麦斯 , 哈维尔·卡波 , 克拉拉·贝纳克·厄尔 :
开放分布式系统的预期信任模型。 南非基础设施公司 2006 : 307-324 2005 【b1】 克拉拉·贝纳克·厄尔 :
模型检查Erlang组件的交互。 英国肯特大学, 2005 【c5】 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 , 约翰·德里克 :
验证容错Erlang程序。 Erlang研讨会 2005 : 26-34 【c4】 克拉拉·贝纳克·厄尔 , 拉尔斯·奥克·弗雷德伦德 :
基于语言的容错验证。 欧洲广播公司 2005 : 140-149 2004 [j1] 托马斯艺术 , 克拉拉·贝纳克·厄尔 , 约翰·德里克 :
开发用于资源锁定的验证Erlang程序。 国际期刊软件。 技术工具。 Transf公司。 5 ( 2-3 ) : 205-220 ( 2004 ) 【c3】 托马斯艺术 , 克拉拉·贝纳克·厄尔 , 胡安·何塞·桑切斯·佩纳斯 :
将Erlang转换为µCRL。 ACSD系统 2004 : 135-144 2002 【c2】 托马斯艺术 , 克拉拉·贝纳克·厄尔 , 约翰·德里克 :
验证Erlang代码:资源锁案例研究。 失效模式与后果 2002 : 184-203 2000 【c1】 克拉拉·贝纳克·厄尔 :
使用Erlang验证工具执行符号程序。 WFLP公司 2000 : 42-55