San Francisco Time, UTC -8:00
Tuesday, November 23rd
00:00-01:30Session 1
Chair:
Yang Liu
00:00
Carl Seger
Invited Talk: Formal Verification of Complex Data Paths: An Industrial Perspective [video]
Presenter: Carl Seger
01:00
Tino Teige, Andreas Eggers, Karsten Scheibler, Matthias Stasch, Udo Brockmeyer, Tom Bienmüller and Hans Jürgen Holberg
Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems [video]
Presenter: Udo Brockmeyer
01:30-02:00Break
02:00-03:30Session 2
Chair:
Luigia Petre
02:00
Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos Margineantu, Denis Osipychev and Yang Zheng
Formal Analysis of Neural Network-based Systems in the Aircraft Domain [video]
Presenter: Francesco Leofante
02:30
Song Gao, Bohua Zhan, Depeng Liu, Xuechao Sun, Yanan Zhi, David N. Jansen and Lijun Zhang
Formal Verification of Consensus in the Taurus Distributed Database [video]
Presenter: Song Gao
03:00
Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu and Xuandong Li
Combined Online Checking and Control Synthesis: a Study on a Vehicle Platoon Testbed [video]
Presenter: Jiawan Wang
03:30-04:00         Break
04:00-05:30Session 3
Chair:
Erika Abraham
04:00
Grant Passmore
Invited Talk: Some Lessons Learned in the Industrialization of Formal Methods for Financial Algorithms [video]
Presenter: Grant Passmore
05:00
Yousaf Rahman, Md Tawhid Bin Waez and Yuming Niu
Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles [video]
Presenter: Yousaf Rahman
05:30-06:00Break
06:00-07:00Session 4
Chair:
Francesco Leofante
06:00
Cesar Santos, Tom Schrijvers, Amr Hany Saleh and Mike Nicolai
Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts [video]
Presenter: Cesar Santos
06:30
Wenjing Xu, Yongwang Zhao, Chengtao Cao, Jean Raphael Ngnie Sighom, Lei Wang, Zhe Jiang and Shihong Zou
Apply Formal Methods in Certifying the SyberX High-Assurance Kernel [video]
Presenter: Jean Raphael Ngnie Sighom