Marcus Lindner
Marcus Lindner

Marcus Lindner

marcus.lindner@ltu.se
+46 (0)920 492175
A3302 Luleå

Publications

Conference paper

Hardware-in-the-loop based WCET analysis with KLEE (2018)

Lindner. M, Aparicio. J, Tjäder. H, Lindgren. P, Eriksson. J
Part of: 2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), s. 345-352, IEEE, 2018
Conference paper

Heapless (2018)

Dynamic Data Structures without Dynamic Heap Allocator for Rust
Aparicio Rivera. J, Lindner. M, Lindgren. P
Part of: 2018 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), s. 87-94, IEEE, 2018, 8472097
Conference paper

No Panic! Verification of Rust Programs by Symbolic Execution (2018)

Lindner. M, Aparicio. J, Lindgren. P
Paper presented at : 16th International Conference on Industrial Informatics (INDIN), Porto, Portugal, 18-20 July 2018
Conference paper

Contract Based Verification of IEC 61499 (2017)

Lindgren. P, Lindner. M, Pereira. D, Pinho. L
Part of: IEEE International Conference on Industrial Informatics (INDIN), s. 132-141, Institute of Electrical and Electronics Engineers (IEEE), 2017, 7819147
Article in journal

End-to-End Response Time of 61499 Distributed Applications over Switched Ethernet (2017)

Lindgren. P, Eriksson. J, Lindner. M, Lindner. A, Pereira. D, Pinho. L
IEEE Transactions on Industrial Informatics, ISSN: 1551-3203, Vol. 13, nr. 1, s. 287-297