Since 2019 Prof. Dr. rer. nat. Malte Lochau is head of the department of Model-based Development at the University of Siegen.

FG Modellbasierte Entwicklung

• Principal Investigator (PI) of the 2nd Funding Phase of DFG Priority Programme (SPP) 1593: Design for Future – Managed Software Evolution
  Part Project: Integrated Model-based Testing of Continuously Evolving Software Product Lines 2 (IMoTEP 2) – since 2016
• Associated Member of the LOEWE Project Software-Factory 4.0 (SF 4.0), Part Project D: Platform Adaptation - since 2018
• Associated Member of DFG-funded Project “Behavioural Equivalences: Environmental Aspects, Metrics and Generic Algorithms” (Prof. B. König, Univ. Duisburg-Essen) – since 2018
• Associated Member of 2nd Funding Phase of DFG Collaborative Research Center (SFB) 1053: Multi-Mechanisms for the Future Internet (MAKI)
  Part Project A01: Self-Adaption: Adaptable System Architecture for Proactive Communication Systems – since 2017
• Associated Member of 1st Funding Phase of DFG Priority Programme (SPP) 1593: Design for Future – Managed Software Evolution
  Part Project: Integrated Model-based Testing of Continuously Evolving Software Product Lines (IMoTEP), 2013 – 2015
• Associated Member of 1st Funding Phase of DFG Collaborative Research Center (SFB) 1053: Multi-Mechanisms for the Future Internet (MAKI)
  Part Project B01: Monitoring and Analysis – 2013 - 2016
• Associated Member of Industrial Project, funded by VW/TRW: Automatic Detection of Weighting Factors for In-ports based on Static C-code Analysis, 2014 – 2015

• Model-based Software Design, Quality Assurance and Testing
• Formal Methods and Concurrency Theory
• Program Analysis and (Modeling) Language Semantics
• Software Product Line Engineering, Embedded Systems and Safety-Critical Systems Engineering
• Model-Driven Software Development and Tools

• Organization of GI Dagstuhl-Seminar 19023: Explainable Software for Cyber-Physical Systems (ES4CPS), January 2019
• Sabbatical at Dipartimento di Informatica, University of Pisa (visiting Andrea Corradini), April - June 2018
• Organization of the Annual GI Working Group Meeting on Concurrency Theory (D-CON), March 2018
• Organization of International Meeting on Feature-Oriented Software Development (FOSD meeting), TU Darmstadt, March 2017
• Co-Organization of International Meeting on Feature-Oriented Software Development (FOSD meeting), TU Braunschweig, March 2012
• Participant 1st International Competition on Software Testing (Test-Comp 2019) – Rank 4 (Overall)
• Challenge “Product Sampling for Product Lines: The Scalability Challenge” at SPLC 2019
• Case Study “Java Refactoring” at the Transformation Tool Contest, 2015
• Participant Dagstuhl Seminar 14281: Feature Interactions: The Next Generation, 2014
• Participant Dagstuhl Seminar 12511: Divide and Conquer: the Quest for Compositional Design and Analysis, 2012
• Member of Organizational Staff of Dagstuhl Seminar 11011 “Multi-Core Memory Models and Concurrency Theory”, 2011
• Participant 29th International Summer School Marktoberdorf, 2008
• Article in Braunschweiger Zeitung about SPL Testing (Link, pdf)

Also have a look at my entry at DBLP and my former affiliation (TU Braunschweig).

• Steering Committee International Working Conference on Variability Modeling of Software-intensive Systems (VAMOS)
• Best Paper Award at SPLC 2018 for “Modeling and Testing Product Lines with Unbounded Parametric Real-time Constraints”
• First Joint Paper in DFG Priority Programme 1593 for “Requirements-Based Delta-Oriented SPL Testing”
• Program Chair 12th International Workshop on Variability Modelling of Software-intensive Systems - VaMoS'18
• Tutorial Chair Modellierung 2018
• Co-Chair of Track "Technologies for Mastering Change" - ISoLA, 2012
  Program Committee 32th ACM Symposium on Applied Computing (SAC) - Variability and Software Product Line Engineering Track - SAC-VSPLE 2017
• Guest Editor of Special Issue for the Journal for Journal of Software and Systems (JSS): Software Variability in a Connected World, 2018
• Co-Editor of Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2018, Madrid, Spain, February 7-9, 2018.
• Program Committee 14th International Working Conference on Variability Modelling of Software-intensive Systems - VaMoS'20
• Program Committee 22nd International Systems and Software Product Line Conference – SPLC 2018
• Program Committee 3rd World Congress on Formal Methods - FM 2019
• Program Committee 12th International Conference on Model Transformation - ICMT 2019
• Program Committee 13th International Workshop on Variability Modelling of Software-intensive Systems - VaMoS'19
• Program Committee 22nd International Systems and Software Product Line Conference – SPLC 2018
• Program Committee New Ideas and Emerging Results Track at the 40th International Conference on Software Engineering (NIER@ICSE) 2018
• Program Committee European Conference on Modelling Foundations and Applications (ECMFA) 2017
• Program Committee Software Engineering and Advanced Applications Conference (SEAA) 2017, Track on Software Product Lines and Software Ecosystems (SPLSEco) 
• Program Committee 5th International FME Workshop on Formal Methods in Software Engineering FormaliSE'17
• Program Committee 11th International Workshop on Variability Modelling of Software-intensive Systems - VaMoS'17
• Program Committee 7th International Workshop on Feature-Oriented Software Development - FOSD'16
• Program Committee 10th International Workshop on Variability Modelling of Software-intensive Systems - VaMoS'16
• Program Committee 31st International Conference on Automated Software Engineering - ASE'16
• Program Committee 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering  - FMSPLE'16
• Program Committee 30th ACM Symposium on Applied Computing (SAC) - Software Verification and Testing Track -SAC-SVT 2015
• Program Committee 6th International Workshop on Feature-Oriented Software Development - FOSD'14
• Program Committee 4th International Workshop on Feature-Oriented Software Development - FOSD'12
• Program Committee 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISoLA 2012
• Member of ACM TOSEM Board of Distinguished Reviewers
• Reviewer of Project Proposals for the German Research Foundation (DFG)
• Reviewer of Project Proposals for the Netherlands Organisation for Scientific Research (NWO)
• Reviewer of Project Proposals for the German Israeli Foundation for Scientific Research and Development (GIF)
• Reviewer for Journals: TOSEM, TSE, EMSE, TR, SOSYM, STTT, SCP, FAOC, JLAMP, JSS, SPE, AT, INFSOF, COMLAN, TCC
• Additional Reviewer for: Computer Journal, ECMFA, FASE, iFM, MODELS, SE, SEFM, SPLC, VaMoS, FMSPLE, PPPJ, FAOC, FM, ICMT, ICGT

Complete List of Publications (pdf)

• Christoph Laufs: Automatisierte Code-Generierung für integrierte Produkltinien-Repräsentationen, Betreuer: M. Lochau, D. Reuling, abgeschlossen 2018

• Sebastian Ruland: Graph-basierte Design-Flaw-Eliminierung für objektorientierte Programme im Security-Kontext, Betreuer: G. Kulcsár, M. Lochau, E. Leblebici, S. Peldszus, abgeschlossen 2017

• Zeinab Mommadkia: Regelbasierte Spezifikation und Synthese von Rekonfigurationsverhalten in Selbst-adaptiven Systemen, Betreuer: M. Lochau, J. Bürdek, L. Luthmann, absgeschlossen 2017

• Andreas Stephan: Modellbasierte Testfallgenerierung für echtzeitkritische Software-Produktlinien, Betreuer: L. Luthmann, M. Lochau, abgeschlossen 2017

• Michael Ries: Reverse-Engineering einer Software-Produktlinie durch Integration von Varianten und Versionen am Beispiel einer Track’n’Trace-Software, Betreuer: M. Weckesser, M. Lochau, abgeschlossen 2016

• Benjamin Schütrumpf: Automated Verification of Java-Program Refactorings, Betreuer: G. Kulcsár, M. Lochau, abgeschlossen 2016

• Victor-Philipp Negoescu: Automatisierte Generierung Mutations-detektierender Testfälle zur effektiven Qualitätssicherung modellbasierter Softwaresysteme, Betreuer: M. Lochau, J. Bürdek, D. Reuling (Univ. Siegen), abgeschlossen 2016

• Sven Peldszus: Graph-basierte Anti-Pattern-Detektion für Java-Programme, Master-Arbeit, Betreuer: M. Lochau, G. Kulcsár, S. Schulze (TUHH), abgeschlossen 2015

• Lars Luthmann: A Compositional ioco Testing Theory for Modal Interface Automata, Betreuer: S. Mennicke (TU Braunschweig), M. Lochau, abgeschlossen 2015

• Stefan Hölzle: Automatisierte Test-Suite-Generierung für Dynamische Software-Produktlinien, Bachelor-Arbeit, Betreuer: M. Lochau, J. Bürdek, M. Weckesser, abgeschlossen 2015

• Isabella Urbanke: Multikriterielle Optimierung und Priorisierung von Test-Suiten für Software-Produktlinien mit genetischen Algorithmen, Studienarbeit, Betreuer: M. Lochau, H. Baller (TU Braunschweig), abgeschlossen 2015

• Serge Rotärmel: Mutation von Feature-Modellen zur Simulation von Evolutionsszenarien langlebiger Software-Produktlinien, Bachelor-Arbeit, Betreuer: M. Lochau, D. Reuling (Univ. Siegen), abgeschlossen 2015

• Marcel Brand: Entwurf und Implementierung eines Analyse-Werkzeugs zum effizienten Regressionstesten zur Qualitätssicherung von automativer Steuergeräte-Software auf Basis von Code-Metriken, Master-Arbeit, Betreuer: M. Lochau, J. Rommersbach (TRW automotive), abgeschlossen 2014

• Michael Schmidt: Effiziente Analyse von Differenzen zwischen Feature Modellen für Regressionstesten von Software-Produktlinien, Bachelor-Arbeit, Betreuer: M. Lochau, J. Bürdek, D. Reuling (Univ. Siegen), abgeschlossen 2014

• Markus Weckesser: Effiziente Testfallausführung für Software-Produktlinien in der Automatisierungstechnik, Studienarbeit, Betreuer: M. Lochau, abgeschlossen 2013