Beijing Time, UTC +8:00
Tuesday, November 23rd
16:00-17:30Session 1
Chair:
Yang Liu
| 16:00 |
Carl Seger
Invited Talk: Formal Verification of Complex Data Paths: An Industrial Perspective [video]
Presenter: Carl Seger
|
| 17: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
|
17:30-18:00Break
18:00-19:30Session 2
Chair:
Luigia Petre
| 18: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
|
| 18: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
|
| 19: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
|
19:30-20:00 Break
20:00-21:30Session 3
Chair:
Erika Abraham
| 20:00 |
Grant Passmore
Invited Talk: Some Lessons Learned in the Industrialization of Formal Methods for Financial Algorithms [video]
Presenter: Grant Passmore
|
| 21:00 |
Yousaf Rahman, Md Tawhid Bin Waez and Yuming Niu
Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles [video]
Presenter: Yousaf Rahman
|
21:30-22:00Break
22:00-23:00Session 4
Chair:
Francesco Leofante
| 22: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
|
| 22: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
|