Michael Käßmeyer

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 2

Top Topics

Security Patterns

Safety Critical

Top Venues

ISSRE Workshops

Publications

Michael Käßmeyer, Rüdiger Berndt, Peter Bazan, Reinhard German
Product Line Fault Tree Analysis by Means of Multi-valued Decision Diagrams. MMB/DFT (2016)
Michael Käßmeyer, Peter Bazan, Markus Schurius, Rüdiger Berndt, Reinhard German
A Formal Model for Stateful and Variant-Rich Automotive Functions. ISSRE Workshops (2016)
Michael Käßmeyer, Michael Schulze, Markus Schurius
A process to support a systematic change impact analysis of variability and safety in automotive functions. SPLC (2015)
Michael Käßmeyer, David Santiago Velasco Moncada, Markus Schurius
Evaluation of a Systematic Approach in Variant Management for Safety-Critical Systems Development. EUC (2015)