Frederik Reiche

11 papers Misc 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Detecting Encryption Vulnerabilities by Coupling Architectural Analyses and Source Code Analyses.
ICSA Companion
Frederik Reiche, Robert Heinrich
2025 J jnl
Detecting Information Flow Security Vulnerabilities by Analysis Coupling.
IEEE Trans. Software Eng.
Frederik Reiche, Ralf H. Reussner, Robert Heinrich
2024 — conf
Consistency Management for Security Annotations for Continuous Verification.
MoDELS (Companion)
Frederik Reiche, Thomas Weber, Simeon Becker, Sebastian Weber, Robert Heinrich, Erik Burger
2024 Misc conf
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.
SAC
Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl
2024 J jnl
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.
CoRR
Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl
2024 — conf
What do you assume? A Theory of Security-Related Assumptions.
ICSE Companion
Sophie Corallo, Thomas Weber, Lars König, Kathrin Leonie Schmidt, Frederik Reiche, Anne Koziolek
2022 — conf
A Toolchain for Simulation Component Specification and Identification.
ECSA (Tracks and Workshops)
Sandro Koch, Frederik Reiche
2021 — conf
Continuous Secure Software Development and Analysis.
SSP
Sophie Schulz, Frederik Reiche, Sebastian Hahner, Jonas Schiffl
2019 J jnl
Towards a Correspondence Model for the Reuse of Software in Multiple Domains.
Softwaretechnik-Trends
Sandro Koch, Frederik Reiche
2018 — conf
Towards a Metamodel for Modular Simulation Environments.
MoDELS (Workshops)
Sandro Koch, Frederik Reiche, Robert Heinrich
2013 — conf
Point & control - interaction in smart environments: you only click twice.
UbiComp (Adjunct Publication)
Matthias Budde, Matthias Berning, Christopher Baumgärtner, Florian Kinn, Timo Kopf, Sven Ochs, Frederik Reiche, Till Riedel, Michael Beigl