Marcus Lindner

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 11

Top Topics

Complementary Features

Symbolic Execution

Functional Language

Top Venues

Publications

Marcus Lindner, Nils Fitinghoff, Johan Eriksson, Per Lindgren
Verification of Safety Functions Implemented in Rust - a Symbolic Execution based approach. INDIN (2019)
Marcus Lindner, Jorge Aparicius, Per Lindgren
No Panic! Verification of Rust Programs by Symbolic Execution. INDIN (2018)
Jorge Aparicio Rivera, Marcus Lindner, Per Lindgren
Heapless: Dynamic Data Structures without Dynamic Heap Allocator for Rust. INDIN (2018)
Per Lindgren, Marcus Lindner, Nils Fitinghoff
Introducing Certified Compilation in Education by a Functional Language Approach. TFPIE@TFP (2018)
Marcus Lindner, Jorge Aparicio Rivera, Henrik Tjader, Per Lindgren, Johan Eriksson
Hardware-in-the-loop based WCET analysis with KLEE. ETFA (2018)
Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet. IEEE Trans. Ind. Informatics 13 (1) (2017)
Marcus Lindner, Andreas Lindner, Per Lindgren
Safe tasks: Run time verification of the RTFM-lang model of computation. ETFA (2016)
Per Lindgren, Emil Fresk, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
Abstract timers and their implementation onto the ARM Cortex-M family of MCUs. SIGBED Rev. 13 (1) (2016)
Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho
Contract based verification of IEC 61499. INDIN (2016)
Marcus Lindner, Andreas Lindner, Per Lindgren
RTFM-core: course in compiler construction. SIGBED Rev. 14 (1) (2016)
Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho
Towards certified compilation of RTFM-core applications. ETFA (2016)
Andreas Lindner, Marcus Lindner, Per Lindgren
RTFM-RT: A threaded runtime for RTFM-core - towards execution of IEC 61499. ETFA (2015)
Per Lindgren, Marcus Lindner, Andreas Lindner, Emil Fresk, David Pereira, Luís Miguel Pinho
Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs. EWiLi (2015)
Per Lindgren, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
Well-formed control flow for critical sections in RTFM-core. INDIN (2015)
Per Lindgren, Marcus Lindner, Andreas Lindner, Valeriy Vyatkin, David Pereira, Luís Miguel Pinho
A real-time semantics for the IEC 61499 standard. ETFA (2015)
Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho
A Formal Perspective on IEC 61499 Execution Control Chart Semantics. TrustCom/BigDataSE/ISPA (3) (2015)
Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
Response time for IEC 61499 over Ethernet. INDIN (2015)
Per Lindgren, Marcus Lindner, Andreas Lindner, Johan Eriksson, Valeriy Vyatkin
Real-time execution of function blocks for Internet of Things using the RTFM-kernel. ETFA (2014)
Marcus Lindner, Andreas Lindner, Per Lindgren
RTFM-core: Course in Compiler Construction. WESE (2014)
Marcus Lindner, Marco Block, Raúl Rojas
Object Recognition Using Summed Features Classifier. ICAISC (1) (2012)