Marcus Lindner
Computer Science
Department of Computer Science, Electrical and Space Engineering
Publications
Article in journal
Concurrent Reactive Objects in Rust Secure by Construction (2019)
Ada User Journal, Vol. 40, nr. 1
Doctoral thesis, comprehensive summary
!secure(system) <=?=> !safe(system) (2019)
On Security and Safety of Industrial Software Systems
Conference paper
Hardware-in-the-loop based WCET analysis with KLEE (2018)
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
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)
Paper presented at : 16th International Conference on Industrial Informatics (INDIN), Porto, Portugal, 18-20 July 2018
