| 2026 | VMCAI | Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification. | Andreas Lindner, Karl Palmskog, Scott Constable, Mads Dam, Roberto Guanciale, Hamed Nemati |
| 2024 | AsiaCCS | Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization. | Tiziano Marinaro, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Hamed Nemati |
| 2021 | MICRO | Validation of Side-Channel Models via Observation Refinement. | Pablo Buiras, Hamed Nemati, Andreas Lindner, Roberto Guanciale |
| 2020 | CAV | Validation of Abstract Side-Channel Models for Computer Architectures. | Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs |
| 2020 | SEFM | Hoare-Style Logic for Unstructured Programs. | Didrik Lundberg, Roberto Guanciale, Andreas Lindner, Mads Dam |
| 2018 | IECON | Experimental Verification of a Passively Cooled Large Air-Gap 6/8-Flux-Switching Permanent Magnet Machine Including Manufacturing. | Andreas Lindner, Ingo Hahn |
| 2016 | ETFA | Safe tasks: Run time verification of the RTFM-lang model of computation. | Marcus Lindner, Andreas Lindner, Per Lindgren |
| 2016 | IECON | Alternative ways of cooling an e-core flux-switching permanent magnet machine with large air-gap. | Andreas Lindner, Ingo Hahn |
| 2015 | CHI | BeWell: A Sentiment Aggregator for Proactive Community Management. | Andreas Lindner, Margeret Hall, Claudia Niemeyer, Simon Caton |
| 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 |
| 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 |
| 2014 | IECON | Simulation of a toroidal wound flux-switching permanent magnet machine. | Andreas Lindner, Ingo Hahn |
| 2013 | IECON | A simple method for the parameter identification of the Jiles-Atherton model using only symmetric hysteresis loops. | Andreas Lindner, Ingo Hahn, Andreas Boehm |
| 2011 | SMC | A conceptual data management model of a feedback assistance system to support product improvement. | Susanne Dienst, Madjid Fathi, Michael Abramovici, Andreas Lindner |