Stefan Kriebel - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

2026

Navigating the Future: Essential Considerations for the Engineering of Software-Defined VehiclesRodi Jolak, Vard Antinyan, Alexander Åström, Darko Durisic, Oliver Kopp, Stefan Kriebel, Daniel Krippner, Mazen Mohamad, Jérôme Pfeiffer, Christian Seiler, Pontus Svenson, Andreas Wortmann 0001, Jan Bosch. Computer, 59(1):74-84, January 2026. [doi]

2019

SMArDT modeling for automotive software testingImke Drave, Steffen Hillemacher, Timo Greifenberg, Stefan Kriebel, Evgeny Kusmenko, Matthias Markthaler, Philipp Orth, Karin Samira Salman, Johannes Richenhagen, Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern, Andreas Wortmann. SPE, 49(2):301-328, 2019. [doi]

Applying product line testing for the electric drive system: [industry]Rolf Ebert, Jahir Jolianis, Stefan Kriebel, Matthias Markthaler, Benjamin Pruenster, Bernhard Rumpe, Karin Samira Salman. SPLC 2019: [doi]

Component-based Integration of Interconnected Vehicle ArchitecturesAlexander David Hellwig, Stefan Kriebel, Evgeny Kusmenko, Bernhard Rumpe. ivs 2019: 153-158 [doi]

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. se 2019: 87-94 [doi]

Learning Error Patterns from Diagnosis Trouble CodesStefan Kriebel, Evgeny Kusmenko, Bernhard Rumpe, Igor Shumeiko. ivs 2019: 179-184 [doi]

2018

Model-Based Testing of Software-Based System FunctionsImke Drave, Steffen Hillemacher, Timo Greifenberg, Bernhard Rumpe, Andreas Wortmann, Matthias Markthaler, Stefan Kriebel. euromicro 2018: 146-153 [doi]

Distributed Simulation of Cooperatively Interacting VehiclesChristian Frohn, Petyo Ilov, Stefan Kriebel, Evgeny Kusmenko, Bernhard Rumpe, Alexander Ryndin. itsc 2018: 596-601 [doi]

Model-Based Development of Self-Adaptive Autonomous Vehicles using the SMARDT MethodologySteffen Hillemacher, Stefan Kriebel, Evgeny Kusmenko, Mike Lorang, Bernhard Rumpe, Albi Sema, Georg Strobl, Michael von Wenckstern. modelsward 2018: 163-178 [doi]

Finding Inconsistencies in Design Models and Requirements by Applying the SMARDT ProcessStefan Kriebel, Evgeny Kusmenko, Bernhard Rumpe, Michael von Wenckstern. mbees 2018: 51-60

Improving model-based testing in automotive software engineeringStefan Kriebel, Matthias Markthaler, Karin Samira Salman, Timo Greifenberg, Steffen Hillemacher, Bernhard Rumpe, Christoph Schulze, Andreas Wortmann, Philipp Orth, Johannes Richenhagen. ICSE 2018: 172-180 [doi]

2008

View-Centric Modeling of Automotive Logical ArchitecturesHans Grönniger, Jochen Hartmann, Holger Krahn, Stefan Kriebel, Lutz Rothhardt, Bernhard Rumpe. mbees 2008: 3-12 [doi]

2004

Model-based testing for realAlexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel. STTT, 5(2-3):140-157, 2004. [doi]

2003

Model-Based Test Case Generation for Smart CardsJan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl. ENTCS, 80:170-184, 2003. [doi]

1999

A combined parametric and nonparametric approach to time series analysis - motivated by coastal upwelling predictionStefan Kriebel. Volume 222 of DISKI, Infix, 1999.

Sign in or sign up to see more results.

runs on WebDSL