The 21st International Conference on Formal Engineering Methods

ICFEM 2019

November 5th-9th, 2019, Shenzhen, China

The ICFEM 2019 Doctoral Symposium

Nov. 9th, 2019


Note: This is a tentative program. Please check later for updates.

08:30—08:35 Opening
08:35—09:00 Design Model Repair with Formal Verification
Cheng-Hao Cai, Jing Sun and Gill Dobbi
09:00—09:25 Certifying Hardware Model Checking Results
Zhengqi Yu, Armin Biere and Keijo Heljanko
09:25—09:50 Robustness of Piece-wise Linear Neural Network with Feasible Region Approaches
Jay Hoon Jung and Youngmin Kwon
09:50—10:15 A Note on Failure Mode Reasoning
Hamid Jahanian
10:15—10:45 Coffee Break
10:45—11:10 Formal Specification and Verification of Smart Contracts
Jiao Jiao
11:10—11:35 A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification based on Machine Learning
Dongdong An
11:35—12:00 A Performance-Sensitive Malware Detection System on Mobile Platform
Ruitao Feng, Yang Liu and Shang-Wei Lin
12:00—12:25 Spatial-Temporal Specification Language for Cyber-Physical Systems
Tengfei Li
12:25—12:30 Closing