Hendrik Kausch

机构：RWTH Aachen University · ORCID：0000-0003-4910-0638

发表论文 14 篇 · 总被引 55 次 · h-index 5

代表论文

• Leveraging Natural Language Processing for a Consistency Checking Toolchain of Automotive Requirements (2023 · 被引 16)
• Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications (2024 · CEAS Aeronautical Journal · 被引 9)
• Correct and Sustainable Development Using Model-based Engineering and Formal Methods (2022 · 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC) · 被引 6)
• Enhancing System Model Quality: Evaluation of the Systems Modeling Language (SysML)-Driven Approach in Avionics (2025 · Journal of Aerospace Information Systems · 被引 5)
• Enabling Informed Sustainability Decisions: Sustainability Assessment in Iterative System Modeling (2023 · 被引 5)
• MontiBelle - Toolbox for a Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety (2020 · AIAA Scitech 2020 Forum · 被引 5)