Accepted Papers

• Alberto Bombardelli, Laura Bozzelli, Cesar Sanchez and Stefano Tonetta: (Asynchronous) Temporal Logics for Hyperproperties on Finite Traces
• Csanád Telbisz, Levente Bajczi, Dániel Szekeres and András Vörös: On-the-fly Cone-of-Influence Reduction for Model Checking Concurrent Software
• Daniel Hausmann, Merlin Humml, Simon Prucker and Lutz Schröder: Efficient Model Checking for the Alternating-Time µ-Calculus via Effectivity Frames (Tool Paper)
• Dirk Beyer, Marek Jankola, Marian Lingsch-Rosenfeld, Tian Xia and Xiyue Zheng: A Modular Program-Transformation Framework for Reducing Specifications to Reachability
• Filip Kliber and Pavel Parizek: Locating Concurrency Errors in Windows .NET Applications by Fuzzing over Thread Schedules
• Scott Stoller, Balaji Jayasankar and Yanhong A. Liu: Resilience through Automated Adaptive Configuration for Distribution and Replication
• Theo De Castro Pinto, Antoine Rollet and Grégoire Sutre: An Efficient and Versatile Approach to Shortest Path Problems in Interprocedural Programs
• Yanni Dong, Milan Lopuhaä-Zwakenberg and Marielle Stoelinga: 0-1 Laws for LTL and CTL over Random Transition Systems
• Yibo Dong, Xiwei Wu, Jianwen Li, Geguang Pu and Ofer Strichman: Accelerating CAR-based Model-Checking with Multiple Unsatisfiable Cores