Marcus Lindner
Datavetenskap
Institutionen för system- och rymdteknik
Publikationer
Artikel i tidskrift
Concurrent Reactive Objects in Rust Secure by Construction (2019)
Ada User Journal, Vol. 40, nr. 1
Doktorsavhandling, sammanläggning
!secure(system) <=?=> !safe(system) (2019)
On Security and Safety of Industrial Software Systems
Konferensbidrag
Verification of Safety Functions Implemented in Rust (2019)
a Symbolic Execution based approach
Ingår i: Proceedings, 2019 IEEE 17th International Conference on Industrial Informatics (INDIN), s. 432-439, IEEE, 2019
Konferensbidrag
Hardware-in-the-loop based WCET analysis with KLEE (2018)
Ingår i: 2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), s. 345-352, IEEE, 2018
Konferensbidrag
Heapless (2018)
Dynamic Data Structures without Dynamic Heap Allocator for Rust
Ingår i: 2018 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), s. 87-94, IEEE, 2018, 8472097
