Benedikt Walter

Machine-Executable Model-Based Systems Engineering with Graph-Based Design Languages

Stephan Rudolph, Dennis Kaiser, Benedikt Walter, 2018, CSDM.

From Manual to Machine-executable Model-based Systems Engineering via Graph-based Design Languages.

Stephan Rudolph, Dennis Kaiser, Benedikt Walter, 2019, MODELSWARD 2019.

From Manual to Machine-executable Model-based Systems Engineering via Graph-based Design Languages

Stephan Rudolph, Dennis Kaiser, Benedikt Walter, 2019, MODELSWARD.

Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design

Jonathan Schmidt, Stephan Rudolph, Benedikt Walter, 2019, MODELSWARD.

Towards Open Production: Designing a marketplace for 3D-printing capacities

Christoph Flath, Nikolai Stein, Benedikt Walter, 2019, ICIS.

Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design.

Jonathan Schmidt, Stephan Rudolph, Benedikt Walter, 2019, MODELSWARD 2019.

A Formalization Method to Process Structured Natural Language to Logic Expressions to Detect Redundant Specification and Test Statements

Stephan Rudolph, Benedikt Walter, Jakob Hammes, 2017, 2017 IEEE 25th International Requirements Engineering Conference (RE).

Improving Test Execution Efficiency Through Clustering and Reordering of Independent Test Steps

Stephan Rudolph, Maximilian Schilling, Benedikt Walter, 2018, 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).

Formal knowledge representations for textual automotive system requirements and tests

Benedikt Walter, 2021 .