Marcus Lindner
Marcus Lindner

Marcus Lindner

Computer Science
Department of Computer Science, Electrical and Space Engineering
marcus.lindner@ltu.se
A3302 Luleå

Publications

Article in journal

Concurrent Reactive Objects in Rust Secure by Construction (2019)

Lindner. M, Aparicio. J, Lindgren. P
Ada User Journal, Vol. 40, nr. 1
Conference paper

Hardware-in-the-loop based WCET analysis with KLEE (2018)

Lindner. M, Aparicio. J, Tjäder. H, Lindgren. P, Eriksson. J
Part of: 2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), s. 345-352, IEEE, 2018
Conference paper

Heapless (2018)

Dynamic Data Structures without Dynamic Heap Allocator for Rust
Aparicio Rivera. J, Lindner. M, Lindgren. P
Part of: 2018 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), s. 87-94, IEEE, 2018, 8472097
Conference paper

No Panic! Verification of Rust Programs by Symbolic Execution (2018)

Lindner. M, Aparicio. J, Lindgren. P
Paper presented at : 16th International Conference on Industrial Informatics (INDIN), Porto, Portugal, 18-20 July 2018