Publications
Validation, Analysis and Evolution of Software Tests (VST) DOI: https://doi.org/10.1109/vst.2018.8327150 RERS 2018: CTL, LTL, and reachability Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen [...] with Adaptive Distinguishing Sequences Markus Frohme DOI: https://doi.org/10.48550/arxiv.1902.01139 2018 Automatic composition of rough solution possibilities in the target planning of factory planning projects [...] International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018) DOI: https://doi.org/10.1007/978-3-030-03427-6_36 Generating component interfaces by integrating …
