肖思阳;姜汉如;梁洪进;冯新余 无数据追踪程序的非呈现语义。 （英语） Zbl 1518.68068号 Fischer，Bernd（编辑）等人，《计算的理论方面——ICTAC 2018》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11187, 513-531 (2018).MSC公司：68号30 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Xiao}等人，Lect。注释计算。科学。11187513--531（2018年；Zbl 1518.68068） 全文： 内政部
梁洪进;冯新余;傅明 用于验证并发程序转换的基于可靠保证的模拟。 （英语） Zbl 1321.68201号 2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1083-3）。455-468 (2012).MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{H.Liang}等人，《第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’12，美国宾夕法尼亚州费城，2012年1月22日至28日。纽约州纽约市：计算机协会（ACM）。455--468（2012年；Zbl 1321.68201） 全文： 内政部
傅明;李勇;冯新余;邵，钟;张瑜 使用历史程序逻辑推理乐观并发。 （英语） Zbl 1287.03071号 Gastin，Paul（编辑）等人，CONCUR 2010–并发理论。第21届国际会议，CONCUR 2010，法国巴黎，2010年8月31日至9月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15374-7/pbk）。计算机科学课堂讲稿6269388-402（2010）。MSC公司：03B70号 68甲19 68号30 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit｛M.Fu｝等人，Lect。注释计算。科学。6269、388--402（2010年；Zbl 1287.03071） 全文： 内政部
罗德里戈·费雷拉;冯新余;邵，钟 参数化内存模型和并发分离逻辑。 （英语） Zbl 1260.68093号 Andrew D.Gordon（编辑），《编程语言和系统》。2010年3月20日至28日在塞浦路斯帕福斯举行的第19届欧洲编程研讨会（ESOP 2010），是欧洲软件理论与实践联合会议（ETAPS 2010）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-11956-9/pbk）。计算机科学课堂讲稿6012，267-286（2010）。MSC公司：68号30 03B70号 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.Ferreira}等人，Lect。注释计算。科学。6012、267--286（2010年；Zbl 1260.68093） 全文： 内政部
冯新余 局部可靠性保证推理。 （英语） Zbl 1315.68088号 2009年1月18日至24日，美国佐治亚州萨凡纳，POPL'09，第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-60558-379-2）。315-327 (2009).MSC公司：68号30 03B70号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{X.Feng}，in：第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'09，佐治亚州萨凡纳，美国，2009年1月18-24日。纽约州纽约市：计算机协会（ACM）。315--327（2009年；Zbl 1315.68088） 全文： 内政部
多兹，迈克;冯新余;马修·帕金森;维克托·瓦菲亚迪斯 拒绝保证推理。 （英语） 兹比尔12346.8075 朱塞佩（编辑），《编程语言和系统》。2009年3月22日至29日在英国约克举行的第18届欧洲编程研讨会（ESOP 2009）是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00589-3/pbk）。计算机科学讲座笔记5502363-377（2009）。MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Dodds}等人，Lect。注释计算。科学。5502363-377（2009年；Zbl 1234.68075） 全文： 内政部
冯新余;邵，钟 使用动态线程创建和终止对并发汇编代码进行模块化验证。 （英语） Zbl 1302.68088号 2005年9月26日至28日，爱沙尼亚塔林，ICFP'05，第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-064-7）。ACM SIGPLAN Notices 40，No.9，254-267（2005）。MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{X.Feng}和\textit{Z.Shao}，in：第十届ACM SIGPLAN函数编程国际会议论文集，ICFP'05，爱沙尼亚塔林，2005年9月26-28日。纽约州纽约市：计算机协会（ACM）。254--267（2005；Zbl 1302.68088） 全文： 内政部
王忠群;陶贤平;冯新余 一种移动代理通信算法。 （中文。英文摘要） Zbl 1092.68653号 J.软件。 14，第7期，1292-1299（2003）.MSC公司：68甲19 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Wang}等人，J.Softw。14，第7号，1292--1299（2003；Zbl 1092.68653）