Marcus Lindner

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