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
Konferensbidrag
Introducing Certified Compilation in Education by a Functional Language Approach (2019)
Ingår i: Proceedings Seventh International Workshop on Trends in Functional Programming in Education, s. 65-78, Open Publishing Association, 2019
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: 2019 IEEE 17th International Conference on Industrial Informatics (INDIN), s. 432-439, IEEE, 2019
Konferensbidrag
Embedded Programming adopting Functional Constructs in Rust (2018)
Paper presented at : Trends in Functional Programming in Education (TFPIE 2018), Gothenburg, June 14, 2018