2018年第四届SETTA：中国北京
新余峰 , 马库斯·穆勒·奥尔姆 , 资江·杨 以下为：
《可靠软件工程：理论、工具和应用——第四届国际研讨会》，2018年9月4日至6日，中国北京，SETTA。 计算机科学课堂讲稿 10998, 施普林格 2018 ，国际标准图书编号 978-3-319-99932-6
应邀会谈摘要
陶雪 以下为：
智能软件工程：人工智能和软件工程之间的协同。 3-7
软件保证
精炼
张腾（Teng Zhang） , 约翰·威格利 , 提奥菲洛斯·吉安娜科普洛斯 , 格雷戈里·埃克曼 , Clément Pit-嘉奖 
, 因苏普·李 , 奥列格·索科尔斯基 以下为：
使用逐步优化实现运行时监控器的正确构造。 31-49 Shmuel S.Tyszberowicz公司 , 罗伯特·海因里希 , 刘波（Bo Liu） , 刘志明 以下为：
使用功能分解识别微服务。 50-65岁
验证
白雪 , 詹乃军（Naijun Zhan） , 杨佳丽 , 王秋叶 以下为：
数值软件的稳健无终止分析。 69-88 斯蒂芬·阿德尔斯伯格 , 安东·塞策 , 埃里克·沃尔金肖 以下为：
在验证设置中开发GUI应用程序。 89-107 杨晨 , 张振亚 , 吴鹏（音） , 于章 以下为：
基于交错树的细粒度线性化故障定位。 108-126
杂项（短文）
钱俊彦 , 丛晨 , 魏曹 , 中义寨 , 赵玲忠 以下为：
通过简化Büchi自动机改进JavaMOP。 129-134 詹姆斯·史努克 , 迈克尔·巴特勒 , 泰国Son Hoang 以下为：
开发一种新的语言来构建Event-B的代数层次结构。 135-141 索米亚·保罗 , 彭军（Jun Pang） , 崔苏 以下为：
布尔网络的存在控制：初步报告。 142-149
时间安排和日程安排
伯恩哈德·艾切里尼（Bernhard K.Aichernig） , Severin Kann公司 , 理查德·舒米 以下为：
不同系统部署响应时间的统计模型检查。 153-169 Eun-Young Kang（安永康） , 李黄 以下为：
自动驾驶汽车系统时序约束的Simulink设计验证概率分析。 170-186 郭志山 , 卢卡·桑蒂内利 , 杨克诚 以下为：
具有有限HI-临界行为的混合临界调度。 187-199
