Andreas Lindner

According to our database, Andreas Lindner authored at least 30 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

HEWES: Heisenberg-Euler weak-field expansion simulator.

Andreas Lindner, Baris Ölmez, Hartmut Ruhl

Softw. Impacts, March, 2023

Proving Safety and Security of Binary Programs.

Andreas Lindner

PhD thesis, 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

Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization.

Tiziano Marinaro, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Hamed Nemati

CoRR, 2023

Proof-Producing Symbolic Execution for Binary Code Verification.

Andreas Lindner, Roberto Guanciale, Mads Dam

CoRR, 2023

2022

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, Jochen H. M. Prehn, Fiona Ginty

Bioinform., 2022

2021

Validation of Side-Channel Models via Observation Refinement.

Pablo Buiras, Hamed Nemati, Andreas Lindner, Roberto Guanciale

Proceedings of the MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, 2021

2020

Speculative Leakage in ARM Cortex-A53.

Hamed Nemati, Roberto Guanciale, Pablo Buiras, Andreas Lindner

CoRR, 2020

Hoare-Style Logic for Unstructured Programs.

Didrik Lundberg, Roberto Guanciale, Andreas Lindner, Mads Dam

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Validation of Abstract Side-Channel Models for Computer Architectures.

Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

TrABin: Trustworthy analyses of binaries.

Andreas Lindner, Roberto Guanciale, Roberto Metere

Sci. Comput. Program., 2019

2018

Experimental Verification of a Passively Cooled Large Air-Gap 6/8-Flux-Switching Permanent Magnet Machine Including Manufacturing.

Andreas Lindner, Ingo Hahn

Proceedings of the IECON 2018, 2018

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

Sound Transpilation from Binary to Machine-Independent Code.

Roberto Metere, Andreas Lindner, Roberto Guanciale

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

2016

RTFM-core: course in compiler construction.

Marcus Lindner, Andreas Lindner, Per Lindgren

SIGBED Rev., 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

Alternative ways of cooling an e-core flux-switching permanent magnet machine with large air-gap.

Andreas Lindner, Ingo Hahn

Proceedings of the IECON 2016, 2016

Safe tasks: Run time verification of the RTFM-lang model of computation.

Marcus Lindner, Andreas Lindner, Per Lindgren

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015

Well-formed control flow for critical sections in RTFM-core.

Per Lindgren, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Response time for IEC 61499 over Ethernet.

Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

RTFM-RT: A threaded runtime for RTFM-core - towards execution of IEC 61499.

Andreas Lindner, Marcus Lindner, Per Lindgren

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

A real-time semantics for the IEC 61499 standard.

Per Lindgren, Marcus Lindner, Andreas Lindner, Valeriy Vyatkin, David Pereira, Luís Miguel Pinho

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

BeWell: A Sentiment Aggregator for Proactive Community Management.

Andreas Lindner, Margeret Hall, Claudia Niemeyer, Simon Caton

Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, 2015

2014

Simulation of a toroidal wound flux-switching permanent magnet machine.

Andreas Lindner, Ingo Hahn

Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014

Real-time execution of function blocks for Internet of Things using the RTFM-kernel.

Per Lindgren, Marcus Lindner, Andreas Lindner, Johan Eriksson, Valeriy Vyatkin

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

A simple method for the parameter identification of the Jiles-Atherton model using only symmetric hysteresis loops.

Andreas Lindner, Ingo Hahn, Andreas Boehm

Proceedings of the IECON 2013, 2013

2012

Concept for improving industrial goods via contextual knowledge provision.

Susanne Dienst, Patrick Uhr, Madjid Fathi, André Klahold, Michael Abramovici, Andreas Lindner

Proceedings of the 12th International Conference on Knowledge Management and Knowledge Technologies, 2012

2011

Nutzungs-Szenarien eines wissensbasierten Assistenzsystems zur Entscheidungsunterstützung in der Produktverbesserung.

Madjid Fathi, Michael Abramovici, Alexander Holland, Andreas Lindner, Susanne Dienst

Proceedings of the 6th Conference on Professional Knowledge Management: From Knowledge to Action, 2011

A conceptual data management model of a feedback assistance system to support product improvement.

Susanne Dienst, Madjid Fathi, Michael Abramovici, Andreas Lindner

Proceedings of the IEEE International Conference on Systems, 2011

1997

InfoCity NRW - A Phased Approach to Multimedia.

Andreas Lindner, Peter Trinkl, Peter Walford, Horst Westbrock

Proceedings of the Multimedia Applications, Services and Techniques, 1997