Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications. - Hendrik Göttmann; Isabelle Bacher; Nicolas Gottwald; Malte Lochau (VaMoS, 2021)

Compositional testing of management conformance for multi-component enterprise applications. - Jacopo Soldani; Lars Luthmann; Nicolas Gottwald; Malte Lochau; Antonio Brogi (Serv. Oriented Comput. Appl., 2022)