约翰·拉什比
人员信息
其他同名人员
优化列表
2010 – 2019
2014 [公元12年] 加布里埃尔·盖尔曼 , 凯伦·费伊(Karen M.Feigh) , 约翰·拉什比 :
模型检查和人员绩效模拟的补充使用示例。 IEEE传输。 嗯,马赫。 系统。 44 ( 5 ) : 576-590 ( 2014 ) 【c65】 阿什什·蒂瓦里 , 布鲁诺·杜特雷 , 德扬·约万诺维奇 , 托马斯·德·坎迪亚 , 帕特里克·林肯 , 约翰·拉什比 , 多尔萨·萨迪格 , 桑吉特·塞希亚 :
用于安全的安全信封。 HiCoNS公司 2014 : 85-94 2013 [公元64年] 加布里埃尔·盖尔曼 , 凯伦·费伊(Karen M.Feigh) , 约翰·拉什比 :
模型检查和基于代理的仿真的补充使用示例。 表面活性剂 2013 : 900-905 2012 [公元63年] 约翰·拉什比 :
多功能同步观测器。 SBMF公司 2012 : 1 2011 [公元11年] 艾伦·J·巴斯 , 凯伦·费伊(Karen M.Feigh) , 艾尔莎·L·冈特 , 约翰·拉什比 :
交互式混合系统的形式化建模与分析。 电子。 公社。 欧洲协会软件。 科学。 Technol公司。 45 ( 2011 ) [公元62年] 约翰·拉什比 :
从DSS到MILS-(扩展摘要)。 可靠和历史计算 2011 : 53-57 [第61条] 马克·奥利弗·斯特尔 , 卡罗琳·塔尔科特 , 约翰·拉什比 , 帕特里克·林肯 , 金敏英(Minyoung Kim) , 史蒂文·张 , 安迪·波乔 :
网络化网络物理系统的分割软件:研究方向和长期愿景。 形式化建模:参与者、开放系统、生物系统 2011 : 110-143 [公元60年] 约翰·拉什比 :
飞机软件认证面临的新挑战。 EMSOFT公司 2011 : 211-218 [公元59年] 艾伦·J·巴斯 , 马修·博尔顿 , 凯伦·费伊(Karen M.Feigh) , 丹尼斯·格里菲斯 , 埃尔萨·甘特 , 威廉·曼斯基 , 约翰·拉什比 :
走向一种多方法方法,以规范化人机交互和人机通信。 表面活性剂 2011 : 1817-1824 2010 [c58] 约翰·拉什比 :
安全案例中的形式主义。 SSS系统 2010 : 3-17
2000 – 2009
2009 [公元57年] 约翰·拉什比 :
软件验证和系统保证。 SEFM公司 2009 : 3-10 2008 [公元56年] 约翰·拉什比 :
运行时认证。 RV汽车 2008 : 21-35 2007 [公元10年] 约翰·拉什比 :
自动化形式化方法进入主流。 J.大学。 计算。 科学。 13 ( 5 ) : 650-660 ( 2007 ) [公元9年] 格雷戈伊尔·哈蒙 , 约翰·拉什比 :
Stateflow的操作语义。 国际期刊软件。 技术工具。 变压器。 9 ( 5-6 ) : 447-456 ( 2007 ) [公元55年] 布莱恩·兰德尔 , 约翰·拉什比 :
分布式安全系统:过去和现在。 痤疮 2007 : 177-199 [c54] 约翰·拉什比 :
实时认证。 ICECCS公司 2007 : 15-24 [公元53年] 约翰·拉什比 :
验证软件的用途是什么? ICECCS公司 2007 : 270-276 2006 [第52条] 约翰·拉什比 :
混合动力系统-以及其他一切。 高速列车控制中心 2006 : 三 [第51条] 约翰·拉什比 :
在正式验证中利用颠覆性创新。 SEFM公司 2006 : 21-30 [公元50年] 约翰·拉什比 :
教程:使用PVS、SAL和Yices的自动形式化方法。 SEFM公司 2006 : 262 [第1页] 雅各布施 , 约翰·拉什比 :
PVS公司。 世界十七个证明人 2006 : 24-27 2005 [公元49年] 约翰·拉什比 :
证据工具总线。 ICFEM公司 2005 : 36-36 [c48] 约翰·拉什比 :
自动测试生成和验证软件。 VSTTE公司 2005 : 161-172 2004 [公元47年] 莱昂纳多·门东萨·德莫拉 , 萨姆·奥雷 , 哈拉尔德街 , 约翰·拉什比 , 纳塔拉詹·尚卡尔 :
嵌入扣除的ICS决策程序。 国际JCAR 2004 : 218-222 [公元46年] 莱昂纳多·门东萨·德莫拉 , 萨姆·奥雷 , 哈拉尔德街 , 约翰·拉什比 , 纳塔拉詹·尚卡尔 , 玛丽亚·索里亚 , 阿什什·蒂瓦里 :
SAL 2。 CAV汽车 2004 : 496-500 [公元45年] 威尔弗里德·斯坦纳 , 约翰·拉什比 , 玛丽亚·索里亚 , 霍尔格·菲弗 :
容错启动算法的模型检查:从设计探索到穷尽故障模拟。 DSN(DSN) 2004 : 189-198 [c44] 格雷戈伊尔·哈蒙 , 约翰·拉什比 :
Stateflow的操作语义。 FASE公司 2004 : 229-243 [公元43年] 格雷戈伊尔·哈蒙 , 莱昂纳多·门东萨·德莫拉 , 约翰·拉什比 :
使用模型检查器生成高效测试集。 SEFM公司 2004 : 261-270 2003 [j8] 阿什什·蒂瓦里 , 纳塔拉詹·尚卡尔 , 约翰·拉什比 :
嵌入式控制系统的不可见形式化方法。 程序。 电气与电子工程师协会 91 ( 1 ) : 29-39 ( 2003 ) 2002 [公元42年] 约翰·拉什比 :
时间触发体系结构的形式验证概述。 FTRTFT公司 2002 : 83-106 [公元41年] 乌尔里希·施密德 , 贝蒂娜·维斯 , 约翰·拉什比 :
存在链路故障时正式验证的拜占庭协议。 ICDCS系统 2002 : 608-616 2001 [公元40年] 约翰·拉什比 :
安全关键嵌入式系统的总线架构。 EMSOFT公司 2001 : 306-323 [公元39年] 约翰·拉什比 :
在人为因素中塑造人。 SAFECOMP公司 2001 : 86-91 2000 [公元38年] 约翰·拉什比 :
重温验证图:易于验证的析取不变量。 CAV汽车 2000 : 508-520 [公元37年] 约翰·拉什比 :
从拒绝到验证。 复地 2000 : 369-374 [c36] 约翰·拉什比 :
验证的定理证明。 移动 2000 : 39-57 [公元35年] 约翰·拉什比 :
使用形式化方法分析驾驶舱接口。 FM-FORTE的每个地方 /公共电视台 2000 : 1-14
1990 – 1999
1999 [j7] 约翰·拉什比 :
容错时间触发算法的系统形式验证。 IEEE传输。 软件工程。 25 ( 5 ) : 651-660 ( 1999 ) [公元34年] 约翰·拉什比 :
机械化形式方法:下一步在哪里? 形式方法世界大会 1999 : 48-51 [c33] 塞萨尔·穆尼奥斯 , 约翰·拉什比 :
结构嵌入:机械化方法。 形式方法世界大会 1999 : 452-471 [公元32年] 约翰·拉什比 :
集成形式验证:使用模型检查和自动抽象、不变量生成和定理证明。 自旋蛋白 1999 : 1-11 [公元31年] Sandeep S.Kulkarni , 约翰·拉什比 , 纳塔拉詹·尚卡尔 :
容错程序基于组件的机械验证案例研究。 WSS公司 1999 : 33-40 1998 [j6] 约翰·拉什比 , 萨姆·奥雷 , 纳塔拉詹·尚卡尔 :
规范的子类型:PVS中的谓词子类型。 IEEE传输。 软件工程。 24 ( 9 ) : 709-720 ( 1998 ) [公元30年] 萨姆·奥雷 , 约翰·拉什比 , 纳塔拉詹·尚卡尔 , 大卫·W·J·斯特林格·卡尔弗特 :
PVS:经验报告。 FM-趋势 1998 : 338-345 [公元29年] 约翰·拉什比 :
普遍抽象:一种机械化形式验证的新方法。 ICFEM公司 1998 : 176-179 1997 [公元28年] 约翰·拉什比 :
规范的子类型。 ESEC/SIGSOFT FSE 1997 : 4-19 [公元27年] 大卫·赛卢克 , 约翰·拉什比 , 曼达扬·K·斯利瓦斯 :
口译员的系统形式验证。 ICFEM公司 1997 : 140-150 [公元26年] 约翰·拉什比 :
根据需求计算。 重新 1997 : 144- [公元25年] 萨姆·奥雷 , 约翰·拉什比 , 纳塔拉詹·尚卡尔 :
PVS中的集成:表、类型和模型检查。 TACAS公司 1997 : 366-383 [公元24年] Shmuel Katz先生 , 帕特里克·林肯 , 约翰·拉什比 :
低超限时间触发组成员身份。 WDAG公司 1997 : 155-169 1996 [j5] 乔纳森·鲍文 , 瑞奇·巴特勒 , 大卫·L·迪尔 , 罗伯特·L·格拉斯 , 格里斯 , 安东尼·哈尔 , 迈克尔·欣奇 , C.迈克尔·霍洛韦 , 丹尼尔·杰克逊博士 , 克利夫·琼斯 , 迈克尔·J·卢茨 , 大卫·洛格·帕纳斯 , 约翰·拉什比 , Jeannette M.Wing女士 , 帕梅拉·扎夫 :
正式方法邀请函。 电脑类 29 ( 4 ) : 16-30 ( 1996 ) 【j4】 约翰·拉什比 :
增强形式方法的实用性。 ACM计算。 调查。 28 ( 4秒 ) : 123 ( 1996 ) 【c23】 约翰·拉什比 :
自动演绎和形式化方法。 CAV汽车 1996 : 169-183 [公元22年] 萨姆·奥雷 , S.拉詹 , 约翰·拉什比 , 纳塔拉詹·尚卡尔 , 曼达扬·K·斯利瓦斯 :
PVS:结合规范、验证检查和模型检查。 CAV汽车 1996 : 411-414 【c21】 约翰·拉什比 :
机械化形式方法:进展与展望。 FSTTCS公司 1996 : 43-51 [公元20年] 约翰·拉什比 :
状态机体系结构中的重新配置和瞬态恢复。 FTCS(飞行时间控制系统) 1996 : 6-15 1995 [j3] 萨姆·奥雷 , 约翰·拉什比 , 纳塔拉詹·尚卡尔 , 弗里德里希·冯·亨克 :
容错体系结构的形式化验证:PVS设计的序言。 IEEE传输。 软件工程。 21 ( 2 ) : 107-125 ( 1995 ) [第19条] 约翰·拉什比 :
机械化形式方法:机遇与挑战。 ZUM公司 1995 : 105-113 [c18] 安东尼·哈尔 , 大卫·洛格·帕纳斯 , 尼科·普拉特 , 约翰·拉什比 , 克里斯·塞内特 :
形式化方法在工业中的未来。 ZUM公司 1995 : 237-242 1994 [c17] 约翰·拉什比 , Jens Ulrik Skakkebk(延斯·乌尔里克·斯卡科布) :
PVS验证系统和PC/DC。 FTRTFT公司 1994 : 777 [第16条] 约翰·拉什比 :
混合故障模型下时钟同步的形式可验证算法。 PODC公司 1994 : 304-313 [第15条] 萨姆·奥雷 , 约翰·拉什比 , 纳塔拉詹·尚卡尔 , 曼达扬·K·斯利瓦斯 :
使用PVS进行硬件验证的教程。 TPCD公司 1994 : 258-279 1993 [注2] 约翰·拉什比 , 弗里德里希·冯·亨克 :
关键系统算法的形式验证。 IEEE传输。 软件工程。 19 ( 1 ) : 13-23 ( 1993 ) [第14条] 帕特里克·林肯 , 约翰·拉什比 :
混合故障模型下交互一致性算法的形式化验证。 CAV汽车 1993 : 292-304 [第13条] 山姆·奥威尔 , 约翰·拉什比 , 纳塔拉詹·尚卡尔 , 弗里德里希·冯·亨克 :
容错体系结构的形式化验证:一些经验教训。 失效模式与后果 1993 : 482-500 [c12] 帕特里克·林肯 , 约翰·拉什比 :
混合故障模型下交互式一致性的形式验证算法。 FTCS(飞行时间控制系统) 1993 : 402-411 [第11条] Jean-Claude Laprie女士 , 杰拉德·勒兰 , 米歇尔·莫甘蒂 , 约翰·拉什比 :
可靠性极限(面板)。 FTCS(飞行时间控制系统) 1993 : 608-613 [第10条] 约翰·拉什比 , 曼达扬·K·斯利瓦斯 :
用PVS证明David Parnas的一些定理。 拥抱 1993 : 163-173 1992 【c9】 萨姆·奥雷 , 约翰·拉什比 , 纳塔拉詹·尚卡尔 :
PVS:原型验证系统。 CADE公司 1992 : 748-752 【c8】 约翰·拉什比 :
数字飞行控制系统故障屏蔽和瞬态恢复模型的形式化规范和验证。 FTRTFT公司 1992 : 237-257 1991 【c7】 朱迪思·克劳 , 约翰·拉什比 :
基于模型的重构:走向与诊断的集成。 AAAI公司 1991 : 836-841 【c6】 杰弗里·乔伊斯 , 刘欧文(Erwin Liu) , 约翰·拉什比 , 纳塔拉詹·尚卡尔 , 罗伯托·苏亚亚 , 弗里德里希·冯·亨克 :
从形式验证到硅编译。 康普康 1991 : 450-455 【c5】 约翰·拉什比 , 弗里德里希·冯·亨克 :
关键系统算法的形式化验证。 SIGSOFT公司 1991 : 1-15 【c4】 约翰·拉什比 :
规范语言和验证系统中的设计选择。 TPHOL公司 1991 : 195-204
1980 – 1989
1983 [j1] 约翰·拉什比 , 布莱恩·兰德尔 :
分布式安全系统。 电脑类 16 ( 7 ) : 55-67 ( 1983 ) 【c3】 约翰·拉什比 , 布莱恩·兰德尔 :
分布式安全系统。 标准普尔 1983 : 127-135 1982 【c2】 约翰·拉什比 :
可分性证明:一种针对一类安全内核的验证技术。 规划专题讨论会 1982 : 352-367 1981 【c1】 约翰·拉什比 :
安全系统的设计和验证。 SOSP(标准操作程序) 1981 : 12-21