PD Dr. rer. nat. Malte Lochau

PD Dr. rer. nat. Malte Lochau
Magdalenenstr. 4
64289 Darmstadt

Gebäude S1|08, Raum: 216 (2.OG)
Telefon: +49(0)6151 16-22353
Telefax: +49(0)6151 16-22352
Lochau

Teaching

  • Lab "Software-Praktikum" (SoPra) - WiSe 12/13, WiSe 13/14, WiSe 14/15, WiSe 15/16, WiSe 16/17, WiSe 17/18, WiSe 18/19
  • Lecture "Software-Produktlinien" (SPL) - SoSe 14, SoSe 15, SoSe 17, SoSe 18
  • Temporary Professor (Vertretungsprofessur) for Chair of Software Languages, University of Koblenz-Landau - WiSe 18/19
  • Temporary Professor (Vertretungsprofessur) for Chair of Software Engineering, University of Passau - SoSe 17
  • Co-Author of Lecture on Model-based Testing for 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, 2014
  • Co-Author of Lectures Compiler I+II at the TU Braunschweig

Projects

  • 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

Research Interests

  • 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

Administrative Activity

  • Member of Berufungskommission Medizintechnik (W2), TU Darmstadt (2018)
  • Member of Prüfungskommission FB 18, TU Darmstadt (2015 - 2017)

Scientific Activity

  • 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
  • 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 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
  • Reviewer of Project Proposals for the German Research Foundation (DFG)
  • Reviewer of Project Proposals for the Netherlands Organisation for Scientific Research (NWO)
  • Reviewer for Journals: TOSEM, TSE, 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

Talks

  • 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

Student Theses

  • 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

Kontakt

Technische Universität Darmstadt

Fachbereich Elektrotechnik und Informationstechnik

Fachgebiet Echtzeitsysteme

Prof. Dr. rer. nat. Andy Schürr

Magdalenenstr. 4

64289 Darmstadt

+49(0)6151 16-22350

+49(0)6151 16-22352

Drucken | Impressum | Datenschutzerklärung | Sitemap | Suche | Kontakt
Zum SeitenanfangZum Seitenanfang