Prof. Dr. rer. nat. Malte Lochau
0271-740-2618
fax 0271-740-2610
H-C 8304
Hölderlinstraße 3
57076 Siegen
Lehrstuhl für Modellbasierte Entwicklung der Universität Siegen
Prof. Dr. rer. nat. Malte Lochau leitet seit 2019 das Fachgebiet Modellbasierte Entwicklung an der Universität Siegen.
Projekte
- 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
Forschungsgebiete
- 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
Forschung
- 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).
Awards, Chairing, Editing, Committees, Reviewing
- 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
Talks
- Talk at the European Conference on Modeling Foundations and Applications (ECMFA@STAF), Eindhoven, July 2019
- Invited Talk at University of Konstanz, Group of Prof. Leue, March 2019
- Invited Talk at IFIP WG 1.8 Workshop on Open Problems in Concurrency Theory, OPCT@POPL, Lissabon, January 2019
- Talk at International Conference on Graph Transformation (ICGT@STAF), Toulouse, June 2018
- Invited Talk at University of Pisa, Dipartimento di Informatica, May 2018
- Invited Talk at TU Darmstadt, Group of Prof. Mantel, Decembre 2017
- Invited Talk at 2nd International CPAchecker Workshop, University of Paderborn, August 2017
- Invited Talk at IFIP WG 1.8 Workshop on Open Problems in Concurrency Theory, IST Vienna, June 2017
- Invited Talk at VariantWorld in Leipzig, May 2017
- Invited Talk at University of Milan, July 2016
- Invited Talk at University of Duisburg-Essen, April 2016
- Talk at the Conference on Software Engineering (SE), February 2016 (Link)
- Invited Talk at Hamburg University of Technology, December 2015
- Invited Talk at University of Passau, 2015
- Invited Talk at Copenhagen Meeting on Variability, March 2014 (Link)
- Invited Talk at ISF Braunschweig, December 2013
- Talk at the 3rd Workshop of the DFG Priority Programme 1593 - IMoTEP, 9-11. October 2013
- Invited Talk at ATAMI13 – Advances in Testing – Academia meets Industry, Fraunhofer FOKUS, 2013 (Link)
- Invited Talk at the Ringvorlesung der Informatik der Universität Potsdam, 2013 (Link)
- Invited Talk at 23rd CREST Open Workshop: Change Impact Analysis and Testing of Software Product Lines (Link)
- Invited Talk at the Institute of Software and Multimedia Technology, Department of Computer Science, TU Dresden, 2011
- Invited Talk at Software at the Product Line Group, Fakultät für Informatik und Mathematik, Universität Passau, 2011
Veröffentlichungen
Abschlussarbeiten
- 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