Frederik Reiche
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSA | Detecting Encryption Vulnerabilities by Coupling Architectural Analyses and Source Code Analyses. | Frederik Reiche, Robert Heinrich |
| 2024 | ICSE | What do you assume? A Theory of Security-Related Assumptions. | Sophie Corallo, Thomas Weber, Lars Knig, Kathrin Leonie Schmidt, Frederik Reiche, Anne Koziolek |
| 2024 | MODELS | Consistency Management for Security Annotations for Continuous Verification. | Frederik Reiche, Thomas Weber, Simeon Becker, Sebastian Weber, Robert Heinrich, Erik Burger |
| 2024 | SAC | Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. | Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl |
| 2022 | ECSA | A Toolchain for Simulation Component Specification and Identification. | Sandro Koch, Frederik Reiche |
| 2018 | MODELS | Towards a Metamodel for Modular Simulation Environments. | Sandro Koch, Frederik Reiche, Robert Heinrich |