{"id":1161,"date":"2021-08-23T14:38:22","date_gmt":"2021-08-23T06:38:22","guid":{"rendered":"http:\/\/lcs.ios.ac.cn\/fm2021\/?page_id=1161"},"modified":"2021-08-23T14:38:22","modified_gmt":"2021-08-23T06:38:22","slug":"i-day-accepted-papers","status":"publish","type":"page","link":"http:\/\/lcs.ios.ac.cn\/fm2021\/i-day-accepted-papers\/","title":{"rendered":"I-Day Accepted Papers"},"content":{"rendered":"

Carl-Johan Seger. Formal Verification of Complex Data Paths: An Industrial Perspective<\/em><\/p>\n

Song Gao,\u00a0Bohua Zhan<\/a><\/span>, Depeng Liu, Xuechao Sun, Yanan Zhi,\u00a0David N. Jansen<\/span><\/a> and Lijun Zhang. Formal Verification of Consensus in the Taurus Distributed Database<\/em><\/p>\n

Panagiotis Kouvaros, Trent Kyono,\u00a0Francesco Leofante<\/a><\/span>,\u00a0Alessio Lomuscio<\/a><\/span>,\u00a0Dragos Margineantu<\/a><\/span>,\u00a0Denis Osipychev<\/a><\/span> and Yang Zheng. Formal Analysis of Neural Network-based Systems in the Aircraft Domain<\/em><\/p>\n

Tino Teige<\/span><\/a>,\u00a0Andreas Eggers<\/a><\/span>, Karsten Scheibler,\u00a0Matthias Stasch<\/a><\/span>, Udo Brockmeyer, Hans J\u00fcrgen Holberg and Tom Bienm\u00fcller. Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems<\/em><\/p>\n

Cesar Santos,\u00a0Tom Schrijvers<\/a><\/span>, Amr Hany Saleh and Mike Nicolai. Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts<\/em><\/p>\n

Jiawan Wang,\u00a0Lei Bu<\/a><\/span>, Shaopeng Xing, Yuming Wu and Xuandong Li. Combined Online Checking and Control Synthesis: a Study on a Vehicle Platoon Testbed<\/em><\/p>\n

Yousaf Rahman, Md Tawhid Bin Waez and Yuming Niu. Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles<\/em><\/p>\n

Grant Passmore<\/a><\/span>. Some Lessons Learned in the Industrialization of Formal Methods for Financial Algorithms<\/em><\/p>\n

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<\/em><\/p>\n<\/div><\/div><\/div>