Marcus Lindner
Doktorand
Luleå tekniska universitet
Luleå tekniska universitet
Datavetenskap
Institutionen för system- och rymdteknik
Publikationer
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
Konferensbidrag
No Panic! Verification of Rust Programs by Symbolic Execution (2018)
Paper presented at : 16th International Conference on Industrial Informatics (INDIN), Porto, Portugal, 18-20 July 2018
Konferensbidrag
Contract Based Verification of IEC 61499 (2017)
Ingår i: IEEE International Conference on Industrial Informatics (INDIN), s. 132-141, Institute of Electrical and Electronics Engineers (IEEE), 2017, 7819147
Artikel i tidskrift
End-to-End Response Time of 61499 Distributed Applications over Switched Ethernet (2017)
IEEE Transactions on Industrial Informatics, ISSN: 1551-3203, Vol. 13, nr. 1, s. 287-297
