罗杰·黑尔
人员信息
其他同名人员
优化列表
2000 – 2009
2002 [注2] 安东尼奥·考 , 罗杰·黑尔 , 乔丹·迪米特洛夫 , 侯赛因·泽丹 , 本·C·莫斯科夫斯基 , 曼朱纳塔亚先生 , 迈克尔·斯皮维 :
软硬件协同设计的组合框架。 设计。 自动。 嵌入。 系统。 6 ( 4 ) : 367-399 ( 2002 )
1990 – 1999
1993 [j1] 罗杰·黑尔 , 雷切尔·卡德尔-奥利弗 , 约翰赫伯特 :
在HOL中嵌入时间转换系统。 形式方法系统。 设计。 三 ( 1/2 ) : 151-174 ( 1993 ) 1992 【c5】 雷切尔·卡德尔-奥利弗 , 罗杰·黑尔 , 约翰赫伯特 :
在HOL中嵌入时间转换系统。 TPHOL公司 1992 : 263-278 1991 【c4】 罗杰·黑尔 :
软件推理。 TPHOL公司 1991 : 52-58
1980 – 1989
1987 【c3】 罗杰·黑尔 , 本·莫斯科夫斯基(Ben C.Moszkowski) :
时序逻辑中的并行编程。 谈判(2) 1987 : 277-296 【c2】 罗杰·黑尔 :
使用时序逻辑进行原型设计:电梯控制器的设计。 规范中的时序逻辑 1987 : 375-408
1970 – 1979
1974 【c1】 卡尔·休伊特 , 彼得·博勒主教 , 理查德·斯泰格 , 艾琳·格雷夫 , 布莱恩·坎特威尔·史密斯 , 托德·马特森 , 罗杰·黑尔 :
非递归控制结构的行为语义。 程序设计研讨会 1974 : 385-407