Marcus Lindner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
4
Active years
2012–2019
Best venue rank
C
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | INDIN | Verification of Safety Functions Implemented in Rust - a Symbolic Execution based approach. | Marcus Lindner, Nils Fitinghoff, Johan Eriksson, Per Lindgren |
| 2018 | ETFA | Hardware-in-the-loop based WCET analysis with KLEE. | Marcus Lindner, Jorge Aparicio Rivera, Henrik Tjader, Per Lindgren, Johan Eriksson |
| 2018 | INDIN | No Panic! Verification of Rust Programs by Symbolic Execution. | Marcus Lindner, Jorge Aparicius, Per Lindgren |
| 2018 | INDIN | Heapless: Dynamic Data Structures without Dynamic Heap Allocator for Rust. | Jorge Aparicio Rivera, Marcus Lindner, Per Lindgren |
| 2016 | ETFA | Towards certified compilation of RTFM-core applications. | Per Lindgren, Marcus Lindner, David Pereira, Lus Miguel Pinho |
| 2016 | ETFA | Safe tasks: Run time verification of the RTFM-lang model of computation. | Marcus Lindner, Andreas Lindner, Per Lindgren |
| 2016 | INDIN | Contract based verification of IEC 61499. | Per Lindgren, Marcus Lindner, David Pereira, Lus Miguel Pinho |
| 2015 | ETFA | A real-time semantics for the IEC 61499 standard. | Per Lindgren, Marcus Lindner, Andreas Lindner, Valeriy Vyatkin, David Pereira, Lus Miguel Pinho |
| 2015 | ETFA | RTFM-RT: A threaded runtime for RTFM-core - towards execution of IEC 61499. | Andreas Lindner, Marcus Lindner, Per Lindgren |
| 2015 | INDIN | Response time for IEC 61499 over Ethernet. | Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Lus Miguel Pinho |
| 2015 | INDIN | Well-formed control flow for critical sections in RTFM-core. | Per Lindgren, Marcus Lindner, Andreas Lindner, David Pereira, Lus Miguel Pinho |
| 2015 | TrustCom | A Formal Perspective on IEC 61499 Execution Control Chart Semantics. | Per Lindgren, Marcus Lindner, David Pereira, Lus Miguel Pinho |
| 2014 | ETFA | Real-time execution of function blocks for Internet of Things using the RTFM-kernel. | Per Lindgren, Marcus Lindner, Andreas Lindner, Johan Eriksson, Valeriy Vyatkin |
| 2012 | ICAISC | Object Recognition Using Summed Features Classifier. | Marcus Lindner, Marco Block, Ral Rojas |