摘要
J.Arnold和M.F.Kaashoek。 Ksplice：无需重新启动的自动内核更新。 第四届ACM欧洲计算机系统会议论文集，EuroSys’09，第187-198页，美国纽约州纽约市，2009年。 ACM公司。 谷歌学者 
数字图书馆 
G.Bierman、M.Hicks、P.Sewell和G.Stoyle。 规范化动态软件更新。 2003年，第二届国际非预期软件演化研讨会（USE）在线会议记录，第13-23页。 谷歌学者 数字图书馆 S.Bouveret、J.Brunel、D.Chemouil和F.Dagnat。 朝向分类框架，以确保正确的软件进化。 2011年在德国汉诺威举行的“2011年HotSWUp：软件升级热门话题第三次研讨会会议记录”。 谷歌学者 数字图书馆 N.Charlton、B.Horsfall和B.Reus。 关于运行时代码更新的形式化推理。 2011年在德国汉诺威举行的“2011年HotSWUp：软件升级热门话题第三次研讨会会议记录”。 谷歌学者 数字图书馆 R.D.Cosmo和P.Abate。 使用依赖关系分析预测升级失败。 2011年在德国汉诺威举行的“2011年HotSWUp：软件升级热门话题第三次研讨会会议记录”。 谷歌学者 数字图书馆 C.Curino、H.J.Moon、L.Tanca和C.Zaniolo。 维基百科中的模式演变——走向网络信息系统基准。ICEIS（1），2008年。 谷歌学者 H.甲板。 针对不一致容忍的数据库语义，采用统一的基于原因的方法。 《2010年国际会议论文集：迈向有意义的互联网系统：第二部分，OTM’10》，第983-998页，柏林，海德堡，2010年。 斯普林格·弗拉格。 谷歌学者 数字图书馆 H.Decker和D.Martinenghi。 根据不一致容差对完整性检查方法进行分类。 《第十届ACM SIGPLAN国际声明性编程原则与实践会议论文集》，2008年美国纽约州纽约市，PPDP'08，第195-204页。 ACM公司。 谷歌学者 数字图书馆 H.Decker和D.Martinenghi。 不一致容忍完整性检查。 IEEE知识与数据工程汇刊，23:218--2342011年。 谷歌学者 数字图书馆 T.Dumitraš、I.Neamtiu和E.Tilevich。 第二届acm软件升级热点研讨会（hotswup 2009）。 2009年，美国纽约州纽约市，第705-706页，《OOPSLA’09：第24届ACM SIGPLAN面向对象编程系统语言和应用程序会议论文集》。 ACM公司。 谷歌学者 数字图书馆 用于动态不一致容忍模式更新管理。 亨德里克·戴克。 2011年在德国汉诺威举行的“2011年HotSWUp：软件升级热门话题第三次研讨会会议记录”。 谷歌学者 数字图书馆 C.海登、E.史密斯、M.希克斯和J.福斯特。 状态转移，实现清晰高效的运行时升级。 2011年在德国汉诺威举行的“2011年HotSWUp：软件升级热门话题第三次研讨会会议记录”。 谷歌学者 数字图书馆 C.M.Hayden、E.A.Hardisty、M.Hicks和J.S.Foster。 动态可更新软件的高效系统测试。 2009年，美国纽约州纽约市，第二届软件升级热点国际研讨会论文集，2009年，HotSWUp，第9:1-9:5页。 ACM公司。 谷歌学者 数字图书馆 B.克雷布斯。 网络事件被指责为核电站关闭。 《华盛顿邮报》，2008年6月5日。 http://www.washingtonpost.com/wp-dyn/content/article/2008/06/05/AR2008060501958.html。 谷歌学者 K.Makris和R.Bazzi。 使用堆栈重建的多线程动态软件更新。 USENIX ATC，2009年。 谷歌学者 数字图书馆 V.曼达拉帕。 理解web信息系统中模式演化的框架。 亚利桑那州立大学硕士论文，2009年。 谷歌学者 I.Neamtiu和M.Hicks。 安全及时地更新多线程程序。 SIGPLAN否。， 2009年6月44:13--24。 谷歌学者 数字图书馆 I.Neamtiu、M.Hicks、G.Stoyle和M.Oriol。 c.《2006年ACM SIGPLAN编程语言设计与实现会议论文集》，PLDI’06，第72-83页，美国纽约州纽约市，2006年。 ACM公司。 谷歌学者 数字图书馆 A.C.Noubisi、J.Iguchi-Cartigny和J.-L.Lanet。 基于java的智能卡的热更新。 2011年在德国汉诺威举行的“2011年HotSWUp：软件升级热门话题第三次研讨会会议记录”。 谷歌学者 数字图书馆 G.Papastefanatos、P.Vassiliadis和A.Simitsis。 在以数据为中心的软件工件中传播演化事件。 2011年在德国汉诺威举行的“2011年HotSWUp：软件升级热门话题第三次研讨会会议记录”。 谷歌学者 数字图书馆 PINCETTE项目。 http://pincette-project.eu/。 谷歌学者 A.普努利。 程序的时序逻辑。 1977年计算机科学基础，第18届年度研讨会，第46-57页，1977年11月2日。 谷歌学者 数字图书馆 S.Subramanian、M.Hicks和K.S.McKinley。 动态软件更新：以虚拟机为中心的方法。 《2009年ACM SIGPLAN编程语言设计与实现会议论文集》，PLDI’09，第1-12页，美国纽约州纽约市，2009年。 ACM公司。 谷歌学者 数字图书馆 J.F.Terwilliger、P.A.Bernstein和A.Unnithan。 概念模型、物理数据库和映射的自动联合演化。 《第29届概念建模国际会议论文集》，ER’10，第146-159页，柏林，海德堡，2010年。 斯普林格·弗拉格。 谷歌学者 数字图书馆 J.F.Terwilliger、P.A.Bernstein和A.Unnithan。 无忧数据库升级：模式和复杂映射的自动模型驱动进化。 2010年国际数据管理会议记录，SIGMOD’10，第1191-1194页，美国纽约州纽约市，2010年。 ACM公司。 谷歌学者 数字图书馆 M.Wahler、S.Richter、S.Kumar和M.Oriol。 无中断大规模组件更新，用于实时控制器升级。 2011年在德国汉诺威举行的“2011年HotSWUp：软件升级热门话题第三次研讨会会议记录”。 谷歌学者 数字图书馆 S.Wu和I.Neamtiu。 嵌入式数据库的模式演化分析。 2011年在德国汉诺威举行的“2011年HotSWUp：软件升级热门话题第三次研讨会会议记录”。 谷歌学者 数字图书馆
索引术语
关于软件升级热门话题的第三次研讨会的报告（HotSWUp'11）
建议
第二届ACM软件升级热点研讨会报告（2009年HotSWUp）： http://www.hotswup.org/2009/ 第二届ACM SIGPLAN软件升级热点研讨会（2009年HotSWUp）于2009年10月25日在佛罗里达州奥兰多市举行。该研讨会与OOPSLA 2009合办，由ACM SIGPLAN赞助。 来自……的二十名研究人员和从业者。。。 第四次软件升级热点研讨会报告（HotSWUp 2012） 2012年6月3日，第四届软件升级热点研讨会（HotSWUp 2012）在瑞士苏黎世举行。 该研讨会与ICSE 2012合用一地。 HotSWUp的目标是通过跨学科合作，确定前沿。。。
