第21届ICFEM 2019：中国深圳
雅敏·艾特·阿米尔 , 秦胜超 以下为：
形式化方法和软件工程——第21届形式化工程方法国际会议，2019年国际有限元大会，中国深圳，2011年11月5日至9日，会议记录。 计算机科学课堂讲稿 11852, 施普林格 2019 ，国际标准图书编号 978-3-030-32408-7
邀请的谈话
常规论文
马克·克莱恩·勃宁 , 托马斯·巴利奥 , 卡斯滕·辛兹 以下为：
使用DimSpec进行有界和无界软件模型检查。 19-35 张月玲 , 葛光浦 , 张敏（音） 以下为：
SMTBCF：SMT公式的高效骨干计算。 36-51 长谷川（Isamu Hasegawa） , Tomoyuki横河 以下为：
使用模型检查对基于节点的可视脚本表示法进行自动验证。 52-68 惠峰 , 法哈德·阿巴布 , 马塞洛·M·邦桑格 以下为：
软件定义网络的Reo模型。 69-85 伯华詹 , 《真言集》 , 周文凡 , 朝珠巷 , 杰厚 , 孙文辉 以下为：
校对助理的点击式用户界面设计。 86-103 林成 以下为：
SqlSol:准确的SQL查询合成器。 104-120 李锡盟 , 施志平 , 张倩莹 , 王国辉 , 永冠 , 宁汉 以下为：
在中级语言级别验证以太坊智能合约。 121-137 帕特里克·加迪 , 邓玉欣 
以下为：
信息不完全的多智能体系统仿真。 138-153 莱安德罗·戈麦斯 , 亚历山大·马德拉 , 马尼沙·贾因 , 路易斯·苏亚雷斯·巴博萨 以下为：
加权强制程序的等式动态逻辑生成。 154-169 袁飞 , 朱慧彪 , 孙海英 , 贾其寅 以下为：
命名数据网络无线网络的安全演算。 170-185年 马克·克莱恩·勃宁 , 卡斯滕·辛兹 以下为：
用于有界模型检查的大型程序的自动模块化。 186-202 双清香 , 马塞洛·M·邦桑格 , 朱慧彪 以下为：
PDNet：一种用于带有VLAN的软件定义网络的编程语言。 203-218 克劳斯·迪特尔·斯奎 以下为：
序列抽象状态机中静态一阶不变量的一致性增强。 219-235 白雪 , 马丁·弗伦泽 , 赵恒军 , 詹乃军（Naijun Zhan） , 阿尔文德·伊斯瓦兰 以下为：
混合动力系统的近似安全性验证。 236-252 亚斯梅恩·埃尔德哈利 , 奥斯曼·哈桑 , 索菲涅·塔哈尔 以下为：
动态可靠性框图的形式验证代数方法。 253-269 Sylvain Conchon公司 , 马蒂亚斯·鲁克斯 以下为：
MCMT中关于通用立方体的推理。 270-285 张嘉良 , 博高 , 郝晓 , 孙军（Jun Sun） , 闫才 , 资江·杨 以下为：
sCompile:智能合约的关键路径识别和分析。 286-304年 布巴卡尔·登巴·萨尔 , 弗雷德里克·佩申斯基（Frédéric Peschanski） , 伊曼纽尔·查洛（Emmanuel Chailloux） 以下为：
程序优化的机械化理论。 305-321 卓锡龙 , 张晨毅 以下为：
用于构建调用图的关系静态语义。 322-335 艾莉森·沙利文 , 达科·马里诺夫 , 萨尔夫拉兹·库希德 以下为：
解决方案枚举抽象：增强轻量级形式化方法的建模习惯用法。 336-352 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 雅库布·波拉切克 , 大卫·萨法内克 以下为：
参数化布尔网络中定性长期行为的形式化分析。 353-369 丹尼斯·波特雷诺 , 艾蒂安·雷诺 以下为：
将并行空检查与部分订单缩减相结合。 370-386 刘艾 , 孟孙 以下为：
量子系统的协同语义框架。 387-402 李永健 , 王朝霞（Bow-Yaw Wang） 以下为：
通过术语级广义符号轨迹评估进行参数化硬件验证。 403-419 徐俊楠 , 刘万伟 , 大卫·N·詹森 , 张丽君 以下为：
概率微积分的公理化。 420-437 李毅 , 孙学超 , 李勇 , 安德烈亚·图里尼 , 张丽君 以下为：
基于SVM的循环程序嵌套排序函数综合。 438-454 萨尔瓦·苏亚夫 , 弗雷德里克·卢勒格 以下为：
合金转化为Coq的第一步。 455-469 史蒂夫·杰弗里·图诺·福措 , 雷金·拉劳 , 马克·弗拉皮耶 , 阿梅尔·马玛 , 弗朗索瓦·西博多 , 妈妈Nsangou Mouchili 以下为：
运输系统形式化需求建模方法的评估。 470-486
博士论文研讨会
蔡成浩 , 孙晶（音译） , 吉莉安·多比 以下为：
设计模型修复与形式验证。 489-492 冯瑞涛 , 杨柳 , 林尚伟 以下为：
基于移动平台的性能敏感恶意软件检测系统。 493-497 Zhengqi余 , 阿明·比尔 , 凯霍·赫尔扬科 以下为：
验证硬件模型检查结果。 498-502 哈米德·贾哈尼扬 以下为：
关于故障模式推理的注释。 503-506 周润中（Jay Hoon Jung） , 杨敏权 以下为：
基于可行域方法的分段线性神经网络的鲁棒性。 507-511 娇娇 以下为：
智能合约的正式规范和验证。 512-516 李腾飞 以下为：
网络物理系统的时空规范语言。 517-521 东东安 , 刘静（音译） , 陈晓红 , 李腾飞 , 凌音 以下为：
基于机器学习的具有人类行为分类的网络-物理-社会系统建模框架。 522-525
