Hendrik Kausch

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Support Systems

Natural Language Processing

Safety Critical

Automated Reasoning

Top Venues

Software Engineering (Satellite Events)

MoDELS (Companion)

Software Engineering (Workshops)

Publications

Gabriele Gramelsberger, Hendrik Kausch, Judith Michael, Frank Piller, Ferdinanda Ponci, Aaron Praktiknjo, Bernhard Rumpe, Rega Sota, Sandra Venghaus
Enabling Informed Sustainability Decisions: Sustainability Assessment in Iterative System Modeling. MoDELS (Companion) (2023)
Vincent Bertram, Hendrik Kausch, Evgeny Kusmenko, Haron Nqiri, Bernhard Rumpe, Constantin Venhoff
Leveraging Natural Language Processing for a Consistency Checking Toolchain of Automotive Requirements. RE (2023)
Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe
Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams. Software Engineering (Satellite Events) (2021)
Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe
An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems. Software Engineering (Workshops) (2020)