Michael Käßmeyer

2016

• Käßmeyer M., Bazan P., Schurius M., German R.:
  A Formal Model for Stateful and Variant-rich Automotive Functions
  27th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2016 (Ottawa, ON, 2016-10-23 - 2016-10-27)
  In: Formal Verification for Practicing Engineers (FVPE), Ottawa, Canada: 2016
  DOI: 10.1109/ISSREW.2016.25
  BibTeX: Download
• Käßmeyer M., Berndt R., Bazan P., German R.:
  Product Line Fault Tree Analysis by Means of Multi-valued Decision Diagrams
  18th International GI/ITG Conference on Measurment, Modelling and Evaluation of Computing Systems and Dependability and Fault-Tolerance (MMB & DFT 2016) (Münster, 2016-04-04 - 2016-04-06)
  In: Remke A., Haverkort B.R. (Hrsg.): Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems. MMB&DFT 2016. Lecture Notes in Computer Science, vol 9629., Cham: 2016
  DOI: 10.1007/978-3-319-31559-1_11
  BibTeX: Download
• Käßmeyer M., Berndt R., Bazan P., German R.:
  Toward an MDD-based Analysis of Stateful and Variant-rich Automotive Functions
  CARS 2016-4th International Workshop on Critical Automotive Applications: Robustness & Safety (Göteborg, 2016-09-06 - 2016-09-06)
  In: CARS 2016-4th International Workshop on Critical Automotive Applications: Robustness & Safety 2016
  BibTeX: Download
• Käßmeyer M., Soden M.:
  A Model based Difference Approach and Change Impact Rules Language to manage Variability and Change Requests in Safety Critical Automotive Functions .
  SAE 2016 World Congress and Exhibition (, 2016-04-12 - 2016-04-14)
  In: SAE World Congress & Exhibition, Technical Paper 2016
  DOI: 10.4271/2016-01-0125
  BibTeX: Download