Paul Bittner

@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
}

@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
}

@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
}

@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
}

@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
}

@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
}

@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
}

@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
}

@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
}