TU BRAUNSCHWEIG

Malte Lochau

Diplom-Informatiker (Dipl.-Inform.)

Technische Universität Braunschweig
Institut für Programmierung und Reaktive Systeme
Mühlenpfordtstr. 23 (IZ 211)
38106 Braunschweig

Postfach 3329
38023 Braunschweig

Telefon: +49 531/391-2264
+49 531/391-7466 (Sekretariat)
Fax: +49 531/391-8111
E-Mail:

 

Lehre

Compilerbau

  • Übung zur Vorlesung "Compiler I" SS 2008, 2009, 2010, 2011, 2012
  • Vorlesung "Compiler II" WS 2008/2009, WS 2009/2010
  • Übung zur Vorlesung "Compiler II" WS 2008/2009, 2010/2011
  • Compilerbaupraktikum WS 2008/2009

Automotive Software Engineering

  • SummerCamp - Planspiel Automotive Design SS 2007, 2008, 2009, 2010

Seminare, Praktika, Übungen

    • Softwareentwicklungspraktikum SS 2007
    • Praktikum "Reaktive Systeme" SS 2009
    • Übung zur Vorlesung Verifikation Reaktiver Systeme SS 2007
    • Seminar "What's hot in Java!?" SS 2008
    • Seminar "Synchronie und Asynchronie in verteilten Systemen" WS 2008/2009
    • Seminar "Parallel Programming" SS 2009
    • Seminar "Spezifikationssprachen" SS 2010

    Lehrmaterial

    • Skript zur Vorlesung "Compiler I" (cp.pdf)
    • Skript zur Vorlesung "Compiler II" (folgt)

      Projekte

          Aktivitäten

          • Program Committee 4th International Workshop on Feature-Oriented Software Development - FOSD'12 (Link)
          • Program Committee 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISoLA 2012 (Link)
          • Organization of Track "Technologies for Mastering Change" at ISoLA 2012 (link)
          • Beitrag beim Eclipse Testing Day 2012 (Link)
          • Artikel in der Braunschweiger Zeitung zum Thema SPL Testen (Link, pdf)
          • GI TAV Award für die Masterarbeit von Sascha Lity (Link)
          • Additional Reviewer for Science of Computer Programming Journal (Link)
          • Additional Reviewer for SEFM'2012 (Link)
          • Additional Reviewer for SPLC'2012 (Link)
          • Additional Reviewer for VaMoS'2012 (Link)
          • Local Organizer FOSD-Treffen, 21.-23. März 2012 (Link)
          • Model-Based Testing Community (Link)
          • TDSE Jury Member 2011 (Link)
          • Organization Dagstuhl-Seminar 11011: Multi-Core Memory Models and Concurrency Theory (Link)
          • Participant 29th International Summer School Marktoberdorf 2008 (Link)

          Veröffentlichungen (DBLP)

          • [SLW12b] Julia Schroeter, Malte Lochau, Tim Winkelmann
            Multi-Perspectives on Feature Models
            accepted to appear at MODELS 2012.
          • [KLB12] Jochen Kamischke, Malte Lochau, Hauke Baller
            Conditioned Model Slicing of Feature-Annotated State Machines
            accepted to appear at FOSD 2012.
          • [SOS+12] Karsten Saller, Sebastian Oster, Andy Schürr, Julia Schroeter, Malte Lochau
            Reducing Feature Models to Improve Runtime Adaptivity on Resource Limited Devices
            DSPL'12, 16th International Software Product Line Conference, SPLC '12, Salvador, Brazil - September 2-7, Volume 2, 135-142, 2012 (to appear)
          • [SMM+12] Julia Schroeter, Peter Mucha, Marcel Muth, Kay Jugel, Malte Lochau
            Dynamic Configuration Management of Cloud-based Applications
            SCArVeS'12, 16th International Software Product Line Conference, SPLC '12, Salvador, Brazil - September 2-7, Volume 2, 171-178, 2012 (to appear)
          • [LK12] Malte Lochau, Jochen Kamischke
            Parameterized Preorder Relations for Model-based Testing of Software Product Lines
            In Proceedings of ISoLA 2012, Part I, LNCS 7609, pp. 223-237. Springer, Heidelberg, 2012 (to appear).
          • [SLW12a] Julia Schroeter, Malte Lochau, Tim Winkelmann
            Conper: Consistent Perspectives on Feature Models
            In Proceedings of the 1st Workshop on Academics Modeling with Eclipse (ACME), 2012, (Link).
          • [LLS+12] Sascha Lity, Malte Lochau, Ina Schaefer, Ursula Goltz
            Delta-oriented Model-based SPL Regression Testing
            In Proceedings of the 3rd International Workshop on Product Line Approaches in Software Engineering (PLEASE), 2012, (IEEEXplore).
          • [LSK+12] Malte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity
            Incremental Model-based Testing of Delta-oriented Software Product Lines
            In Proceedings of the 6th International Conference on Tests and Proofs (TAP), Volume 7305/2012 of LNCS, pp. 67-82, Springer 2012 (SpringerLink).
          • [CLO+12] Harald Cichos, Malte Lochau, Sebastian Oster, Andy Schürr  
            Reduktion von Testsuiten für Software-Produktlinien
            Software Engineering 2012, 143 - 154 (Link)
          • [SOL+12] Michaela Steffen, Sebastian Oster, Malte Lochau, Thomas Fogdal
            Industrial Evaluation of Pairwise SPL Testing with MoSo-PoLiTe 
            In Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems (VaMoS '12). ACM, New York, NY, USA, 55-62, 2012 (Link)
          • [SLW11] Julia Schroeter, Malte Lochau, Tim Winkelmann
            Extended Version of Multi-Perspectives on Feature Models 
            Technical Report, TUD-FI11-07, TU Dresden, 2011 (pdf)
          • [GGG+11] Matthias Gietzelt, Ursula Goltz, Daniel Grunwald, Malte Lochau, Michael Marschollek, Bianying Song, Klaus-Hendrik Wolf 
            Arden2Bytecode: A one-pass Arden Syntax Compiler for Service-Oriented Decision Support Systems based on the OSGi Platform 
            Journal of Computer Methods and Programs in Biomedicine, 2011, DOI: 10.1016/j.cmpb.2011.11.003, (Link)
          • [LOG+11] Malte Lochau, Sebastian Oster, Ursula Goltz, Andy Schürr  
            Model-based Pairwise Testing for Feature Interaction Coverage in Software Product Line Engineering
            Software Quality Journal, pp. 1 - 38. Springer, 2011, DOI: 10.1007/s11219-011-9165-4 (Link)
          • [COL+11a] Harald Cichos, Sebastian Oster, Malte Lochau, Andy Schürr  
            Model-based Coverage-driven Test Suite Generation for Software Product Lines
            In Proceedings of the ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS), Jgg.6981 of LNCS, pp. 425–439. Springer, 2011 (SpringerLink)
          • [COL+11b] Harald Cichos, Sebastian Oster, Malte Lochau, Andy Schürr  
            Extended Version of Model-based Coverage-driven Test Suite Generation for Software Product Lines
            Technical Report 2011-07, TU Braunschweig, 2011 (pdf)
          • [OLZ+11] Sebastian Oster, Malte Lochau, Marius Zink, Mark Grechanik  
            Pairwise Feature-Interaction Testing for SPLs: Potentials and Limitations
            FOSD'11, München, 2011
          • [BGH+11] 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, 1, 1-26 (Link)  
          • [OZM+11] Sebastian Oster, Ivan Zorcic, Florian Markert, Malte Lochau
            MoSo-PoLiTe - Tool Support for Pairwise and Model-Based Software Product Line Testing
            Fifth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS 2011.
          • [LG10b] Malte Lochau, Ursula Goltz
            Feature Interaction Aware Test Case Generation for Embedded Control Systems
            Electronic Notes in Theoretical Computer Science, 2010, 264, p. 37 - 52 (Link)
          • [GLB+10] Daniel Grunwald, Malte Lochau, Egon Börger, Ursula Goltz
            An Abstract State Machine Model for the Generic Java Type System
            Technischer Bericht 2010-02, TU Braunschweig 2010 (pdf)  
          • [SEG+10] Klaus Schmid, Holger Eichelberger, Ursula Goltz, Malte Lochau
            Evolving Adaptable Systems: Potential and Challenges
            2. Workshop "Design For Future 2010 - Langlebige Softwaresysteme (L2S2)", Bad Honnef, 3. Mai 2010.
          • [LG10a] Malte Lochau, Ursula Goltz
            Feature Interaction Aware Test Case Generation for Embedded Control Systems
            6. International Workshop on Model-Based Testing - MBT 2010, Satellite Workshop of ETAPS 2010, March, 21, Paphos, Cyprus.
          • [LG09] Malte Lochau, Ursula Goltz
            Qualitätssicherende Koevolution von Architekturen eingebetteter Systeme
            1. Workshop "Design For Future - Langlebige Softwaresysteme (L2S2)",15.-16. Oktober, FZI Karlsruhe.
          • [LSG+09] Malte Lochau, Bo Sun, Ursula Goltz, and Petra Huhn
            Model-based Parameter Optimization of an Engine Control Unit using Genetic Algorithms
            Symposium on Automotive/Avionics Systems Engineering (SAASE), 14.-16. Oktober 2009, UC San Diego.
          • [LMS+09] Malte Lochau, Tobias Müller, Jens Steiner, Ursula Goltz, Thomas Form
            Optimierung von AUTOSAR-Systemen durch automatisierte Architektur-Evaluation
            VDI-Berichte 2075, S.827-838, ISBN 978-3-18-092075-7, 14. Internationaler Kongress "Elektronik im Kraftfahrzeug", 7.-8. Oktober 2009, Baden-Baden.
          • [LMD+09] Malte Lochau, Tobias Müller, Stefan Detering, Ursula Goltz, Thomas Form
            Architektur-Evaluation von AUTOSAR-Systemen: Adaption und Integration
            1. Elektronik automotive congress, 19. Mai 2009, München.
          • [MLD+09] Tobias Müller, Malte Lochau, Stefan Detering, Falko Saust, Henning Garbers, Lukas Märtin, Thomas Form, Ursula Goltz
            Umsetzung eines modellbasierten durchgängigen Entwicklungsprozesses für AUTOSAR-Systeme mit integrierter Qualitätssicherung
            Technischer Bericht 2009-06, TU Braunschweig 2009 (pdf)
          • [SLH+09] Bo Sun, Malte Lochau, Petra Huhn, Ursula Goltz
            Parameter Optimization of an Engine Control Unit using Genetic Algorithms
            Technical Report 2009-04, Institute for Programming and Reactive Systems, TU Braunschweig, 2009 (
            pdf).
          • [LG08] Malte Lochau, Henning Günther
            A Static Aspect Language for Modelica Models
            2nd International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT 2008) in conjunction with ECOOP, July 8, 2008, Paphos, Cyprus.  
          • [KHL08a] C. Knieke, M. Huhn, and M. Lochau
            Modeling and Validation of Executable Requirements Using Live Activity Diagrams.
            6th International Conference on Software Engineering, Research, Management and Applications (SERA 2008), 20-22 August 2008, Prague, Czech Republic, IEEE Computer Society, 2008.
          • [KHL08b] C. Knieke, M. Huhn, and M. Lochau
            Executable Requirements Specification: Formal Semantics of Live Activity Diagrams
            2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008), 17-19 June 2008, Nanjing, China, 2008.
          • [ML07] M. Lochau
            On Synthesizing Statecharts from Live Sequence Chart Specifications
            Diploma Thesis, Institute for Programming and Reactive Systems, February 2007, TU Braunschweig.

          Betreute studentische Arbeiten

          • Tim Winkelmann: Konfigurationsmanagement mit Feature-Modellen auf Grundlage von Workflow-Petrinetzen, Masterarbeit, Betreuer: M. Lochau, S. Lity, J. Schroeter (TU Dresden)
          • Oliver Türk: Modellbasiertes Testen von Software-Produktlinien auf Grundlage von Modal-Automaten, Masterarbeit, Betreuer: M. Lochau, L. Märtin, S. Lity
          • Remo Lachmann: Konzeption und Evaluation eines delta-orientierten modellbasierten Integrationstestverfahrens für Software-Produktlinien, Masterarbeit, Betreuer: I. Schaefer (ISF), M. Lochau, S. Lity
          • Hauke Baller: Automatisiertes Feature Model Mining zur extraktiven Produktlinienentwicklung, Masterarbeit, Betreuer: M. Lochau, S. Oster (TU Darmstadt), abgeschlossen im Februar 2012 (pdf)
          • Jochen Kamischke: Entwurf und Implementierung eines Frameworks zum effizienten modellbasierten Testen von Software-Produktlinien, Masterarbeit, Betreuer: M. Lochau, abgeschlossen im Februar 2012
          • Sascha Lity: Konzeption und Evaluation eines delta-orientierten modellbasierten Testverfahrens für Software-Produktlinien, Masterarbeit, Betreuer: I. Schaefer (SSE), M. Lochau, abgeschlossen im Dezember 2011
          • D. Ochrimenko: Analyse von Fehlerszenarien in Verhaltensspezifikationen für Softwarekomponenten am Beispiel eines automotiven Steuergerätenetzwerkes, Projektarbeit, Betreuer: L. Märtin, M. Lochau, F. Reinbold (IVA), abgeschlossen im Juli 2011 
          • T. Fricke: Evolution von Verhaltensspezifikationen für Softwarekomponenten am Beispiel eines automotiven Steuergerätenetzwerkes, Projektarbeit, Betreuer: L. Märtin,M. Lochau, F. Reinbold (IVA), abgeschlossen im Juli 2011
          • Sergey Kovalev: Modellbasierte Teststrategien basierend auf E/E-Architekturen für die werkzeuggestützte Qualitätssicherung im Automotive-Kontext, Masterarbeit, Betreuer: M. Lochau, L. Märtin, A. Geburzi (dSpace), abgeschlossen im November 2011
          • Marius Zink: Anwendung von MoSo-PoLiTe in einer Automotive SPL, Masterarbeit, Betreuer: S. Oster (TU Darmstadt), M. Lochau, abgeschlossen im Mai 2011
          • Stefan Windt: Testsuite-Minimierung und Regressionstests auf Basis von Architekturmodellen zur effizienten Qualitätssicherung im Automotive-Kontext, Diplomarbeit, Betreuer: M. Lochau, J. Klausmeyer (IAV GmbH), abgeschlossen im Juli 2011
          • Oliver Türk: Werkzeugunterstützung für modellbasierte Testautomatisierung im Automotive-Kontext, Bachelor-Arbeit, Betreuer: M. Lochau, abgeschlossen im April 2011
          • Daniel Grunwald: An Abstract State Machine Model for the Generic Java Type System, Bachelor-Arbeit, Betreuer: M. Lochau, Prof. Dr. E. Börger (Dipartimento di Informatica, Università di Pisa), abgeschlossen im August 2010
          • Jochen Kamischke: Instrumentierung von Multithreaded Java-Programmen zur semantischen Analyse der Java Memory Model Consistency, Bachelor-Arbeit, Betreuer: M. Lochau, abgeschlossen im August 2010
          • Stefan Kolatzki: Analyse von Java Bytecode hinsichtlich der Auswirkungen von Compiler-Transformationen auf die Java Memory Model Consistency, Bachelor-Arbeit, Betreuer: M. Lochau, abgeschlossen im August 2010 
          • Bernward Ratzke: Modellbasierte Testfallgenerierung zur Qualitätssicherung eingebetteter Systeme im Automotive-Kontext. Diplom-Arbeit, Betreuer: M. Lochau, abgeschlossen im April 2010
          • Lukas Märtin: Architektur-Modellierung und Kosten-orientierte Bewertung für Steuergerätenetzwerke im AUTOSAR-Kontext. Diplom-Arbeit, Betreuer: M. Lochau, abgeschlossen im August 2009 
          • Malte Mauritz: Werkzeuggestützte Modellierung und Bewertung einer Architektur für Steuergerätenetzwerke. Bachelor-Arbeit, Betreuer: M. Lochau, abgeschlossen im Juni 2009
          • Henning Günther: Design and Implementation of an Aspect Oriented Rule Language for Quality Assurance in Physical Modeling. Bachelor-Arbeit, Betreuer: M. Lochau, abgeschlossen im September 2008
          • Daniel Wittling: Entwicklung und Optimierung von Anwendungs- und Validierungsmethoden für die Fehlerdiagnose mit neuronalen Netzen, Betreuer: M. Lochau, T. Müller (IfR), abgeschlossen im April 2008, Diplomarbeit
          • Bo Sun: Optimization of an Engine Control Unit using Genetic Algorithms, Betreuer: M. Lochau, abgeschlossen im Dezember 2007, Masterarbeit

              aktualisiert am 11.09.2012
            TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang