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