Deni Raco

机构：RWTH Aachen University · ORCID：0000-0002-0988-6149

发表论文 15 篇 · 总被引 40 次 · 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)
• Development of Innovative Principles to Perform Given Functions (2005 · Virtual Community of Pathological Anatomy (University of Castilla La Mancha) · 被引 4)