Andreas Lindner

Orcid: 0000-0001-5311-1781

According to our database1, Andreas Lindner authored at least 30 papers between 1997 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization.
Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, 2024

2023
HEWES: Heisenberg-Euler weak-field expansion simulator.
Softw. Impacts, March, 2023

Proving Safety and Security of Binary Programs.
PhD thesis, 2023

Numerical simulations of the nonlinear quantum vacuum in the Heisenberg-Euler weak-field expansion.
J. Comput. Phys. X, 2023

Proof-Producing Symbolic Execution for Binary Code Verification.
CoRR, 2023

2022
FLINO: a new method for immunofluorescence bioimage normalization.
Bioinform., 2022

2021
Validation of Side-Channel Models via Observation Refinement.
Proceedings of the MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, 2021

2020
Speculative Leakage in ARM Cortex-A53.
CoRR, 2020

Hoare-Style Logic for Unstructured Programs.
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Validation of Abstract Side-Channel Models for Computer Architectures.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
TrABin: Trustworthy analyses of binaries.
Sci. Comput. Program., 2019

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

2017
End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet.
IEEE Trans. Ind. Informatics, 2017

Sound Transpilation from Binary to Machine-Independent Code.
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

2016
RTFM-core: course in compiler construction.
SIGBED Rev., 2016

Abstract timers and their implementation onto the ARM Cortex-M family of MCUs.
SIGBED Rev., 2016

Alternative ways of cooling an e-core flux-switching permanent magnet machine with large air-gap.
Proceedings of the IECON 2016, 2016

Safe tasks: Run time verification of the RTFM-lang model of computation.
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.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Response time for IEC 61499 over Ethernet.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

RTFM-RT: A threaded runtime for RTFM-core - towards execution of IEC 61499.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

A real-time semantics for the IEC 61499 standard.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

BeWell: A Sentiment Aggregator for Proactive Community Management.
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.
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.
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.
Proceedings of the IECON 2013, 2013

2012
Concept for improving industrial goods via contextual knowledge provision.
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.
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.
Proceedings of the IEEE International Conference on Systems, 2011

1997
InfoCity NRW - A Phased Approach to Multimedia.
Proceedings of the Multimedia Applications, Services and Techniques, 1997


  Loading...