Benedikt Walter

According to our database, Benedikt Walter authored at least 7 papers between 2017 and 2021.

Collaborative distances:

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

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