Hardware-in-the-loop based WCET analysis with KLEE. - Marcus Lindner; Jorge Aparicio Rivera; Henrik Tjader; Per Lindgren; Johan Eriksson (ETFA, 2018)

Heapless: Dynamic Data Structures without Dynamic Heap Allocator for Rust. - Jorge Aparicio Rivera; Marcus Lindner; Per Lindgren (INDIN, 2018)

Cargo-call-stack Static Call-stack Analysis for Rust. - Per Lindgren; Nils Fitinghoff; Jorge Aparicio Rivera (INDIN, 2019)