Hendrik Kausch

According to our database, Hendrik Kausch authored at least 8 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Aachener Informatik-Berichte, Software Engineering 58, Shaker, ISBN: 978-3-8191-0062-8, 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

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

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

Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023

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

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2021

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

Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22, 2021

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

Aachener Informatik-Berichte, Software Engineering 45, Shaker, ISBN: 978-3-8440-7265-5, 2020

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

Proceedings of the Combined Proceedings of the Workshops at Software Engineering 2020 Co-located with the German Software Engineering Conference 2020 (SE 2020), 2020