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
Verification of Safety Functions Implemented in Rust (2019)
a Symbolic Execution based approach
Part of: 2019 IEEE 17th International Conference on Industrial Informatics (INDIN), s. 432-439, IEEE, 2019
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
