InfoCity NRW - A Phased Approach to Multimedia. - Andreas Lindner; Peter Trinkl; Peter Walford; Horst Westbrock (ECMAST, 1997)

A conceptual data management model of a feedback assistance system to support product improvement. - Susanne Dienst; Madjid Fathi; Michael Abramovici; Andreas Lindner (SMC, 2011)

Nutzungs-Szenarien eines wissensbasierten Assistenzsystems zur Entscheidungsunterstützung in der Produktverbesserung. - Madjid Fathi; Michael Abramovici; Alexander Holland 001; Andreas Lindner; Susanne Dienst (Wissensmanagement, 2011)

Concept for improving industrial goods via contextual knowledge provision. - Susanne Dienst; Patrick Uhr; Madjid Fathi; André Klahold; Michael Abramovici; Andreas Lindner (I-KNOW, 2012)

A simple method for the parameter identification of the Jiles-Atherton model using only symmetric hysteresis loops. - Andreas Lindner; Ingo Hahn; Andreas Boehm (IECON, 2013)

Real-time execution of function blocks for Internet of Things using the RTFM-kernel. - Per Lindgren; Marcus Lindner; Andreas Lindner; Johan Eriksson; Valeriy Vyatkin (ETFA, 2014)

Simulation of a toroidal wound flux-switching permanent magnet machine. - Andreas Lindner; Ingo Hahn (IECON, 2014)

BeWell: A Sentiment Aggregator for Proactive Community Management. - Andreas Lindner; Margeret Hall; Claudia Niemeyer; Simon Caton (CHI Extended Abstracts, 2015)

A real-time semantics for the IEC 61499 standard. - Per Lindgren; Marcus Lindner; Andreas Lindner; Valeriy Vyatkin; David Pereira; Luís Miguel Pinho (ETFA, 2015)

RTFM-RT: A threaded runtime for RTFM-core - towards execution of IEC 61499. - Andreas Lindner; Marcus Lindner; Per Lindgren (ETFA, 2015)

Response time for IEC 61499 over Ethernet. - Per Lindgren; Johan Eriksson; Marcus Lindner; Andreas Lindner; David Pereira; Luís Miguel Pinho (INDIN, 2015)

Well-formed control flow for critical sections in RTFM-core. - Per Lindgren; Marcus Lindner; Andreas Lindner; David Pereira; Luís Miguel Pinho (INDIN, 2015)

Safe tasks: Run time verification of the RTFM-lang model of computation. - Marcus Lindner; Andreas Lindner; Per Lindgren (ETFA, 2016)

Alternative ways of cooling an e-core flux-switching permanent magnet machine with large air-gap. - Andreas Lindner; Ingo Hahn (IECON, 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)

RTFM-core: course in compiler construction. - Marcus Lindner; Andreas Lindner; Per Lindgren (SIGBED Rev., 2016)

Sound Transpilation from Binary to Machine-Independent Code. - Roberto Metere; Andreas Lindner; Roberto Guanciale (SBMF, 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)

Experimental Verification of a Passively Cooled Large Air-Gap 6/8-Flux-Switching Permanent Magnet Machine Including Manufacturing. - Andreas Lindner; Ingo Hahn (IECON, 2018)

TrABin: Trustworthy analyses of binaries. - Andreas Lindner; Roberto Guanciale; Roberto Metere (Sci. Comput. Program., 2019)

Validation of Abstract Side-Channel Models for Computer Architectures. - Hamed Nemati; Pablo Buiras; Andreas Lindner; Roberto Guanciale; Swen Jacobs (CAV (1), 2020)

Hoare-Style Logic for Unstructured Programs. - Didrik Lundberg; Roberto Guanciale; Andreas Lindner; Mads Dam (SEFM, 2020)

Speculative Leakage in ARM Cortex-A53. - Hamed Nemati; Roberto Guanciale; Pablo Buiras; Andreas Lindner (CoRR, 2020)

Validation of Side-Channel Models via Observation Refinement. - Pablo Buiras; Hamed Nemati; Andreas Lindner; Roberto Guanciale (MICRO, 2021)

FLINO: a new method for immunofluorescence bioimage normalization. - John F. Graf; Sanghee Cho; Elizabeth McDonough; Alex Corwin; Anup Sood; Andreas Lindner; Manuela Salvucci; Xanthi Stachtea; Sandra Van Schaeybroeck; Philip D. Dunne; Pierre Laurent-Puig; Daniel B. Longley; et al. (Bioinform., 2022)

Proof-Producing Symbolic Execution for Binary Code Verification. - Andreas Lindner; Roberto Guanciale; Mads Dam (CoRR, 2023)

Numerical simulations of the nonlinear quantum vacuum in the Heisenberg-Euler weak-field expansion. - Andreas Lindner; Baris Ölmez; Hartmut Ruhl (J. Comput. Phys. X, 2023)

Proving Safety and Security of Binary Programs. - Andreas Lindner (2023)

HEWES: Heisenberg-Euler weak-field expansion simulator. - Andreas Lindner; Baris Ölmez; Hartmut Ruhl (Softw. Impacts, 2023)

Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization. - Tiziano Marinaro; Pablo Buiras; Andreas Lindner; Roberto Guanciale; Hamed Nemati (AsiaCCS, 2024)

Trustworthy Verification of RISC-V Binaries Using Symbolic Execution in HolBA. - Karl Palmskog; Andreas Lindner; Scott Constable; Roberto Guanciale; Hamed Nemati (CoRR, 2025)