Projects

References

2024

  1. OOPSLA
    On the Expressive Power of Languages for Static Variability
    Proceedings of the ACM on Programming Languages (PACMPL), Oct 2024
  2. FSE Demonstrations
    Variability-Aware Differencing with DiffDetective
    Paul Maximilian BittnerAlexander SchultheißBenjamin MoosherrTimo Kehrer, and Thomas Thüm
    In Companion Proc. Int’l Conference on the Foundations of Software Engineering (FSE Companion), Porto de Galinhas, Brazil, Jul 2024
  3. VaMoS
    Explaining Edits to Variability Annotations in Evolving Software Product Lines
    Lukas GüthingPaul Maximilian BittnerIna Schaefer, and Thomas Thüm
    In Proc. Int’l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Bern, Switzerland, Feb 2024

2023

  1. SPLC
    Views on Edits to Variational Software
    In Proc. Int’l Systems and Software Product Line Conf. (SPLC), Tokyo, Japan, Aug 2023

2022

  1. ESEC/FSE
    Classifying Edits to Variability in Source Code
    Paul Maximilian BittnerChristof TinnesAlexander Schultheiß, Sören Viegener, Timo Kehrer, and Thomas Thüm
    In Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Singapore, Nov 2022

2021

  1. ESEC/FSE
    Feature Trace Recording
    Paul Maximilian BittnerAlexander SchultheißThomas ThümTimo KehrerJeffrey M. Young, and Lukas Linsbauer
    In Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Athens, Greece, Aug 2021

2019

  1. SEFM
    SAT Encodings of the At-Most-k Constraint – A Case Study on Configuring University Courses
    Paul Maximilian BittnerThomas Thüm, and Ina Schaefer
    In Proc. Int’l Conf. on Software Engineering and Formal Methods (SEFM), Oslo, Norway, Sep 2019