Researcher profile

Jan-Philipp Steghöfer

2 papers in the PaperMetrix corpus

Publications

Papers by this author

  1. Cutting through the Jungle: Disambiguating Model-based Traceability Terminology

    2020

    Traceability, a classic requirements engineering topic, is increasingly used in the context of model-based engineering. However, researchers and practitioners lack a concise terminology to discuss aspects of requirements traceability in situations in which engineers heavily …

  2. A Formal Model and Lower-Bound Intuition for Cryptographic Migration

    2026 · Communications in computer and information science

    We present a novel approach to gaining insight into the structure of cryptographic migration problems which are classic problems in applied cryptography. We use a formal model to capture the inherent dependencies and complexities of …