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
Conference paper
Introducing Certified Compilation in Education by a Functional Language Approach (2019)
Part of: Proceedings Seventh International Workshop on Trends in Functional Programming in Education, s. 65-78, Open Publishing Association, 2019
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
Embedded Programming adopting Functional Constructs in Rust (2018)
Paper presented at : Trends in Functional Programming in Education (TFPIE 2018), Gothenburg, June 14, 2018