Model-Based Test Case Generation for Smart Cards. - Jan Philipps; Alexander Pretschner; Oscar Slotosch; Ernst Aiglstorfer; Stefan Kriebel; Kai Scholl (FMICS, 2003)

Model-based testing for real. - Alexander Pretschner; Oscar Slotosch; Ernst Aiglstorfer; Stefan Kriebel (Int. J. Softw. Tools Technol. Transf., 2004)

View-Centric Modeling of Automotive Logical Architectures. - Hans Grönniger; Jochen Hartmann 002; Holger Krahn; Stefan Kriebel; Lutz Rothhardt; Bernhard Rumpe (MBEES, 2008)

View-Based Modeling of Function Nets. - Hans Grönniger; Jochen Hartmann 002; Holger Krahn; Stefan Kriebel; Bernhard Rumpe (CoRR, 2014)

Modelling Automotive Function Nets with Views for Features, Variants, and Modes. - Hans Grönniger; Jochen Hartmann 002; Holger Krahn; Stefan Kriebel; Lutz Rothhardt; Bernhard Rumpe (CoRR, 2014)

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)

Improving model-based testing in automotive software engineering. - Stefan Kriebel; Matthias Markthaler; Karin Samira Salman; Timo Greifenberg; Steffen Hillemacher; Bernhard Rumpe; Christoph Schulze 002; Andreas Wortmann 001; Philipp Orth; Johannes Richenhagen (ICSE (SEIP), 2018)

Distributed Simulation of Cooperatively Interacting Vehicles. - Christian Frohn; Petyo Ilov; Stefan Kriebel; Evgeny Kusmenko; Bernhard Rumpe; Alexander Ryndin (ITSC, 2018)

Model-Based Development of Self-Adaptive Autonomous Vehicles using the SMARDT Methodology. - Steffen Hillemacher; Stefan Kriebel; Evgeny Kusmenko; Mike Lorang; Bernhard Rumpe; Albi Sema; Georg Strobl; Michael von Wenckstern (MODELSWARD, 2018)

Component-based Integration of Interconnected Vehicle Architectures. - Alexander David Hellwig; Stefan Kriebel; Evgeny Kusmenko; Bernhard Rumpe (IV, 2019)

Learning Error Patterns from Diagnosis Trouble Codes. - Stefan Kriebel; Evgeny Kusmenko; Bernhard Rumpe; Igor Shumeiko (IV, 2019)

Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy's Streams Become Feasible? - Stefan Kriebel; Deni Raco; Bernhard Rumpe; Sebastian Stüber (Software Engineering (Workshops), 2019)

Applying product line testing for the electric drive system. - Rolf Ebert; Jahir Jolianis; Stefan Kriebel; Matthias Markthaler; Benjamin Pruenster; Bernhard Rumpe; Karin Samira Salman (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)