Frederik Reiche

According to our database, Frederik Reiche authored at least 8 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

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

Consistency Management for Security Annotations for Continuous Verification.

Frederik Reiche, Thomas Weber, Simeon Becker, Sebastian Weber, Robert Heinrich, Erik Burger

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

What do you assume? A Theory of Security-Related Assumptions.

Sophie Corallo, Thomas Weber, Lars König, Kathrin Leonie Schmidt, Frederik Reiche, Anne Koziolek

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 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