佩里·亚历山大
人员信息
其他同名人员
优化列表
2020年-今天
2023 [公元17年] 亚当·佩茨 , 佩里·亚历山大 :
正式验证捆绑和评估分层证明的证据。 因诺夫。 系统。 柔和。 工程师。 19 ( 4 ) : 411-426 ( 2023 ) [公元49年] 安娜·弗里茨 , 佩里·亚历山大 :
基于政策的谈判框架。 非金融市场 2023 : 207年至223年 2022 [公元16年] 达伦·D·科弗 , 艾萨克·阿蒙森 , 朱奈德·巴巴尔 , 大卫·S·哈丁 , 康拉德·斯林德 , 佩里·亚历山大 , 约翰·哈特克利夫 , 罗比 , 格温·克莱因 , 科里·刘易斯 , 埃里克·默瑟 , 约翰·沙克尔顿 :
大规模网络安全系统工程。 IEEE安全。 私人。 20 ( 三 ) : 52-64 ( 2022 ) 2021 [公元15年] 萨拉·赫尔布尔 , 伊恩·克雷茨 , 彼得·洛斯科科 , 约翰·拉姆斯代尔 , 保罗·D·罗 , 佩里·亚历山大 :
远程认证的灵活机制。 ACM事务处理。 私人安全。 24 ( 4 ) : 29:1-29:23 ( 2021 ) [公元48年] 亚当·佩茨 , 格兰特·尤根森 , 佩里·亚历山大 :
基于copland的认证协议的设计和形式验证。 记忆码 2021 : 111-117 [公元47年] 亚当·佩茨 , 佩里·亚历山大 :
可信执行远程认证协议的基础设施。 天然气管理 2021 : 268-286 2020 [公元46年] 格兰特·尤根森 , 迈克尔·奈斯 , 佩里·亚历山大 :
基于seL4的分层认证体系结构。 热门SoS 2020 : 18:1-18:2 [电子2] 佩里·亚历山大 , 德鲁·戴维森 , 白英才 :
2020年9月22日至24日,美国堪萨斯州劳伦斯市,第七届安全科学热点年度研讨会论文集,HotSoS 2020。 ACM公司 2020 ,国际标准图书编号 978-1-4503-7561-0 [目录] [i1] 亚当·佩茨 , 佩里·亚历山大 :
可信执行远程认证协议的基础设施。 CoRR公司 abs/2012.10511 ( 2020 )
2010 – 2019
2019 [公元45年] 亚当·佩茨 , 佩里·亚历山大 :
林地认证经理。 热门SoS 2019 : 6:1-6:10 [公元44年] 约翰·拉姆斯代尔 , 保罗·D·罗 , 佩里·亚历山大 , 莎拉·赫布尔 , 彼得·洛斯科科 , J.阿伦·彭德格拉斯 , 亚当·佩茨 :
编排分层证明。 邮政 2019 : 197-221 2017 [公元43年] 海利·博克 , 保罗·克莱恩 , 黑兹尔·沙克尔顿 , 约翰·戈德 , 史蒂文·约翰斯顿 , 佩里·亚历山大 , 托德·卡彭特 :
100年的软件——使网络物理系统适应不断变化的世界。 宁静的 2017 : 133-148 2015 [公元14年] 佩里·亚历山大 , 李派克 , 彼得·洛斯科科 , 乔治·科克 :
模型检查分布式强制访问控制策略。 ACM事务处理。 信息系统。 安全。 18 ( 2 ) : 6:1-6:25 ( 2015 ) 2013 [公元42年] 埃文·奥斯汀 , 佩里·亚历山大 :
具有量化类型的无状态高阶逻辑。 ITP公司 2013 : 469-476 [公元41年] 布里吉德·哈林 , 佩里·亚历山大 :
验证隐私CA远程认证协议。 NASA形式方法 2013 : 398-412 2012 [j13] 洛林·J·哈里科姆 , L.阿达·埃米特 , 佩里·亚历山大 :
开放存取:一种不断发展的选择。 电脑类 45 ( 8 ) : 70至72 ( 2012 ) [公元40年] 尼古拉斯·弗里斯比 , 安迪·吉尔 , 佩里·亚历山大 :
几乎同态函数的模式。 ICFP的WGP 2012 : 1-12 2011 [公元39年] 尼古拉斯·弗里斯比 , M.佩克 , 马克·斯奈德 , 佩里·亚历山大 :
Rosetta中的模型组成。 欧洲商业银行 2011 : 140-148 [电子1] 佩里·亚历山大 , 科琳娜·帕萨雷努 , 约翰·霍斯金 :
第26届IEEE/ACM自动化软件工程国际会议(ASE 2011),美国堪萨斯州劳伦斯,2011年11月6日至10日。 IEEE计算机学会 2011 ,国际标准图书编号 978-1-4577-1638-6 [目录] 2010 [公元12年] 尼古拉斯·弗里斯比 , 加林·金梅尔 , 菲利普·韦弗 , 佩里·亚历山大 :
用代数组合子构造语言处理器。 科学。 计算。 程序。 75 ( 7 ) : 543-572 ( 2010 ) [公元38年] 马克·斯奈德 , 佩里·亚历山大 :
Monad工厂:类型索引的Monad。 函数式编程趋势 2010 : 198-213
2000 – 2009
2009 [公元11年] 佩里·亚历山大 :
罗塞塔:系统级的标准化。 电脑类 42 ( 1 ) : 108-110 ( 2009 ) [公元37年] 马克·斯奈德 , 尼古拉斯·弗里斯比 , 加林·金梅尔 , 佩里·亚历山大 :
用InterpreterLib编写可编写软件。 SC@工具 2009 : 160-176 2008 [公元36年] 加林·金梅尔 , 埃德·坎普 , 加里·明登 , 约瑟夫·埃文斯 , 佩里·亚历山大 :
合成Rosetta的软件定义无线电组件(受邀)。 FDL公司 2008 : 148-153 2007 [公元35年] 菲利普·韦弗 , 加林·金梅尔 , 尼古拉斯·弗里斯比 , 佩里·亚历山大 :
用代数组合子构造语言处理器。 GPCE公司 2007 : 155-164 [公元34年] 菲利普·韦弗 , 加林·金梅尔 , 尼古拉斯·弗里斯比 , 佩里·亚历山大 :
使用interpreterlib进行模块化和通用编程。 ASE公司 2007 : 473-476 [公元33年] 佩里·亚历山大 :
Rosetta:系统级设计的语言支持。 ASE公司 2007 : 577 2005 [公元10年] 佩里·亚历山大 :
将形式主义融入本科软件工程。 J.系统。 柔和。 74 ( 2 ) : 147-154 ( 2005 ) [公元32年] 加林·金梅尔 , 埃德·坎普 , 佩里·亚历山大 :
通过组合代数构建编译器。 欧洲商业银行 2005 : 331至338 [公元31年] 贾斯汀·沃德 , 加林·金梅尔 , 佩里·亚历山大 :
普鲁弗洛克:构建多型定理证明程序的框架。 ASE公司 2005 : 423-426 2004 [公元9年] 布兰登·莫雷尔 , 佩里·亚历山大 :
SPARTACAS自动化组件重用和调整。 IEEE传输。 软件工程。 30 ( 9 ) : 587-600 ( 2004 ) [公元30年] 卡尔佩什·津朱瓦迪亚 , 佩里·亚历山大 :
使用Rosetta规范进行DVTG和测试管理。 欧洲商业银行 2004 : 136-143 2003 [j8] 佩里·亚历山大 , 皮埃尔·弗莱纳 :
客座编辑:ASE 2000特刊。 自动。 柔和。 工程师。 10 ( 2 ) : 119-120 ( 2003 ) [j7] 辛迪·孔 , 佩里·亚历山大 , 凯瑟琳·梅农 :
为Rosetta规范语言定义形式化的联合语义。 J.大学。 计算。 科学。 9 ( 11 ) : 1322-1349年 ( 2003 ) [公元29年] 布兰登·莫雷尔 , 佩里·亚历山大 :
并行组件自适应的切片方法。 欧洲商业银行 2003 : 108-114 [公元28年] 辛迪·孔 , 佩里·亚历山大 :
罗塞塔元模型框架。 欧洲商业银行 2003 : 133-140 [公元27年] 布兰登·莫雷尔 , 佩里·亚历山大 :
自动调整组件以供重用。 ASE公司 2003 : 142-151 2002 [j6] 彼得·弗雷 , 拉德哈拉马南·拉德哈克里希南 , 哈罗德·卡特 , 菲利普·威尔西 , 佩里·亚历山大 :
基于时间扭曲的并行仿真的形式化规范和验证框架。 IEEE传输。 软件工程。 28 ( 1 ) : 58-78 ( 2002 ) [公元26年] 穆拉利·兰加拉扬 , Kshama Jambhekar公司 , Amitvikram Rajkhowa公司 , 佩里·亚历山大 :
VSPEC及其集成工具套件。 欧洲商业银行 2002 : 27-34 [公元25年] 辛迪·孔 , 佩里·亚历山大 :
多面需求建模。 重新 2002 : 112-122年 2001 [j5] 佩里·亚历山大 , 辛迪·孔 :
罗塞塔:以模型为中心的系统级设计的语义支持。 电脑类 34 ( 11 ) : 64-70 ( 2001 ) [公元24年] 佩里·亚历山大 , 辛迪·孔 , 大卫·肖恩伯格 :
设计方面交互的实用语义。 欧洲商业银行 2001 : 229- 【c23】 佩里·亚历山大 , 辛迪·孔 :
嵌入式系统设计的异构建模支持。 EMSOFT公司 2001 : 1-13 2000 [公元22年] 穆拉利·兰加拉扬 , 伊克巴尔·穆塔巴纳 , 达里尔·迪克曼 , 巴达尔·法鲁奇 , Amitvikram Rajkhowa公司 , 沙朱·杜米特 , 阿伦·文卡塔拉曼 , 辛迪·孔 , 罗珊·卡马特 , 佩里·亚历山大 , Nael B.Abu-Ghazaleh公司 :
轨道设计。 欧洲商业银行 2000 : 110- 【c21】 佩里·亚历山大 , 罗珊·卡马特 , 大卫巴顿 :
Rosetta中的系统规范。 欧洲商业银行 2000 : 299-307 [公元20年] 辛迪·孔 , 佩里·亚历山大 , 达里尔·迪克曼 :
使用PVS对主动网络节点进行形式化建模。 FMSP(飞行管理计划) 2000 : 49-59 [第19条] 阿伦·文卡塔拉曼 , 穆拉利·兰加拉扬 , 佩里·亚历山大 :
VSPEC中的合成规范。 ICFEM公司 2000 : 45-56
1990 – 1999
1999 【j4】 约翰·佩尼克斯 , 佩里·亚历山大 :
高效的基于规范的组件检索。 自动。 柔和。 工程师。 6 ( 2 ) : 139-170 ( 1999 ) [j3] 菲利普·巴拉奥纳 , 佩里·亚历山大 :
使用VSPEC的抽象体系结构表示。 超大型积体电路设计 9 ( 2 ) : 181-201 ( 1999 ) [第18条] Nael B.Abu-Ghazaleh公司 , 穆拉利·兰加拉扬 , 达里尔·迪克曼 , 佩里·亚历山大 , 菲利普·威尔西 :
ORBIT:基于组件的异构设计和分析环境。 欧洲商业银行 1999 : 122-128 [第17条] Amitvikram Rajkhowa公司 , 佩里·亚历山大 :
VSPEC约束建模与评估。 欧洲商业银行 1999 : 159-165 [第16条] 穆拉利·兰加拉扬 , 佩里·亚历山大 , Nael B.Abu-Ghazaleh公司 :
使用可自动机证明义务进行基于组件的设计检查。 欧洲商业银行 1999 : 304-310 [第15条] 佩里·亚历山大 , 穆拉利·兰加拉扬 , 菲利普·巴拉奥纳 :
VSPEC简介。 形式方法世界大会 1999 : 1068-1086 [第14条] 彼得·弗雷 , 拉德哈拉马南·拉德哈克里希南 , 菲利普·威尔西 , 佩里·亚历山大 , 哈罗德·卡特 :
乐观仿真协议规范和验证的可扩展形式化框架。 HICSS公司 1999 [第13条] 维多利亚·切尔尼亚霍夫斯基 , 彼得·弗雷 , 拉德哈拉马南·拉德哈克里希南 , 菲利普·威尔西 , 佩里·亚历山大 , 哈罗德·卡特 :
用于指定和验证时间扭曲优化的正式框架。 IPPS/SDPP研讨会 1999 : 1228-1242年 1998 [注2] 佩里·亚历山大 :
正式规范设计中的任务分析和设计计划。 国际期刊软件。 工程知识。 工程师。 8 ( 2 ) : 223-252 ( 1998 ) [j1] Kothanda Umamageswaran公司 , 克里希南·苏布拉马尼 , 菲利普·威尔西 , 佩里·亚历山大 :
回滚松弛的形式验证和实证分析。 J.系统。 阿基特。 44 ( 6-7 ) : 473-495 ( 1998 ) [第12条] 约翰·佩尼克斯 , 戴尔·马丁 , 彼得·弗雷 , 拉马南·拉德哈克里希南 , 佩里·亚历山大 , 菲利普·威尔西 :
验证并行模拟算法的经验。 FMSP公司 1998 : 16-23 [第11条] 约翰·佩尼克斯 , 佩里·亚历山大 :
使用形式规范进行组件检索和重用。 HICSS(3) 1998 : 356- [第10条] 卡提克·斯瓦米纳坦 , 拉德哈拉马南·拉德哈克里希南 , 菲利普·威尔西 , 佩里·亚历山大 :
大规模有源网络仿真。 探测与辨认自动装置 1998 : 537-542 1997 【c9】 穆拉利·兰加拉扬 , 约翰·佩尼克斯 , 佩里·亚历山大 , 菲利普·威尔西 :
引力:面向对象的硬件/软件工具集成框架。 年度模拟研讨会 1997 : 24-30 【c8】 菲利普·巴拉奥纳 , 佩里·亚历山大 :
用公理化规范和激活条件表示抽象体系结构。 欧洲商业银行 1997 : 161-168 【c7】 佩里·亚历山大 :
将形式主义引入系统级设计。 欧洲商业银行 1997 : 479 【c6】 约翰·佩尼克斯 , 佩里·亚历山大 , 克劳斯·哈维隆德 :
软件架构的声明性规范。 ASE公司 1997 : 201- 1996 【c5】 Balakrishnan Kannikeswaran先生 , 拉德哈拉马南·拉德哈克里希南 , 彼得·弗雷 , 佩里·亚历山大 , 菲利普·威尔西 :
pGVT算法的形式化描述和验证。 失效模式与后果 1996 : 405-424 1995 【c4】 约翰·佩尼克斯 , 菲利普·巴拉奥纳 , 佩里·亚历山大 :
使用语义特征对可重用组件进行分类和检索。 KBSE公司 1995 : 131-138 1994 【c3】 佩里·亚历山大 :
在落叶松规格生成中结合转换类比和派生类比。 瑞典克朗 1994 : 131-138 1993 【c2】 佩里·亚历山大 :
BENTON:一个用于生成落叶松规范的多代理系统。 瑞典克朗 1993 : 125-133 1990 【c1】 佩里·亚历山大 , 科斯塔斯·萨索利斯 , 朱利安·霍尔兹曼 , 加里·明登 :
基于案例的仿真规划。 专家规划系统 1990 : 217至220