Michael Käßmeyer

List of publications:

BibTeX-Download


Computer Science 7 (Computer Networks and Communication Systems)
A Formal Model for Stateful and Variant-rich Automotive Functions (2016) Käßmeyer M, Bazan P, Schurius M, German R Conference contribution, Original article Toward an MDD-based Analysis of Stateful and Variant-rich Automotive Functions (2016) Käßmeyer M, Berndt R, Bazan P, German R Conference contribution A Model based Difference Approach and Change Impact Rules Language to manage Variability and Change Requests in Safety Critical Automotive Functions . (2016) Käßmeyer M, Soden M Conference contribution Product Line Fault Tree Analysis by Means of Multi-valued Decision Diagrams (2016) Käßmeyer M, Berndt R, Bazan P, German R Conference contribution