Zum Inhalt springen

  3. Ruland, Sebastian [VerfasserIn] ; Schürr, Andy [AkademischeR BetreuerIn]; Lochau, Malte [AkademischeR BetreuerIn]; Schaefer, Ina [AkademischeR BetreuerIn]

    Automated Quality-Assurance Techniques for the Modernization of Software-Product Lines

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Darmstadt: Universitäts- und Landesbibliothek, 2022

  4. Luthmann, Lars [VerfasserIn] ; Schürr, Andy [AkademischeR BetreuerIn]; Mousavi, Mohammad Reza [AkademischeR BetreuerIn]; Lochau, Malte [AkademischeR BetreuerIn]

    Specification and Analysis of Software Systems with Configurable Real-Time Behavior

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Darmstadt: Universitäts- und Landesbibliothek, 2020

  5. Böhm, Sabrina [VerfasserIn] ; Krieter, Sebastian [MitwirkendeR]; Thüm, Thomas [MitwirkendeR]; Lochau, Malte [MitwirkendeR]

    Identification of feature interactions through combinatorial interaction analysis

    Elektronische Ressourcen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Universität Ulm, 2023-02-21T09:56:54Z

  6. Ruland, Sebastian [VerfasserIn] ; Schürr, Andy [AkademischeR BetreuerIn]; Lochau, Malte [AkademischeR BetreuerIn]; Schaefer, Ina [AkademischeR BetreuerIn]

    Automated Quality-Assurance Techniques for the Modernization of Software-Product Lines

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Darmstadt: Universitäts- und Landesbibliothek, 2022

  7. Luthmann, Lars [VerfasserIn] ; Schürr, Andy [AkademischeR BetreuerIn]; Mousavi, Mohammad Reza [AkademischeR BetreuerIn]; Lochau, Malte [AkademischeR BetreuerIn]

    Specification and Analysis of Software Systems with Configurable Real-Time Behavior

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Darmstadt: Universitäts- und Landesbibliothek, 2020

  8. Schroeter, Julia [VerfasserIn]; Lochau, Malte [VerfasserIn]; Winkelmann, Tim [VerfasserIn]

    Extended Version of Multi-Perspectives on Feature Models

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, Fakultät Informatik, 2011 ; Online-Ausg.: 2012

    Erschienen in: Technische Universität Dresden: Technische Berichte der Fakultät ; 2011,7

  9. Krieter, Sebastian [VerfasserIn]; Thüm, Thomas [VerfasserIn]; Schulze, Sandro [VerfasserIn]; Ruland, Sebastian [VerfasserIn]; Lochau, Malte [VerfasserIn]; Saake, Gunter [VerfasserIn]; Leich, Thomas [VerfasserIn]

    T-Wise Presence Condition Coverage and Sampling for Configurable Systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Ulm: Universität Ulm, 2022

  10. Jung, Reiner [VerfasserIn]; Märtin, Lukas [VerfasserIn]; Johanssen, Jan Ole [VerfasserIn]; Paech, Barbara [VerfasserIn]; Lochau, Malte [VerfasserIn]; Thüm, Thomas [VerfasserIn]; Schneider, Kurt [VerfasserIn]; Tichy, Matthias [VerfasserIn]; Ulbrich, Mattias [VerfasserIn]

    Addressed Challenges

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer, 2019-01-01

  11. Arcaini, Paolo [VerfasserIn] ; Beek, Maurice H. ter [MitwirkendeR]; Perrouin, Gilles [MitwirkendeR]; Reinhartz-Berger, Iris [MitwirkendeR]; Luaces, Miguel R. [MitwirkendeR]; Schwanninger, Christa [MitwirkendeR]; Ali, Shaukat [MitwirkendeR]; Varshosaz, Mahsa [MitwirkendeR]; Gargantini, Angelo [MitwirkendeR]; Gnesi, Stefania [MitwirkendeR]; Lochau, Malte [MitwirkendeR]; Semini, Laura [MitwirkendeR]; Washizaki, Hironori [MitwirkendeR] ACM Special Interest Group on Software Engineering, ACM SIGs

    Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York,NY,United States: Association for Computing Machinery, 2023

    Erschienen in: ACM Conferences- ACM Digital Library

  12. Blumreiter, Mathias [VerfasserIn]; Greenyer, Joel [VerfasserIn]; Garcia, Francisco Javier Chiyah [VerfasserIn]; Karlsson, Jesper [VerfasserIn]; Klös, Verena [VerfasserIn]; Schwammberger, Maike [VerfasserIn]; Sommer, Christoph [VerfasserIn]; Vogelsang, Andreas [VerfasserIn]; Wortmann, Andreas [VerfasserIn]; Lochau, Malte [VerfasserIn]; Vogel, Thomas [VerfasserIn]

    Self-explainable cyber-physical systems

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    KITopen (Karlsruhe Institute of Technologie), 2024-04-10

  13. Lochau, Malte; Kamischke, Jochen

    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: Parameterized Preorder Relations for Model-Based Testing of Software Product Lines

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2012

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

  16. Luthmann, Lars; Göttmann, Hendrik; Lochau, Malte

    Formal Aspects of Component Software: Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2020

    Erschienen in: Formal Aspects of Component Software

  17. Ruland, Sebastian; Lochau, Malte; Jakobs, Marie-Christine

    Fundamental Approaches to Software Engineering: HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2020

    Erschienen in: Fundamental Approaches to Software Engineering