Benedikt Walter

According to our database, Benedikt Walter authored at least 11 papers between 2017 and 2026.

Collaborative distances:

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

2026

RECTOR: Priority-Aware Rule-Based Reranking for Compliance-Aware Autonomous Driving Trajectory Selection.

Hadi Hajieghrary, Benedikt Walter, Chaitanya Shinde, Paul Schmitt, Miguel Hurtado

CoRR, May, 2026

From Specification to Certification: TORQ-Ordered Rulebooks and Robust HOCBF Optimization for Safe Autonomous Driving.

Hadi Hajieghrary, Benedikt Walter, Paul Schmitt

Proceedings of the IEEE/SICE International Symposium on System Integration, 2026

2025

Remote Assistance or Remote Driving: The Impact of Operational Design Domains on ADS-Supporting Systems Selection.

Ole Hans, Benedikt Walter

CoRR, July, 2025

Evaluation of Remote Driver Performance in Urban Environment Operational Design Domains.

Ole Hans, Benedikt Walter, Jürgen Adamy

CoRR, March, 2025

2021

Formal knowledge representations for textual automotive system requirements and tests.

Benedikt Walter

PhD thesis, 2021

2019

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

Benedikt Walter, Jan Martin, Jonathan Schmidt, Hanna Dettki, Stephan Rudolph

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

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

Benedikt Walter, Dennis Kaiser, Stephan Rudolph

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

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

Nikolai Stein, Benedikt Walter, Christoph Flath

Proceedings of the 40th International Conference on Information Systems, 2019

2018

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

Benedikt Walter, Maximilian Schilling, Marco Piechotta, Stephan Rudolph

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

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

Benedikt Walter, Dennis Kaiser, Stephan Rudolph

Proceedings of the Complex Systems Design & Management, 2018

2017

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

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017