Dr. rer. nat. Malte Lochau

Dr. rer. nat. Malte Lochau
Merckstr. 25
64283 Darmstadt

Gebäude S3|06, Raum: 307a
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
  • Lecture "Software-Produktlinien" (SPL) - SoSe 14, SoSe 15, SoSe 17
  • 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 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 Prüfungskommission FB 18, TU Darmstadt (2015 - 2017)

Scientific Activity

  • 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).

Chairing, Program Committees, Reviewing

  • 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
  • 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 for Journals: TOSEM, TSE, SOSYM, STTT, SCP, FAOC, JLAMP, JSS, SPE, AT, INFSOF
  • Additional Reviewer for: Computer Journal, ECMFA, FASE, iFM, MODELS, SE, SEFM, SPLC, VaMoS

Talks

  • 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

Publications

Refereed Journal Articles

[1] M. Al-Hajjaji, T. Thüm, M. Lochau, J. Meinicke, G. Saake: Effective Product-Line Testing Using Similarity-Based Product Prioritization. In Jorunal of Software & Systems modeling (accepted to appear), 2016

[2] J. Bürdek, T. Kehrer, M. Lochau, D. Reuling, U. Kelter, and A. Schürr: Reasoning about Product-Line Evolution using Complex Feature Model Differences. In Automated Software Engineering Journal, Special Issue on Long Term Evolution of Software Systems (in press), pages 1-47, Springer, 2015.

[3] M. Lochau, S. Mennicke, H. Baller, and L. Ribbeck: Incremental Model Checking of Delta-Oriented Software Product Lines. In Journal of Logical and Algebraic Methods in Programming (in press), 69, Springer, 2015.

[4] M. Lochau, J. Bürdek, S. Hölzle, A. Schürr: Specification and Automated Validation of Staged Configuration Processes for Dynamic Software Product Lines. In Journal of Software & Systems Modeling (in press), pages 1-28, Springer, 2015.

[5] M. Lochau, J. Bürdek, S. Lity, M. Hagner, C. Legat, U. Goltz, and A. Schürr: Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain. In Automatisierungstechnik, 62(11), pages 771–780, 2014.

[6] M. Lochau, S. Lity, R. Lachmann, I. Schaefer, U. Goltz: Delta-oriented model-based Integration Testing of Large-scale Systems. In Journal of Systems and Software, 91, pages 63-84, 2014.

[7] S. Lity, R. Lachmann, M. Lochau, M. Dukaczewski, and I. Schaefer: Delta-orientiertes Testen von variantenreichen Systemen. In OBJEKTspektrum Online, Themenspecial Testing, Sigis Datacom GmbH, 2013.

[8] M. Lochau, S. Oster, U. Goltz, A. Schürr: Model-based pairwise testing for feature interaction coverage in software product line engineering. In Software Quality Journal (SQJ), 20(3-4), pages 567-604, 2012.

[9] M. Gietzelt, U. Goltz, D. Grunwald, M. Lochau, M. Marschollek, B. Song, K.-H. Wolf: Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform. In Computer Methods and Programs in Biomedicine, 106(2), pages 114-125, 2012.

[10] M. Lochau and U. Goltz: Feature Interaction Aware Test Case Generation for Embedded Control Systems. In Electronic Notes in Theoretical Computer Science (ENTCS), 264(3), pages 37-52, Elsevier, 2010.

Refereed Book Chapters

[11] M. Lochau, S. Peldszus, M. Kowal, I. Schaefer: Model-based Testing. In Advanced Lectures of the 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM), pages 310-342, Springer, 2014.

Refereed Conference Papers

[12] L. Luthmann, Andreas Stephan, Johannes Bürdek, M. Lochau: Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints. In Proceedings of SPLC 2017, pages 104 – 113, 2017

[13] J. Bürdek, T. Kehrer, M. Lochau, D. Reuling, U. Kelter, A. Schürr: Reasoning about Product-Line Evolution using Coplex Feature Model Differences. In Proceedings of Software Enginering 2017, pages 67-68, 2017

[14] M. Weckesse, M. Lochau, T. Schnabel, B. Richerzhagen, A. Schürr: On Automated Anomaly Detection for Potentially Unbounded Cardinality based Feature Models. In Proceedings of Software Engineering 2017, pages 125-126, 2017

[15] S. Peldszus, G. Kulcsar, M. Lochau, S. Schulze: Continuous Detection of Design Flaws in Object-Oriented Programs using Incremental Multi-Pattern Detection. In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 578-589, 2016

[16] M. Al-Hajjaji, S. Krieter, T. Thüm, M. Lochau, G. Saake: IncLing: Efficient Product-Line Testing using Incremental Pairwise Sampling. In Proceedings of the 15th International Conference on Generative Programming: Concepts & Experiences (GPCE), pages 144 - 155, 2016

[17] L. Luthmann, S. Mennicke, M. Lochau: Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing. In Proceedings of the 13th International Conference of Formal Aspects of Component Software (FACS), pages 174 - 191, 2016

[18] C. Krupitzer, F. M. Roth, C. Becker, M. Weckesser, M. Lochau, A. Schürr: FESAS IDE: An Integrated Development Environment for Automatic Computing. In Proceedings of the IEEE International Conference on Autonomous Computing (ICAC), pages 15-24, 2016

[19] M. Lochau, J. Bürdek, S. Bauregger, A. Holzer, A. von Rhein, S. Apel, D. Beyer: On facilitating reuse in multi-goal test-suite generation for software product lines. In Proceedings of Software Engineering (SE), pages 81-82, GI, 2016.

[20] M. Weckesser, M. Lochau, T. Schnabel, B. Richerzhagen, A. Schürr: Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models. In Proceedings of Fundamental Approaches to Software Engineering (FASE), pages 158-175, Springer, 2016.

[21] J. Bürdek, M. Lochau, S. Bauregger, A. Holzer, A. von Rhein, S. Apel, D. Beyer: Facilitating Reuse in Multi-Goal Test-Suite Generation for Software Product Lines. In Proceedings of Fundamental Approaches to Software Engineering (FASE), pages 84-99, Springer, 2015.

[22] D. Reuling, J. Bürdek, S. Rotärmel, M. Lochau, and U. Kelter: Fault-based Product-line Testing: Effective Sample Generation-based on Feature-Diagram Mutation. In Proceedings of the 19th International Software Product Line Conference (SPLC), pages 131–140, ACM, 2015.

[23] S. Peldszus, G. Kulcsár, M. Lochau, and S. Schulze: Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation. In Proceedings of Principles and Practices of Programming on The Java Platform (PPPJ), pages 138–151, ACM, 2015.

[24] A. Anjorin, K. Saller, M. Lochau, and A. Schürr: On Modularizing Triple Graph Grammars with Rule Refinement. In Software Engineering & Management, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, pages 95–96, 2015.

[25] A. Anjorin, K. Saller, M. Lochau, A. Schürr: Modularizing Triple Graph Grammars Using Rule Refinement. In Proceedings of Fundamental Approaches to Software Engineering (FASE), pages 340-354, Springer, 2014.

[26] H. Baller, S. Lity, M. Lochau, and I. Schaefer: Multi-Objective Test Suite Optimization for Incremental Product Family Testing. In Proceedings of the 7th International Conference on Software Testing, Verification and Validation (ICST), pages 303-312, IEEE, 2014.

[27] M. Al-Hajjaji, T. Thüm, J. Meinicke, M. Lochau, and G. Saake: Similarity-based Prioritization in Software Product-Line Testing. In Proceedings of the 18th International Software Product Line Conference (SPLC), pages 197–206, ACM, 2014.

[28] S. Mennicke, M. Lochau, J. Schroeter, and T. Winkelmann: Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets. In Proceedings of the 18th International Software Product Line Conference (SPLC), pages 62–71, ACM, 2014.

[29] M. Lochau, S. Mennicke, H. Baller, and L. Ribbeck. DeltaCCS: A Core Calculus for Behavioral Change. In Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pages 320–335, Springer, 2014.

[30] M. Lochau, I. Schaefer, J. Kamischke, and S. Lity: Incremental Model-based Testing of Delta-oriented Software Product Lines. In Proceedings of the 6th International Conference Tests and Proofs (TAP), pages 67-82, Springer, 2012.

[31] J. Schroeter, M. Lochau, T. Winkelmann: Multi-perspectives on Feature Models. In Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems (MODELS), pages 252-268, Springer, 2012.

[32] H. Cichos, M. Lochau, S. Oster, and A. Schürr: Reduktion von Testsuiten für Software-Produktlinien. In Software Engineering, Fachtagung des GI-Fachbereiches Softwaretechnik, pages 143-154, 2012.

[33] M. Lochau and J. Kamischke: Parameterized Preorder Relations for Model-based Testing of Software Product Lines. In Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pages 223-237, Springer, 2012.

[34] H. Cichos, S. Oster, M. Lochau, and A. Schürr: Model-based Coverage-Driven Test Suite Generation for Software Product Lines. In Proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems (MODELS), pages 425-439, Springer, 2011.

[35] M. Lochau, T. Müller, S. Detering, U. Goltz, and T. Form: Architektur-Evaluation von AUTOSAR-Systemen: Adaption und Integration. In Proceedings of the 1st Elektronik Automotive Congress, 2009.

[36]  M. Lochau, T. Müller, J. Steiner, U. Goltz, and T. Form: Optimierung von AUTOSAR-Systemen durch automatisierte Architektur-Evaluation. In Proceedings 14. Internationaler Kongress Elektronik im Kraftfahrzeug, VDI-Berichte 2075, pages 827-838, 2009.

[37] M. Lochau, B. Sun, P. Huhn, and U. Goltz: Model-based Parameter Optimization of an Engine Control Unit using Genetic Algorithms. In Proceedings of the Symposium on Automotive/Avionics System Engineering (SAASE), 2009.

[38] C. Knieke, M. Huhn, and M. Lochau. Executable Requirements Specification: Formal Semantics of Live Activity Diagrams. In Proceedings of the 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), pages 109-112, IEEE, 2008.

[39] C. Knieke, M. Huhn, and M. Lochau: Modeling and Validation of Executable Requirements Using Live Activity Diagrams. In Proceedings of the 6th International Conference on Software Engineering Research, Management and Applications (SERA), pages 51-58, IEEE, 2008.

Refereed Workshop Papers

[40] T. Schnabel, M. Weckesser, R. Kluge, M. Lochau, A. Schürr: CardyGAn: Tool Support for Cardinality-based Feature Models. In Proceedings of the 10th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), ACM, 2016.

[41] F. Deckwerth, G. Kulcsár, M. Lochau, G. Varró, A. Schürr: Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation. In Proceedings of the 7th Workshop on Formal Methods and Analysis in SPL Engineering (FMSPLE), pages 17–31, 2016.

[42] F. Benduhn, T. Thüm, M. Lochau, T. Leich, and G. Saake: A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines. In Proceedings of the 9th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), ACM, 2015.

[43] G. Kulcsár, F. Deckwerth, M. Lochau, G. Varró, A. Schürr: Improved Conflict Detection for Graph Transformation with Attributes. In Proceedings of Graphs as Models (GaM), pages 97-112, ECPTS, 2015.

[44] G. Kulcsár, S. Peldszus, and M. Lochau: A Solution to the Java Refactoring Case Study using eMoflon. In CEUR Workshop Proceedings of the 8th Transformation Tool Contest, 2015.

[45] S. Lity, J. Bürdek, M. Lochau, M. Berens, A. Schürr, and I. Schaefer: Re-Engineering Automation Systems as Dynamic Software Product Lines. In Proceedings of the 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), 2015.

[46] L. Luthmann, S. Mennicke, and M. Lochau: Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata. In Proceedings of the 6th Workshop on Formal Methods and Analysis in SPL Engineering (FMSPLE), pages 1–13, 2015.

[47] J. Bürdek, S. Lity, M. Lochau, M. Berens, U. Goltz, and A. Schürr: Staged Configuration of Dynamic Software Product Lines with Complex Binding Time Constraints. 2014. In Proceedings of the 8th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), ACM, 2014.

[48] H. Baller and M. Lochau: Towards Incremental Test Suite Optimization for Software Product Lines: In Proceedings of the 6th International Workshop on Feature-Oriented Software Development (FOSD), pages 30–36, ACM, 2014.

[49] K. Saller, M. Lochau, and I. Reimund: Context-Aware DSPLs: Model-Based Runtime Adaptation for Resource-Constrained Systems. In Proceedings of the 17th International Software Product Line Conference co-located Workshops, pages 106 – 113, ACM, 2013.

[50] S. Schulze, M. Lochau, and S. Brunswig: Implementing Refactorings for FOP - Lessons Learned and Challenges Ahead. In Proceedings of the 5th International Workshop on Feature-Oriented Software Development (FOSD), pages 33-40, ACM, 2013.

[51] M. Dukaczewski, I. Schaefer, R. Lachmann, and M. Lochau: Requirements-Based Delta-Oriented SPL Testing. In Proceedings of the 4th International Workshop on Product Line Approaches in Software Engineering (PLEASE), pages 49-52, IEEE, 2013.

[52] M. Steffens, S. Oster, M. Lochau, and T. Fogdal: Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe. In Proceedings of the 6th International Workshop on Variability Modeling of Software-intensive Systems (VaMoS), pages 55–62, ACM, 2012.

[53] K. Saller, S. Oster, A. Schürr, J. Schroeter, and M. Lochau: Reducing Feature Models to Improve Runtime Adaptivity on Resource Limited Devices. In Proceedings of the 16th International Software Product Line Conference co-located Workshops, pages 135 – 142, ACM, 2012.

[54] J. Schroeter, P. Mucha, M. Muth, K. Jugel, and M. Lochau: Dynamic Configuration Management of Cloud-Based Applications. In Proceedings of the 16th International Software Product Line Conference co-located Workshops, pages 171-178, ACM, 2012.

[55] J. Kamischke, M. Lochau, and H. Baller: Conditioned Model Slicing of Feature-Annotated State Machines. In Proceedings of the 4th International Workshop on Feature-Oriented Software Development (FOSD), pages 9-16, ACM, 2012.

[56] S. Lity, M. Lochau, I. Schaefer, and U. Goltz: Delta-oriented Model-based SPL Regression Testing. In Proceedings of the 3th International Workshop on Product Line Approaches in Software Engineering (PLEASE), pages 53-56, IEEE, 2012.

[57] K. Schmid, H. Eichelberger, U. Goltz, and M. Lochau: Evolving Adaptable Systems: Potential and Challenges. In Proceedings of the 2nd Workshop des GI-Arbeitskreises Langlebige Softwaresysteme (L2S2): Design for Future - Langlebige Softwaresysteme, 2012.

[58] J. Schroeter, M. Lochau, and T. Winkelmann: Conper: Consistent Perspectives on Feature Models. In Proceedings of the 1st Workshop on Academics Modeling with Eclipse (ACME), 2012.

[59] S. Oster, I. Zorcic, F. Markert, and M. Lochau: MoSo-PoLiTe - Tool Support for Pairwise and Model-Based Software Product Line Testing. In Proceedings of the 5th  International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 79–82, ACM, 2011.

[60] S. Oster, M. Lochau, M. Zink, and M. Grechanik: Pairwise Feature-Interaction Testing for SPLs: Potentials and Limitations. In Proceedings of the 3rd International on Feature-Oriented Software Development (FOSD), ACM, 2011.

[61] M. Lochau and U. Goltz: Qualitätssicherende Koevolution von Architekturen eingebetteter Systeme. In Proceedings of the 1st Workshop des GI-Arbeitskreises Langlebige Softwaresysteme (L2S2): Design for Future - Langlebige Softwaresysteme, pages 111-122, 2009

[62] M. Lochau and H. Günther: A Static Aspect Language for Modelica Models. In Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT), pages 47-57, ACM, 2008.

Technical Reports

[63] L. Luthmann, S. Mennicke, M. Lochau: Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report. arXiv.org, 2016.

[64] S. Lity, R. Lachmann, M. Lochau, and I. Schaefer: Delta-oriented Software Product Line Test Models - The Body Comfort System Case Study. Technical Report 2012-07, TU Braunschweig, 2012.

[65] D. Grunwald, M. Lochau, E. Börger, and U. Goltz: An Abstract State Machine Model for the Generic Java Type System. Technical Report 2012-02, TU Braunschweig, 2012.

[66] H. Cichos, S. Oster, M. Lochau, and A. Schürr: Extended Version of Model-based Coverage-Driven Test Suite Generation for Software Product Lines. Technical Report Nr. 2011-07, TU Braunschweig, 2011.

[67] J. Schroeter, M. Lochau, and T. Winkelmann: Extended Version of Multi-Perspectives on Feature Models. Technical Report TU-FI11-07, TU Dresden, 2011.

[68] Hans J. Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell (Eds.), edited in cooperation with Christian Eisentraut and Malte Lochau: Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011), Dagstuhl Reports, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011

[69] T. Müller, M. Lochau, S. Detering, F. Saust, H. Garbers, L. Märtin, T. Form, and U. Goltz: A Comprehensive Description of a Model-based, Continuous Development Process for AUTOSAR Systems with Integrated Quality Assurance. Technical Report 2009-06, TU Braunschweig, 2009.

[70] B. Sun, M. Lochau, P. Huhn, and U. Goltz: Parameter Optimization of an Engine Control Unit using Genetic Algorithms. Technical Report 2009-04, TU Braunschweig, 2009.

Theses

[71] M. Lochau: Model-Based Conformance Testing of Software Product Lines. PhD thesis, Verlag
Dr. Hut, 2012.

[72] M. Lochau: On Synthesizing Statecharts from Live Sequence Chart Specifications. Diploma Thesis, TU Braunschweig, 2007.

Teaching Material

[73] U. Goltz, T. Gehrke, M. Lochau: Vorlesungsskript Compilerbau. TU Braunschweig, 2010

[74] M. Lochau, J. Kamischke, U. Goltz: Vorlesungsskript Compiler II. TU Braunschweig, 2012

Student Theses

  • 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

Merckstr. 25

64283 Darmstadt

+49(0)6151 16-22350

+49(0)6151 16-22352

Drucken | Impressum | Sitemap | Suche | Kontakt
Zum SeitenanfangZum Seitenanfang