by Howar, Falk, Jasper, Marc, Mues, Malte, Schmidt, David, Steffen, Bernhard
Published in International journal on software tools for technology transfer (01.12.2021)

by Mues, Malte, Howar, Falk
Published in 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2021)

by Mues, Malte, Howar, Falk
Published in 2020 IEEE 32nd Conference on Software Engineering Education and Training (CSEE&T) (01.11.2020)

by Howar, Falk, Mues, Malte, Menzies, Tim
Published in IEEE software (01.11.2021)

by Howar, Falk, Jabbour, Fadi, Mues, Malte
Published in Models, Mindsets, Meta: The What, the How, and the Why Not? (2019)

by Jasper, Marc, Mues, Malte, Schlüter, Maximilian, Steffen, Bernhard, Howar, Falk
Published in Leveraging Applications of Formal Methods, Verification and Validation. Verification (2018)

by Howar, Falk, Giannakopoulou, Dimitra, Mues, Malte, Navas, Jorge A.
Published in Leveraging Applications of Formal Methods, Verification and Validation. Verification (2018)

by Mues, Malte, Gerard, Sebastian, Howar, Falk
Published in 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) (20.09.2020)

by Dierl, Simon, Howar, Falk, Mues, Malte, Naujokat, Stefan, Schallau, Till
Published in 2021 Third International Workshop on Software Engineering Education for the Next Generation (SEENG) (01.05.2021)