Andreas Lindner

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 21

Top Topics

Permanent Magnet

Experimental Verification

Alternative Ways

Top Venues

Publications

Tiziano Marinaro, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Hamed Nemati
Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization. AsiaCCS (2024)
Andreas Lindner, Roberto Guanciale, Mads Dam
Proof-Producing Symbolic Execution for Binary Code Verification. CoRR (2023)
Andreas Lindner, Baris Ölmez, Hartmut Ruhl
Numerical simulations of the nonlinear quantum vacuum in the Heisenberg-Euler weak-field expansion. J. Comput. Phys. X 17 (2023)
Tiziano Marinaro, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Hamed Nemati
Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization. CoRR (2023)
Andreas Lindner, Baris Ölmez, Hartmut Ruhl
HEWES: Heisenberg-Euler weak-field expansion simulator. Softw. Impacts 15 (2023)
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 Longley, Jochen H. M. Prehn, Fiona Ginty
FLINO: a new method for immunofluorescence bioimage normalization. Bioinform. 38 (2) (2022)
Pablo Buiras, Hamed Nemati, Andreas Lindner, Roberto Guanciale
Validation of Side-Channel Models via Observation Refinement. MICRO (2021)
Hamed Nemati, Roberto Guanciale, Pablo Buiras, Andreas Lindner
Speculative Leakage in ARM Cortex-A53. CoRR (2020)
Didrik Lundberg, Roberto Guanciale, Andreas Lindner, Mads Dam
Hoare-Style Logic for Unstructured Programs. SEFM (2020)
Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs
Validation of Abstract Side-Channel Models for Computer Architectures. CoRR (2020)
Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs
Validation of Abstract Side-Channel Models for Computer Architectures. CAV (1) (2020)
Andreas Lindner, Roberto Guanciale, Roberto Metere
TrABin: Trustworthy Analyses of Binaries. CoRR (2019)
Andreas Lindner, Roberto Guanciale, Roberto Metere
TrABin: Trustworthy analyses of binaries. Sci. Comput. Program. 174 (2019)
Andreas Lindner, Ingo Hahn
Experimental Verification of a Passively Cooled Large Air-Gap 6/8-Flux-Switching Permanent Magnet Machine Including Manufacturing. IECON (2018)
Roberto Metere, Andreas Lindner, Roberto Guanciale
Sound Transpilation from Binary to Machine-Independent Code. CoRR (2018)
Roberto Metere, Andreas Lindner, Roberto Guanciale
Sound Transpilation from Binary to Machine-Independent Code. SBMF (2017)
Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet. IEEE Trans. Ind. Informatics 13 (1) (2017)
Andreas Lindner, Ingo Hahn
Alternative ways of cooling an e-core flux-switching permanent magnet machine with large air-gap. IECON (2016)
Marcus Lindner, Andreas Lindner, Per Lindgren
Safe tasks: Run time verification of the RTFM-lang model of computation. ETFA (2016)
Per Lindgren, Emil Fresk, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
Abstract timers and their implementation onto the ARM Cortex-M family of MCUs. SIGBED Rev. 13 (1) (2016)
Marcus Lindner, Andreas Lindner, Per Lindgren
RTFM-core: course in compiler construction. SIGBED Rev. 14 (1) (2016)
Andreas Lindner, Marcus Lindner, Per Lindgren
RTFM-RT: A threaded runtime for RTFM-core - towards execution of IEC 61499. ETFA (2015)
Per Lindgren, Marcus Lindner, Andreas Lindner, Emil Fresk, David Pereira, Luís Miguel Pinho
Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs. EWiLi (2015)
Per Lindgren, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
Well-formed control flow for critical sections in RTFM-core. INDIN (2015)
Per Lindgren, Marcus Lindner, Andreas Lindner, Valeriy Vyatkin, David Pereira, Luís Miguel Pinho
A real-time semantics for the IEC 61499 standard. ETFA (2015)
Andreas Lindner, Margeret Hall, Claudia Niemeyer, Simon Caton
BeWell: A Sentiment Aggregator for Proactive Community Management. CHI Extended Abstracts (2015)
Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
Response time for IEC 61499 over Ethernet. INDIN (2015)
Per Lindgren, Marcus Lindner, Andreas Lindner, Johan Eriksson, Valeriy Vyatkin
Real-time execution of function blocks for Internet of Things using the RTFM-kernel. ETFA (2014)
Andreas Lindner, Ingo Hahn
Simulation of a toroidal wound flux-switching permanent magnet machine. IECON (2014)
Marcus Lindner, Andreas Lindner, Per Lindgren
RTFM-core: Course in Compiler Construction. WESE (2014)
Andreas Lindner, Ingo Hahn, Andreas Boehm
A simple method for the parameter identification of the Jiles-Atherton model using only symmetric hysteresis loops. IECON (2013)
Susanne Dienst, Patrick Uhr, Madjid Fathi, André Klahold, Michael Abramovici, Andreas Lindner
Concept for improving industrial goods via contextual knowledge provision. I-KNOW (2012)
Susanne Dienst, Madjid Fathi, Michael Abramovici, Andreas Lindner
A conceptual data management model of a feedback assistance system to support product improvement. SMC (2011)
Madjid Fathi, Michael Abramovici, Alexander Holland, Andreas Lindner, Susanne Dienst
Nutzungs-Szenarien eines wissensbasierten Assistenzsystems zur Entscheidungsunterstützung in der Produktverbesserung. Wissensmanagement (2011)
Andreas Lindner, Peter Trinkl, Peter Walford, Horst Westbrock
InfoCity NRW - A Phased Approach to Multimedia. ECMAST (1997)