More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Andreas Lindner

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/asiaccs/MarinaroBLGN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asiaccs/MarinaroBLGN24
Tiziano Marinaro, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Hamed Nemati:
Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization. AsiaCCS 2024
2023
[b1]
- view
  - electronic edition @ nbn-resolving.org
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/basesearch/Lindner23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Lindner23
Andreas Lindner:
Proving Safety and Security of Binary Programs. Royal Institute of Technology, Stockholm, Sweden, 2023
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcphyx/LindnerOR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcphyx/LindnerOR23
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: 100124 (2023)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/simpa/LindnerOR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simpa/LindnerOR23
Andreas Lindner, Baris Ölmez, Hartmut Ruhl:
HEWES: Heisenberg-Euler weak-field expansion simulator. Softw. Impacts 15: 100481 (2023)
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-08848
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-08848
Andreas Lindner, Roberto Guanciale, Mads Dam:
Proof-Producing Symbolic Execution for Binary Code Verification. CoRR abs/2304.08848 (2023)
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-09770
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-09770
Tiziano Marinaro, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Hamed Nemati:
Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization. CoRR abs/2312.09770 (2023)
2022
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/GrafCMCSLSSSDLL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/GrafCMCSLSSSDLL22
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:
FLINO: a new method for immunofluorescence bioimage normalization. Bioinform. 38(2): 520-526 (2022)
2021
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/micro/BuirasNLG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micro/BuirasNLG21
Pablo Buiras, Hamed Nemati, Andreas Lindner, Roberto Guanciale:
Validation of Side-Channel Models via Observation Refinement. MICRO 2021: 578-591
2020
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/NematiBLGJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/NematiBLGJ20
Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs:
Validation of Abstract Side-Channel Models for Computer Architectures. CAV (1) 2020: 225-248
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/LundbergGLD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/LundbergGLD20
Didrik Lundberg, Roberto Guanciale, Andreas Lindner, Mads Dam:
Hoare-Style Logic for Unstructured Programs. SEFM 2020: 193-213
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-05254
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-05254
Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs:
Validation of Abstract Side-Channel Models for Computer Architectures. CoRR abs/2005.05254 (2020)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-06865
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-06865
Hamed Nemati, Roberto Guanciale, Pablo Buiras, Andreas Lindner:
Speculative Leakage in ARM Cortex-A53. CoRR abs/2007.06865 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/LindnerGM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LindnerGM19
Andreas Lindner, Roberto Guanciale, Roberto Metere:
TrABin: Trustworthy analyses of binaries. Sci. Comput. Program. 174: 72-89 (2019)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1901-05456
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-05456
Andreas Lindner, Roberto Guanciale, Roberto Metere:
TrABin: Trustworthy Analyses of Binaries. CoRR abs/1901.05456 (2019)
2018
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/LindnerH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/LindnerH18
Andreas Lindner, Ingo Hahn:
Experimental Verification of a Passively Cooled Large Air-Gap 6/8-Flux-Switching Permanent Magnet Machine Including Manufacturing. IECON 2018: 508-513
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-10664
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-10664
Roberto Metere, Andreas Lindner, Roberto Guanciale:
Sound Transpilation from Binary to Machine-Independent Code. CoRR abs/1807.10664 (2018)
2017
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/LindgrenELLPP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/LindgrenELLPP17
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): 287-297 (2017)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/MetereLG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MetereLG17
Roberto Metere, Andreas Lindner, Roberto Guanciale:
Sound Transpilation from Binary to Machine-Independent Code. SBMF 2017: 197-214
2016
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sigbed/LindgrenFLLPP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigbed/LindgrenFLLPP16
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): 48-53 (2016)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigbed/LindnerLL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigbed/LindnerLL16
Marcus Lindner, Andreas Lindner, Per Lindgren:
RTFM-core: course in compiler construction. SIGBED Rev. 14(1): 29-36 (2016)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/LindnerLL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/LindnerLL16
Marcus Lindner, Andreas Lindner, Per Lindgren:
Safe tasks: Run time verification of the RTFM-lang model of computation. ETFA 2016: 1-8
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/LindnerH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/LindnerH16
Andreas Lindner, Ingo Hahn:
Alternative ways of cooling an e-core flux-switching permanent magnet machine with large air-gap. IECON 2016: 1596-1603
2015
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/LindnerHNC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/LindnerHNC15
Andreas Lindner, Margeret Hall, Claudia Niemeyer, Simon Caton:
BeWell: A Sentiment Aggregator for Proactive Community Management. CHI Extended Abstracts 2015: 1055-1060
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/LindgrenLLVPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/LindgrenLLVPP15
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: 1-6
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/LindnerLL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/LindnerLL15
Andreas Lindner, Marcus Lindner, Per Lindgren:
RTFM-RT: A threaded runtime for RTFM-core - towards execution of IEC 61499. ETFA 2015: 1-8
[c11]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ewili/LindgrenLLFPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewili/LindgrenLLFPP15
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
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/LindgrenELLPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/LindgrenELLPP15
Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho:
Response time for IEC 61499 over Ethernet. INDIN 2015: 1206-1212
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/LindgrenLLPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/LindgrenLLPP15
Per Lindgren, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho:
Well-formed control flow for critical sections in RTFM-core. INDIN 2015: 1438-1445
2014
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/esweek/LindnerLL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esweek/LindnerLL14
Marcus Lindner, Andreas Lindner, Per Lindgren:
RTFM-core: Course in Compiler Construction. WESE 2014: 4:1-4:9
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/LindgrenLLEV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/LindgrenLLEV14
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: 1-6
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/LindnerH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/LindnerH14
Andreas Lindner, Ingo Hahn:
Simulation of a toroidal wound flux-switching permanent magnet machine. IECON 2014: 869-874
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/LindnerHB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/LindnerHB13
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: 2571-2577
2012
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/iknow/DienstUFKAL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iknow/DienstUFKAL12
Susanne Dienst, Patrick Uhr, Madjid Fathi, André Klahold, Michael Abramovici, Andreas Lindner:
Concept for improving industrial goods via contextual knowledge provision. I-KNOW 2012: 8
2011
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/DienstFAL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/DienstFAL11
Susanne Dienst, Madjid Fathi, Michael Abramovici, Andreas Lindner:
A conceptual data management model of a feedback assistance system to support product improvement. SMC 2011: 446-451
[c2]
- view
- export record
  dblp key:
  - conf/wm/FathiAHLD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wm/FathiAHLD11
Madjid Fathi, Michael Abramovici, Alexander Holland, Andreas Lindner, Susanne Dienst:
Nutzungs-Szenarien eines wissensbasierten Assistenzsystems zur Entscheidungsunterstützung in der Produktverbesserung. Wissensmanagement 2011: 295-304

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1997
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmast/LindnerTWW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmast/LindnerTWW97
Andreas Lindner, Peter Trinkl, Peter Walford, Horst Westbrock:
InfoCity NRW - A Phased Approach to Multimedia. ECMAST 1997: 709-722

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.