Stefan Kriebel

Affiliations:
  • BMW Group, Munich, Germany


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
SMArDT modeling for automotive software testing.
Softw. Pract. Exp., 2019

Applying product line testing for the electric drive system.
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?
Proceedings of the Workshops of the Software Engineering Conference 2019, 2019

Learning Error Patterns from Diagnosis Trouble Codes.
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Component-based Integration of Interconnected Vehicle Architectures.
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

2018
Model-Based Development of Self-Adaptive Autonomous Vehicles using the SMARDT Methodology.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Distributed Simulation of Cooperatively Interacting Vehicles.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Improving model-based testing in automotive software engineering.
Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

Model-Based Testing of Software-Based System Functions.
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.
CoRR, 2014

View-Based Modeling of Function Nets.
CoRR, 2014

2008
View-Centric Modeling of Automotive Logical Architectures.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008

2004
Model-based testing for real.
Int. J. Softw. Tools Technol. Transf., 2004

2003
Model-Based Test Case Generation for Smart Cards.
Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003


  Loading...