a person in the record
Andreas Lindner
Researcher (ORCID 0000-0001-5311-1781)
Doctorate at KTH in 2023 under Roberto Guanciale and Mads Dam. Linked to Wikidata and ORCID.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Advisors2
- cited by a thesis record
Roberto Guanciale“Proving Safety and Security of Binary Programs”
2023 · KTH · doctoral - cited by a thesis record
Mads Dam“Proving Safety and Security of Binary Programs”
2023 · KTH · doctoral
The line above and below1 step
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
cited by a thesis recordMads Damcited by a thesis recordRoberto Guanciale
Theses1
- cited by a thesis record
Proving Safety and Security of Binary Programs
2023 · KTH · doctoral · Skolan för elektroteknik och datavetenskap (EECS), Datavetenskap, Teoretisk datalogi, TCS · in English · the thesis's own page ›also named on this thesis
- cited by a thesis recordTamara Rezkopponent
Works1
2023 · held from 1 repository · a work missing?
- cited by DiVA's record
Proving Safety and Security of Binary Programs
2023 · doctoral thesis · DiVA
What their ORCID record lists
The works their own ORCID record lists, as they claim them: shown apart from the record's works, never checked or counted with them.
ORCID is asked for the list when this part is opened.
Papers in OpenAlex25
last at Uppsala University
writes on Logic, programming, and type systems, Formal Methods in Verification, Real-Time Systems Scheduling, Embedded Systems Design Techniques, Security and Verification in Computing
- indexed by OpenAlexcited 19
Validation of Abstract Side-Channel Models for Computer Architectures
2020 · Lecture notes in computer science · 5 authors - indexed by OpenAlexcited 18
Validation of Side-Channel Models via Observation Refinement
2021 · 4 authors - indexed by OpenAlexcited 15
End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet
2016 · IEEE Transactions on Industrial Informatics · 6 authors - indexed by OpenAlex2015 · IEEE Conference on Emerging Technologies & Factory Automation (ETFA) · 6 authorscited 15
- indexed by OpenAlex2019 · Science of Computer Programming · 3 authorscited 13
- indexed by OpenAlex2015 · IEEE Conference on Industrial Electronics and Applications (ICIEA) · 5 authorscited 12
- indexed by OpenAlex2020 · Lecture notes in computer science · 4 authorscited 9
- indexed by OpenAlexcited 8
Abstract timers and their implementation onto the ARM Cortex-M family of MCUs
2016 · ACM SIGBED Review · 6 authors - indexed by OpenAlexcited 7
RTFM-RT: A threaded runtime for RTFM-core - towards execution of IEC 61499
2015 · IEEE Conference on Emerging Technologies & Factory Automation (ETFA) · 3 authors - indexed by OpenAlexcited 6
all 25, most cited first
- indexed by OpenAlexcited 4
Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
2026 · Lecture notes in computer science · 6 authors - indexed by OpenAlex2020 · arXiv (Cornell University) · 4 authorscited 4
- indexed by OpenAlex2017 · Lecture notes in computer science · 3 authorscited 4
- indexed by OpenAlex2015 · 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) · 6 authorscited 4
- indexed by OpenAlex2014 · IEEE International Symposium on Industrial Embedded Systems (SIES) · 5 authorscited 4
- indexed by OpenAlex2014 · 3 authorscited 3
- indexed by OpenAlex2025 · Journal of Logical and Algebraic Methods in Programming · 4 authorscited 0
- indexed by OpenAlexcited 0
Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization
2024 · ACM Asia Conference on Computer and Communications Security (ASIA CCS) · 5 authors - indexed by OpenAlex2024 · SSRN Electronic Journal · 4 authorscited 0
- indexed by OpenAlexcited 0
Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization
2023 · arXiv (Cornell University) · 5 authors - indexed by OpenAlex2017 · ACM SIGBED Review · 3 authorscited 0
- indexed by OpenAlexcited 0
Safe tasks: Run time verification of the RTFM-lang model of computation
2016 · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) · 3 authors - indexed by OpenAlex2016 · Fruit processing · 2 authorscited 0
- indexed by OpenAlexcited 0
Abstract Timers and their Implementation onto the ARM Cor tex-M family of MCUs
2015 · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) · 6 authors - indexed by OpenAlex2015 · 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) · 5 authorscited 0