Publications

2026

1. ICSE

   Decades of GNU Patch and Git Cherry-Pick: Can We Do Better?

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

   In Proc. Int’l Conf. on Software Engineering (ICSE), Rio de Janeiro, Brazil, 2026

   To appear

   Bib

   @inproceedings{SBB+:ICSE26,
     title = {{Decades of GNU Patch and Git Cherry-Pick: Can We Do Better?}},
     author = {Schulthei\ss{}, Alexander and Boll, Alexander and Bittner, Paul Maximilian and Greiner, Sandra and Th{\"{u}}m, Thomas and Kehrer, Timo},
     booktitle = {Proc.\ Int'l Conf.\ on Software Engineering (ICSE)},
     year = {2026},
     location = {Rio de Janeiro, Brazil},
     note = {To appear},
   }

2025

1. PhD Thesis

   Analyzing Edits to Static Variability

   Paul Maximilian Bittner

   University of Ulm, 2025

   submitted and defended successfully, yet to be published

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,
     title = {{On the Expressive Power of Languages for Static Variability}},
     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},
     journal = {Proceedings of the ACM on Programming Languages (PACMPL)},
     address = {New York, NY, USA},
     year = {2024},
     month = oct,
     volume = {8},
     number = {Object-Oriented Programming, Systems, Languages \& Applications (OOPSLA)},
     numpages = {33},
     articleno = {307},
     keywords = {configuration, language semantics, software product lines, variation},
     doi = {10.1145/3689747},
     publisher = {ACM},
   }

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

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

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,
     title = {{Evaluating State-of-the-Art \#SAT Solvers on Industrial Configuration Spaces}},
     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},
     booktitle = {Proc.\ Software Engineering (SE)},
     address = {Bonn, Germany},
     year = {2024},
     month = feb,
     pages = {67--68},
     doi = {10.18420/sw2024_18},
     isbn = {978-3-88579-737-1},
     pissn = {1617-5468},
     publisher = {Gesellschaft f{\"u}r Informatik},
   }

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

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,
     title = {{RaQuN: A Generic and Scalable N-Way Model Matching Algorithm}},
     author = {Schulthei{\ss}, Alexander and Bittner, Paul Maximilian and Boll, Alexander and Grunske, Lars and Th{\"{u}}m, Thomas and Kehrer, Timo},
     journal = {Software and Systems Modeling (SoSyM)},
     year = {2023},
     month = oct,
     volume = {22},
     pages = {1495--1517},
     doi = {10.1007/s10270-022-01062-5},
     issue = {5},
     publisher = {Springer},
   }

2. 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,
     title = {{Views on Edits to Variational Software}},
     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},
     booktitle = {Proc.\ Int'l Systems and Software Product Line Conf.\ (SPLC)},
     address = {New York, NY, USA},
     year = {2023},
     month = aug,
     location = {Tokyo, Japan},
     pages = {141--152},
     keywords = {variation control, software product lines, software variability, projectional editing, software evolution},
     doi = {10.1145/3579027.3608985},
     isbn = {9798400700910},
     publisher = {ACM},
   }

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

4. 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,
     title = {{Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own -- Summary}},
     author = {Schulthei{\ss}, Alexander and Bittner, Paul Maximilian and Th{\"{u}}m, Thomas and Kehrer, Timo},
     booktitle = {Proc.\ Software Engineering (SE)},
     address = {Bonn, Germany},
     year = {2023},
     month = feb,
     location = {Paderborn, Germany},
     volume = {{P-322}},
     pages = {109--110},
     url = {https://dl.gi.de/items/7e8cb58f-15e4-4b0a-b838-4c27ca297f88},
     publisher = {Gesellschaft f{\"u}r Informatik},
   }

5. 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,
     title = {{Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems -- Summary}},
     author = {Young, Jeffrey M. and Bittner, Paul Maximilian and Walkingshaw, Eric and Th\"{u}m, Thomas},
     booktitle = {Proc.\ Software Engineering (SE)},
     address = {Bonn, Germany},
     year = {2023},
     month = feb,
     location = {Paderborn, Germany},
     volume = {{P-322}},
     pages = {129--130},
     url = {https://dl.gi.de/items/16be0169-7a9f-4a66-9b68-249e57602164},
     publisher = {Gesellschaft f{\"u}r Informatik},
   }

6. 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,
     title = {{Evaluating State-of-the-Art \#SAT Solvers on Industrial Configuration Spaces}},
     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},
     journal = {Empirical Software Engineering (EMSE)},
     year = {2023},
     month = jan,
     volume = {28},
     number = {29},
     pages = {38},
     keywords = {configurable systems, feature models, product lines, model counting, configuration counting, \#SAT, Benchmark},
     doi = {10.1007/s10664-022-10265-9},
     publisher = {Springer},
   }

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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,
     title = {{Depth Augmented Omnidirectional Stereo for 6-DoF VR Photography}},
     author = {Bertel, Tobias and M\"uhlhausen, Moritz and Kappel, Moritz and Bittner, Paul Maximilian and Richardt, Christian and Magnor, Marcus},
     booktitle = {Proc.\ IEEE Virtual Reality Workshop (VR)},
     address = {Piscataway, NJ, USA},
     year = {2020},
     month = may,
     pages = {660--661},
     doi = {10.1109/VRW50115.2020.00181},
     isbn = {978-1-7281-6532-5},
     publisher = {IEEE},
   }

4. Master’s Thesis

   Semi-Automated Inference of Feature Traceability During Software Development

   Paul Maximilian Bittner

   Feb 2020

   DOI Bib PDF

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

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

2. 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,
     title = {{Evaluation of Optimised Centres of Rotation Skinning}},
     author = {Bittner, Paul Maximilian and Tauscher, Jan-Philipp and Grogorick, Steve and Magnor, Marcus},
     howpublished = {Poster},
     year = {2019},
     month = apr,
     note = {Poster at International Conference on Computational Visual Media},
   }

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

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

5. 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,
     title = {{SAT Encodings of the At-Most-k Constraint -- A Case Study on Configuring University Courses}},
     author = {Bittner, Paul Maximilian},
     school = {TU Braunschweig},
     address = {Germany},
     year = {2019},
     month = mar,
     type = {Project Thesis},
   }

2017

1. Bachelor’s Thesis

   Evaluation of Skinning Techniques for Skeletal Animation in MonSteR

   Paul Maximilian Bittner

   Sep 2017

   Bib

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