Hendrik Kausch

According to our database, Hendrik Kausch authored at least 5 papers between 2020 and 2023.

Collaborative distances:

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

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