Mathias Pfeiffer, M.Sc. RWTH

page.title
Software Engineering
Department of Computer Science 3
RWTH Aachen University
Ahornstraße 55
D-52074 Aachen

+49 (241) 80-21338
mpfeiffer@se-rwth.de

Room 2226


Publications:

  1. [KPR+24a]
    H. Kausch, M. Pfeiffer, D. Raco, B. Rumpe, A. Schweiger:
    Model-driven Development for Functional Correctness of Avionics Systems: A Verification Framework for SysML Specifications.
    In: CEAS Aeronautical Journal, Volume 15(4), Springer, Oct. 2024.
  2. [KKN+24]
    H. Kausch, K. Koppes, L. Netz, P. O’Brien, M. Pfeiffer, D. Raco, M. Radny, A. Rath, R. Richstein, B. Rumpe:
    Applied Model-Based Co-Development for Zero-Emission Flight Systems Based on SysML.
    In: Deutscher Luft- und Raumfahrtkongress (DLRK 2024), Deutsche Gesellschaft für Luft- und Raumfahrt - Lilienthal-Oberth e.V., Oct. 2024.
  3. [KPR+24]
    H. Kausch, M. Pfeiffer, D. Raco, B. Rumpe, A. Schweiger:
    Enhancing System-model Quality: Evaluation of the MontiBelle Approach with the Avionics Case Study on a Data Link Uplink Feed System.
    In: Avionics Systems and Software Engineering Workshop of the Software Engineering 2024 - Companion Proceedings (AvioSE), pp. 119–138, Gesellschaft für Informatik e.V., Feb. 2024.
  4. [KPR+23]
    H. Kausch, M. Pfeiffer, D. Raco, A. Rath, B. Rumpe, A. Schweiger:
    A Theory for Event-Driven Specifications Using Focus and MontiArc on the Example of a Data Link Uplink Feed System.
    In: Software Engineering 2023 Workshops, I. Groher, T. Vogel (Eds.), pp. 169-188, Gesellschaft für Informatik e.V., Feb. 2023.
  5. [KPR+22]
    H. Kausch, M. Pfeiffer, D. Raco, B. Rumpe, A. Schweiger:
    Correct and Sustainable Development Using Model-based Engineering and Formal Methods.
    In: 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC), IEEE, Sep. 2022.
  6. [KMP+21]
    H. Kausch, J. Michael, M. Pfeiffer, D. Raco, B. Rumpe, A. Schweiger:
    Model-Based Development and Logical AI for Secure and Safe Avionics Systems: A Verification Framework for SysML Behavior Specifications.
    In: Aerospace Europe Conference 2021 (AEC 2021), Council of European Aerospace Societies (CEAS), Nov. 2021.
  7. [KPRR21]
    H. Kausch, M. Pfeiffer, D. Raco, B. Rumpe:
    Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams.
    In: Proceedings of the Software Engineering 2021 Satellite Events, S. Götz, L. Linsbauer, I. Schaefer, A. Wortmann (Eds.), Volume 2814, CEUR, Feb. 2021.
  8. [KPRR20a]
    H. Kausch, M. Pfeiffer, D. Raco, B. Rumpe:
    An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems.
    In: Combined Proceedings of the Workshops at Software Engineering 2020, R. Hebig, R. Heinrich (Eds.), Volume 2581, CEUR Workshop Proceedings, Feb. 2020.
  9. [KPRR20]
    H. Kausch, M. Pfeiffer, D. Raco, B. Rumpe:
    MontiBelle - Toolbox for a Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety.
    In: AIAA Scitech 2020 Forum, American Institute of Aeronautics and Astronautics, Jan. 2020.