| 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, LL Götz Software Engineering (Satellite Events), 2021 | 14 | 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 | 11 | 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 | 9 | 2020 |
| Enabling informed sustainability decisions: sustainability assessment in iterative system modeling G Gramelsberger, H Kausch, J Michael, F Piller, F Ponci, A Praktiknjo, ... 2023 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2023 | 8 | 2023 |
| Leveraging natural language processing for a consistency checking toolchain of automotive requirements V Bertram, H Kausch, E Kusmenko, H Nqiri, B Rumpe, C Venhoff 2023 IEEE 31st International Requirements Engineering Conference (RE), 212-222, 2023 | 8 | 2023 |
| Towards an Isabelle Theory for distributed, interactive systems: the untimed case JC Bürger Deutsche Nationalbibliothek, 2020 | 8 | 2020 |
| 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, 2021 | 7 | 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 Software Engineering 2023 Workshops, 169-188, 2023 | 6 | 2023 |
| 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 | 6 | 2022 |
| 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 | 4 | 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 | 3 | 2024 |
| Applied Model-Based Co-Development For Zero-Emisson Flight Systems Based on SysML H Kausch, K Koppes, L Netz, P O’Brien, M Pfeiffer, D Raco, M Radny, ... Proceedings of the Deutscher Luft und Raumfahrt Kongress, 10, 2024 | 1 | 2024 |
| Enhancing System Model Quality: Evaluation of the Systems Modeling Language (SysML)-Driven Approach in Avionics H Kausch, M Pfeiffer, D Raco, B Rumpe, A Schweiger Journal of Aerospace Information Systems, 1-12, 2025 | | 2025 |
Mathias PfeifferResearch Associate, RWTH Aachen Universityכתובת אימייל מאומתת בדומיין se-rwth.de