Skip to content
Marcus Lindner
Marcus Lindner

Marcus Lindner

Computer Science
Department of Computer Science, Electrical and Space Engineering


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

Introducing Certified Compilation in Education by a Functional Language Approach (2019)

Lindgren. P, Lindner. M, Fitinghoff. N
Part of: Proceedings Seventh International Workshop on Trends in Functional Programming in Education, s. 65-78, Open Publishing Association, 2019
Conference paper

Verification of Safety Functions Implemented in Rust (2019)

a Symbolic Execution based approach
Lindner. M, Fitinghoff. N, Eriksson. J, Lindgren. P
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)

Lindgren. P, Lindner. M, Aparicio. J
Paper presented at : Trends in Functional Programming in Education (TFPIE 2018), Gothenburg, June 14, 2018