Verification of Integrity in Vehicle Architectures. - Christine Jakobs; Billy Naumann; Matthias Werner 001; Karsten Schmidt 003 (NISS, 2020)

Performance and energy consumption of the SIMD Gram-Schmidt process for vector orthogonalization. - Thomas Jakobs; Billy Naumann; Gudula Rünger (J. Supercomput., 2020)

Formal analysis of timeliness in the RaSTA protocol. - Billy Naumann; Christine Jakobs; Matthias Werner 001 (FedCSIS, 2022)