Stefan Kriebel

According to our database, Stefan Kriebel authored at least 14 papers between 2003 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Michael von Wenckstern, Andreas Wortmann

Softw. Pract. Exp., 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

Proceedings of the 23rd International Systems and Software Product Line Conference, 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

Proceedings of the Workshops of the Software Engineering Conference 2019, 2019

Learning Error Patterns from Diagnosis Trouble Codes.

Stefan Kriebel, Evgeny Kusmenko, Bernhard Rumpe, Igor Shumeiko

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Component-based Integration of Interconnected Vehicle Architectures.

Alexander David Hellwig, Stefan Kriebel, Evgeny Kusmenko, Bernhard Rumpe

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

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

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Distributed Simulation of Cooperatively Interacting Vehicles.

Christian Frohn, Petyo Ilov, Stefan Kriebel, Evgeny Kusmenko, Bernhard Rumpe, Alexander Ryndin

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Improving model-based testing in automotive software engineering.

Stefan Kriebel, Matthias Markthaler, Karin Samira Salman, Timo Greifenberg, Steffen Hillemacher, Bernhard Rumpe, Christoph Schulze, Andreas Wortmann, Philipp Orth, Johannes Richenhagen

Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

Model-Based Testing of Software-Based System Functions.

Imke Drave, Steffen Hillemacher, Timo Greifenberg, Bernhard Rumpe, Andreas Wortmann, Matthias Markthaler, Stefan Kriebel

Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications, 2018

2014

Modelling Automotive Function Nets with Views for Features, Variants, and Modes.

Hans Grönniger, Jochen Hartmann, Holger Krahn, Stefan Kriebel, Lutz Rothhardt, Bernhard Rumpe

CoRR, 2014

View-Based Modeling of Function Nets.

Hans Grönniger, Jochen Hartmann, Holger Krahn, Stefan Kriebel, Bernhard Rumpe

CoRR, 2014

2008

View-Centric Modeling of Automotive Logical Architectures.

Hans Grönniger, Jochen Hartmann, Holger Krahn, Stefan Kriebel, Lutz Rothhardt, Bernhard Rumpe

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008

2004

Model-based testing for real.

Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel

Int. J. Softw. Tools Technol. Transf., 2004

2003

Model-Based Test Case Generation for Smart Cards.

Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003