霍华德·巴林格
人员信息
附属: 英国曼彻斯特大学
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2010 – 2019
2015 [公元20年] 贾尔斯·雷格尔 , 霍华德·巴林格 , 大卫·E·瑞德海尔 :
基于不完全痕迹的自动模式挖掘。 ACM SIGSOFT软件。 工程注释 40 ( 1 ) : 1-8 ( 2015 ) 2014 [公元43年] 霍华德·巴林格 , 大卫·E·瑞德海尔 , Dov M.Gabbay公司 :
反应性与语法:探索。 语言、文化、计算(1) 2014 : 103-155 2013 [公元42年] 贾尔斯·雷格尔 , 霍华德·巴林格 , 大卫·E·瑞德海尔 :
一种基于模式的参数化规范挖掘方法。 ASE公司 2013 : 658-663 2012 [j19] 霍华德·巴林格 , Dov M.Gabbay公司 , 约翰·伍兹 :
论证网络中的时间、数字和元层次动态。 参数计算。 三 ( 2-3 ) : 143-202 ( 2012 ) [公元18年] 霍华德·巴林格 , Dov M.Gabbay公司 , 约翰·伍兹 :
模态和时间论证网络。 参数计算。 三 ( 2-3 ) : 203-227 ( 2012 ) [公元41年] 霍华德·巴林格 , 伊利耶斯·法尔科内 , 克劳斯·哈维隆德 , 贾尔斯·雷格尔 , 大卫·E·莱德哈德 :
量化事件自动机:面向高效表达的运行时监控器。 FM公司 2012 : 68-84 2011 [公元40年] Manuela-Luminita Bujorianu公司 , 马吕斯·布乔里亚诺 , 霍华德·巴林格 :
分析环境中的系统理论。 CDC/ECC 2011 : 2901-2906 [公元39年] 霍华德·巴林格 , 克劳斯·哈维隆德 :
TraceContract:用于跟踪分析的Scala DSL。 FM公司 2011 : 57-72 [公元38年] 霍华德·巴林格 , 克劳斯·哈维隆德 :
用于跟踪分析的内部DSL与外部DSL(扩展抽象)。 RV汽车 2011 : 1-3 2010 [公元17年] 霍华德·巴林格 , 亚历克斯·格罗斯 , 克劳斯·哈维隆德 , 玛格丽特·史密斯 :
日志文件的形式化分析。 J.航空公司。 计算。 信息通信。 7 ( 11 ) : 365-390 ( 2010 ) [j16] 霍华德·巴林格 , 大卫·E·瑞德海尔 , 克劳斯·哈维隆德 :
运行时监控规则系统:从Eagle到RuleR。 J.日志。 计算。 20 ( 三 ) : 675-706 ( 2010 ) [公元37年] 霍华德·巴林格 , Dov M.Gabbay公司 :
模态和时间论证网络。 纪念埃米尔·普努利的散文 2010 : 1-25 [c36] Djihed Afifi公司 , 大卫·E·瑞德海尔 , 霍华德·巴林格 :
进化系统仿真中的自动推理。 PAAR@IJCAR酒店 2010 : 11-21 [公元35年] Djihed Afifi公司 , 大卫·E·瑞德海尔 , 霍华德·巴林格 :
ESAT:一种用于动态显示演化组件系统基于逻辑的规范的工具。 RV汽车 2010 : 469-474 [电子5] 霍华德·巴林格 , 伊利耶斯·法尔科内 , 伯恩德·芬克贝纳 , 克劳斯·哈维隆德 , 因苏普·李 , 戈登·佩斯 , 格里戈·罗苏 , 奥列格·索科尔斯基 , 尼古拉·蒂尔曼 :
运行时验证-第一届国际会议,RV 2010,马耳他圣朱利安,2010年11月1日至4日。 诉讼程序。 计算机科学课堂讲稿 6418, 施普林格 2010 ,国际标准图书编号 978-3-642-16611-2 [目录]
2000 – 2009
2009 [公元15年] 霍华德·巴林格 , Dov M.Gabbay公司 , 大卫·E·瑞德海尔 :
可演化组件系统建模:第一部分:逻辑框架。 日志。 J.IGPL公司 17 ( 6 ) : 631-696 ( 2009 ) [公元34年] 马吕斯·布乔里亚诺 , 霍华德·巴林格 :
网络物理系统的集成规范逻辑。 ICECCS公司 2009 : 291-300 [c33] 霍华德·巴林格 , 克劳斯·哈维隆德 , 大卫·E·瑞德海尔 , 亚历克斯·格罗斯 :
运行时验证的规则系统:简短教程。 RV汽车 2009 : 1-24 [公元32年] 霍华德·巴林格 , 亚历克斯·格罗斯 , 克劳斯·哈维隆德 , 玛格丽特·史密斯 :
形式化方法的切入点:事件日志的规范和分析。 飞行管理局 2009 : 16-21 2008 [公元14年] 科里纳S.Pasareanu , 迪米特拉·吉安娜科波卢 , 米哈拉·盖奥古·博巴鲁(Mihaela Gheorghiu Bobaru) , 杰米森·科布雷 , 霍华德·巴林格 :
学习分而治之:应用L*算法自动进行假设保证推理。 形式方法系统。 设计。 32 ( 三 ) : 175-205 ( 2008 ) [公元31年] 马吕斯·布乔里亚诺 , Manuela-Luminita Bujorianu公司 , 霍华德·巴林格 :
概率多智能体网络物理系统以用户为中心控制的形式化框架。 气候 2008 : 97-116 [公元30年] 约阿希姆·巴兰 , 霍华德·巴林格 :
进入《鹰》中的顺序合成和串联。 RV汽车 2008 : 69-85 2007 [公元29年] Naikuo Yang(杨乃国) , 霍华德·巴林格 , 张宁(Ning Zhang) :
基于目的的访问控制模型。 国际会计准则 2007 : 143-148 [公元28年] 霍华德·巴林格 , Dov M.Gabbay公司 , 大卫·E·瑞德海尔 :
从运行时验证到进化系统。 RV汽车 2007 : 97-110 [公元27年] 霍华德·巴林格 , 大卫·E·瑞德海尔 , 克劳斯·哈维隆德 :
运行时监控的规则系统:从Eagle到RuleR。 RV汽车 2007 : 111-125 [公元26年] 霍华德·巴林格 , 大卫·E·瑞德海尔 , Dov M.Gabbay公司 :
监控和演化软件组件的逻辑框架。 TASE公司 2007 : 273-282 [公元25年] 约阿希姆·巴兰 , 霍华德·巴林格 :
可视下推语言的语法表示。 沃尔利克 2007 : 1-11 2006 [j13] Cornelia P.Inggs公司 , 霍华德·巴林格 :
CTL公司 * 共享内存体系结构上的模型检查。 形式方法系统。 设计。 29 ( 2 ) : 135-155 ( 2006 ) [电子4] 霍华德·巴林格 , 伯恩德·芬克贝纳 , 尤里·古雷维奇 , 亨尼·西普玛 :
第五届运行时验证研讨会会议记录, RV@CAV 2005年7月12日,英国爱丁堡。 理论计算机科学电子笔记 144(4), 爱思维尔 2006 [目录] 2005 [公元12年] 迪米特拉·吉安娜科波卢 , 科里纳S.Pasareanu , 霍华德·巴林格 :
使用自动生成的假设进行组件验证。 自动。 柔和。 工程师。 12 ( 三 ) : 297-320 ( 2005 ) [公元11年] 西里尔·阿瑟 , 霍华德·巴林格 , 艾伦·戈德伯格 , 克劳斯·哈维隆德 , 萨尔夫拉兹·库希德 , 迈克尔·罗瑞 , 科里纳S.Pasareanu , 格里戈·罗苏 , 库什克森 , 威廉·维瑟 , 理查德·华盛顿 :
结合测试用例生成和运行时验证。 西奥。 计算。 科学。 336 ( 2-3 ) : 209-234 ( 2005 ) [公元24年] 霍华德·巴林格 , Dov M.Gabbay公司 , 约翰·伍兹 :
支持和攻击网络的时间动态:从争论到动物学。 机械化数学推理 2005 : 59-98 【c23】 霍华德·巴林格 , 大卫·E·莱德哈德 :
进化系统建模:时间逻辑视图。 我们将向他们展示! (1) 2005 : 195-228 [公元22年] 霍华德·巴林格 , 伯恩德·芬克贝纳 , 尤里·古雷维奇 , 亨尼·B·西普玛 :
前言。 RV@CAV 2005 : 1 [电子3] 谢尔盖·N·阿特莫夫 , 霍华德·巴林格 , 阿图尔·达维拉·加塞斯 , 路易斯·兰姆 , 约翰·伍兹 :
我们将向他们展示! Dov Gabbay荣誉论文,第一卷。 学院出版物 2005 ,国际标准图书编号 1-904987-25-7 [目录] [电子2] 谢尔盖·N·阿特莫夫 , 霍华德·巴林格 , 阿图尔·达维拉·加塞斯 , 路易斯·兰姆 , 约翰·伍兹 :
我们将向他们展示! 《纪念Dov Gabbay的论文》,第二卷。 学院出版物 2005 ,国际标准图书编号 1-904987-26-5 [目录] 【r1】 霍华德·巴林格 , Dov M.Gabbay公司 :
时间逻辑的模态变化。 人工智能中的时间推理手册 2005 : 119-165 2004 【c21】 霍华德·巴林格 , 艾伦·戈德伯格 , 克劳斯·哈维隆德 , 库什克森 :
EAGLE中使用LTL进行程序监控。 IPDPS公司 2004 [公元20年] 霍华德·巴林格 , 艾伦·戈德伯格 , 克劳斯·哈维隆德 , 库什克森 :
基于规则的运行时验证。 VMCAI公司 2004 : 44-57 [第19条] Cornelia P.Inggs公司 , 霍华德·巴林格 :
CTL公司 * 共享内存体系结构上的模型检查。 PDMC公司 2004 : 107-123 2002 [公元10年] 霍华德·巴林格 , Donal Fellows公司 , 格雷厄姆·高夫 , 艾伦·R·威廉姆斯 :
彩虹:异步微管道硬件设计的开发、模拟和分析工具。 计算。 J。 45 ( 1 ) : 2-11 ( 2002 ) [第18条] 迪米特拉·吉安娜科波卢 , 科里纳S.Pasareanu , 霍华德·巴林格 :
软件组件验证的假设生成。 ASE公司 2002 : 3-12 [第17条] Cornelia P.Inggs公司 , 霍华德·巴林格 :
共享内存体系结构模型检查的有效状态探索。 PDMC@同意 2002 : 605-620 2000 [公元9年] 威廉·维瑟 , 霍华德·巴林格 :
实用CTL * 模型检查:SPIN应该扩展吗? 国际期刊软件。 技术工具。 Transf公司。 2 ( 4 ) : 350-365 ( 2000 )
1990 – 1999
1997 [第16条] 威廉·维瑟 , 霍华德·巴林格 , Donal Fellows公司 , 格雷厄姆·高夫 , 艾伦·R·威廉姆斯 :
高效的CTL*模型检查,用于彩虹设计的分析。 使着迷 1997 : 128-145 1996 [j8] 霍华德·巴林格 , 格雷厄姆·高夫 , 布莱恩·莫纳汉 , 艾伦·R·威廉姆斯 :
核心ELLA推理的过程代数基础。 计算。 J。 39 ( 4 ) : 303-324 ( 1996 ) [j7] 霍华德·巴林格 , 格雷厄姆·高夫 , 德里克·布鲁 , Dov M.Gabbay公司 , 伊恩·霍德金森 , 安东尼·亨特 , 理查德·欧文斯 , 彼得·麦克布莱恩 , 马克·雷诺兹 , 迈克尔·菲希尔 :
语言,元语言和METATEM,讨论论文。 日志。 J.IGPL公司 4 ( 2 ) : 255-272 ( 1996 ) [第15条] 威廉·维瑟 , 霍华德·巴林格 :
Spin中的内存高效状态存储。 自旋验证系统 1996 : 185-203 1995 [j6] 霍华德·巴林格 , 迈克尔·菲希尔 , Dov M.Gabbay公司 , 格雷厄姆·高夫 , 理查德·欧文斯 :
METATEM:介绍。 形式方面计算。 7 ( 5 ) : 533-549 ( 1995 ) [第14条] 安娜·克里斯蒂娜·维埃拉·德梅洛 , 霍华德·巴林格 :
正式重用硬件的基础。 使着迷 1995 : 124-145 [第13条] 霍华德·巴林格 , 格雷厄姆·高夫 , 布莱恩·莫纳汉 , 艾伦·R·威廉姆斯 :
对ELLA硬件描述语言的正式支持。 使着迷 1995 : 225-245 1994 [第12条] 克莱尔·狄克逊 , 迈克尔·菲希尔 , 霍华德·巴林格 :
时间逻辑中基于图的解析方法。 国际刑事法院 1994 : 415-429 1991 [j5] 霍华德·巴林格 :
编辑。 J.日志。 计算。 1 ( 5 ) : 573-574 ( 1991 ) [第11条] 霍华德·巴林格 , 迈克尔·菲希尔 , Dov M.Gabbay公司 , 安东尼·亨特 :
可执行时序逻辑中的元推理。 韩国 1991 : 40-49
1980 – 1989
1989 [第10条] 霍华德·巴林格 , 迈克尔·菲希尔 , 格雷厄姆·高夫 :
公平SMG和线性时间模型检查。 有限状态系统的自动验证方法 1989 : 133-150 【c9】 霍华德·巴林格 , 迈克尔·菲希尔 , Dov M.Gabbay公司 , 格雷厄姆·高夫 , 理查德·欧文斯 :
METATEM:时序逻辑编程框架。 REX研讨会 1989 : 94-129 [电子1] 贝南·巴尼克巴尔 , 霍华德·巴林格 , 阿米尔·普努利 :
《规范中的时态逻辑》,英国Altrincham,1987年4月8日至10日,会议记录。 计算机科学课堂讲稿 398, 施普林格 1989 ,国际标准图书编号 3-540-51803-7 [目录] 1988 【c8】 霍华德·巴林格 , Dov M.Gabbay公司 :
执行时态逻辑:回顾与展望(摘要)。 并发 1988 : 104-105 【c7】 维多利亚·斯塔夫里杜 , 霍华德·巴林格 , 大卫·A·爱德华兹 :
硬件的形式化规范和验证:比较案例研究。 数模转换器 1988 : 197-204 【c6】 格雷厄姆·高夫 , 霍华德·巴林格 :
语义驱动的时态验证系统。 员工持股计划 1988 : 21-33 1987 【j4】 霍华德·巴林格 :
上下时间之路。 计算。 J。 30 ( 2 ) : 134-148 ( 1987 ) 【c5】 贝南·巴尼克巴尔 , 霍华德·巴林格 :
具有固定点的时态逻辑。 规范中的时序逻辑 1987 : 62-74 1986 [j3] 霍华德·巴林格 , 伊恩·梅恩斯 :
Ada任务的证明系统。 计算。 J。 29 ( 5 ) : 404-415 ( 1986 ) 【c4】 霍华德·巴林格 , 鲁德·科伊伯 , 阿米尔·普努利 :
一个真正抽象的并发模型及其时序逻辑。 POPL公司 1986 : 173-183 1985 【b1】 霍华德·巴林格 :
并行程序验证技术综述。 计算机科学课堂讲稿 191, 施普林格 1985 ,国际标准图书编号 3-540-15239-3 1984 [注2] 霍华德·巴林格 , 郑俊华 , 克利夫·琼斯 :
程序证明中包含未定义的逻辑。 信息学报 21 : 251-269 ( 1984 ) 【c3】 霍华德·巴林格 , 鲁德·科伊伯 :
时序逻辑框架中并发系统的分层开发。 并行讨论会 1984 : 35-61 【c2】 霍华德·巴林格 , 鲁德·科伊伯 , 阿米尔·普努利 :
现在您可以编写时序逻辑规范。 STOC公司 1984 : 51-63 1983 【c1】 霍华德·巴林格 , 鲁德·科伊伯 :
面向层次、时间逻辑、规范。 并发系统分析 1983 : 157-183
1970 – 1979
1979 [j1] 霍华德·巴林格 , P.C.卡彭 , R.飞利浦 :
MUSS的可移植编译系统。 柔和。 实际。 支出。 9 ( 8 ) : 645-655 ( 1979 )
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)