第25届ICECCS 2020：新加坡
李毅 , Alan Wee-Chang Liew先生 :
第25届复杂计算机系统工程国际会议，ICECCS 2020，新加坡，2020年10月28日至31日。 电气与电子工程师协会 2020 ，国际标准图书编号 978-1-7281-8558-3
形式方法I
波琳娜·奥维森尼科娃 
, 伊戈尔·布辛斯基 , 安蒂·帕科宁 , 瓦莱里·维亚特金 :
使用OERITTE进行模型检查的直观反例说明。 1-10 泰西尔·图利 , 新叶 :
自我修改代码的CTL模型检查。 11-20 维克托·里维拉 :
我的健康记录系统访问控制模型的形式验证。 21-30
形式化方法II
哈德里安新娘 , 金松洞 , 兹赫乌 , 布伦丹·P·马奥尼 , 管麦卡锡 :
RL：一种形式工程语言。 31-36 埃蒂安·安德烈 , 亚历山大·克鲁科夫 :
时间自动机中的参数不干涉。 37-42 宣巴乐 , 大卫·萨南 , 孙军（Jun Sun） , 尚伟林 :
通过推理可靠性保证规范自动验证多线程程序。 43-52
深度学习
Kan Jiang（堪江） , 马苏梅·伊扎迪 , 刘兆宇（音） , 金松洞 :
深度学习在广播网球视频解说中的应用。 53-62 冯瑞涛 , 林景强 , 陈森（Sen Chen） , 尚伟林 , 杨柳 :
SeqMobile：在移动设备上使用RNN的高效基于序列的恶意软件检测系统。 63-72 董益珍 , 张培新 , 王静怡 , 刘爽（音译） , 孙军（Jun Sun） , 郝建业 , 王新余 , 李旺 , 金松洞 , 婷黛 :
深度神经网络覆盖率与鲁棒性相关性的实证研究。 73-82
机器人与自治系统
马里奥·格雷舍尔 , Radu Calinescu公司 :
协作机器人的安全控制器综合。 83-92 托马斯·洛朗 , 保罗·阿卡尼 , 石川富树 , 安东尼·文崔斯克 :
使用基于搜索的测试生成实现自动驾驶系统的重量覆盖。 93-102 穆罕默德·阿希克·拉赫曼 , 拉哈特·马苏姆 , 马修·安德森 , 史蒂文·德拉格 :
对关键输电线路进行弹性监测的无人机轨迹的形式化综合。 103-112 西蒙·福斯特 , 马里奥·格雷舍尔 , Radu Calinescu公司 :
自动船用车辆控制算法的演绎验证。 113-118
区块链和安全
巴布·皮莱 , Kamanashis Biswas公司 , ZhéHóu , 瓦利普拉姆·穆图库马拉萨米 :
Burn-to-Claim跨区块链资产转移协议。 119-124 如季 , 宁豫河 , 雷武（Lei Wu） , 王浩宇 , 广东白族 , 姚国 :
DEPOSafe：解密以太坊智能合约中的假存款漏洞。 125-134 韩林伟（Hanlin Wei） , 广东白族 , 罗宗伟 :
Foggy：一种基于微服务的新型匿名通信架构。 135-144
软件开发
郝煌 , 姚璐 , 毛新军 :
从问答社区收集GitHub OSS需求：一项实证研究。 145-155 赞王 , 王海驰（Haichi Wang） , 刘爽（音译） , 孙军（Jun Sun） , 王浩宇 , 陈俊杰 :
IFIX：在引入并发错误时修复它们。 155-164 王荣（音） , 刘少英 , 佐藤裕治 :
一种基于测试的形式化验证的故障定位方法。 165-170
基础设施
贝扎德·法罗基 , 凯萨琳娜·多斯特 , 杰拉尔德·韦伯 , 孙静 , 克里斯托夫·卢特罗思 :
语义电子表格。 171-176 燕燕 , 黄凯欣 , 郑圣安（Shengan Zheng） , 薛东良 , 黄林鹏 :
ReoFS：持久内存的读效率和写优化文件系统。 177-186 肖恩·里维拉 , 安东尼奥·肯·伊恩尼洛 , 索菲安·拉格拉 , Clément Joly公司 , Radu状态 :
ROS-FM：机器人操作系统（ROS）的快速监控。 187-196
规划和优化
克劳迪娅·萨博 , 瓦尼娅·拉德诺维奇 , 格雷戈里·贾德 , 达斯汀·克拉格斯 , 李建良（Kin Leong Lee） , 陈晓山 , 陈凯文（Kevin Chan） :
在竞争和动态环境中优化沟通策略。 197-205 李沁源 , 李敏义 , Bao Quoc Vo公司 , Ryszard Kowalczyk公司 :
一种用于大规模异构任务分配的任意时间算法。 206-215 Nacha Chondamrongkul公司 , 孙静 , 伊恩·沃伦 :
软件体系结构迁移的自动化规划。 216-224
