Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications

Hendrik Göttmann, Isabelle Bacher, Nicolas Gottwald, Malte Lochau. Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications. In Paul Grünbacher, Christoph Seidl 0001, Deepak Dhungana, Helena Lovasz-Bukvova, editors, VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, Virtual Event / Krems, Austria, February 9-11, 2021. ACM, 2021. [doi]

Authors

Hendrik Göttmann

This author has not been identified. Look up 'Hendrik Göttmann' in Google

Isabelle Bacher

This author has not been identified. Look up 'Isabelle Bacher' in Google

Nicolas Gottwald

This author has not been identified. Look up 'Nicolas Gottwald' in Google

Malte Lochau

This author has not been identified. Look up 'Malte Lochau' in Google