Note on my affiliation
I am currently employed by the University of Paderborn, and will soon move my position to the TU Braunschweig. My supervisor, Thomas Thüm, switched universities twice this year. However, I still remain a PhD student here in Ulm
M.Sc. Paul Maximilian Bittner
I apply programming language methods to software engineering research problems. In particular, I focus on static variability in software and systems and understanding changes to it (e.g., in version control). In my research, I apply formal reasoning to ensure that the models we use are correct, expressive, and useful. Devoted to denotational design, I thereby strive to find proper formal specifications of systems, which might be implemented in several, potentially optimized ways. Within the research project VariantSync, Alexander Schultheiß and me are making software product-line technology easier to adopt, in particular in clone-and-own development. A notable software project we developed is DiffDetective, a Java library for variability-aware differencing.
Anything of your interest? Don't hesitate to contact me. :)
Research Projects
Automating the Synchronization of Software Variants
Teaching
Lecture Exercises and Projects
Software Product Lines: Exercise Instructor
Compiler Construction: Exercise Instructor
Compiler Construction: Exercise Instructor
Software Engineering Project: Integrating Differencing Algorithms in DiffDetective
Software Product Lines: Exercise Instructor
Software Engineering Project: VariantSync
Software Product Lines: Exercise Instructor
Software Product Lines: Exercise Instructor
Academic Service
I served as a (sub-)reviewer for
Journals: TSE; SoSyM; TOCS
Conferences: GPCE'21; SPLC '23, '22, '21, '20; VaMoS'24, '22, '21
Artifact Evaluation: ICSE'24
2024
33.
Greiner,
Sandra;
Schultheiß,
Alexander;
Bittner,
Paul Maximilian;
Thüm,
Thomas;
Kehrer,
Timo
Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 84-95
Herausgeber: ACM, New York, NY, USA
September 2024
Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 84-95
Herausgeber: ACM, New York, NY, USA
September 2024
| DOI: | 10.1145/3646548.3672593 |
| ISBN: | 9798400705939 |
32.
Bittner,
Paul Maximilian;
Schultheiß,
Alexander;
Moosherr,
Benjamin;
Kehrer,
Timo;
Thüm,
Thomas
Variability-Aware Differencing with DiffDetective
Companion Proc. Int'l Conference on the Foundations of Software Engineering (FSE Companion), Seite 632-636
Herausgeber: ACM, New York, NY, USA
Juli 2024
Variability-Aware Differencing with DiffDetective
Companion Proc. Int'l Conference on the Foundations of Software Engineering (FSE Companion), Seite 632-636
Herausgeber: ACM, New York, NY, USA
Juli 2024
| DOI: | 10.1145/3663529.3663813 |
| ISBN: | 9798400706585 |
31.
Sundermann,
Chico;
Heß,
Tobias;
Nieke,
Michael;
Bittner,
Paul Maximilian;
Young,
Jeffrey M.;
Thüm,
Thomas;
Schaefer,
Ina
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces - Summary
Proc. Software Engineering (SE), Seite 67-68
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2024
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces - Summary
Proc. Software Engineering (SE), Seite 67-68
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2024
| DOI: | 10.18420/sw2024_18 |
| ISBN: | 978-3-88579-737-1 |
| Datei: |  https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-SE-Sundermann.pdf |
30.
Güthing,
Lukas;
Bittner,
Paul Maximilian;
Schaefer,
Ina;
Thüm,
Thomas
Explaining Edits to Variability Annotations in Evolving Software Product Lines
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 93-102
Herausgeber: ACM, New York, NY, USA
Februar 2024
Explaining Edits to Variability Annotations in Evolving Software Product Lines
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 93-102
Herausgeber: ACM, New York, NY, USA
Februar 2024
| DOI: | 10.1145/3634713.3634725 |
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Guething.pdf |
29.
Bittner,
Paul Maximilian;
Schultheiß,
Alexander;
Moosherr,
Benjamin;
Young,
Jeffrey M.;
Teixeira,
Leopoldo;
Walkingshaw,
Eric;
Ataei,
Parisa;
Thüm,
Thomas
On the Expressive Power of Languages for Static Variability
Proceedings of the ACM on Programming Languages (PACMPL) OOPSLA2
2024
Herausgeber: ACM
On the Expressive Power of Languages for Static Variability
Proceedings of the ACM on Programming Languages (PACMPL) OOPSLA2
2024
Herausgeber: ACM
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-OOPSLA-Bittner.pdf |
2023
28.
Schultheiß,
Alexander;
Bittner,
Paul Maximilian;
Boll,
Alexander;
Grunske,
Lars;
Thüm,
Thomas;
Kehrer,
Timo
RaQuN: A Generic and Scalable N-Way Model Matching Algorithm
Software and Systems Modeling (SoSyM) :1495-1517
Oktober 2023
Herausgeber: Springer
RaQuN: A Generic and Scalable N-Way Model Matching Algorithm
Software and Systems Modeling (SoSyM) :1495-1517
Oktober 2023
Herausgeber: Springer
| DOI: | 10.1007/s10270-022-01062-5 |
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SoSyM-Schultheiss.pdf |
27.
Bittner,
Paul Maximilian;
Schultheiß,
Alexander;
Greiner,
Sandra;
Moosherr,
Benjamin;
Krieter,
Sebastian;
Tinnes,
Christof;
Kehrer,
Timo;
Thüm,
Thomas
Views on Edits to Variational Software
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 141-152
Herausgeber: ACM, New York, NY, USA
August 2023
Views on Edits to Variational Software
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 141-152
Herausgeber: ACM, New York, NY, USA
August 2023
| DOI: | 10.1145/3579027.3608985 |
| ISBN: | 9798400700910 |
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SPLC-Bittner.pdf |
26.
Bittner,
Paul Maximilian;
Tinnes,
Christof;
Schultheiß,
Alexander;
Viegener,
Sören;
Kehrer,
Timo;
Thüm,
Thomas
Classifying Edits to Variability in Source Code - Summary
Proc. Software Engineering (SE), Seite 39-40
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2023
Classifying Edits to Variability in Source Code - Summary
Proc. Software Engineering (SE), Seite 39-40
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2023
| ISBN: | 978-3-88579-726-5 |
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Bittner.pdf |
25.
Schultheiß,
Alexander;
Bittner,
Paul Maximilian;
Thüm,
Thomas;
Kehrer,
Timo
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own - Summary
Proc. Software Engineering (SE), Seite 109-110
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2023
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own - Summary
Proc. Software Engineering (SE), Seite 109-110
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2023
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Schultheiss.pdf |
24.
Young,
Jeffrey M.;
Bittner,
Paul Maximilian;
Walkingshaw,
Eric;
Thüm,
Thomas
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary
Proc. Software Engineering (SE), Seite 129-130
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2023
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary
Proc. Software Engineering (SE), Seite 129-130
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2023
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Young.pdf |
23.
Schultheiß,
Alexander;
Bittner,
Paul Maximilian;
Greiner,
Sandra;
Kehrer,
Timo
Benchmark Generation With VEVOS: A Coverage Analysis of Evolution Scenarios in Variant-Rich Systems
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 13-22
Herausgeber: ACM, New York, NY, USA
Januar 2023
Benchmark Generation With VEVOS: A Coverage Analysis of Evolution Scenarios in Variant-Rich Systems
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 13-22
Herausgeber: ACM, New York, NY, USA
Januar 2023
| DOI: | 10.1145/3571788.3571793 |
| ISBN: | 9798400700019 |
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-VaMoS-Schultheiss.pdf |
22.
Sundermann,
Chico;
Heß,
Tobias;
Nieke,
Michael;
Bittner,
Paul Maximilian;
Young,
Jeffrey M.;
Thüm,
Thomas;
Schaefer,
Ina
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces
Empirical Software Engineering (EMSE) :38
Januar 2023
Herausgeber: Springer
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces
Empirical Software Engineering (EMSE) :38
Januar 2023
Herausgeber: Springer
| DOI: | 10.1007/s10664-022-10265-9 |
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-EMSE-Sundermann.pdf |
2022
21.
Bittner,
Paul Maximilian;
Tinnes,
Christof;
Schultheiß,
Alexander;
Viegener,
Sören;
Kehrer,
Timo;
Thüm,
Thomas
Classifying Edits to Variability in Source Code
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Seite 196-208
Herausgeber: ACM, New York, NY, USA
November 2022
Classifying Edits to Variability in Source Code
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Seite 196-208
Herausgeber: ACM, New York, NY, USA
November 2022
| DOI: | 10.1145/3540250.3549108 |
| ISBN: | 9781450394130 |
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-ESECFSE-Bittner.pdf |
20.
Young,
Jeffrey M.;
Bittner,
Paul Maximilian;
Walkingshaw,
Eric;
Thüm,
Thomas
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems
Empirical Software Engineering (EMSE) :53
November 2022
Herausgeber: Springer
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems
Empirical Software Engineering (EMSE) :53
November 2022
Herausgeber: Springer
| DOI: | 10.1007/s10664-022-10217-3 |
19.
Schultheiß,
Alexander;
Bittner,
Paul Maximilian;
Thüm,
Thomas;
Kehrer,
Timo
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own
Proc. Int'l Conf. on Software Maintenance and Evolution (ICSME), Seite 269-280
Herausgeber: IEEE, Piscataway, NJ, USA
Oktober 2022
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own
Proc. Int'l Conf. on Software Maintenance and Evolution (ICSME), Seite 269-280
Herausgeber: IEEE, Piscataway, NJ, USA
Oktober 2022
| DOI: | 10.1109/ICSME55016.2022.00032 |
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-ICSME-Schultheiss.pdf |
18.
Linsbauer,
Lukas;
Westphal,
Paul;
Bittner,
Paul Maximilian;
Krieter,
Sebastian;
Thüm,
Thomas;
Schaefer,
Ina
Derivation of Subset Product Lines in FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 38-41
Herausgeber: ACM, New York, NY, USA
September 2022
Derivation of Subset Product Lines in FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 38-41
Herausgeber: ACM, New York, NY, USA
September 2022
| DOI: | 10.1145/3503229.3547033 |
| ISBN: | 9781450392068 |
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Linsbauer.pdf |
17.
Schultheiß,
Alexander;
Bittner,
Paul Maximilian;
El-Sharkawy,
Sascha;
Thüm,
Thomas;
Kehrer,
Timo
Simulating the Evolution of Clone-and-Own Projects With VEVOS
Proc. Int'l Conf. on Evaluation Assessment in Software Engineering (EASE), Seite 231-236
Herausgeber: ACM, New York, NY, USA
Juni 2022
Simulating the Evolution of Clone-and-Own Projects With VEVOS
Proc. Int'l Conf. on Evaluation Assessment in Software Engineering (EASE), Seite 231-236
Herausgeber: ACM, New York, NY, USA
Juni 2022
| DOI: | 10.1145/3530019.3534084 |
| ISBN: | 9781450396134 |
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-EASE-Schultheiss.pdf |
16.
Bittner,
Paul Maximilian;
Schultheiß,
Alexander;
Thüm,
Thomas;
Kehrer,
Timo;
Young,
Jeffrey M.;
Linsbauer,
Lukas
Feature Trace Recording - Summary
Proc. Software Engineering (SE), Seite 19-20
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2022
Feature Trace Recording - Summary
Proc. Software Engineering (SE), Seite 19-20
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2022
| DOI: | 10.18420/se2022-ws-002 |
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SE-Bittner.pdf |
15.
Schultheiß,
Alexander;
Bittner,
Paul Maximilian;
Thüm,
Thomas;
Kehrer,
Timo
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees - Summary
Proc. Software Engineering (SE), Seite 83-84
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2022
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees - Summary
Proc. Software Engineering (SE), Seite 83-84
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2022
| DOI: | 10.18420/se2022-ws-028 |
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SE-Schultheiss.pdf |
2021
14.
Schultheiß,
Alexander;
Bittner,
Paul Maximilian;
Grunske,
Lars;
Thüm,
Thomas;
Kehrer,
Timo
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees
Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS), Seite 1-12
Herausgeber: IEEE, Washington, DC, USA
Oktober 2021
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees
Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS), Seite 1-12
Herausgeber: IEEE, Washington, DC, USA
Oktober 2021
| DOI: | 10.1109/MODELS50736.2021.00010 |
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-MODELS-Schultheiss.pdf |
13.
Bittner,
Paul Maximilian;
Schultheiß,
Alexander;
Thüm,
Thomas;
Kehrer,
Timo;
Young,
Jeffrey M.;
Linsbauer,
Lukas
Feature Trace Recording
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Seite 1007-1020
Herausgeber: ACM, New York, NY, USA
August 2021
Feature Trace Recording
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Seite 1007-1020
Herausgeber: ACM, New York, NY, USA
August 2021
| DOI: | 10.1145/3468264.3468531 |
| ISBN: | 9781450385626 |
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-ESECFSE-Bittner.pdf |
12.
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), Seite 21-25
Herausgeber: IEEE, Piscataway, NJ, USA
Mai 2021
Bridging the Gap Between Clone-and-Own and Software Product Lines
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 21-25
Herausgeber: IEEE, Piscataway, NJ, USA
Mai 2021
| DOI: | 10.1109/ICSE-NIER52604.2021.00013 |
| ISBN: | 978-1-6654-0140-1 |
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-ICSE-Kehrer.pdf |
11.
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
Februar 2021
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
Februar 2021
| DOI: | 10.1145/3442391.3442404 |
| ISBN: | 9781450388245 |
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-VaMoS-Sundermann.pdf |
2020
10.
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
November 2020
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
November 2020
| DOI: | 10.1145/3385956.3418965 |
| Datei: | https://graphics.tu-bs.de/publications/muhlhausen2020temporal |
9.
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
Oktober 2020
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
Oktober 2020
| DOI: | 10.1145/3382025.3414972 |
| ISBN: | 9781450375696 |
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-SPLC-Schultheiss.pdf |
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
Mai 2020
Depth Augmented Omnidirectional Stereo for 6-DoF VR Photography
Proc. IEEE Virtual Reality Workshop (VR), Seite 660-661
Herausgeber: IEEE, Piscataway, NJ, USA
Mai 2020
| DOI: | 10.1109/VRW50115.2020.00181 |
| ISBN: | 978-1-7281-6532-5 |
| Datei: | https://graphics.tu-bs.de/publications/bertel2020depth |
7.
Bittner,
Paul Maximilian
Semi-Automated Inference of Feature Traceability During Software Development
Master's Thesis
TU Braunschweig, Germany
Februar 2020
Semi-Automated Inference of Feature Traceability During Software Development
Master's Thesis
TU Braunschweig, Germany
Februar 2020
| DOI: | 10.24355/dbbs.084-202002271120-0 |
| Datei: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00047261/Master_Thesis_Paul_Bittner.pdf |
2019
6.
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
September 2019
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
September 2019
| DOI: | 10.1007/978-3-030-30446-1_7 |
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SEFM-Bittner.pdf |
5.
Bittner,
Paul Maximilian;
Tauscher,
Jan-Philipp;
Grogorick,
Steve;
Magnor,
Marcus
Evaluation of Optimised Centres of Rotation Skinning
April 2019
Evaluation of Optimised Centres of Rotation Skinning
April 2019
| Datei: | https://graphics.tu-bs.de/publications/bittner2019evaluation |
4.
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
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 |
3.
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
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 |
2.
Bittner,
Paul Maximilian
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses (Project Thesis)
Project Thesis
TU Braunschweig, Germany
März 2019
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses (Project Thesis)
Project Thesis
TU Braunschweig, Germany
März 2019
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SEFM-Bittner.pdf |
2017
1.
Bittner,
Paul Maximilian
Evaluation of Skinning Techniques for Skeletal Animation in MonSteR
Bachelor's Thesis
TU Braunschweig, Germany
September 2017
Evaluation of Skinning Techniques for Skeletal Animation in MonSteR
Bachelor's Thesis
TU Braunschweig, Germany
September 2017
2023
5.
Moosherr,
Benjamin
Constructing Variation Diffs Using Tree Diffing Algorithms
Bachelor's Thesis
University of Ulm, Germany
April 2023
Constructing Variation Diffs Using Tree Diffing Algorithms
Bachelor's Thesis
University of Ulm, Germany
April 2023
| DOI: | 10.18725/OPARU-50108 |
| Datei: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/50184/BA_Moosherr.pdf |
4.
Güthing,
Lukas
Inspecting the Evolution of Feature Annotations in Configurable Software
Master's Thesis
University of Ulm, Germany
Januar 2023
Inspecting the Evolution of Feature Annotations in Configurable Software
Master's Thesis
University of Ulm, Germany
Januar 2023
2022
3.
Bormann,
Lukas
Reverse Engineering Feature-Aware Commits From Software Product-Line Repositories
Bachelor's Thesis
University of Ulm, Germany
Oktober 2022
Reverse Engineering Feature-Aware Commits From Software Product-Line Repositories
Bachelor's Thesis
University of Ulm, Germany
Oktober 2022
| DOI: | 10.18725/OPARU-47892 |
| Datei: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/47968/Thesis_Bormann.pdf |
2.
Jedelhauser,
Kevin
Type-Checking Variability in Clone-and-Own Variants With Product-Line Tooling
Master's Thesis
University of Ulm, Germany
September 2022
Type-Checking Variability in Clone-and-Own Variants With Product-Line Tooling
Master's Thesis
University of Ulm, Germany
September 2022
2021
1.
Viegener,
Sören
Empirical Evaluation of Feature Trace Recording on the Edit History of Marlin
Bachelor's Thesis
University of Ulm, Germany
April 2021
Empirical Evaluation of Feature Trace Recording on the Edit History of Marlin
Bachelor's Thesis
University of Ulm, Germany
April 2021
| DOI: | 10.18725/OPARU-38603 |
| Datei: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/38679/BA_Viegener.pdf |
Treasures I'd like to share
- Cargo Cult Science by Richard Feynman - Some remarks on science, pseudoscience, and learning how to not fool yourself.
- Propositions as Types by Philip Wadler - Awesome talk on how programs are proofs and vice versa, and the relevant historical background.
- Teach Yourself Programming in Ten Years by Peter Norvig - Why is everyone in such a rush [when learning]?
- Conversations with a six-year-old on functional programming by Brent Yorgey - What is a function and how do we explain it to a child?
- How to Write a Great Research Paper by Simon Peyton Jones - Writing is Science!
- On Paper Titles (Bad Ideas, Rejected Ideas, and Final Titles) by Christian Kästner - Some inspirational thoughts on how not to title your paper ;)
-
The Mess We're In by Joe Armstrong
M.Sc. Paul Maximilian Bittner
M.Sc.
Paul Maximilian
Bittner