FM 2026 (series) / Research Track /
A Formal Framework for Predicting Distributed System Performance under Faults
Fri 22 May 2026 16:10 - 16:35 at 2F Auditorium - Session 10: Distributed Systems & Fault Tolerance Chair(s): Matthias Volk
Fri 22 MayDisplayed time zone: Osaka, Sapporo, Tokyo change
Fri 22 May
Displayed time zone: Osaka, Sapporo, Tokyo change
16:10 - 17:50 | Session 10: Distributed Systems & Fault Tolerance Research Track at 2F Auditorium Chair(s): Matthias Volk Eindhoven University of Technology | ||
16:10 25mTalk | A Formal Framework for Predicting Distributed System Performance under Faults Research Track Ziwei Zhou East China Normal University, Si Liu Texas A&M University, Zhou Zhou East China Normal University, Peixin Wang East China Normal University, Min Zhang East China Normal University | ||
16:35 25mTalk | Fast SMT-Based Fault Tolerance Verification for Wide Area Networks Research Track Ning Kang Xi'an Jiaotong University, Peng Zhang Xi'an Jiaotong University, Hao Li Xi'an Jiaotong University, Jianyuan Zhang Xi'an Jiaotong University | ||
17:00 25mTalk | A Refined Ordering Consistency Theory: Full Sequential Consistency and Generalized Preventive Reasoning Research Track | ||
17:25 25mTalk | BDD-based Deadlock Prevention for Automated Guided Vehicles in Warehouse Logistics Research Track Benjamin von Berg Graz University of Technology, Bernhard Aichernig Johannes Kepler University, Linz, Fabian Wedenik KNAPP AG | ||