Frederik Reiche

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 7

Top Topics

Simulation Environment

Software Development

Configuration Management

Top Venues

MoDELS (Workshops)

Publications

Sophie Corallo, Thomas Weber, Lars König, Kathrin Leonie Schmidt, Frederik Reiche, Anne Koziolek
What do you assume? A Theory of Security-Related Assumptions. ICSE Companion (2024)
Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. CoRR (2024)
Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. SAC (2024)
Sandro Koch, Frederik Reiche
A Toolchain for Simulation Component Specification and Identification. ECSA (Tracks and Workshops) (2022)
Sophie Schulz, Frederik Reiche, Sebastian Hahner, Jonas Schiffl
Continuous Secure Software Development and Analysis. SSP (2021)
Sandro Koch, Frederik Reiche
Towards a Correspondence Model for the Reuse of Software in Multiple Domains. Softwaretechnik-Trends 39 (2) (2019)
Sandro Koch, Frederik Reiche, Robert Heinrich
Towards a Metamodel for Modular Simulation Environments. MoDELS (Workshops) (2018)
Matthias Budde, Matthias Berning, Christopher Baumgärtner, Florian Kinn, Timo Kopf, Sven Ochs, Frederik Reiche, Till Riedel, Michael Beigl
Point & control - interaction in smart environments: you only click twice. UbiComp (Adjunct Publication) (2013)