Skip to content

David Schmelter

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

7

Venues

3

Active years

2017–2023

Best venue rank

A

Where they publish

Papers

7 indexed papers, newest first.

YearVenueTitleAuthors
2023EuroSPITrustful Model-Based Information Exchange in Collaborative Engineering.David Schmelter, Jan-Philipp Steghfer, Karsten Albers, Mats Ekman, Jrg Tessmer, Raphael Weber
2021REThe MobSTr Dataset - An Exemplar for Traceability and Model-based Safety Assessment.Jan-Philipp Steghfer, Bjrn Koopmann, Jan Steffen Becker, Ingo Stierand, Marc Zeller, Maria Bonner, David Schmelter, Salome Maro
2020RECutting through the Jungle: Disambiguating Model-based Traceability Terminology.Jrg Holtmann, Jan-Philipp Steghfer, Michael Rath, David Schmelter
2018MODELSWARDFormal, Model- and Scenario-based Requirement Patterns.Markus Fockel, Jrg Holtmann, Thorsten Koch, David Schmelter
2017MODELSWARDAutomated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems.Johannes Geismann, Robert Httger, Lukas Krawczyk, Uwe Pohlmann, David Schmelter
2017MODELSWARDTowards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems.Johannes Geismann, Uwe Pohlmann, David Schmelter
2017REToward Learning Realizable Scenario-Based, Formal Requirements Specifications.David Schmelter, Joel Greenyer, Jrg Holtmann