Stefan Kriebel

Publication Activity (10 Years)

Years Active: 2003-2019
Publications (10 Years): 9

Top Topics

Salient Features

Formal Verification

Software Engineering

Top Venues

Publications

Alexander David Hellwig, Stefan Kriebel, Evgeny Kusmenko, Bernhard Rumpe
Component-based Integration of Interconnected Vehicle Architectures. IV (2019)
Imke 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
SMArDT modeling for automotive software testing. Softw. Pract. Exp. 49 (2) (2019)
Rolf Ebert, Jahir Jolianis, Stefan Kriebel, Matthias Markthaler, Benjamin Pruenster, Bernhard Rumpe, Karin Samira Salman
Applying product line testing for the electric drive system. SPLC (A) (2019)
Stefan Kriebel, Deni Raco, Bernhard Rumpe, Sebastian Stüber
Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy's Streams Become Feasible? Software Engineering (Workshops) (2019)
Stefan Kriebel, Evgeny Kusmenko, Bernhard Rumpe, Igor Shumeiko
Learning Error Patterns from Diagnosis Trouble Codes. IV (2019)
Christian Frohn, Petyo Ilov, Stefan Kriebel, Evgeny Kusmenko, Bernhard Rumpe, Alexander Ryndin
Distributed Simulation of Cooperatively Interacting Vehicles. ITSC (2018)
Steffen Hillemacher, Stefan Kriebel, Evgeny Kusmenko, Mike Lorang, Bernhard Rumpe, Albi Sema, Georg Strobl, Michael von Wenckstern
Model-Based Development of Self-Adaptive Autonomous Vehicles using the SMARDT Methodology. MODELSWARD (2018)
Imke Drave, Steffen Hillemacher, Timo Greifenberg, Bernhard Rumpe, Andreas Wortmann, Matthias Markthaler, Stefan Kriebel
Model-Based Testing of Software-Based System Functions. SEAA (2018)
Stefan Kriebel, Matthias Markthaler, Karin Samira Salman, Timo Greifenberg, Steffen Hillemacher, Bernhard Rumpe, Christoph Schulze, Andreas Wortmann, Philipp Orth, Johannes Richenhagen
Improving model-based testing in automotive software engineering. ICSE (SEIP) (2018)
Hans Grönniger, Jochen Hartmann, Holger Krahn, Stefan Kriebel, Lutz Rothhardt, Bernhard Rumpe
View-Centric Modeling of Automotive Logical Architectures. CoRR (2014)
Hans Grönniger, Jochen Hartmann, Holger Krahn, Stefan Kriebel, Lutz Rothhardt, Bernhard Rumpe
Modelling Automotive Function Nets with Views for Features, Variants, and Modes. CoRR (2014)
Hans Grönniger, Jochen Hartmann, Holger Krahn, Stefan Kriebel, Bernhard Rumpe
View-Based Modeling of Function Nets. CoRR (2014)
Hans Grönniger, Jochen Hartmann, Holger Krahn, Stefan Kriebel, Lutz Rothhardt, Bernhard Rumpe
View-Centric Modeling of Automotive Logical Architectures. MBEES (2008)
Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel
Model-based testing for real. Int. J. Softw. Tools Technol. Transf. 5 (2-3) (2004)
Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl
Model-Based Test Case Generation for Smart Cards. Electron. Notes Theor. Comput. Sci. 80 (2003)