Hoppa till innehållet
Marcus Lindner
Marcus Lindner

Marcus Lindner

Datavetenskap
Institutionen för system- och rymdteknik

Publikationer

Artikel i tidskrift

Concurrent Reactive Objects in Rust Secure by Construction (2019)

Lindner. M, Aparicio. J, Lindgren. P
Ada User Journal, Vol. 40, nr. 1
Konferensbidrag

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

Lindgren. P, Lindner. M, Fitinghoff. N
Ingår i: Proceedings Seventh International Workshop on Trends in Functional Programming in Education, s. 65-78, Open Publishing Association, 2019
Konferensbidrag

Verification of Safety Functions Implemented in Rust (2019)

a Symbolic Execution based approach
Lindner. M, Fitinghoff. N, Eriksson. J, Lindgren. P
Ingår i: 2019 IEEE 17th International Conference on Industrial Informatics (INDIN), s. 432-439, IEEE, 2019
Konferensbidrag

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