WoSoCer 2022 Program


For more details please refer to the individual workshop page.

WoSoCer Keynote

How Safe Is Safe Enough for Autonomous Vehicles?
Philip Koopman

WoSoCer2: Performance, Safety/Security, and Machine Learning Assessment

Towards Assessing Isolation Properties in Partitioning Hypervisors
Carmine Cesarano, Domenico Cotroneo and Luigi De Simone

Continuous Verification of Open Source Components in a World of Weak Links
Thomas Hastings and Kristen Walcott

Performance Bottleneck Analysis of Drone Computation Offloading to a Shared Fog Node
Qingyang Zhang, Fumio Machida and Ermeson Andrade

Towards the Quantitative Verification of Deep Learning for Safe Perception
Philipp Schleiss, Yuki Hagiwara, Iwo Kurzidem and Francesco Carella

WoSoCer3: Safety in Avionic Domain

Improving Documentation Agility in Safety-Critical Software Systems Development For Aerospace
Joaquim Rodrigues, Eduardo Ribeiro and Ademar Aguiar

Programming Language Evaluation Criteria for Safety-Critical Software in the Air Domain
Rob Ashmore, Andrew Howe, Rhiannon Chilton and Shamal Faily

A Domain Specific Language for the ARINC 653 Specification
Ikram Darif, Cristiano Politowski, Ghizlane El Boussaidi and S├Ęgla Kpodjedo