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