Publications

2024

1. OOPSLA

   On the Expressive Power of Languages for Static Variability

   Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Jeffrey M. Young, Leopoldo Teixeira, Eric Walkingshaw, Parisa Ataei, and Thomas Thüm

   Proceedings of the ACM on Programming Languages (PACMPL), Oct 2024

   Distinguished Artifact DOI Bib PDF Video Code Slides

   @article{BSM+:OOPSLA24,
     author = {Bittner, Paul Maximilian and Schulthei\ss{}, Alexander and Moosherr, Benjamin and Young, Jeffrey M. and Teixeira, Leopoldo and Walkingshaw, Eric and Ataei, Parisa and Th{\"{u}}m, Thomas},
     title = {{On the Expressive Power of Languages for Static Variability}},
     journal = {Proceedings of the ACM on Programming Languages (PACMPL)},
     number = {OOPSLA2},
     publisher = {ACM},
     address = {New York, NY, USA},
     volume = {8},
     articleno = {307},
     numpages = {33},
     doi = {10.1145/3689747},
     month = oct,
     year = {2024},
     keywords = {configuration, language semantics, software product lines, variation},
     selected = true
   }

2. SPLC

   Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing

   Sandra Greiner, Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, and Timo Kehrer

   In Proc. Int’l Systems and Software Product Line Conf. (SPLC), Dommeldange, Luxembourg, Sep 2024

   Best Research Paper DOI Bib Code

   @inproceedings{GSB+:SPLC24,
     author = {Greiner, Sandra and Schulthei\ss{}, Alexander and Bittner, Paul Maximilian and Th\"{u}m, Thomas and Kehrer, Timo},
     title = {{Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing}},
     booktitle = {Proc.\ Int'l Systems and Software Product Line Conf.\ (SPLC)},
     pages = {84--95},
     location = {Dommeldange, Luxembourg},
     doi = {10.1145/3646548.3672593},
     publisher = {ACM},
     address = {New York, NY, USA},
     month = sep,
     year = {2024},
     isbn = {9798400705939},
     keywords = {software evolution, software product lines, software variability},
     numpages = {12},
   }

3. FSE Demonstrations

   Variability-Aware Differencing with DiffDetective

   Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Timo 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

   Best Demonstrations Paper DOI Bib PDF Video Code Slides

   @inproceedings{BSM+:FSE24Companion,
     author = {Bittner, Paul Maximilian and Schulthei\ss{}, Alexander and Moosherr, Benjamin and Kehrer, Timo and Th{\"{u}}m, Thomas},
     title = {{Variability-Aware Differencing with DiffDetective}},
     booktitle = {Companion Proc.\ Int'l Conference on the Foundations of Software Engineering (FSE Companion)},
     pages = {632--636},
     location = {Porto de Galinhas, Brazil},
     doi = {10.1145/3663529.3663813},
     publisher = {ACM},
     address = {New York, NY, USA},
     month = jul,
     year = {2024},
     isbn = {9798400706585},
     keywords = {software evolution, software product lines, software variability},
     numpages = {5},
     selected = true
   }

4. SE

   Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces

   Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, and Ina Schaefer

   In Proc. Software Engineering (SE), Feb 2024

   DOI Bib PDF Slides

   @inproceedings{SHN+:SE24,
     author = {Sundermann, Chico and He{\ss}, Tobias and Nieke, Michael and Bittner, Paul Maximilian and Young, Jeffrey M. and Th{\"u}m, Thomas and Schaefer, Ina},
     title = {{Evaluating State-of-the-Art \#SAT Solvers on Industrial Configuration Spaces}},
     booktitle = {Proc.\ Software Engineering (SE)},
     pages = {67--68},
     doi = {10.18420/sw2024_18},
     publisher = {Gesellschaft f{\"u}r Informatik},
     address = {Bonn, Germany},
     month = feb,
     year = {2024},
     isbn = {978-3-88579-737-1},
     pissn = {1617-5468},
   }

5. VaMoS

   Explaining Edits to Variability Annotations in Evolving Software Product Lines

   Lukas Güthing, Paul Maximilian Bittner, Ina Schaefer, and Thomas Thüm

   In Proc. Int’l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Bern, Switzerland, Feb 2024

   DOI Bib PDF Code Slides

   @inproceedings{GBST:VaMoS24,
     author = {G{\"u}thing, Lukas and Bittner, Paul Maximilian and Schaefer, Ina and Th{\"um}, Thomas},
     title = {{Explaining Edits to Variability Annotations in Evolving Software Product Lines}},
     booktitle = {Proc.\ Int'l Working Conf.\ on Variability Modelling of Software-Intensive Systems (VaMoS)},
     pages = {93--102},
     location = {Bern, Switzerland},
     doi = {10.1145/3634713.3634725},
     publisher = {ACM},
     address = {New York, NY, USA},
     month = feb,
     year = {2024},
     keywords = {software evolution, software product lines, software variability},
     numpages = {10},
   }

2023

1. SoSyM

   RaQuN: A Generic and Scalable N-Way Model Matching Algorithm

   Alexander Schultheiß, Paul Maximilian Bittner, Alexander Boll, Lars Grunske, Thomas Thüm, and Timo Kehrer

   Software and Systems Modeling (SoSyM), Oct 2023

   DOI Bib PDF Code

   @article{SBB+:SoSyM23,
     renamedfrom = {SBB+:SoSyM22},
     author = {Schulthei{\ss}, Alexander and Bittner, Paul Maximilian and Boll, Alexander and Grunske, Lars and Th{\"{u}}m, Thomas and Kehrer, Timo},
     title = {{RaQuN: A Generic and Scalable N-Way Model Matching Algorithm}},
     journal = {Software and Systems Modeling (SoSyM)},
     volume = {22},
     pages = {1495--1517},
     doi = {10.1007/s10270-022-01062-5},
     publisher = {Springer},
     month = oct,
     year = {2023},
     issue = {5},
     selected = true
   }

2. EMSE

   Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces

   Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, and Ina Schaefer

   Empirical Software Engineering (EMSE), Jan 2023

   DOI Bib PDF Code

   @article{SHN+:EMSE23,
     author = {Sundermann, Chico and He\ss{}, Tobias and Nieke, Michael and Bittner, Paul Maximilian and Young, Jeffrey M. and Th\"um, Thomas and Schaefer, Ina},
     title = {{Evaluating State-of-the-Art \#SAT Solvers on Industrial Configuration Spaces}},
     journal = {Empirical Software Engineering (EMSE)},
     volume = {28},
     number = {29},
     pages = {38},
     doi = {10.1007/s10664-022-10265-9},
     publisher = {Springer},
     month = jan,
     year = {2023},
     keywords = {configurable systems, feature models, product lines, model counting, configuration counting, \#SAT, Benchmark},
   }

3. SPLC

   Views on Edits to Variational Software

   Paul Maximilian Bittner, Alexander Schultheiß, Sandra Greiner, Benjamin Moosherr, Sebastian Krieter, Christof Tinnes, Timo Kehrer, and Thomas Thüm

   In Proc. Int’l Systems and Software Product Line Conf. (SPLC), Tokyo, Japan, Aug 2023

   DOI Bib PDF Code Slides

   @inproceedings{BSG+:SPLC23,
     author = {Bittner, Paul Maximilian and Schulthei\ss{}, Alexander and Greiner, Sandra and Moosherr, Benjamin and Krieter, Sebastian and Tinnes, Christof and Kehrer, Timo and Th\"{u}m, Thomas},
     title = {{Views on Edits to Variational Software}},
     booktitle = {Proc.\ Int'l Systems and Software Product Line Conf.\ (SPLC)},
     pages = {141--152},
     location = {Tokyo, Japan},
     doi = {10.1145/3579027.3608985},
     publisher = {ACM},
     address = {New York, NY, USA},
     month = aug,
     year = {2023},
     isbn = {9798400700910},
     keywords = {variation control, software product lines, software variability, projectional editing, software evolution},
     selected = true
   }

4. SE

   Classifying Edits to Variability in Source Code – Summary

   Paul Maximilian Bittner, Christof Tinnes, Alexander Schultheiß, Sören Viegener, Timo Kehrer, and Thomas Thüm

   In Proc. Software Engineering (SE), Paderborn, Germany, Feb 2023

   Bib PDF Slides

   @inproceedings{BTS+:SE23,
     author = {Bittner, Paul Maximilian and Tinnes, Christof and Schulthei\ss{}, Alexander and Viegener, S{\"{o}}ren and Kehrer, Timo and Th{\"{u}}m, Thomas},
     title = {{Classifying Edits to Variability in Source Code -- Summary}},
     booktitle = {Proc.\ Software Engineering (SE)},
     volume = {{P-322}},
     pages = {39--40},
     location = {Paderborn, Germany},
     url = {https://dl.gi.de/items/0225c4ed-91d0-4d3f-9fec-12d26c41d756},
     publisher = {Gesellschaft f{\"u}r Informatik},
     address = {Bonn, Germany},
     month = feb,
     year = {2023},
     isbn = {978-3-88579-726-5},
     pissn = {1617-5468},
   }

5. SE

   Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own – Summary

   Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, and Timo Kehrer

   In Proc. Software Engineering (SE), Paderborn, Germany, Feb 2023

   Bib PDF Slides

   @inproceedings{SBTK:SE23,
     author = {Schulthei{\ss}, Alexander and Bittner, Paul Maximilian and Th{\"{u}}m, Thomas and Kehrer, Timo},
     title = {{Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own -- Summary}},
     booktitle = {Proc.\ Software Engineering (SE)},
     volume = {{P-322}},
     pages = {109--110},
     location = {Paderborn, Germany},
     url = {https://dl.gi.de/20.500.12116/40108},
     publisher = {Gesellschaft f{\"u}r Informatik},
     address = {Bonn, Germany},
     month = feb,
     year = {2023},
   }

6. SE

   Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems – Summary

   Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, and Thomas Thüm

   In Proc. Software Engineering (SE), Paderborn, Germany, Feb 2023

   Bib PDF Slides

   @inproceedings{YBWT:SE23,
     author = {Young, Jeffrey M. and Bittner, Paul Maximilian and Walkingshaw, Eric and Th\"{u}m, Thomas},
     title = {{Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems -- Summary}},
     booktitle = {Proc.\ Software Engineering (SE)},
     volume = {{P-322}},
     pages = {129--130},
     location = {Paderborn, Germany},
     url = {https://dl.gi.de/20.500.12116/40119},
     publisher = {Gesellschaft f{\"u}r Informatik},
     address = {Bonn, Germany},
     month = feb,
     year = {2023},
   }

7. VaMoS

   Benchmark Generation With VEVOS: A Coverage Analysis of Evolution Scenarios in Variant-Rich Systems

   Alexander Schultheiß, Paul Maximilian Bittner, Sandra Greiner, and Timo Kehrer

   In Proc. Int’l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Odense, Denmark, Jan 2023

   DOI Bib PDF Code Slides

   @inproceedings{SBGK:VaMoS23,
     author = {Schulthei\ss{}, Alexander and Bittner, Paul Maximilian and Greiner, Sandra and Kehrer, Timo},
     title = {{Benchmark Generation With VEVOS: A Coverage Analysis of Evolution Scenarios in Variant-Rich Systems}},
     booktitle = {Proc.\ Int'l Working Conf.\ on Variability Modelling of Software-Intensive Systems (VaMoS)},
     pages = {13--22},
     location = {Odense, Denmark},
     doi = {10.1145/3571788.3571793},
     publisher = {ACM},
     address = {New York, NY, USA},
     month = jan,
     year = {2023},
     isbn = {9798400700019},
     keywords = {Clone-and-own, software product lines, empirical evaluation},
     numpages = {10},
   }

2022

1. EMSE

   Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems

   Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, and Thomas Thüm

   Empirical Software Engineering (EMSE), Nov 2022

   DOI Bib PDF Code Slides

   @article{YBWT:EMSE23,
     renamedfrom = {YBWT:EMSE22},
     author = {Young, Jeffrey M. and Bittner, Paul Maximilian and Walkingshaw, Eric and Th\"{u}m, Thomas},
     title = {{Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems}},
     journal = {Empirical Software Engineering (EMSE)},
     volume = {28},
     pages = {53},
     doi = {10.1007/s10664-022-10217-3},
     publisher = {Springer},
     month = nov,
     year = {2022},
     keywords = {satisfiability solving, variation, choice calculus, software product lines},
     selected = true
   }

2. ESEC/FSE

   Classifying Edits to Variability in Source Code

   Paul Maximilian Bittner, Christof Tinnes, Alexander 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

   DOI Bib PDF Video Code Slides

   @inproceedings{BTS+:ESECFSE22,
     author = {Bittner, Paul Maximilian and Tinnes, Christof and Schulthei\ss{}, Alexander and Viegener, S{\"{o}}ren and Kehrer, Timo and Th{\"{u}}m, Thomas},
     title = {{Classifying Edits to Variability in Source Code}},
     booktitle = {Proc.\ Europ.\ Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE)},
     pages = {196--208},
     location = {Singapore},
     doi = {10.1145/3540250.3549108},
     publisher = {ACM},
     address = {New York, NY, USA},
     month = nov,
     year = {2022},
     isbn = {9781450394130},
     keywords = {software evolution, software variability, feature traceability, software product lines, mining version histories},
     numpages = {13},
     selected = true
   }

3. ICSME

   Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own

   Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, and Timo Kehrer

   In Proc. Int’l Conf. on Software Maintenance and Evolution (ICSME), Limassol, Cyprus, Oct 2022

   DOI Bib PDF Code Slides

   @inproceedings{SBTK:ICSME22,
     author = {Schulthei{\ss}, Alexander and Bittner, Paul Maximilian and Th{\"{u}}m, Thomas and Kehrer, Timo},
     title = {{Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own}},
     booktitle = {Proc.\ Int'l Conf.\ on Software Maintenance and Evolution (ICSME)},
     pages = {269--280},
     location = {Limassol, Cyprus},
     doi = {10.1109/ICSME55016.2022.00032},
     publisher = {IEEE},
     address = {Piscataway, NJ, USA},
     month = oct,
     year = {2022},
     selected = true
   }

4. SPLC

   Derivation of Subset Product Lines in FeatureIDE

   Lukas Linsbauer, Paul Westphal, Paul Maximilian Bittner, Sebastian Krieter, Thomas Thüm, and Ina Schaefer

   In Proc. Int’l Systems and Software Product Line Conf. (SPLC), Graz, Austria, Sep 2022

   Best Demo/Tools Paper DOI Bib PDF

   @inproceedings{LWB+:SPLC22,
     author = {Linsbauer, Lukas and Westphal, Paul and Bittner, Paul Maximilian and Krieter, Sebastian and Th\"{u}m, Thomas and Schaefer, Ina},
     title = {{Derivation of Subset Product Lines in FeatureIDE}},
     booktitle = {Proc.\ Int'l Systems and Software Product Line Conf.\ (SPLC)},
     pages = {38--41},
     location = {Graz, Austria},
     doi = {10.1145/3503229.3547033},
     publisher = {ACM},
     address = {New York, NY, USA},
     month = sep,
     year = {2022},
     isbn = {9781450392068},
     keywords = {subset product line, software product line, partial configuration},
   }

5. EASE

   Simulating the Evolution of Clone-and-Own Projects With VEVOS

   Alexander Schultheiß, Paul Maximilian Bittner, Sascha El-Sharkawy, Thomas Thüm, and Timo Kehrer

   In Proc. Int’l Conf. on Evaluation Assessment in Software Engineering (EASE), Gothenburg, Sweden, Jun 2022

   DOI Bib PDF Code Slides

   @inproceedings{SBE+:EASE22,
     author = {Schulthei\ss{}, Alexander and Bittner, Paul Maximilian and El-Sharkawy, Sascha and Th{\"{u}}m, Thomas and Kehrer, Timo},
     title = {{Simulating the Evolution of Clone-and-Own Projects With VEVOS}},
     booktitle = {Proc.\ Int'l Conf. on Evaluation Assessment in Software Engineering (EASE)},
     pages = {231--236},
     location = {Gothenburg, Sweden},
     doi = {10.1145/3530019.3534084},
     publisher = {ACM},
     address = {New York, NY, USA},
     month = jun,
     year = {2022},
     isbn = {9781450396134},
     keywords = {software product lines, benchmarks, empirical evaluation, Clone-and-own, experimental subjects},
     numpages = {6},
   }

6. SE

   Feature Trace Recording - Summary

   Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, and Lukas Linsbauer

   In Proc. Software Engineering (SE), Berlin, Germany, Feb 2022

   DOI Bib PDF

   @inproceedings{BST+:SE22,
     author = {Bittner, Paul Maximilian and Schulthei{\ss}, Alexander and Th{\"{u}}m, Thomas and Kehrer, Timo and Young, Jeffrey M. and Linsbauer, Lukas},
     title = {{Feature Trace Recording - Summary}},
     booktitle = {Proc.\ Software Engineering (SE)},
     volume = {{P-320}},
     pages = {19--20},
     location = {Berlin, Germany},
     doi = {10.18420/se2022-ws-002},
     publisher = {Gesellschaft f{\"u}r Informatik},
     address = {Bonn, Germany},
     month = feb,
     year = {2022},
   }

7. SE

   Scalable N-Way Model Matching Using Multi-Dimensional Search Trees – Summary

   Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, and Timo Kehrer

   In Proc. Software Engineering (SE), Berlin, Germany, Feb 2022

   DOI Bib PDF Slides

   @inproceedings{SBT+:SE22,
     author = {Schulthei{\ss}, Alexander and Bittner, Paul Maximilian and Th{\"{u}}m, Thomas and Kehrer, Timo},
     title = {{Scalable N-Way Model Matching Using Multi-Dimensional Search Trees -- Summary}},
     booktitle = {Proc.\ Software Engineering (SE)},
     volume = {{P-320}},
     pages = {83--84},
     location = {Berlin, Germany},
     doi = {10.18420/se2022-ws-028},
     publisher = {Gesellschaft f{\"u}r Informatik},
     address = {Bonn, Germany},
     month = feb,
     year = {2022},
   }

2021

1. MODELS

   Scalable N-Way Model Matching Using Multi-Dimensional Search Trees

   Alexander Schultheiß, Paul Maximilian Bittner, Lars Grunske, Thomas Thüm, and Timo Kehrer

   In Proc. Int’l Conf. on Model Driven Engineering Languages and Systems (MODELS), Virtual Event, Fukuoka, Japan, Oct 2021

   DOI Bib PDF Code

   @inproceedings{SBG+:MODELS21,
     author = {Schulthei\ss{}, Alexander and Bittner, Paul Maximilian and Grunske, Lars and Th{\"{u}}m, Thomas and Kehrer, Timo},
     title = {{Scalable N-Way Model Matching Using Multi-Dimensional Search Trees}},
     booktitle = {Proc.\ Int'l Conf.\ on Model Driven Engineering Languages and Systems (MODELS)},
     pages = {1--12},
     location = {Virtual Event, Fukuoka, Japan},
     doi = {10.1109/MODELS50736.2021.00010},
     publisher = {IEEE},
     address = {Washington, DC, USA},
     month = oct,
     year = {2021},
     keywords = {Model-driven engineering, n-way model matching, clone-and-own development, software product lines, multi-view integration, variability mining},
   }

2. ESEC/FSE

   Feature Trace Recording

   Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, and Lukas Linsbauer

   In Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Athens, Greece, Aug 2021

   Best Artifact DOI Bib PDF Video Code Slides

   @inproceedings{BST+:ESECFSE21,
     author = {Bittner, Paul Maximilian and Schulthei\ss{}, Alexander and Th{\"{u}}m, Thomas and Kehrer, Timo and Young, Jeffrey M. and Linsbauer, Lukas},
     title = {{Feature Trace Recording}},
     booktitle = {Proc.\ Europ.\ Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE)},
     pages = {1007--1020},
     location = {Athens, Greece},
     doi = {10.1145/3468264.3468531},
     publisher = {ACM},
     address = {New York, NY, USA},
     month = aug,
     year = {2021},
     isbn = {9781450385626},
     keywords = {feature traceability, disciplined annotations, clone-and-own, feature location, software product lines},
     numpages = {14},
     selected = true
   }

3. ICSE-NIER

   Bridging the Gap Between Clone-and-Own and Software Product Lines

   Timo Kehrer, Thomas Thüm, Alexander Schultheiß, and Paul Maximilian Bittner

   In Proc. Int’l Conf. on Software Engineering (ICSE), May 2021

   DOI Bib PDF Video Slides

   @inproceedings{KTSB:ICSE21,
     author = {Kehrer, Timo and Th{\"{u}}m, Thomas and Schulthei\ss{}, Alexander and Bittner, Paul Maximilian},
     title = {{Bridging the Gap Between Clone-and-Own and Software Product Lines}},
     booktitle = {Proc.\ Int'l Conf.\ on Software Engineering (ICSE)},
     pages = {21--25},
     doi = {10.1109/ICSE-NIER52604.2021.00013},
     publisher = {IEEE},
     address = {Piscataway, NJ, USA},
     month = may,
     year = {2021},
     isbn = {978-1-6654-0140-1},
   }

4. VaMoS

   Applications of #SAT Solvers on Feature Models

   Chico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias Heß, Thomas Thüm, and Ina Schaefer

   In Proc. Int’l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Krems, Austria, Feb 2021

   DOI Bib PDF Slides

   @inproceedings{SNB+:VaMoS21,
     author = {Sundermann, Chico and Nieke, Michael and Bittner, Paul Maximilian and He{\ss}, Tobias and Th\"{u}m, Thomas and Schaefer, Ina},
     title = {{Applications of \#SAT Solvers on Feature Models}},
     booktitle = {Proc.\ Int'l Working Conf.\ on Variability Modelling of Software-Intensive Systems (VaMoS)},
     location = {Krems, Austria},
     doi = {10.1145/3442391.3442404},
     publisher = {ACM},
     address = {New York, NY, USA},
     month = feb,
     year = {2021},
     articleno = {12},
     isbn = {9781450388245},
     keywords = {Feature-Model Analysis, Feature Models, \#SAT Applications, \#SAT, Product Lines, Configuration Counting, Model Counting},
     numpages = {10},
   }

2020

1. VRST

   Temporal Consistent Motion Parallax for Omnidirectional Stereo Panorama Video

   Moritz Mühlhausen, Moritz Kappel, Marc Kassubeck, Paul Maximilian Bittner, Susana Castillo, and Marcus Magnor

   In Proc. ACM Symposium on Virtual Reality Software and Technology (VRST), Nov 2020

   DOI Bib Supp

   @inproceedings{MKK+:VRST20,
     author = {M\"uhlhausen, Moritz and Kappel, Moritz and Kassubeck, Marc and Bittner, Paul Maximilian and Castillo, Susana and Magnor, Marcus},
     title = {{Temporal Consistent Motion Parallax for Omnidirectional Stereo Panorama Video}},
     booktitle = {Proc.\ ACM Symposium on Virtual Reality Software and Technology (VRST)},
     doi = {10.1145/3385956.3418965},
     publisher = {ACM},
     address = {New York, NY, USA},
     month = nov,
     year = {2020},
   }

2. SPLC

   On the Use of Product-Line Variants as Experimental Subjects for Clone-and-Own Research: A Case Study

   Alexander Schultheiß, Paul Maximilian Bittner, Timo Kehrer, and Thomas Thüm

   In Proc. Int’l Systems and Software Product Line Conf. (SPLC), Montreal, QC, Canada, Oct 2020

   DOI Bib PDF

   @inproceedings{SBKT:SPLC20,
     author = {Schulthei\ss{}, Alexander and Bittner, Paul Maximilian and Kehrer, Timo and Th\"{u}m, Thomas},
     title = {{On the Use of Product-Line Variants as Experimental Subjects for Clone-and-Own Research: A Case Study}},
     booktitle = {Proc.\ Int'l Systems and Software Product Line Conf.\ (SPLC)},
     location = {Montreal, QC, Canada},
     doi = {10.1145/3382025.3414972},
     publisher = {ACM},
     address = {New York, NY, USA},
     month = oct,
     year = {2020},
     articleno = {27},
     isbn = {9781450375696},
     keywords = {experimental evaluation, clone-and-own, model matching},
     numpages = {6},
   }

3. VR

   Depth Augmented Omnidirectional Stereo for 6-DoF VR Photography

   Tobias Bertel, Moritz Mühlhausen, Moritz Kappel, Paul Maximilian Bittner, Christian Richardt, and Marcus Magnor

   In Proc. IEEE Virtual Reality Workshop (VR), May 2020

   DOI Bib Supp

   @inproceedings{BMK+:VR20,
     author = {Bertel, Tobias and M\"uhlhausen, Moritz and Kappel, Moritz and Bittner, Paul Maximilian and Richardt, Christian and Magnor, Marcus},
     title = {{Depth Augmented Omnidirectional Stereo for 6-DoF VR Photography}},
     booktitle = {Proc.\ IEEE Virtual Reality Workshop (VR)},
     pages = {660--661},
     doi = {10.1109/{VRW}50115.2020.00181},
     publisher = {IEEE},
     address = {Piscataway, NJ, USA},
     month = may,
     year = {2020},
     isbn = {978-1-7281-6532-5},
   }

4. Master’s Thesis

   Semi-Automated Inference of Feature Traceability During Software Development

   Paul Maximilian Bittner

   Feb 2020

   DOI Bib PDF

   @mastersthesis{Bittner20,
     author = {Bittner, Paul Maximilian},
     title = {{Semi-Automated Inference of Feature Traceability During Software Development}},
     type = {Master's Thesis},
     school = {TU Braunschweig},
     doi = {10.24355/dbbs.084-202002271120-0},
     address = {Germany},
     month = feb,
     year = {2020},
     keywords = {Feature Mapping Recording; Clone-and-Own; Semantic AST},
   }

2019

1. SEFM

   SAT Encodings of the At-Most-k Constraint – A Case Study on Configuring University Courses

   Paul Maximilian Bittner, Thomas Thüm, and Ina Schaefer

   In Proc. Int’l Conf. on Software Engineering and Formal Methods (SEFM), Oslo, Norway, Sep 2019

   DOI Bib PDF Code Slides

   @inproceedings{BTS:SEFM19,
     author = {Bittner, Paul Maximilian and Th\"um, Thomas and Schaefer, Ina},
     title = {{SAT Encodings of the At-Most-k Constraint -- A Case Study on Configuring University Courses}},
     booktitle = {Proc.\ Int'l Conf.\ on Software Engineering and Formal Methods (SEFM)},
     editor = {{\"{O}}lveczky, Peter Csaba and Sala{\"{u}}n, Gwen},
     pages = {127--144},
     location = {Oslo, Norway},
     doi = {10.1007/978-3-030-30446-1_7},
     publisher = {Springer},
     address = {Berlin, Heidelberg},
     month = sep,
     year = {2019},
     selected = true
   }

2. VR

   Gaze and Motion-Aware Real-Time Dome Projection System

   Steve Grogorick, Matthias Überheide, Jan-Philipp Tauscher, Paul Maximilian Bittner, and Marcus Magnor

   In Proc. IEEE Virtual Reality Workshop (VR), Osaka, Japan, Mar 2019

   PerGraVAR

   DOI Bib Supp

   @inproceedings{GUT+:VR19,
     author = {Grogorick, Steve and {\"U}berheide, Matthias and Tauscher, Jan-Philipp and Bittner, Paul Maximilian and Magnor, Marcus},
     title = {{Gaze and Motion-Aware Real-Time Dome Projection System}},
     booktitle = {Proc.\ IEEE Virtual Reality Workshop (VR)},
     pages = {1780--1783},
     location = {Osaka, Japan},
     note = {PerGra{VAR}},
     doi = {10.1109/VR.2019.8797902},
     publisher = {IEEE},
     address = {Piscataway, NJ, USA},
     month = mar,
     year = {2019},
     isbn = {978-1-7281-1377-7},
   }

3. VR

   Immersive EEG: Evaluating Electroencephalography in Virtual Reality

   Jan-Philipp Tauscher, Fabian Wolf Schottky, Steve Grogorick, Paul Maximilian Bittner, Maryam Mustafa, and Marcus Magnor

   In Proc. IEEE Virtual Reality Workshop (VR), Osaka, Japan, Mar 2019

   PerGraVAR

   DOI Bib Supp

   @inproceedings{TSG+:VR19,
     author = {Tauscher, Jan-Philipp and Schottky, Fabian Wolf and Grogorick, Steve and Bittner, Paul Maximilian and Mustafa, Maryam and Magnor, Marcus},
     title = {{Immersive EEG: Evaluating Electroencephalography in Virtual Reality}},
     booktitle = {Proc.\ IEEE Virtual Reality Workshop (VR)},
     pages = {1794--1800},
     location = {Osaka, Japan},
     note = {PerGra{VAR}},
     doi = {10.1109/VR.2019.8797858},
     publisher = {IEEE},
     address = {Piscataway, NJ, USA},
     month = mar,
     year = {2019},
   }

4. Project Thesis

   SAT Encodings of the At-Most-k Constraint – A Case Study on Configuring University Courses

   Paul Maximilian Bittner

   Mar 2019

   Bib

   @mastersthesis{Bittner19,
     author = {Bittner, Paul Maximilian},
     title = {{SAT Encodings of the At-Most-k Constraint -- A Case Study on Configuring University Courses}},
     type = {Project Thesis},
     school = {TU Braunschweig},
     address = {Germany},
     month = mar,
     year = {2019},
   }

5. CVM

   Evaluation of Optimised Centres of Rotation Skinning

   Paul Maximilian Bittner, Jan-Philipp Tauscher, Steve Grogorick, and Marcus Magnor

   Apr 2019

   Poster at International Conference on Computational Visual Media

   Bib Supp Code

   @misc{B:CVM19,
     author = {Bittner, Paul Maximilian and Tauscher, Jan-Philipp and Grogorick, Steve and Magnor, Marcus},
     title = {{Evaluation of Optimised Centres of Rotation Skinning}},
     note = {Poster at International Conference on Computational Visual Media},
     howpublished = {Poster},
     month = apr,
     year = {2019},
   }

2017

1. Bachelor’s Thesis

   Evaluation of Skinning Techniques for Skeletal Animation in MonSteR

   Paul Maximilian Bittner

   Sep 2017

   Bib

   @mastersthesis{Bittner17,
     author = {Bittner, Paul Maximilian},
     title = {{Evaluation of Skinning Techniques for Skeletal Animation in MonSteR}},
     type = {Bachelor's Thesis},
     school = {TU Braunschweig},
     address = {Germany},
     month = sep,
     year = {2017},
   }