David Schmelter

Formal, Model- and Scenario-based Requirement Patterns

Markus Fockel, Jörg Holtmann, Thorsten Koch, 2018, MODELSWARD.

Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems

David Schmelter, Uwe Pohlmann, Johannes Geismann, 2017, MODELSWARD.

Cutting through the Jungle: Disambiguating Model-based Traceability Terminology

David Schmelter, Michael Rath, Jan-Philipp Steghöfer, 2020, 2020 IEEE 28th International Requirements Engineering Conference (RE).

Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems

David Schmelter, Robert Höttger, Uwe Pohlmann, 2017, MODELSWARD.

Toward Learning Realizable Scenario-Based, Formal Requirements Specifications

Jörg Holtmann, David Schmelter, Joel Greenyer, 2017, 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW).

Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control

David Schmelter, Stefan Dziwok, Benedict Wohlers, 2018 .

Coaching on the Job bei Unternehmen des Maschinenbaus

David Schmelter, Masud Fazal-Baqaie, Stefan Dziwok, 2020, SE.

Aspect-oriented modelling from a different angle: modelling domains with aspects

Ekkart Kindler, David Schmelter, 2008 .

Integrated systems engineering and software requirements engineering for technical systems

Jörg Holtmann, David Schmelter, Matthias Meyer, 2015, ICSSP.

Integrated and iterative systems engineering and software requirements engineering for technical systems

Jörg Holtmann, David Schmelter, Matthias Meyer, 2016, J. Softw. Evol. Process..

Cutting through the Jungle: Disambiguating Model-based Traceability Terminology

Jörg Holtmann, David Schmelter, Jan-Philipp Steghöfer, 2021, Software Engineering.