| 2026 | RTAS | Work in Progress: Efficient EDF scheduling using COTS hardware acceleration. | Justin Beaurivgae, Pawel Dzialo, Per Lindgren |
| 2026 | RTAS | Work in Progress: Efficient Readers-Writer Locks for the RTIC Framework. | Valhe Kouneli, Henri Lunnikivi, Per Lindgren |
| 2026 | RTAS | Work in Progress: Hardware Support for EDF Scheduling on Bare-Metal Systems. | Antti Nurmi, Justin Beaurivage, Pawel Dzialo, Per Lindgren, Timo D. Hmlinen |
| 2023 | DSD | AnTiQ: A Hardware-Accelerated Priority Queue Design with Constant Time Arbitrary Element Removal. | Antti Nurmi, Per Lindgren, Thomas Szymkowiak, Timo D. Hmlinen |
| 2019 | INDIN | Cargo-call-stack Static Call-stack Analysis for Rust. | Per Lindgren, Nils Fitinghoff, Jorge Aparicio Rivera |
| 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 | A Comparison of Formal Verification Approaches for IEC 61499. | Jan Olaf Blech, Per Lindgren, David Pereira, Valeriy Vyatkin, Alois Zoitl |
| 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 | IECON | Leveraging tinyos for integration in process automation and control systems. | Per Lindgren, Henrik Mkitaavola, Johan Eriksson, Jens Eliasson |
| 2012 | IECON | Towards a lightweight CEP engine for embedded systems. | Pawel Pietrzak, Per Lindgren, Henrik Mkitaavola |
| 2008 | DATE | TinyTimber, Reactive Objects in C for Real-Time Embedded Systems. | Per Lindgren, Johan Eriksson, Simon Aittamaa, Johan Nordlander |
| 2007 | WCNC | A Power Management Architecture for Sensor Nodes. | Jens Eliasson, Per Lindgren, Jerker Delsing, Simon J. Thompson, Yi-Bing Cheng |
| 2002 | ISCAS | Switching activity estimation of finite state machines for low power synthesis. | Mikael Kerttu, Per Lindgren, Mitchell A. Thornton, Rolf Drechsler |
| 2001 | ASPDAC | Low power optimization technique for BDD mapped circuits. | Per Lindgren, Mikael Kerttu, Mitchell A. Thornton, Rolf Drechsler |
| 2000 | ICCD | Minimization of Ordered Pseudo Kronecker Decision Diagrams. | Per Lindgren, Rolf Drechsler, Bernd Becker |
| 1999 | ICCD | Synthesis of Pseudo Kronecker Lattice Diagrams. | Per Lindgren, Rolf Drechsler, Bernd Becker |
| 1995 | ASPDAC | Improved computational methods and lazy evaluation of the Ordered Ternary Decision Diagram. | Per Lindgren |