Model-Based Testing of Software-Based System Functions. - Imke Drave; Steffen Hillemacher; Timo Greifenberg; Bernhard Rumpe; Andreas Wortmann 001; Matthias Markthaler; Stefan Kriebel (SEAA, 2018)

Semantic Differencing of Statecharts for Object-oriented Systems. - Imke Drave; Robert Eikermann; Oliver Kautz; Bernhard Rumpe (MODELSWARD, 2019)

Semantic evolution analysis of feature models. - Imke Drave; Oliver Kautz; Judith Michael; Bernhard Rumpe (SPLC (A), 2019)

SMArDT modeling for automotive software testing. - Imke Drave; Steffen Hillemacher; Timo Greifenberg; Stefan Kriebel; Evgeny Kusmenko; Matthias Markthaler; Philipp Orth; Karin Samira Salman; Johannes Richenhagen; Bernhard Rumpe; Christoph Schulze 002; Michael von Wenckstern; et al. (Softw. Pract. Exp., 2019)

Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen. - Imke Drave; Timo Henrich; Katrin Hölldobler; Oliver Kautz; Judith Michael; Bernhard Rumpe (Modellierung, 2020)

Modeling mechanical functional architectures in SysML. - Imke Drave; Bernhard Rumpe; Andreas Wortmann 001; Joerg K. Berroth; Gregor Hoepfner; Georg Jacobs; Kathrin Spuetz; Thilo Zerwas; Christian Guist; Jens Kohl (MoDELS, 2020)

Model-Driven Engineering of Process-Aware Information Systems. - Imke Drave; Judith Michael; Erik Müller 002; Bernhard Rumpe; Simon Varga (SN Comput. Sci., 2022)