Object Recognition Using Summed Features Classifier. - Marcus Lindner; Marco Block; Raúl Rojas 001 (ICAISC (1), 2012)

Real-time execution of function blocks for Internet of Things using the RTFM-kernel. - Per Lindgren; Marcus Lindner; Andreas Lindner; Johan Eriksson; Valeriy Vyatkin (ETFA, 2014)

A real-time semantics for the IEC 61499 standard. - Per Lindgren; Marcus Lindner; Andreas Lindner; Valeriy Vyatkin; David Pereira; Luís Miguel Pinho (ETFA, 2015)

RTFM-RT: A threaded runtime for RTFM-core - towards execution of IEC 61499. - Andreas Lindner; Marcus Lindner; Per Lindgren (ETFA, 2015)

Response time for IEC 61499 over Ethernet. - Per Lindgren; Johan Eriksson; Marcus Lindner; Andreas Lindner; David Pereira; Luís Miguel Pinho (INDIN, 2015)

Well-formed control flow for critical sections in RTFM-core. - Per Lindgren; Marcus Lindner; Andreas Lindner; David Pereira; Luís Miguel Pinho (INDIN, 2015)

A Formal Perspective on IEC 61499 Execution Control Chart Semantics. - Per Lindgren; Marcus Lindner; David Pereira; Luís Miguel Pinho (TrustCom/BigDataSE/ISPA (3), 2015)

Towards certified compilation of RTFM-core applications. - Per Lindgren; Marcus Lindner; David Pereira; Luís Miguel Pinho (ETFA, 2016)

Safe tasks: Run time verification of the RTFM-lang model of computation. - Marcus Lindner; Andreas Lindner; Per Lindgren (ETFA, 2016)

Contract based verification of IEC 61499. - Per Lindgren; Marcus Lindner; David Pereira; Luís Miguel Pinho (INDIN, 2016)

Abstract timers and their implementation onto the ARM Cortex-M family of MCUs. - Per Lindgren; Emil Fresk; Marcus Lindner; Andreas Lindner; David Pereira; Luís Miguel Pinho (SIGBED Rev., 2016)

RTFM-core: course in compiler construction. - Marcus Lindner; Andreas Lindner; Per Lindgren (SIGBED Rev., 2016)

End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet. - Per Lindgren; Johan Eriksson; Marcus Lindner; Andreas Lindner; David Pereira; Luís Miguel Pinho (IEEE Trans. Ind. Informatics, 2017)

Hardware-in-the-loop based WCET analysis with KLEE. - Marcus Lindner; Jorge Aparicio Rivera; Henrik Tjader; Per Lindgren; Johan Eriksson (ETFA, 2018)

No Panic! Verification of Rust Programs by Symbolic Execution. - Marcus Lindner; Jorge Aparicius; Per Lindgren (INDIN, 2018)

Heapless: Dynamic Data Structures without Dynamic Heap Allocator for Rust. - Jorge Aparicio Rivera; Marcus Lindner; Per Lindgren (INDIN, 2018)

Introducing Certified Compilation in Education by a Functional Language Approach. - Per Lindgren; Marcus Lindner; Nils Fitinghoff (TFPIE@TFP, 2018)

Verification of Safety Functions Implemented in Rust - a Symbolic Execution based approach. - Marcus Lindner; Nils Fitinghoff; Johan Eriksson; Per Lindgren (INDIN, 2019)

!secure(system) !safe(system): On Security and Safety of Industrial Software Systems. - Marcus Lindner (2019)