Program
Joint IWSF & SHIFT Workshop
Oct 31st, 08:50 - 09:10 EDT (13:50 - 14:10 CET)
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)
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)
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)
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)
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)
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)
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)
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)
Oct 31st, 11:50 - 12:00 EDT (16:50 - 17:00 CET)
Closing