A Formalization Method to Process Structured Natural Language to Logic Expressions to Detect Redundant Specification and Test Statements. - Benedikt Walter; Jakob Hammes; Marco Piechotta; Stephan Rudolph (RE, 2017)

Machine-Executable Model-Based Systems Engineering with Graph-Based Design Languages. - Benedikt Walter; Dennis Kaiser; Stephan Rudolph (CSDM, 2018)

Improving Test Execution Efficiency Through Clustering and Reordering of Independent Test Steps. - Benedikt Walter; Maximilian Schilling; Marco Piechotta; Stephan Rudolph (ICST, 2018)

Towards Open Production: Designing a marketplace for 3D-printing capacities. - Nikolai Stein; Benedikt Walter; Christoph Flath (ICIS, 2019)

From Manual to Machine-executable Model-based Systems Engineering via Graph-based Design Languages. - Benedikt Walter; Dennis Kaiser; Stephan Rudolph (MODELSWARD, 2019)

Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design. - Benedikt Walter; Jan Martin; Jonathan Schmidt 004; Hanna Dettki; Stephan Rudolph (MODELSWARD, 2019)

Formal knowledge representations for textual automotive system requirements and tests. - Benedikt Walter (2021)

Evaluation of Remote Driver Performance in Urban Environment Operational Design Domains. - Ole Hans; Benedikt Walter; Jürgen Adamy (CoRR, 2025)

Remote Assistance or Remote Driving: The Impact of Operational Design Domains on ADS-Supporting Systems Selection. - Ole Hans; Benedikt Walter (CoRR, 2025)