| Model-based design of correct safety-critical systems using Dataflow languages on the example of SysML architecture and behavior diagrams H Kausch, M Pfeiffer, D Raco, B Rumpe Software Engineering (Satellite Events), 2021 | 9 | 2021 |
| An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems. H Kausch, M Pfeiffer, D Raco, B Rumpe Software Engineering (Workshops), 2020 | 9 | 2020 |
| Montibelle-toolbox for a model-based development and verification of distributed critical systems for compliance with functional safety H Kausch, M Pfeiffer, D Raco, B Rumpe AIAA Scitech 2020 Forum, 0671, 2020 | 8 | 2020 |
| Correct and Sustainable Development Using Model-based Engineering and Formal Methods H Kausch, M Pfeiffer, D Raco, B Rumpe, A Schweiger 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC), 1-8, 2022 | 5 | 2022 |
| Model-Based Development and Logical AI for Secure and Safe Avionics Systems: A Verification Framework for SysML Behavior Specifications H Kausch, J Michael, M Pfeiffer, D Raco, B Rumpe, A Schweiger Aerospace Europe Conference, 2021 | 5 | 2021 |
| A Theory for Event-Driven Specifications Using Focus and MontiArc on the Example of a Data Link Uplink Feed System H Kausch, M Pfeiffer, D Raco, A Rath, B Rumpe, A Schweiger Gesellschaft für Informatik eV, 2023 | 4 | 2023 |
| Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications H Kausch, M Pfeiffer, D Raco, B Rumpe, A Schweiger CEAS Aeronautical Journal, 1-16, 2024 | 1 | 2024 |
| Enhancing System-model Quality: Evaluation of the MontiBelle Approach with the Avionics Case Study on a Data Link Uplink Feed System H Kausch, M Pfeiffer, D Raco, B Rumpe, A Schweiger SE 2024-Companion, 119-138, 2024 | 1 | 2024 |
