SHIFT+IWSF Program
For more details please refer to the individual workshop page.
IWSF & SHIFT 1
(Keynote) Model-based Network Fault Injection for IoT Protocols
Cyrille Artho
Improve Counterexample Quality for Failed Program Verification
Li Huang, Bertrand Meyer and Manuel Oriol
IWSF & SHIFT 2
Correlating Test Events With Monitoring Logs For Test Log Reduction And Anomaly Prediction
Bahareh Afshinpour, Roland Groz and Massih-Reza Amini
(Keynote) Explainable Vulnerabilities Descriptions with NIST BF
Irena Bojanova
IWSF & SHIFT 3
Improving Flexibility in Embedded System Runtime Verification with Python
Wanjin Zhou, Feifei Hu and Junyan Ma
Closing