Frederik Reiche

According to our database, Frederik Reiche authored at least 6 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.

Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl

CoRR, 2024

2022

A Toolchain for Simulation Component Specification and Identification.

Sandro Koch, Frederik Reiche

Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

2021

Continuous Secure Software Development and Analysis.

Sophie Schulz, Frederik Reiche, Sebastian Hahner, Jonas Schiffl

Proceedings of the Short Paper Proceedings of Symposium on Software Performance 2021, 2021

2019

Towards a Correspondence Model for the Reuse of Software in Multiple Domains.

Sandro Koch, Frederik Reiche

Softwaretechnik-Trends, 2019

2018

Towards a Metamodel for Modular Simulation Environments.

Sandro Koch, Frederik Reiche, Robert Heinrich

Proceedings of MODELS 2018 Workshops: ModComp, 2018

2013

Point & control - interaction in smart environments: you only click twice.

Matthias Budde, Matthias Berning, Christopher Baumgärtner, Florian Kinn, Timo Kopf, Sven Ochs, Frederik Reiche, Till Riedel, Michael Beigl

Proceedings of the 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2013