Billy Naumann

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 3

Top Topics

Formal Analysis

Energy Consumption

Integrity Checking

Top Venues

J. Supercomput.

Publications

Billy Naumann, Christine Jakobs, Matthias Werner
Formal analysis of timeliness in the RaSTA protocol. FedCSIS (2022)
Thomas Jakobs, Billy Naumann, Gudula Rünger
Performance and energy consumption of the SIMD Gram-Schmidt process for vector orthogonalization. J. Supercomput. 76 (3) (2020)
Christine Jakobs, Billy Naumann, Matthias Werner, Karsten Schmidt
Verification of Integrity in Vehicle Architectures. NISS (2020)