Mathias Pfeiffer

机构：RWTH Aachen University · ORCID：0009-0007-4445-0387

发表论文 18 篇 · 总被引 34 次 · h-index 4

代表论文

• 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)
• MontiBelle - Toolbox for a Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety (2020 · AIAA Scitech 2020 Forum · 被引 5)
• Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams (2021 · RWTH Publications (RWTH Aachen) · 被引 4)
• The BOS-method architecture: An improved structured approach for the development of distributed information systems (1993 · Lecture notes in computer science · 被引 4)