您的位置:首页 > 科学研究 > 学术科研

第三届全国形式化方法与应用会议暨形式化专委年会(FMAC 2018)即将开幕

发布时间:2018-11-02 来源:本站原创 作者:本站编辑   浏览次数:

第三届全国形式化方法与应用会议暨形式化专委年会(FMAC 2018)即将开幕

第三届全国形式化方法与应用会议,暨形式化专委年会将于20181103日在重庆市北碚区西南大学桂园宾馆会议厅正式拉开帷幕。大会由西南大学计算机与信息科学学院承办,会议期间将设置特邀报告、论文报告、专题论坛、青年学者论坛等多种学术交流形式。会议主题包括:形式化方法与理论计算机科学、软件工程、系统软件、嵌入式系统、网络与信息安全、人工智能等学科和领域交叉结合研究等方向,具体议程如下,欢迎广大师生参加!

 

2018   11 2

2:00pm-5:30pm

注册(西南大学桂园宾馆丹桂楼大厅)

7:00pm-9:00pm

注册(西南大学桂园宾馆丹桂楼大厅)

2018   11 3

8:00am-8:30

am

注册(西南大学桂园宾馆丹桂楼大厅)

8:30am-9:00am

开幕式(3楼10会议室)

主持:Naijun   Zhan、专委主任讲话、西南大学计信院领导致欢迎词

9:00am-10:00am

特邀报告(主持:王戟)

Zhenjiang Hu   (National Institute of Informatics/University of Tokyo)

Verification of   Roundtrip Property in Bidirectional Programming

10:00am-10:30am  

茶歇/墙贴报告

10:30am-12:00am

FMAC 分组(3楼9会议室):

验证算法

YR-FMAC 分组(3楼2会议室):

Program Analysis and Verification I

主持:朱惠彪

Session Chair:Zhenbang Chen

Chi Hu, Wei   Dong, Yonghui Yang, Hao Shi, Ge Zhou. ROS-based   Runtime Verification on Hierarchical Properties of Robot Swarm

Jiangchao Liu, Liqian Chen  Xavier Rival. Automatic Verification of   Embedded System Code Manipulating Dynamic Structures Stored in Contiguous   Regions

Dehui Du, Kaiqiang Jiang, Xin Bai. DAL-SMC: Distributed Statistical Model Checking with Abstraction and Learning

Fengmin Zhu, Fei   He. Conflict Resolution for Structured Merge via Version Space Algebra

Xi Deng, Yuxin Deng. Qsimulation: 一个量子计算模拟器工具

 

Taolue Chen,   Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan. Android Stack Machine

Na Yu, Rui Chen,   Chunpeng Jia. Improved modular abstract interpretation for interrupt-driven   program

12:00am-1:30pm

合影,午餐

1:30pm-3:00pm

FMAC 分组(3楼9会议室):

程序分析

YR-FMAC 分组(3楼2会议室):

Real-Time   Systems

主持:张辰一

Session Chair: Lei Bu

Ling Li, Yuanke Gan, Shu Shang, Shengyuan Wang. A Formally Verified Parser for the Lustre* Language

Lingtai Wang, Naijun Zhan, Jie An. The Opacity of Real-time   Automata

Bingqing Xu ,Qin Li. A Decision-making Model for Autonomous   Cars Based on Local Traffic and Estimation

Qi Zhang, Yi Li, Meng Sun. Automatic Generation of SystemC Code from Mediator

Keyin Li. A Unified Framework for Verification of Real-Time   Systems

贾春鹏, 余娜, 车小鹏, 陈睿. 航天嵌入式软件数组越界检测方法研究 

Jingran Xu. Formalization of perturbed Kepler problem based   on geometric algebra theory

3:00pm-3:30pm

茶歇/墙贴报告

3:30pm-5:00pm

FMAC分组(3楼9会议室):

合成

YR-FMAC 分组(3楼2会议室):

Program Analysis   and Verification II

主持:张苗苗

Session Chair:Zhiling Wu

Hao Shi, Rui Li, Wanwei Liu, Wei Dong, Ge Zhou. Iterative Controller Synthesis for Multi-Robot System

Yuan Zhuang, Dachuan Shen, Lei Bu. Concurrent Code   Synthesis By Statistical Model Checking and Intelligent Search

Liyun Dai, Bo Liu, Zhiming Liu, Taolue Chen. Parameter Synthesis Problems for Parametric Timed Automata 

Pengfei Gao, Jun Zhang, Fu Song, Chao Wang. Verifying and   Quantifying Side-Channel Resistance of Masked Software Implementations

Zhiwu Xu, Xiongya Hu, Cheng Wen, Shengchao Qin. Extracting   Automata from Neural Networks Using Active Learning

Jiaqi Qian, Min Zhang, Yi Wang. KupC: A Formal Verification   Framework for Dynamic Software Updating of C Programs

Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick   Cousot. Program Verification Based on Iterative   Abstract Testing

5:00pm-6:30pm
Panel Session(310会议室): 

Formal Methods in Industry   Applications

主持:刘志明

讨论嘉宾:顾斌,叶宏,刘洪宇,郭宇,鲍敏祺

顾斌(航天科技集团),形式化方法在航天的应用实践与思考

刘洪宇(华为技术有限公司),机会与挑战——ICT全栈产品场景下的形式化验证

郭宇(安比(SECBIT)实验室),智能合约的安全问题与形式化验证

鲍敏祺 Synopsys),VC Formal概述

6:30pm-8:00pm

会议晚宴

8:20pm-10:00pm

CCF形式化方法专业组会议(310会议室)

2018   11 4

8:30am-9:00am

注册(西南大学桂园宾馆丹桂楼大厅)

9:00am-10:00am

特邀报告(主持:庞军)

Xinyu Feng(Nanjing University) 
并发C程序编译器验证初探

10:00am-10:30am  

茶歇/墙贴报告

10:30am-12:00am

FMAC分组(3楼9会议室):

建模

软件学报专刊分组(3楼2会议室):

程序分析与验证

主持:邓玉欣

主持:贺飞

Wen Su. Modeling of Timing Constraints in Hybrid Systems Using Event-B

杨志斌,袁胜浩,谢健,周勇,陈哲,

BODEVEIXJean-Paul,FILALIMamoun. 一种基于OCAML的同步语言多线程代码自动生成工具

Yihao Huang, Jincao Feng, Hanyue Zheng, Weikai Miao, Geguang Pu. A Formal Engineering method for the Requirements Modeling of Airborne Embedded Control Software

康跃馨,甘元科,王生原.   同步数据流语言可信编译器 Vélus 与L2C 的分析与比较

Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke, Quan Zu, Xiaohong Chen. Automated Prototype Generation from Formal Requirements Model

李轶,蔡天训,吴文渊,冯勇.   基于 SVM 的多项式循环程序秩函数探测

12:00am-1:30pm

午餐

1:30pm-3:00pm

FMAC分组(3楼9会议室):

逻辑与分析

YR-FMAC 分组(3楼2会议室):

Model-based   System Design

主持:董威

Session Chair:Min Zhang

宋佳雯, 肖美华, 王西忠, 杨科, 钟小妹. 基于事件逻辑的PUF相关认证协议安全性分析

Haifeng Gu, Jianning Zhang, Mingsong Chen, Fei Xie.   Specification-Driven Automated Conformance Checking for Virtual Prototype and   Post-Silicon Designs

Ximing Wen, Liangda Fang, Quan Yu, Liang Chang, Ju Wang. Knowledge Forgetting in Multi-Agent Modal Logic System Kn

Chengwei Liu, Zhibin Yang, Tao Yue, Yong Zhou, Zhiqiu   Huang. Automated Derivation of AADL Models from Requirements in Restricted   Natural Language

Yi Li. Component-based Formal Engineering in Mediator

何娟娟, 刘冬梅, 朱鸿. 面向Web服务测试的单线执行序列生成方法 

Xiyue Zhang. Modeling and Verification of Component   Connectors

3:00pm-3:30pm

茶歇/墙贴报告

3:30pm-5:00pm

软件学报专刊分组 (3楼9会议室):

系统建模与分析

软件学报专刊分组(3楼2会议室):

算法

主持:陈立前

主持:张立军

张锦坤,杨孟飞,乔磊,杨桦,刘波.   基于有限状态机的操作系统需求层形式化验证

安杰,张苗苗. 基于实时自动机的连续时段演算的验证

杨康,王瑞,关永,李晓娟,施智平,宋晓宇.   具有多传感器的CPS系统的攻击检测

丁如江,李国强. 非交互式Petri网可覆盖性验证的高效实现

付春艳,郑扣根. 安全ad   hoc路由协议SRP的建模与分析

朱凯,毋国庆,吴理华.   有关时间自动机重置的若干问题的计算复杂性

罗晨霞,王瑞,关永,李晓娟,施智平,宋晓宇.   面向实时数据的CPS系统一体化建模方法

乌尼日其其格,李小平,马世龙,吕江花,张思卿.   高阶类型化软件体系结构建模和验证及案例

5:00pm-5:15pm

闭幕式(3楼10会议室)

主持:朱惠彪

 

会议更多信息请您参看FMAC2018官网:http://fmac2018.ecnu.edu.cn/