Michael Käßmeyer

According to our database, Michael Käßmeyer authored at least 5 papers between 2015 and 2016.

Collaborative distances:

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

2016

Product Line Fault Tree Analysis by Means of Multi-valued Decision Diagrams.

Michael Käßmeyer, Rüdiger Berndt, Peter Bazan, Reinhard German

Proceedings of the Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, 2016

A Formal Model for Stateful and Variant-Rich Automotive Functions.

Michael Käßmeyer, Peter Bazan, Markus Schurius, Rüdiger Berndt, Reinhard German

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

Modular Safety Assurance.

Arnaud Boyer, Bastian Tenbergen, Santiago Velasco, Pablo Oliveira Antonino, Peter Battram, Suryo Buono, Bernhard Kaiser, Justyna Zander, Kai Bizik, Alexander Prohaska, Michael Käßmeyer

Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

2015

A process to support a systematic change impact analysis of variability and safety in automotive functions.

Michael Käßmeyer, Michael Schulze, Markus Schurius

Proceedings of the 19th International Conference on Software Product Line, 2015

Evaluation of a Systematic Approach in Variant Management for Safety-Critical Systems Development.

Michael Käßmeyer, David Santiago Velasco Moncada, Markus Schurius

Proceedings of the 13th IEEE International Conference on Embedded and Ubiquitous Computing, 2015