Andreas Lindner

40 papers A* 1A 1B 4C 10Journal 15Unranked 8

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