Marcus Lindner

According to our database, Marcus Lindner authored at least 19 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

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

Marcus Lindner

PhD thesis, 2019

Verification of Safety Functions Implemented in Rust - a Symbolic Execution based approach.

Marcus Lindner, Nils Fitinghoff, Johan Eriksson, Per Lindgren

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

2018

Introducing Certified Compilation in Education by a Functional Language Approach.

Per Lindgren, Marcus Lindner, Nils Fitinghoff

Proceedings of the Proceedings Seventh International Workshop on Trends in Functional Programming in Education, 2018

Heapless: Dynamic Data Structures without Dynamic Heap Allocator for Rust.

Jorge Aparicio Rivera, Marcus Lindner, Per Lindgren

Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

No Panic! Verification of Rust Programs by Symbolic Execution.

Marcus Lindner, Jorge Aparicius, Per Lindgren

Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

Hardware-in-the-loop based WCET analysis with KLEE.

Marcus Lindner, Jorge Aparicio Rivera, Henrik Tjader, Per Lindgren, Johan Eriksson

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017

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

2016

RTFM-core: course in compiler construction.

Marcus Lindner, Andreas Lindner, Per Lindgren

SIGBED Rev., 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

Contract based verification of IEC 61499.

Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho

Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

Safe tasks: Run time verification of the RTFM-lang model of computation.

Marcus Lindner, Andreas Lindner, Per Lindgren

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Towards certified compilation of RTFM-core applications.

Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015

A Formal Perspective on IEC 61499 Execution Control Chart Semantics.

Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Well-formed control flow for critical sections in RTFM-core.

Per Lindgren, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Response time for IEC 61499 over Ethernet.

Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

RTFM-RT: A threaded runtime for RTFM-core - towards execution of IEC 61499.

Andreas Lindner, Marcus Lindner, Per Lindgren

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

A real-time semantics for the IEC 61499 standard.

Per Lindgren, Marcus Lindner, Andreas Lindner, Valeriy Vyatkin, David Pereira, Luís Miguel Pinho

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014

Real-time execution of function blocks for Internet of Things using the RTFM-kernel.

Per Lindgren, Marcus Lindner, Andreas Lindner, Johan Eriksson, Valeriy Vyatkin

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2012

Object Recognition Using Summed Features Classifier.

Marcus Lindner, Marco Block, Raúl Rojas

Proceedings of the Artificial Intelligence and Soft Computing, 2012