Frederik Reiche, M.Sc.
- Researcher
- Group: Quality-driven System Evolution
- Office Hours: Please make an appointment
- Room: 324
CS 50.34 - Phone: +49 721 608-45992
- frederik reiche ∂does-not-exist.kit edu
Chair Prof. Reussner
KASTEL – Institute of Information Security and Dependability
Karlsruhe Institute of Technology (KIT)
Am Fasanengarten 5
76131 Karlsruhe, Germany
Publications
Research Data
Quantification of Correctness with Palladio and KeY: Case Study Data
Reiche, F.; Schiffl, J.; Weigl, A.
2021, February 1. doi:10.5445/IR/1000129008
Reiche, F.; Schiffl, J.; Weigl, A.
2021, February 1. doi:10.5445/IR/1000129008
Posters
What do you assume? A Theory of Security-Related Assumptions
Corallo, S.; Weber, T.; König, L.; Schmidt, K. L.; Reiche, F.; Koziolek, A.
2024, May. 46th International Conference on Software Engineering (ICSE 2024), Lisbon, Portugal, April 14–20, 2024
Corallo, S.; Weber, T.; König, L.; Schmidt, K. L.; Reiche, F.; Koziolek, A.
2024, May. 46th International Conference on Software Engineering (ICSE 2024), Lisbon, Portugal, April 14–20, 2024
Reports/Preprints
A Formalized Classification Schema for Model Consistency
Kühn, T.; Fuchß, D.; Corallo, S.; König, L.; Burger, E.; Keim, J.; Mazkatli, M.; Sağlam, T.; Reiche, F.; Koziolek, A.; Reussner, R.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000161127
Kühn, T.; Fuchß, D.; Corallo, S.; König, L.; Burger, E.; Keim, J.; Mazkatli, M.; Sağlam, T.; Reiche, F.; Koziolek, A.; Reussner, R.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000161127
A Collection of Scenarios for the Decomposition and Composition of Model-based Analyses
Koch, S.; Reiche, F.; Weber, S.; Konersmann, M.; Stüber, S.; Wollenhaupt, L.; Taghavi, B.; Rumpe, B.; Heinrich, R.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000161276
Koch, S.; Reiche, F.; Weber, S.; Konersmann, M.; Stüber, S.; Wollenhaupt, L.; Taghavi, B.; Rumpe, B.; Heinrich, R.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000161276
Modeling and Verifying Access Control for Ethereum Smart Contracts
Reiche, F.; Schiffl, J.; Beckert, B.; Heinrich, R.; Reussner, R.
2021. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000129607
Reiche, F.; Schiffl, J.; Beckert, B.; Heinrich, R.; Reussner, R.
2021. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000129607
Model-driven Quantification of Correctness with Palladio and KeY
Reiche, F.; Schiffl, J.; Weigl, A.; Heinrich, R.; Beckert, B.; Reussner, R.
2021. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000128855
Reiche, F.; Schiffl, J.; Weigl, A.; Heinrich, R.; Beckert, B.; Reussner, R.
2021. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000128855
Conference Papers
Detecting Encryption Vulnerabilities By Coupling Architectural Analyses and Source Code Analyses
Reiche, F.; Heinrich, R.
2025. 22nd IEEE International Conference on Software Architecture Companion (ICSA 2025), Institute of Electrical and Electronics Engineers (IEEE)
Reiche, F.; Heinrich, R.
2025. 22nd IEEE International Conference on Software Architecture Companion (ICSA 2025), Institute of Electrical and Electronics Engineers (IEEE)
Consistency Management for Security Annotations for Continuous Verification
Reiche, F.; Weber, T.; Becker, S.; Weber, S.; Heinrich, R.; Burger, E.
2024. ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 1096–1105, Association for Computing Machinery (ACM). doi:10.1145/3652620
Reiche, F.; Weber, T.; Becker, S.; Weber, S.; Heinrich, R.; Burger, E.
2024. ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 1096–1105, Association for Computing Machinery (ACM). doi:10.1145/3652620
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
Lanzinger, F.; Martin, C.; Reiche, F.; Teuber, S.; Heinrich, R.; Weigl, A.
2024. SAC ’24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. Ed.: J. Hong, 1702–1711, Association for Computing Machinery (ACM). doi:10.1145/3605098.3636008
Lanzinger, F.; Martin, C.; Reiche, F.; Teuber, S.; Heinrich, R.; Weigl, A.
2024. SAC ’24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. Ed.: J. Hong, 1702–1711, Association for Computing Machinery (ACM). doi:10.1145/3605098.3636008
A Toolchain for Simulation Component Specification and Identification
Koch, S.; Reiche, F.
2023. Software Architecture. ECSA 2022 Tracks and Workshops – Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers. Ed.: T. Batista, 75–89, Springer International Publishing. doi:10.1007/978-3-031-36889-9_7
Koch, S.; Reiche, F.
2023. Software Architecture. ECSA 2022 Tracks and Workshops – Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers. Ed.: T. Batista, 75–89, Springer International Publishing. doi:10.1007/978-3-031-36889-9_7
Continuous Secure Software Development and Analysis
Schulz, S.; Reiche, F.; Hahner, S.; Schiffl, J.
2022. Symposium on Software Performance 2021 : Short Paper Proceedings of Symposium on Software Performance, Leipzig, Germany, November 9.-10., 2021. Ed.: D. G. Reichelt, R. Müller, S. Becker, W. Hasselbring, A. v. Hoorn, S. Kounev, A. Koziolek, R. Reussner, RWTH Aachen
Schulz, S.; Reiche, F.; Hahner, S.; Schiffl, J.
2022. Symposium on Software Performance 2021 : Short Paper Proceedings of Symposium on Software Performance, Leipzig, Germany, November 9.-10., 2021. Ed.: D. G. Reichelt, R. Müller, S. Becker, W. Hasselbring, A. v. Hoorn, S. Kounev, A. Koziolek, R. Reussner, RWTH Aachen
Modeling and Enforcing Access Control Policies for Smart Contracts
Töberg, J.-P.; Schiffl, J.; Reiche, F.; Beckert, B.; Heinrich, R.; Reussner, R.
2022. Conference Proceedings: 2022 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS), 38–47, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/DAPPS55202.2022.00013
Töberg, J.-P.; Schiffl, J.; Reiche, F.; Beckert, B.; Heinrich, R.; Reussner, R.
2022. Conference Proceedings: 2022 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS), 38–47, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/DAPPS55202.2022.00013
Towards a Correspondence Model for the Reuse of Software in Multiple Domains
Koch, S.; Reiche, F.
2019. 10. Workshop „Design For Future – Langlebige Softwaresysteme“, 41–42, Softwaretechnik-Trends
Koch, S.; Reiche, F.
2019. 10. Workshop „Design For Future – Langlebige Softwaresysteme“, 41–42, Softwaretechnik-Trends
Towards a metamodel for modular simulation environments
Koch, S.; Reiche, F.; Heinrich, R.
2018. ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Kopenhagen, DK, October 14-19, 2018. Ed.: R. Hebig
Koch, S.; Reiche, F.; Heinrich, R.
2018. ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Kopenhagen, DK, October 14-19, 2018. Ed.: R. Hebig
Master's Theses
Modularization Approaches in the Context of Monolithic Simulations. master’s thesis
Reiche, F.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000131811
Reiche, F.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000131811