Program

Joint IWSF & SHIFT Workshop

Oct 31st, 08:50 - 09:10 EDT (13:50 - 14:10 CET)

Opening and Welcome

Oct 31st, 09:10 - 09:55 EDT (14:10 - 14:55 CET)

Keynote: Model-based Network Fault Injection for IoT Protocols

Invited Keynote by Cyrille Artho, PhD, Assoc. Prof. , KTH Royal Institute of Technology in Stockholm, Sweden

Oct 31st, 09:55 - 10:15 EDT (14:55 - 15:15 CET)

Paper: Improve Counterexample Quality for Failed Program Verification

Li Huang, Bertrand Meyer and Manuel Oriol

Oct 31st, 10:15 - 10:30 EDT (15:15 - 15:30 CET)

Coffee break

Oct 31st, 10:30 - 10:50 EDT (15:30 - 15:50 CET)

Paper: Correlating Test Events With Monitoring Logs For Test Log Reduction And Anomaly Prediction

Bahareh Afshinpour, Roland Groz and Massih-Reza Amini

Oct 31st, 10:50 - 11:15 EDT (15:50 - 16:15 CET)

Keynote: Explainable Vulnerabilities Descriptions with NIST BF

Invited Keynote by Irena Bojanova, National Institute of Standards and Technology

Oct 31st, 11:15 - 11:30 EDT (16:15 – 16:30 CET)

Coffee break

Oct 31st, 11:30 - 11:50 EDT (16:30 – 16:50 CET)

Paper: Improving Flexibility in Embedded System Runtime Verification with Python

Wanjin Zhou, Feifei Hu and Junyan Ma

Oct 31st, 11:50 - 12:00 EDT (16:50 - 17:00 CET)

Closing