Personal information

No personal information available

Activities

Collapse all

Employment (1)

RWTH Aachen University: Aachen, Nordrhein-Westfalen, DE

Employment
Source: check_circle
RWTH Aachen University

Works (12)

Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications

CEAS Aeronautical Journal
2025-01 | Journal article
DOI: 10.1007/s13272-024-00762-6
Contributors: Hendrik Kausch; Mathias Pfeiffer; Deni Raco; Bernhard Rumpe; Andreas Schweiger
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Applied Model-Based Co-Development for Zero-Emission Flight Systems Based on SysML

Deutscher Luft- und Raumfahrtkongress (DLRK 2024)
2024 | Conference paper
DOI: 10.25967/630489
Contributors: Kausch, Hendrik; Koppes, Kristiaan; Netz, Lukas and O'Brien, Patrick; Pfeiffer, Mathias; Raco, Deni; Radny, Matthias; Rath, Amelie; Richstein, Rebecca and Rumpe, Bernhard
Source: Self-asserted source
Hendrik Kausch

Enhancing System-model Quality: Evaluation of the MontiBelle Approach with the Avionics Case Study on a Data Link Uplink Feed System

2024 | Conference paper
DOI: 10.18420/sw2024-ws_09
SOURCE-WORK-ID: RWTH-2024-02244
Contributors: Kausch, Hendrik; Pfeiffer, Mathias; Raco, Deni; Rumpe, Bernhard; Schweiger, Andreas
Source: check_circle
RWTH Aachen University

A Theory for Event-Driven Specifications Using Focus and MontiArc on the Example of a Data Link Uplink Feed System

2023 | Conference paper
DOI: 10.18420/se2023-ws-17
SOURCE-WORK-ID: RWTH-2023-01609
Contributors: Kausch, Hendrik; Pfeiffer, Mathias; Raco, Deni; Rath, Amelie; Rumpe, Bernhard; Schweiger, Andreas
Source: check_circle
RWTH Aachen University

Enabling informed sustainability decisions: sustainability assessment in iterative system modeling

2023 | Conference paper
DOI: 10.1109/MODELS-C59198.2023.00151
SOURCE-WORK-ID: RWTH-2023-12195
ISBN: 979-8-3503-2498-3
EID:

2-s2.0-85182187436

WOSUID:

WOS:001137051500126
Contributors: Gramelsberger, Gabriele; Kausch, Hendrik; Michael, Judith; Piller, Frank Thomas; Ponci, Ferdinanda; Praktiknjo, Aaron Jonathan; Rumpe, Bernhard; Sota, Rega; Venghaus, Sandra
Source: check_circle
RWTH Aachen University

Leveraging Natural Language Processing for a Consistency Checking Toolchain of Automotive Requirements

2023 | Conference paper
DOI: 10.1109/RE57278.2023.00029
SOURCE-WORK-ID: RWTH-2023-09506
ISBN: 979-8-3503-2689-5
Part of ISSN: 1090-705X
EID:

2-s2.0-85174411487
Contributors: Bertram, Vincent; Kausch, Hendrik; Kusmenko, Evgeny; Nqiri, Haron Samy; Rumpe, Bernhard; Venhoff, Constantin
Source: check_circle
RWTH Aachen University

Correct and Sustainable Development Using Model-based Engineering and Formal Methods

2022 | Conference paper
DOI: 10.1109/DASC55683.2022.9925819
SOURCE-WORK-ID: RWTH-2022-10428
ISBN: 978-1-6654-8607-1
Part of ISSN: 2155-7195
EID:

2-s2.0-85141938925
Contributors: Kausch, Hendrik; Pfeiffer, Mathias; Raco, Deni; Rumpe, Bernhard; Schweiger, Andreas
Source: check_circle
RWTH Aachen University

Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams

2021 | Conference paper
SOURCE-WORK-ID: RWTH-2021-05459
EID:

2-s2.0-85101629525
Contributors: Kausch, Hendrik; Pfeiffer, Mathias; Raco, Deni; Rumpe, Bernhard
Source: check_circle
RWTH Aachen University

Model-Based Development and Logical AI for Secure and Safe Avionics Systems: A Verification Framework for SysML Behavior Specifications

2021 | Lecture
SOURCE-WORK-ID: RWTH-2022-00540
Contributors: Kausch, Hendrik; Michael, Judith; Pfeiffer, Mathias; Raco, Deni; Rumpe, Bernhard; Schweiger, Andreas
Source: check_circle
RWTH Aachen University

An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems

2020 | Conference paper
SOURCE-WORK-ID: RWTH-2020-08278
Part of ISSN: 1613-0073
EID:

2-s2.0-85082966829
Contributors: Kausch, Hendrik; Pfeiffer, Mathias; Raco, Deni; Rumpe, Bernhard
Source: check_circle
RWTH Aachen University

MontiBelle - Toolbox for a Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety

2020 | Conference paper
DOI: 10.2514/6.2020-0671
SOURCE-WORK-ID: RWTH-2020-02728
ISBN: 978-1-62410-595-1
EID:

2-s2.0-85091930330
Contributors: Kausch, Hendrik; Pfeiffer, Mathias; Raco, Deni; Rumpe, Bernhard
Source: check_circle
RWTH Aachen University

Towards an Isabelle Theory for distributed, interactive systems : the untimed case

2020 | Report
SOURCE-WORK-ID: RWTH-2020-10398
ISBN: 978-3-8440-7265-5
Part of ISSN: 1869-9170
Contributors: Bürger, Jens Christoph; Kausch, Hendrik; Raco, Deni; Ringert, Jan Oliver; Rumpe, Bernhard; Stüber, Sebastian Wolfram; Wiartalla, Marc Oliver
Source: check_circle
RWTH Aachen University
How many people are using ORCID?