M.Sc. Michael Käßmeyer


Publikationen

Konferenzen und Workshops

  1. Michael Käßmeyer, Peter Bazan, Markus Schurius und Reinhard German, "A Formal Model for Stateful and Variant-rich Automotive Functions," Formal Verification for Practicing Engineers (FVPE), Ottawa, Canada, Oktober 2016
  2. Michael Käßmeyer und M. Soden, "A Model based Difference Approach and Change Impact Rules Language to manage Variability and Change Requests in Safety Critical Automotive Functions .," SAE World Congress & Exhibition, Technical Paper, 2016
  3. Michael Käßmeyer, Rüdiger Berndt, Peter Bazan und Reinhard German, "Product Line Fault Tree Analysis by Means of Multi-valued Decision Diagrams," Proceedings of the 18th International GI/ITG Conference on "Measurement, Modelling and Evaluation of Computing Systems” and "Dependability and Fault-Tolerance”, Münster, Germany, 2016
  4. Michael Käßmeyer, Rüdiger Berndt, Peter Bazan und Reinhard German, "Toward an MDD-based Analysis of Stateful and Variant-rich Automotive Functions", 2016
  5. Andre Kohn, Michael Käßmeyer, Rolf Schneider, Andre Roger, Claus Stellwag und Andreas Herkersdorf, "Fail-Operational in Safety-Related Automotive Multi-Core Systems," The 10th IEEE International Symposium on Industrial Embedded Systems (SIES 2015), Siegen, Germany, Juni 2015
  6. Michael Käßmeyer, Michael Schulze und Markus Schurius, "A process to support a systematic change impact analysis of variability and safety in automotive functions," The 19th International Software Product Line Conference: New Directions in Systems and Software Product Line Engineering (SPLC 2015), Nashville, USA, 2015
  7. Michael Käßmeyer, David Santiago Velasco Moncada und Markus Schurius, "Evaluation of a systematic approach in variant management for safety-critical systems development," The 13th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2015), Porto, Portugal, 2015

Technische Berichte und Regionale Workshops

    Weitere Informationen