An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems. - Hendrik Kausch; Mathias Pfeiffer; Deni Raco; Bernhard Rumpe (Software Engineering (Workshops), 2020)

Towards an Isabelle Theory for distributed, interactive systems: The untimed case. - Jens Christoph Bürger; Hendrik Kausch; Deni Raco; Jan Oliver Ringert; Bernhard Rumpe; Sebastian Stüber; Marc Wiartalla (Towards an Isabelle Theory for distributed, interactive systems, 2020)

Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams. - Hendrik Kausch; Mathias Pfeiffer; Deni Raco; Bernhard Rumpe (Software Engineering (Satellite Events), 2021)

Enabling Informed Sustainability Decisions: Sustainability Assessment in Iterative System Modeling. - Gabriele Gramelsberger; Hendrik Kausch; Judith Michael; Frank T. Piller; Ferdinanda Ponci; Aaron Praktiknjo; Bernhard Rumpe; Rega Sota; Sandra Venghaus (MoDELS (Companion), 2023)

Leveraging Natural Language Processing for a Consistency Checking Toolchain of Automotive Requirements. - Vincent Bertram; Hendrik Kausch; Evgeny Kusmenko; Haron Nqiri; Bernhard Rumpe; Constantin Venhoff (RE, 2023)

Enhancing System Model Quality: Evaluation of the Systems Modeling Language (SysML)-Driven Approach in Avionics. - Hendrik Kausch; Mathias Pfeiffer; Deni Raco; Bernhard Rumpe; Andreas Schweiger (J. Aerosp. Inf. Syst., 2025)

Methodical and Formally Verified Model-Driven Architecture Refactoring. - Lars Fischer; Hendrik Kausch; Bernhard Rumpe; Max Stachon; Sebastian Stüber; Lucas Wollenhaupt (J. Object Technol., 2025)

Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems, Volume 2. - Hendrik Kausch; Mathias Pfeiffer; Deni Raco; Bernhard Rumpe; Sebastian Stüber; Lucas Wollenhaupt (Shaker, 2025)