M.Sc. Paul Maximilian Bittner

Discovering ways for synchronising and aligning diverged forks, branches, and code clones in general is the main focus of my work. The key idea is to reduce the effort for developers as much as possible while being transparent and impairing workflows as little as possible. Currently, I am working on a methodology for recording feature-to-code traces during software development that is voluntary for developers.

In general, I'm interested in everything that makes programming easier with a focus on variability management: software product lines, cool libraries or frameworks, programming language concepts, and game engines. Until January'20, I was part of the great team at the Institute of Computer Graphics at TU Braunschweig where I also gained a broad background on both computer graphics and vision.

Anything of your interest? Don't hesitate to contact me.

Research Projects

VariantSync

Automating the Synchronization of Software Variants

Teaching

Winter Term 2020/21

Software Engineering Project: Development of Eclipse Plug-Ins for VariantSync: Leiter und Ansprechpartner

Summer Term 2020

Software-Produktlinien: Übungsleiter und Ansprechpartner

Program Committees

SPLC2020: 24th Systems and Software Product Line Conference (Challenge Solutions Track)

Featured Publications

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

At universities, some fields of study offer multiple branches to graduate in. These branches are defined by mandatory and optional courses. Configuring a branch manually can be a difficult task, especially if some courses have already been attended. Hence, a tool providing guidance on choosing courses is desired. Feature models enable modelling such behaviour, as they are designed to define valid configurations from a set of features. Unfortunately, the branches contain constraints instructing to choose at least k out of n courses in essence. Encoding some of these constraints naïvely in propositional calculus is practically infeasible. We develop a new encoding by combining existing approaches. Furthermore, we report on our experience of encoding the constraints of the computer science master at TU Braunschweig and discuss the impact for research on configurability.

Find the implementation of the encodings in Java as well as our evaluation results on Github (here)!

Publications

2021

10.

Sundermann, Chico; Nieke, Michael; Bittner, Paul Maximilian; Heß, Tobias; Thüm, Thomas; Schaefer, Ina
Applications of #SAT Solvers on Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
2021

DOI:	10.1145/3442391.3442404
ISBN:	9781450388245
Datei:	fileadmin/website_uni_ulm/iui.inst.170/publications/2021-VaMoS-Sundermann.pdf

9.

Kehrer, Timo; Thüm, Thomas; Schultheiß, Alexander; Bittner, Paul Maximilian
Bridging the Gap Between Clone-and-Own and Software Product Lines
Proc. Int'l Conf. on Software Engineering (ICSE) (To Appear)
Herausgeber: ACM, New York, NY, USA
2021

2020

8.

Bertel, Tobias; Mühlhausen, Moritz; Kappel, Moritz; Bittner, Paul Maximilian; Richardt, Christian; Magnor, Marcus
Depth Augmented Omnidirectional Stereo for 6-DoF VR Photography
Proc. IEEE Virtual Reality Workshop (VR), Seite 660-661
Herausgeber: IEEE, Piscataway, NJ, USA
2020

DOI:	10.1109/VRW50115.2020.00181
ISBN:	978-1-7281-6532-5
Datei:	https://graphics.tu-bs.de/publications/bertel2020depth

7.

Schultheiß, Alexander; Bittner, Paul Maximilian; Kehrer, Timo; Thüm, Thomas
On the Use of Product-Line Variants as Experimental Subjects for Clone-and-Own Research: A Case Study
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Herausgeber: ACM, New York, NY, USA
2020

DOI:	10.1145/3382025.3414972
ISBN:	9781450375696
Datei:	fileadmin/website_uni_ulm/iui.inst.170/publications/2020-SPLC-Schultheiss.pdf

6.

Bittner, Paul Maximilian
Semi-Automated Inference of Feature Traceability During Software Development
TU Braunschweig, Germany
2020

DOI:	10.24355/dbbs.084-202002271120-0

5.

Mühlhausen, Moritz; Kappel, Moritz; Kassubeck, Marc; Bittner, Paul Maximilian; Castillo, Susana; Magnor, Marcus
Temporal Consistent Motion Parallax for Omnidirectional Stereo Panorama Video
Proc. ACM Symposium on Virtual Reality Software and Technology (VRST)
Herausgeber: ACM, New York, NY, USA
2020

DOI:	10.1145/3385956.3418965
Datei:	https://graphics.tu-bs.de/publications/muhlhausen2020temporal

2019

4.

Bittner, Paul Maximilian; Tauscher, Jan-Philipp; Grogorick, Steve; Magnor, Marcus
Evaluation of Optimised Centres of Rotation Skinning
Poster @ International Conference on Computational Visual Media 2019
April 2019

Datei:

https://graphics.tu-bs.de/publications/bittner2019evaluation

3.

Grogorick, Steve; Überheide, Matthias; Tauscher, Jan-Philipp; Bittner, Paul Maximilian; Magnor, Marcus
Gaze and Motion-aware Real-Time Dome Projection System
Proc. IEEE Virtual Reality Workshop (VR), Seite 1780-1783
Herausgeber: IEEE, Piscataway, NJ, USA
März 2019

DOI:	10.1109/VR.2019.8797902
ISBN:	978-1-7281-1377-7
Datei:	https://graphics.tu-bs.de/publications/grogorick2019gaze

2.

Tauscher, Jan-Philipp; Schottky, Fabian Wolf; Grogorick, Steve; Bittner, Paul Maximilian; Mustafa, Maryam; Magnor, Marcus
Immersive EEG: Evaluating Electroencephalography in Virtual Reality
Proc. IEEE Virtual Reality Workshop (VR), Seite 1794-1800
Herausgeber: IEEE, Piscataway, NJ, USA
März 2019

DOI:	10.1109/VR.2019.8797858
Datei:	https://graphics.tu-bs.de/publications/tauscher2019immersive

1.

Bittner, Paul Maximilian; Thüm, Thomas; Schaefer, Ina
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses
Proc. Int'l Conf. on Software Engineering and Formal Methods (SEFM), Seite 127-144
Herausgeber: Springer, Berlin, Heidelberg
2019

DOI:	10.1007/978-3-030-30446-1_7