Concepedia

Marcus Lindner

ML

Statistics

Publications

4

Citations

79

H-Index

4

Active since

2015

Affiliations

Luleå University of Technology(Current)

INESC TEC

Marcus Lindner is an author at Luleå University of Technology specializing in computer science, computer engineering, and real-time systems design.

Publications per year

2015–2018

4

Publications

4

No Panic! Verification of Rust Programs by Symbolic Execution

Marcus Lindner, Jorge Aparicius, Per Lindgren · 2018 · 37 citations

, , +17

A real-time semantics for the IEC 61499 standard

Per Lindgren, Marcus Lindner, Andreas Lindner et al. · 2015 · 15 citations · Full text

, , +17

End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet

Per Lindgren, Johan Eriksson, Marcus Lindner et al. · IEEE Transactions on Industrial Informatics · 2016 · 15 citations

, , +16

RTFM-core: Language and implementation

Per Lindgren, Marcus Lindner, Andreas Lindner et al. · 2015 · 12 citations · Full text

, , +17

1–4 of 4