All publications:

2023

• Christian Lengauer and Jacques Carette. Eelco Visser as a Founding Member of the IFIP WG 2.11. In Ralf Lämmel, Peter D. Mosses, and Friedrich Steimann, editors, Eelco Visser Commemorative Symposium (EVCS), volume 109 of Open Access Series in Informatics (OASIcs), pages 19:1–19:3. Schloss Dagstuhl, April 2023.
   

2022

• Christian Lengauer. A Personal View of Edsger W. Dijkstra and His Stance on Software Construction. In Krzysztof R. Apt and Tony Hoare, editors, Edsger Wybe Dijkstra: His Life, Work, and Legacy, volume 45 of ACM Books, chapter 9, pages 205–214. ACM, July 2022.
   

2021

• Alexander Grebhahn und Christian Kaltenecker und Christian Engwer und Norbert Siegmund und Sven Apel. Lightweight, Semi-Automatic Variability Extraction: A Case Study on Scientific Computing. Empirical Software Engineering, 26(2):Art. 23, March 2021. Open access.
   

2020

• Christian Lengauer, Sven Apel, Matthias Bolten, Shigeru Chiba, Ulrich Rüde, Jürgen Teich, Armin Größlinger, Frank Hannig, Harald Köstler, Lisa Claus, Alexander Grebhahn, Stefan Groth, Stefan Kronawitter, Sebastian Kuckuk, Hannah Rittich, Christian Schmitt, and Jonas Schmitt. ExaStencils – Advanced Multigrid Solver Generation. In Hans-Joachim Bungartz, Severin Reiz, Benjamin Uekermann, Philipp Neumann, and Wolfgang E. Nagel, editors, Software for Exascale Computing – SPPEXA 2016-2019, volume 136 of Lecture Notes in Computer Science and Engineering, pages 405–452. Springer, 2020. Open access.
   
• Paolo Bientinesi, David Ham, Furong Huang, Paul H. J. Kelly, Christian Lengauer, and Saday Sadayappan (editors). Tensor Computations: Applications and Optimization. Dagstuhl Reports, 10(3):58–70, December 2020.
   

2019

• Alcemir Rodrigues Santos, Ivan do Carmo Machado, Eduardo Santana de Almeida, Janet Siegmund, and Sven Apel. Comparing the Influence of Using Feature-Oriented Programming and Conditional Compilation on Comprehending Feature-Oriented Software. Empirical Software Engineering, 24(3):1226–1258, 2019. Online version at SharedIt.
   
• Shigeru Chiba, YungYu Zhuang, and Thanh-Chung Dao. A Development Platform for Embedded Domain-Specific Languages. In Mitsuhisa Sato, editor, Advanced Software Technologies for Post-Peta Scale Computing, chapter 8, pages 139–161. Springer Singapore, 2019.
   
• Thomas Thüm, André van Hoorn, Sven Apel, Johannes Bürdek, Sinem Getir, Robert Heinrich, Reiner Jung, Matthias Kowal, Malte Lochau, Ina Schaefer, and Jürgen Walter. Performance Analysis Strategies for Software Variants and Versions. In Managed Software Evolution, pages 175–206. Springer-Verlag, 2019.
   
• Janet Siegmund, Norman Peitek, André Brechmann, Chris Parnin, and Sven Apel. Studying Programming in the Neuroage: Just a Crazy Idea? Communications of the ACM, 2019. To appear.
   
• Eneias Silva, Alessandro Leite, Vander Alves, and Sven Apel. ExpRunA: A Domain-Specific Approach for Technology-Oriented Experiments. Software and Systems Modeling (SoSyM), 2019. Online first at SharedIt.
   
• Gustavo do Vale, Angelika Schmid, Alcemir Rodrigues Santos, Eduardo Santana de Almeida, and Sven Apel. On the Relation Between GitHub Communication Activity and Merge Conflicts. Empirical Software Engineering, 2019. Online version at SharedIt.
   
• Roman Haas, Rainer Niedermayer, Tobias Roehm, and Sven Apel. Is Static Analysis Able to Identify Unnecessary Source Code?. ACM Transactions on Software Engineering and Methodology (TOSEM), 2019. To appear.
   
• Andreas Simbürger, Sven Apel, Armin Größlinger, and Christian Lengauer. PolyJIT: Polyhedral Optimization Just in Time. International Journal of Parallel Programming (IJPP), 47(5–6):874–906, December 2019.
   
• Guilherme Cavalcanti, Paulo Borba, Georg Seibt, and Sven Apel. The Impact of Structure on Software Merging: Semistructured versus Structured Merge. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 1002–1013. IEEE Computer Society, November 2019. Acceptance rate (full papers): 25% (93 / 373).
   
• Stefan Mühlbauer, Sven Apel, and Norbert Siegmund. Accurate Modeling of Performance Histories for Evolving Software Systems. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 640–652. IEEE Computer Society, November 2019. Acceptance rate (full papers): 25% (93 / 373).
   
• Flávio Medeiros, Gabriel Lima, Guilherme Amaral, Sven Apel, Christian Kästner, Márcio Ribeiro, and Rohit Gheyi. An Investigation of Misunderstanding Code Patterns in C Open-Source Software Projects. Empirical Software Engineering, 24(4):1693–1726, August 2019. Online version at SharedIt.
   
• Sergiy Kolesnikov, Norbert Siegmund, Christian Kästner, and Sven Apel. On the Relation of Control-flow and Performance Feature Interactions: A Case Study. Empirical Software Engineering, 24(4):2410–2437, August 2019.
   
• Sergiy Kolesnikov, Norbert Siegmund, Christian Kästner, Alexander Grebhahn, and Sven Apel. Tradeoffs in Modeling Performance of Highly-Configurable Software Systems. Software and Systems Modeling (SoSyM), 18(3):2265–2283, June 2019.
   
• Christian Kaltenecker, Alexander Grebhahn, Norbert Siegmund, Jianmei Guo, and Sven Apel. Distance-Based Sampling of Software Configuration Spaces. In Proceedings of the IEEE/ACM International Conference on Software Engineering (ICSE), pages 1084–1094. IEEE Computer Society, May 2019. Acceptance rate: 21% (109 / 529).
   
• Catia Trubiani and Sven Apel. PLUS: Performance Learning for Uncertainty of Software. In Proceedings of the IEEE/ACM International Conference on Software Engineering (ICSE), pages 77–80. IEEE Computer Society, May 2019. NIER Track; acceptance rate: 27% (25 / 92).
   
• Jennifer Bauer, Janet Siegmund, Norman Peitek, Johannes Hofmeister, and Sven Apel. Indentation: Simply a Matter of Style or Support for Program Comprehension?. In Proceedings of the International Conference on Program Comprehension (ICPC), pages 154–164. IEEE Computer Society, May 2019.
   
• Norman Peitek, Sven Apel, André Brechmann, Chris Parnin, and Janet Siegmund. CodersMUSE: Multi-Modal Data Exploration of Program-Comprehension Experiments. In Proceedings of the International Conference on Program Comprehension (ICPC), pages 126–129. IEEE Computer Society, May 2019.
   
• Stefan Groth, Christian Schmitt, Jürgen Teich, and Frank Hannig. SYCL Code Generation for Multigrid Methods. In Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems (SCOPES), pages 41–44. ACM, May 2019.
   
• Jonas Schmitt, Sebastian Kuckuk, and Harald Köstler. Towards the Automatic Optimization of Geometric Multigrid Methods with Evolutionary Computation. Preprint 778, EasyChair, February 2019. 10 pages.
   
• Stefan Kronawitter and Christian Lengauer. Polyhedral Search Space Exploration in the ExaStencils Code Generator. ACM Transactions on Architecture and Code Optimization (TACO), 15(4):40:1–40:25, January 2019. Open access. Presented at HiPEAC 2019.
   
• Stefan Ganser, Armin Größlinger, Norbert Siegmund, Sven Apel, and Christian Lengauer. Speeding up Iterative Polyhedral Schedule Optimization with Surrogate Performance Models. ACM Transactions on Architecture and Code Optimization (TACO), 15(4):56:1–56:27, January 2019. Open access. Presented at HiPEAC 2019.
   

2018

• Matthias Bolten and Hannah Rittich. Fourier Analysis of Periodic Stencils in Multigrid Methods. SIAM Journal of Scientific Computing (SISC), 40(3):A1642–A1668, 2018.
   
• Norman Peitek, Janet Siegmund, Sven Apel, Christian Kästner, Chris Parnin, Anja Bethmann, Thomas Leich, Gunter Saake, and André Brechmann. A Look into Programmers' Heads. IEEE Transactions on Software Engineering (TSE), 2018. Online first.
   
• Vivek Nair, Zhe Yu, Tim Menzies, Norbert Siegmund, and Sven Apel. Finding Faster Configurations using FLASH. IEEE Transactions on Software Engineering (TSE), 2018. Online first.
   
• Leonardo Passos, Rodrigo Queiroz, Mukelabai Mukelabai, Thorsten Berger, Sven Apel, Krzysztof Czarnecki, and Jesus Alejandro Padilla. A Study of Feature Scattering in the Linux Kernel. IEEE Transactions on Software Engineering (TSE), 2018. Online first.
   
• Christian Schmitt, Moritz Schmid, Sebastian Kuckuk, Harald Köstler, Jürgen Teich, and Frank Hannig. Reconfigurable Hardware Generation of Multigrid Solvers with Conjugate Gradient Coarse-Grid Solution. Parallel Processing Letters (PPL), 28(4):Article 1850013, 20 pages, 2018.
   
• Christian Schmitt, Stefan Kronawitter, Frank Hannig, Jürgen Teich, and Christian Lengauer. Automating the Development of High-Performance Multigrid Solvers. Proceedings of the IEEE, 106(11):1969–1984, November 2018. Special Issue on From High-Level Specification to High-Performance Code.
   
• Alexander von Rhein, Jörg Liebig, Andreas Janker, Christian Kästner, and Sven Apel. Variability-Aware Static Analysis at Scale: An Empirical Study. ACM Transactions on Software Engineering and Methodology (TOSEM), 27(4):18:1–18:33, November 2018.
   
• Norman Peitek, Janet Siegmund, Chris Parnin, Sven Apel, Johannes Hofmeister, and André Brechmann. Simultaneous Measurement of Program Comprehension with fMRI and Eye Tracking: A Case Study. In Proceedings of the International Symposium on Empirical Software Engineering and Measurement (ESEM), pages 24:1–24:10. ACM Press, October 2018. Acceptance rate: 18% (30 / 164).
   
• Stefan Kronawitter, Sebastian Kuckuk, Harald Köstler, and Christian Lengauer. Automatic Data Layout Transformations in the ExaStencils Code Generator. Parallel Processing Letters (PPL), 28(3):Article 1850009, 18 pages, September 2018.
   
• Sebastian Hack, Paul H. J. Kelly, and Christian Lengauer (editors). Loop Optimization (Dagstuhl Seminar 18111). Dagstuhl Reports, 8(3):39–59, July 2018.
   
• Jianmei Guo, Dingyu Yang, Norbert Siegmund, Sven Apel, Atrisha Sarkar, Pavel Valov, Krzysztof Czarnecki, Andrzej Wasowski, and Huiqun Yu. Data-Efficient Performance Learning for Configurable Systems. Empirical Software Engineering, 23(3):1826–1867, June 2018.
   
• Norman Peitek, Janet Siegmund, Chris Parnin, Sven Apel, and André Brechmann. Beyond Gaze: Preliminary Analysis of Pupil Dilation and Blink Rates in an fMRI Study of Program Comprehension. In Proceedings of the International Workshop on Eye Movements in Programming (EMIP), page Article 4. ACM Press, June 2018.
   
• Norman Peitek, Janet Siegmund, Chris Parnin, Sven Apel, and André Brechmann. Toward Conjoint Analysis of Simultaneous Eye-Tracking and fMRI Data for Program-Comprehension Studies. In Proceedings of the International Workshop on Eye Movements in Programming (EMIP), page Article 1. ACM Press, June 2018.
   
• Flavio Medeiros, Marcio Ribeiro, Rohit Gheyi, Sven Apel, Christian Kästner, Bruno Ferreira, Luiz Carvalho, and Baldoino Fonseca. Discipline Matters: Refactoring of Preprocessor Directives in the #ifdef Hell. IEEE Transactions on Software Engineering (TSE), 44(5):453–469, May 2018.
   
• Vivek Nair, Tim Menzies, Norbert Siegmund, and Sven Apel. Faster Discovery of Faster System Configurations with Spectral Learning. Automated Software Engineering, 25(2):247–277, May 2018. Online version at SharedIt.
   
• Florian Sattler, Alexander von Rhein, Thorsten Berger, Niklas Schalck Johansson, Mikael Mark Hardø, and Sven Apel. Lifting Inter-App Data-Flow Analysis to Large App Sets. Automated Software Engineering, 25(2):315–346, May 2018. Online version at SharedIt.
   
• Olaf Leßenich, Janet Siegmund, Sven Apel, Christian Kästner, and Claus Hunsen. Indicators for Merge Conflicts in the Wild: Survey and Empirical Study. Automated Software Engineering, 25(2):279–313, May 2018. Online version at SharedIt.
   
• Claire Le Goues, Yuriy Brun, Sven Apel, Emery Berger, Sarfrad Khurshid, and Yannis Smaragdakis. Effectiveness of Anonymization in Double-Blind Review. Communications of the ACM, 61(6):30–33, May 2018.
   
• Christian Schmitt, Frank Hannig, and Jürgen Teich. A Target Platform Description Language for Code Generation in HPC. In Workshop Proceedings of the 31st GI/ITG International Conference on Architecture of Computing Systems (ARCS), pages 59–66. VDE, April 2018.
   
• André Lanna, Thiago Castro, Vander Alves, Genaina Rodrigues, Pierre-Yves Schobbens, and Sven Apel. Feature-Family-Based Reliability Analysis of Software Product Lines. Information and Software Technology (IST), Volume 94, pages 59–81, February 2018.
   
• Thiago Castro, André Lanna, Vander Alves, Leopoldo Teixeira, Sven Apel, and Pierre-Yves Schobbens. All Roads Lead to Rome: Commuting Strategies for Product-Line Reliability Analysis. Science of Computer Programming, Volume 152, pages 116–160, January 2018.
   
• Vivek Nair, Zhe Yu, Tim Menzies, Norbert Siegmund, and Sven Apel. Finding Faster Configurations using FLASH. Computing Research Repository (CoRR), Number abs/1801.02175, January 2018.
   

2017

• Harald Köstler, Christian Schmitt, Sebastian Kuckuk, Stefan Kronawitter, Frank Hannig, Jürgen Teich, Ulrich Rüde, and Christian Lengauer. A Scala Prototype to Generate Multigrid Solver Implementations for Different Problems and Target Multi-Core Platforms. International Journal of Computational Science and Engineering (IJCSE), 14(2):150–163, 2017.
   
• Ivonne Schröter, Jacob Krüger, Janet Siegmund, and Thomas Leich. Comprehending Studies on Program Comprehension. In Proceedings of the International Conference on Program Comprehension (ICPC). IEEE Computer Society, 2017. To appear.
   
• Pooyan Jamshidi, Miguel Velez, Christian Kästner, Norbert Siegmund, and Prasad Kawthekar. Transfer Learning for Improving Model Predictions in Highly Configurable Software. arXiv preprint arXiv:1704.00234, 2017.
   
• Thanh-Chung Dao and Shigeru Chiba. SEMem: Deployment of MPI-Based In-Memory Storage for Hadoop on Supercomputers. In Francisco F. Rivera, Tomas F. Pena, and Jose C. Cabaleiro, editors, Euro-Par 2017: Parallel Processing, volume 10417 of Lecture Notes in Computer Science, pages 442–454. Springer, 2017.
   
• Kazuhiro Ichikawa and Shigeru Chiba. User-Defined Operators Including Name Binding for New Language Constructs. The Art, Science, and Engineering of Programming, 1(2), 2017. Article 15.
   
• Sergiy Kolesnikov, Norbert Siegmund, Christian Kästner, and Sven Apel. On the Relation of External and Internal Feature Interactions: A Case Study. Computing Research Repository (CoRR), Number abs/1701.08106, December 2017.
   
• Olaf Leßenich, Sven Apel, Christian Kästner, Georg Seibt, and Janet Siegmund. Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 543–553. IEEE Computer Society, November 2017. Acceptance rate (full papers): 21% (67 / 322).
   
• Didem Unat, Anshu Dubey, Torsten Hoefler, John Shalf, Mark Abraham, Mauro Bianco, Bradford L. Chamberlain, Romain Cledat, H. Carter Edwards, Hal Finkel, Karl Fürlinger, Frank Hannig, Emmanuel Jeannot, Amir Kamil, Jeff Keasler, Paul H. J. Kelly, Vitus J. Leung, Hatem Ltaief, Naoya Maruyama, Chris J. Newburn, and Miquel Pericás. Trends in Data Locality Abstractions for HPC Systems. IEEE Transactions on Parallel and Distributed Systems (TPDS), 28(10):3007–3020, October 2017.
   
• Tomoki Nakamaru, Kazuhiro Ichikawa, Tetsuro Yamazaki, and Shigeru Chiba. Silverchain: A Fluent API Generator. In Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (GPCE), pages 199–211. ACM, October 2017.
   
• Sebastian Kuckuk, Gundolf Haase, Diego Vasco, and Harald Köstler. Towards Generating Efficient Flow Solvers with the ExaStencils Approach. Concurrency and Computation: Practice and Experience, 29(17):4062:1–4062:17, September 2017. Special Issue on Advanced Stencil-Code Engineering.
   
• Alexander Grebhahn, Carmen Rodrigo, Norbert Siegmund, Francisco J. Gaspar, and Sven Apel. Performance-Influence Models of Multigrid Methods: A Case Study on Triangular Meshes. Concurrency and Computation: Practice and Experience, 29(17):4057:1–4057:13, September 2017. Special Issue on Advanced Stencil-Code Engineering.
   
• Matthias Bolten, Franz Franchetti, Paul H. J. Kelly, Christian Lengauer, and Marcus Mohr. Algebraic Description and Automatic Generation of Multigrid Methods in SPIRAL. Concurrency and Computation: Practice and Experience, 29(17):4105:1–4105:11, September 2017. Special Issue on Advanced Stencil-Code Engineering.
   
• Alexander Grebhahn, Christian Engwer, Matthias Bolten, and Sven Apel. Variability of Stencil Computations for Porous Media. Concurrency and Computation: Practice and Experience, 29(17):4119:1–4119:14, September 2017. Special Issue on Advanced Stencil-Code Engineering.
   
• Christian Lengauer, Matthias Bolten, Robert Falgout, and Olaf Schenk (editors). Special Issue: Advanced Stencil-Code Engineering. Concurrency and Computation: Practice and Experience, 29(17):4142:1–4142:2, September 2017.
   
• Stefan Ganser, Armin Größlinger, Norbert Siegmund, Sven Apel, and Christian Lengauer. Iterative Schedule Optimization for Parallelization in the Polyhedron Model. ACM Transactions on Architecture and Code Optimization (TACO), 14(3):23:1–23:26, September 2017. Presented at HiPEAC 2018.
   
• Vivek Nair, Tim Menzies, Norbert Siegmund, and Sven Apel. Using Bad Learners to find Good Configurations. In Proceedings of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 257–267. ACM Press, September 2017. Acceptance rate: 24% (72 / 295).
   
• Norbert Siegmund, Stefan Sobernig, and Sven Apel. Attributed Variability Models: Outside the Comfort Zone. In Proceedings of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 268–278. ACM Press, September 2017. Acceptance rate: 24% (72 / 295).
   
• Janet Siegmund, Norman Peitek, Chris Parnin, Sven Apel, Johannes Hofmeister, Christian Kästner, Andrew Begel, Anja Bethmann, and André Brechmann. Measuring Neural Efficiency of Program Comprehension. In Proceedings of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 140–150. ACM Press, September 2017. Acceptance rate: 24% (72 / 295).
   
• Mitchell Joblin, Sven Apel, and Wolfgang Mauerer. Evolutionary Trends of Developer Coordination: A Network Approach. Empirical Software Engineering, 22(4):2050–2094, August 2017. Online version at SharedIt.
   
• Christian Lengauer, Luc Bougé, and Denis Trystram (editors). Special Issue: Euro-Par 2016. Concurrency and Computation: Practice and Experience, 29(15):4204:1–4204:2, August 2017.
   
• Jörg Liebig, Sven Apel, Andreas Janker, Florian Garbe, and Sebastian Oster. Handling Static Configurability in Refactoring Engines. IEEE Computer, 50(7):44–53, July 2017.
   
• Mitchell Joblin, Sven Apel, Claus Hunsen, and Wolfgang Mauerer. Classifying Developers into Core and Peripheral: An Empirical Study on Count and Network Metrics. In Proceedings of the IEEE/ACM International Conference on Software Engineering (ICSE), pages 164–174. IEEE Computer Society, May 2017. Acceptance rate: 16% (68 / 415).
   
• Sebastian Kuckuk, Lena Leitenmaier, Christian Schmitt, Dominik Schönwetter, Harald Köstler, and Dietmar Fey. Towards Virtual Hardware Prototyping for Generated Geometric Multigrid Solvers. Technical report, Department of Computer Science, Friedrich-Alexander-University Erlangen-Nürnberg, March 2017. 10 pages.
   
• Rodrigo Queiroz, Leonardo Passos, Marco Tulio Valente, Claus Hunsen, Sven Apel, and Krzysztof Czarnecki. The Shape of Feature Code: An Analysis of Twenty C-Preprocessor-Based Systems. Software and Systems Modeling (SoSyM), 16(1):77–96, February 2017. Online version at SharedIt.
   
• Vivek Nair, Tim Menzies, Norbert Siegmund, and Sven Apel. Using Bad Learners to find Good Configurations. Computing Research Repository (CoRR), Number abs/1702.05701, February 2017.
   
• Sven Apel. The New Feature Interaction Challenge (Keynote). In Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), page 1. ACM Press, February 2017.
   
• Vivek Nair, Tim Menzies, Norbert Siegmund, and Sven Apel. Faster Discovery of Faster System Configurations with Spectral Learning. CoRR, Number abs/1701.08106, January 2017.
   
• Johannes Hofmeister, Janet Siegmund, and Daniel V. Holt. Shorter Identifier Names Take Longer to Comprehend. In Proceedings of the IEEE International Conference on Software Analysis, Evolution, and Reengineering, pages 217–227. IEEE Computer Society, 2017. Acceptance rate: 24% (34 / 140); Best Paper Award.
   

2016

• Kathi Fisler, Shriram Krishnamurthi, and Janet Siegmund. Modernizing Plan-Composition Studies. In Proceedings of the ACM Technical Symposium on Computer Science Education (SIGCSE), pages 211–216, 2016.
   
• Hagen Schink, Janet Siegmund, Reimar Schroeter, Thomas Thüm, and Gunter Saake. A Study on Tool Support for Refactoring in Database Applications. Softwaretechnik-Trends, 36(2):20–21, 2016.
   
• Johannes Hofmeister, Janet Siegmund, and Daniel Holt. Influence of Identifier Length and Semantics on the Comprehensibility of Source Code. Softwaretechnik-Trends, 36(2):42–43, 2016.
   
• Thomas Thüm, Márcio Ribeiro, Reimar Schroeter, Janet Siegmund, and Francisco Dalton. Product-Line Maintenance with Emergent Contract Interfaces. In Proceedings of the International Software Product Line Conference (SPLC), pages 134–143. ACM Press, 2016.
   
• Thorsten Berger, Markus Völter, Hans Peter Jensen, Taweesap Dangprasert, and Janet Siegmund. Efficiency of Projectional Editing: A Controlled Experiment. In Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), pages 763–774. ACM Press, 2016. Acceptance rate: 27% (74 / 273).
   
• Stefan Kronawitter, Sebastian Kuckuk, and Christian Lengauer. Redundancy Elimination in the ExaStencils Code Generator. In Jesus Carretero et al., editors, Algorithms and Architectures for Parallel Processing (ICA3PP), Colocated Workshops, volume 10049 of Lecture Notes in Computer Science, pages 159–173. Springer, 2016. First International Workshop on Data Locality in Modern Computing Systems (DLMCS).
   
• Sven Apel, Dirk Beyer, Vitaly Mordan, Vadim Mutilin, and Andreas Stahlbauer. On-The-Fly Decomposition of Specifications in Software Model Checking. In Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), pages 349–361. ACM Press, November 2016. Acceptance rate: 27% (74 / 273).
   
• Alexander Grebhahn, Norbert Siegmund, Harald Köstler, and Sven Apel. Performance Prediction of Multigrid-Solver Configurations. In Software for Exascale Computing – SPPEXA 2013–2015, volume 113 of Lecture Notes in Computational Science and Engineering, pages 69–88. Springer, September 2016.
   
• Christian Schmitt, Sebastian Kuckuk, Frank Hannig, Jürgen Teich, Harald Köstler, Ulrich Rüde, and Christian Lengauer. Systems of Partial Differential Equations in ExaSlang. In Hans-Joachim Bungartz, Philipp Neumann, and Wolfgang E. Nagel, editors, Software for Exascale Computing – SPPEXA 2013-2015, volume 113 of Lecture Notes in Computational Science and Engineering, pages 47–67. Springer, September 2016.
   
• Gabriel Ferreira, Momin Malik, Christian Kästner, Jürgen Pfeffer, and Sven Apel. Do #ifdefs Influence the Occurrence of Vulnerabilities? An Empirical Study of the Linux Kernel. In Proceedings of the International Software Product Line Conference (SPLC), pages 65–73. ACM Press, September 2016. Acceptance rate (full papers): 39% (17 / 44).
   
• Sebastian Kuckuk and Harald Köstler. Automatic Generation of Massively Parallel Codes from ExaSlang. Computation, 4(3):Article 27, 20 pages, September 2016. Special Issue on High Performance Computing (HPC) Software Design.
   
• Stefan Sobernig, Sven Apel, Sergiy Kolesnikov, and Norbert Siegmund. Quantifying Structural Attributes of System Decompositions in 28 Feature-oriented Software Product Lines: An Exploratory Study. Empirical Software Engineering, 21(4):1670–1705, August 2016.
   
• Leonardo Passos, Leopoldo Teixeira, Nicolas Dintzner, Sven Apel, Andrzej Wasowski, Krzysztof Czarnecki, Paulo Borba, and Jianmei Guo. Coevolution of Variability Models and Related Software Artifacts: A Fresh Look at Evolution Patterns in the Linux Kernel. Empirical Software Engineering, 21(4):1744–1793, August 2016. Online version at SharedIt.
   
• Christian Lengauer, Luc Bougé, and Jesper Larsson Träff (editors). Special Issue: Euro-Par 2015. Concurrency and Computation: Practice and Experience, 28(12):3445–3446, August 2016.
   
• Shigeru Chiba, YungYu Zhuang, and Maximilian Scherr. Deeply Reifying Running Code for Constructing a Domain-Specific Language. In Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools (PPPJ). ACM, August 2016. Paper 1, 12 pages.
   
• Moritz Schmid, Christian Schmitt, Frank Hannig, Gorker Alp Malazgirt, Nehir Sönmez, Arda Yurdakul, and Adrián Cristal. Big Data and HPC Acceleration with Vivado HLS. In Dirk Koch, Frank Hannig, and Daniel Ziener, editors, FPGAs for Software Programmers, chapter 7, pages 115–136. Springer, June 2016.
   
• Gabriel Ferreira, Momin M. Malik, Christian Kästner, Jürgen Pfeffer, and Sven Apel. Do #ifdefs Influence the Occurrence of Vulnerabilities? An Empirical Study of the Linux Kernel. Computing Research Repository (CoRR), Number abs/1605.07032, June 2016.
   
• Andreas Simbürger, Florian Sattler, Armin Größlinger, and Christian Lengauer. BenchBuild: A Large-Scale Empirical-Research Toolkit. Technical Report MIP-1602, Faculty of Computer Science and Mathematics, University of Passau, June 2016. 6 pages.
   
• Barbara Paech, Sven Apel, Lars Grunske, and Christian Prehofer. Empirische Forschung zu Software-Evolution: Bestandsaufnahme und Vision aus dem DFG-Schwerpunktprogramm Design for Future – Managed Software Evolution. Informatik-Spektrum, 39(3):186–193, May 2016.
   
• Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Rohit Gheyi, and Sven Apel. A Comparison of 10 Sampling Algorithms for Configurable Systems. In Proceedings of the ACM/IEEE International Conference on Software Engineering (ICSE), pages 643–654. ACM Press, May 2016. Acceptance rate: 19% (101 / 530).
   
• Mitchell Joblin, Sven Apel, Claus Hunsen, and Wolfgang Mauerer. Classifying Developers into Core and Peripheral: An Empirical Study on Count and Network Metrics. Computing Research Repository (CoRR), Number abs/1604.00830, May 2016.
   
• Claus Hunsen, Bo Zhang, Janet Siegmund, Christian Kästner, Olaf Leßenich, Martin Becker, and Sven Apel. Preprocessor-Based Variability in Open-Source and Industrial Software Systems: An Empirical Study. Empirical Software Engineering, 21(2):449–482, April 2016.
   
• Bruno Cafeo, Claus Hunsen, Alessandro Garcia, Sven Apel, and Jaejoon Lee. Segregating Feature Interfaces to Support Software Product Line Maintenance. In Proceedings of the International Conference on Modularity (MODULARITY), pages 1–12. ACM Press, March 2016. Acceptance rate: 37% (10 / 27).
   
• Sven Apel. From Crosscutting Concerns to Feature Interactions: A Tale of Misunderstandings and Enlightenments (Keynote). In Companion Proceedings of the International Conference on Modularity, page 2. ACM Press, March 2016.
   
• Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Rohit Gheyi, and Sven Apel. A Comparison of 10 Sampling Algorithms for Configurable Systems. Computing Research Repository (CoRR), Number abs/1602.02052, March 2016.
   
• Shigeru Chiba, YungYu Zhuang, and Maximilian Scherr. A Design of Deep Reification. In Companion Proceedings of the 15th International Conference on Modularity (MODULARITY), pages 168–171. ACM, March 2016. Workshop on Modularity Across the System Stack (MASS).
   
• Norbert Siegmund, Alexander Grebhahn, Sven Apel, and Christian Kästner. Performance-Influence Models. In Proceedings of Software Engineering – Fachtagung des GI-Fachbereichs Softwaretechnik, GI-Edition – Lecture Notes in Informatics, pages 29–31. Gesellschaft für Informatik, February 2016.
   
• Janet Siegmund, Norbert Siegmund, and Sven Apel. How Reviewers Think About Internal and External Validity in Empirical Software Engineering. In Proceedings of Software Engineering – Fachtagung des GI-Fachbereichs Softwaretechnik, GI-Edition – Lecture Notes in Informatics, pages 83–84. Gesellschaft für Informatik, February 2016.
   
• Jörg Liebig, Sven Apel, Andreas Janker, Florian Garbe, and Sebastian Oster. Morpheus: Variability-Aware Refactoring in the Wild. In Proceedings of Software Engineering – Fachtagung des GI-Fachbereichs Softwaretechnik, GI-Edition – Lecture Notes in Informatics, pages 97–98. Gesellschaft für Informatik, February 2016.
   
• Malte Lochau, Johannes Bürdek, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, and Dirk Beyer. On Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines. In Proceedings of Software Engineering – Fachtagung des GI-Fachbereichs Softwaretechnik, GI-Edition – Lecture Notes in Informatics, pages 81–82. Gesellschaft für Informatik, February 2016.
   
• Alexander von Rhein, Thomas Thüm, Ina Schaefer, Jörg Liebig, and Sven Apel. Variability Encoding: From Compile-Time to Load-Time Variability. Journal of Logical and Algebraic Methods in Programming (JLAMP), 85(1):125–145, January 2016.
   
• Janet Siegmund. Program Comprehension: Past, Present, Future. In Proceedings of the IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), pages 13–20. IEEE Computer Society, 2016.
   

2015

• Janet Siegmund and Jana Schumann. Confounding Parameters on Program Comprehension: A Literature Survey. Empirical Software Engineering, 20(4):1159–1192, 2015.
   
• Matthias Bolten, Marco Donatelli, and Thomas Huckle. Analysis of Smoothed Aggregation Multigrid Methods Based on Toeplitz Matrices. Electronic Transactions on Numerical Analysis (ETNA), Volume 44, pages 25–52, 2015.
   
• Michael L. Minion, Robert Speck, Matthias Bolten, Matthew Emmett, and Daniel Ruprecht. Interweaving PFASST and Parallel Multigrid. SIAM Journal of Scientific Computing (SISC), 37(5):S244–S263, 2015.
   
• Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, and Andreas Stahlbauer. Witness Validation and Stepwise Testification across Software Verifiers. In Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 721–733. ACM, 2015.
   
• Matthias Bolten and Oliver Letterer. Increasing Arithmetic Intensity in Multigrid Methods on GPUs Using Block Smoothers. In Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, and Kazimierz Wiatr, editors, Parallel Processing and Applied Mathematics (PPAM), Part II, volume 9574 of Lecture Notes in Computer Science, pages 515–525. Springer, 2015.
   
• Peter Faber and Armin Größlinger. A Comparison of GPGPU Computing Frameworks on Embedded Systems. IFAC-PapersOnLine, 48(4):240–245, 2015. 13th IFAC and IEEE Conference on Programmable Devices and Embedded Systems (PDeS) 2015.
   
• Christian Lengauer, Matthias Bolten, Robert D. Falgout, and Olaf Schenk (editors). Advanced Stencil-Code Engineering (Dagstuhl Seminar 15161). Dagstuhl Reports, 5(4):56–75, December 2015.
   
• Atri Sarkar, Jianmei Guo, Norbert Siegmund, Sven Apel, and Krzysztof Czarnecki. Cost-Efficient Sampling for Performance Prediction of Configurable Systems. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 342–352. IEEE Computer Society, November 2015. Acceptance rate (full papers): 21% (60 / 289).
   
• Andreas Wölfl, Norbert Siegmund, Sven Apel, Harald Kosch, Johann Krautlager, and Guillermo Weber-Urbina. Generating Qualifiable Avionics Software: An Experience Report. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 726–736. IEEE Computer Society, November 2015. Acceptance rate (full papers): 21% (60 / 289).
   
• Christian Lengauer, Luc Bougé, and Fernando Silva (editors). Special Issue: Euro-Par 2014. Concurrency and Computation: Practice and Experience, 27(16):4073–4074, November 2015.
   
• Mitchell Joblin, Sven Apel, and Wolfgang Mauerer. Evolutionary Trends of Developer Coordination: A Network Approach. Computing Research Repository (CoRR), Number abs/1510.06988, November 2015.
   
• Olaf Leßenich, Sven Apel, and Christian Lengauer. Balancing Precision and Performance in Structured Merge. Automated Software Engineering, 22(3):367–397, September 2015.
   
• Alexander von Rhein, Thorsten Berger, Niklas Schalck Johansson, Mikael Mark Hardø, and Sven Apel. Lifting Inter-App Data-Flow Analysis to Large App Sets. Technical Report MIP-1504, Department of Informatics and Mathematics, University of Passau, September 2015.
   
• Norbert Siegmund, Alexander Grebhahn, Sven Apel, and Christian Kästner. Performance-Influence Models for Highly Configurable Systems. In Proceedings of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 284–294. ACM Press, August 2015. Acceptance rate: 25% (74 / 291).
   
• Jens Dörre, Sven Apel, and Christian Lengauer. Modeling and Optimizing MapReduce Programs. Concurrency and Computation: Practice and Experience, 27(7):1734–1766, May 2015.
   
• Mitchell Joblin, Wolfgang Mauerer, Sven Apel, Janet Siegmund, and Dirk Riehle. From Developer Networks to Verified Communities: A Fine-Grained Approach. In Proceedings of the IEEE/ACM International Conference on Software Engineering (ICSE), pages 563–573. IEEE Computer Society, May 2015. Acceptance rate: 19% (84 / 452).
   
• Janet Siegmund, Norbert Siegmund, and Sven Apel. Views on Internal and External Validity in Empirical Software Engineering. In Proceedings of the IEEE/ACM International Conference on Software Engineering (ICSE), pages 9–19. IEEE Computer Society, May 2015. Acceptance rate: 19% (84 / 452); ACM SIGSOFT Distinguished Paper Award.
   
• Alexander von Rhein, Alexander Grebhahn, Sven Apel, Norbert Siegmund, Dirk Beyer, and Thorsten Berger. Presence-Condition Simplification in Highly Configurable Systems. In Proceedings of the IEEE/ACM International Conference on Software Engineering (ICSE), pages 178–188. IEEE Computer Society, May 2015. Acceptance rate: 19% (84 / 452).
   
• Jörg Liebig, Andreas Janker, Florian Garbe, Sven Apel, and Christian Lengauer. Morpheus: Variability-Aware Refactoring in the Wild. In Proceedings of the IEEE/ACM International Conference on Software Engineering (ICSE), pages 380–391. IEEE Computer Society, May 2015. Acceptance rate: 19% (84 / 452).
   
• Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, and Dirk Beyer. Facilitating Reuse in Multi-Goal Test-Suite Generation for Software Product Lines. In Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE), volume 9033 of Lecture Notes in Computer Science, pages 84–99. Springer-Verlag, April 2015. Acceptance rate (23 / 82): 28%.
   
• Leonardo Passos, Jesus Padilla, Thorsten Berger, Sven Apel, Krzysztof Czarnecki, and Marco Tulio Valente. Feature Scattering in the Large: A Longitudinal Study of Linux Kernel Device Drivers. In Proceedings of the International Conference on Modularity (MODULARITY), pages 81–92. ACM Press, March 2015. Acceptance rate: 48% (12 / 25). Best Paper Award.
   
• Janet Siegmund, Sven Apel, Christian Kästner, Chris Parnin, Anja Bethmann, Gunter Saake, Thomas Leich, and André Brechmann. Measuring Program Comprehension with Functional Magnetic Resonance Imaging. In Proceedings of Software Engineering – Fachtagung des GI-Fachbereichs Softwaretechnik, volume P-239 of GI Edition – Lecture Notes in Informatics, pages 63–64. Gesellschaft für Informatik, March 2015.
   
• Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, and Gunter Saake. Analysis Strategies for Software Product Lines: A Classification and Survey. In Proceedings of Software Engineering – Fachtagung des GI-Fachbereichs Softwaretechnik, volume P-239 of GI Edition – Lecture Notes in Informatics, pages 57–58. Gesellschaft für Informatik, March 2015.
   
• Alexander von Rhein and Sven Apel. Strategies for Analyzing Configurable Systems. In Proceedings of Software Engineering – Fachtagung des GI-Fachbereichs Softwaretechnik, volume P-239 of GI Edition – Lecture Notes in Informatics, pages 49–50. Gesellschaft für Informatik, March 2015.
   
• Christian Schmitt, Moritz Schmid, Frank Hannig, Jürgen Teich, Sebastian Kuckuk, and Harald Köstler. Generation of Multigrid-based Numerical Solvers for FPGA Accelerators. In Armin Größlinger and Harald Köstler, editors, Proceedings of the 2nd International Workshop on High-Performance Stencil Computations (HiStencils), pages 9–15. www.viaprinto.de, January 2015.
   
• Stefan Kronawitter and Christian Lengauer. Optimizations Applied by the ExaStencils Code Generator. Technical Report MIP-1502, Faculty of Computer Science and Mathematics, University of Passau, January 2015. 10 pages.
   

2014

• Jochen Quante, Mohammed Tarabain, and Janet Siegmund. Towards Recovering and Exploiting Domain Knowledge from C Code: A Case Study on Automotive Software. In IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE), pages 383–386, 2014.
   
• Markus Völter, Janet Siegmund, Thorsten Berger, and Bernd Kolb. Towards User-Friendly Projectional Editors. In In Proceedings of the International Conference on Software Language Engineering (SLE), pages 41–61. Springer, 2014.
   
• Sebastian Breß, Max Heimel, Norbert Siegmund, Ladjel Bellatreche, and Gunter Saake. GPU-accelerated Database Systems: Survey and Open Challenges . Transactions on Large-Scale Data and Knowledge-Centered Systems (TLDKS), Volume 8800, 2014. accepted for publication in Special Issue on Selected Papers from ADBIS 2013 Satellite Events.
   
• Sebastian Breß, Norbert Siegmund, Max Heimel, Michael Saecker, Tobias Lauer, Ladjel Bellatreche, and Gunter Saake. Load-Aware Inter-Co-Processor Parallelism in Database Query Processing. Data & Knowledge Engineering (DKE), 93(0):60–79, 2014. Selected Papers from the 17th East-European Conference on Advances in Databases and Information Systems.
   
• Christian Lengauer, Sven Apel, Matthias Bolten, Armin Größlinger, Frank Hannig, Harald Köstler, Ulrich Rüde, Jürgen Teich, Alexander Grebhahn, Stefan Kronawitter, Sebastian Kuckuk, Hannah Rittich, and Christian Schmitt. ExaStencils: Advanced Stencil-Code Engineering. In Luis Lopes et al., editors, Euro-Par 2014: Parallel Processing Workshops, Part II, volume 8806 of Lecture Notes in Computer Science, pages 553–564. Springer, 2014.
   
• Robert Speck, Daniel Ruprecht, Matthew Emmett, Michael Minion, Matthias Bolten, and Rolf Krause. A Multi-Level Spectral Deferred Correction Method. BIT Numerical Mathematics, 2014. Online first.
   
• Luis Lopes, Christian Lengauer, and others (eds.). Euro-Par 2014: Parallel Processing Workshops, Part I. Number 8805 in Lecture Notes in Computer Science. Springer, 2014.
   
• Luis Lopes, Christian Lengauer, and others (eds.). Euro-Par 2014: Parallel Processing Workshops, Part II. Number 8806 in Lecture Notes in Computer Science. Springer, 2014.
   
• Dirk Beyer and Andreas Stahlbauer. BDD-based Software Verification - Applications to Event-Condition-Action Systems. STTT, 16(5):507–518, 2014.
   
• Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, and Philipp Wendler. Precision Reuse in CPAchecker. In Wilhelm Hasselbring and Nils Christian Ehmke, editors, Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Deutschland, volume 227 of LNI, pages 41–42. GI, 2014.
   
• Richard Membarth, Oliver Reiche, Christian Schmitt, Frank Hannig, Jürgen Teich, Markus Stürmer, and Harald Köstler. Towards a Performance-portable Description of Geometric Multigrid Algorithms using a Domain-specific Language. Journal of Parallel and Distributed Computing, 74(12):3191–3201, December 2014.
   
• Harald Köstler. Platform-independent Description of Imaging Algorithms. Proceedings in Applied Mathematics and Mechanics (PAMM), 14(1):945–946, December 2014. Special Issue: 85th Annual Meeting of the International Association of Applied Mathematics and Mechanics (GAMM).
   
• Sven Apel, Joanne M. Atlee, Luciano Baresi, and Pamela Zave. Feature Interactions: The Next Generation (Dagstuhl Seminar 14281). Dagstuhl Reports, 4(7):1–24, November 2014.
   
• Christian Schmitt, Sebastian Kuckuk, Frank Hannig, Harald Köstler, and Jürgen Teich. ExaSlang: A Domain-Specific Language for Highly Scalable Multigrid Solvers. In Proceedings of the 4th International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing (WOLFHPC), pages 42–51. ACM, November 2014.
   
• Janet Siegmund, Christian Kästner, Jörg Liebig, Sven Apel, and Stefan Hanenberg. Measuring and Modeling Programming Experience. Empirical Software Engineering, 19(5):1299–1334, October 2014.
   
• Eric Walkingshaw, Christian Kästner, Martin Erwig, Sven Apel, and Eric Bodden. Variational Data Structures: Exploring Tradeoffs in Computing with Variability. In Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software (Onward!), pages 213–226. ACM Press, October 2014. Acceptance rate: 46% (16 / 35).
   
• Christian Lengauer, Luc Bougé, and Felix Wolf (editors). Special Issue: Euro-Par 2013. Concurrency and Computation: Practice and Experience, 26(14):2345–2346, September 2014.
   
• Sergiy Kolesnikov, Judith Roth, and Sven Apel. On the Relation Between Internal and External Feature Interactions in Feature-oriented Product Lines: A Case Study. In Proceedings of the International Workshop on Feature-Oriented Software Development (FOSD), pages 1–8. ACM Press, September 2014.
   
• Jianmei Guo, Edward Zulkoski, Rafael Olaechea, Derek Rayside, Krzysztof Czarnecki, Sven Apel, and Joanne Atlee. Scaling Exact Multi-Objective Combinatorial Optimization by Parallelization. In Proceedings of the ACM/IEEE International Conference on Automated Software Engineering (ASE), pages 409–420. ACM Press, September 2014. Acceptance rate: 20% (55 / 276).
   
• Thomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, and Gunter Saake. Potential Synergies of Theorem Proving and Model Checking for Software Product Lines. In Proceedings of the International Software Product Line Conference (SPLC), pages 177–186. ACM, September 2014.
   
• Stefan Kronawitter, Holger Stengel, Georg Hager, and Christian Lengauer. Domain-Specific Optimization of two Jacobi Kernels and their Evaluation in the ECM Performance Model. Parallel Processing Letters, 24(3):Article 1441004, 18 pages, September 2014. Special issue: HiStencils 2014.
   
• Alexander Grebhahn, Sebastian Kuckuk, Christian Schmitt, Harald Köstler, Norbert Siegmund, Sven Apel, Frank Hannig, and Jürgen Teich. Experiments on Optimizing the Performance of Stencil Codes with SPL Conqueror. Parallel Processing Letters, 24(3):Article 1441001, 19 pages, September 2014.
   
• Rodrigo Queiroz, Leonardo Passos, Marco T. Valente, Sven Apel, and Krzysztof Czarnecki. Does Feature Scattering Follow Power-law Distributions?: An Investigation of Five Pre-processor-based Systems. In Proceedings of the International Workshop on Feature-Oriented Software Development (FOSD), pages 23–29. ACM Press, September 2014.
   
• Armin Größlinger and Harald Köstler. Guest Editors' Note: Special Issue On High-Performance Stencil Computations. Parallel Processing Letters, 24(3):Article 1042002, 1 page, September 2014.
   
• Moritz Schmid, Oliver Reiche, Christian Schmitt, Frank Hannig, and Jürgen Teich. Code Generation for High-Level Synthesis of Multiresolution Applications on FPGAs. In Proceedings of the First International Workshop on FPGAs for Software Programmers (FSP), pages 21–26. arXiv:1408.4721, September 2014.
   
• Janet Siegmund and Sven Apel. The Human Factor in Computer Science and How to Teach Students to Care: An Experience Report. In Social Informatics – The Social Impact of Interactions between Humans and IT, Springer Proceedings in Complexity, pages 13–21. Springer-Verlag, August 2014.
   
• Janet Siegmund, Christian Kästner, Sven Apel, Chris Parnin, Anja Bethmann, and André Brechmann. Understanding Programmers' Brains with fMRI. Frontiers in Neuroinformatics, August 2014. Conference Abstract.
   
• Stefan Sobernig, Sven Apel, Sergiy Kolesnikov, and Norbert Siegmund. Quantifying Structural Attributes of System Decompositions in 28 Feature-oriented Software Product Lines: An Exploratory Study. Technical Report 2014/01, Institute for Information Systems and New Media, WU Vienna University of Economics and Business, July 2014.
   
• Harald Köstler, Christian Schmitt, Sebastian Kuckuk, Frank Hannig, Jürgen Teich, and Ulrich Rüde. A Scala Prototype to Generate Multigrid Solver Implementations for Different Problems and Target Multi-Core Platforms. Computing Research Repository (CoRR), June 2014. 18 pages. arXiv:1406.5369.
   
• Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, and Gunter Saake. A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Computing Surveys, 47(1):6:1–6:45, June 2014.
   
• Christian Schmitt, Sebastian Kuckuk, Harald Köstler, Frank Hannig, and Jürgen Teich. An Evaluation of Domain-Specific Language Technologies for Code Generation. In Proceedings of the International Conference on Computational Science and its Applications (ICCSA), pages 18–26. IEEE Computer Society, June 2014.
   
• Christian Lengauer, Sven Apel, Matthias Bolten, Armin Größlinger, Frank Hannig, Harald Köstler, Ulrich Rüde, Jürgen Teich, Alexander Grebhahn, Stefan Kronawitter, Sebastian Kuckuk, Hannah Rittich, and Christian Schmitt. ExaStencils: Advanced Stencil-Code Engineering – First Project Report. Technical Report MIP-1401, Department of Computer Science and Mathematics, University of Passau, June 2014. 12 pages.
   
• Michael Freitag. Using a Dynamic Schedule to Increase the Performance of Tiling in Stencil Computations. In Proceedings of the 5th IEEE Germany Student Conference, pages 45–48. IEEE, June 2014. 3rd best paper award.
   
• Janet Siegmund, Christian Kästner, Sven Apel, Chris Parnin, Anja Bethmann, Thomas Leich, Gunter Saake, and André Brechmann. Understanding Understanding Source Code with Functional Magnetic Resonance Imaging. In Proceedings of the ACM/IEEE International Conference on Software Engineering (ICSE), pages 378–389. ACM Press, May 2014. Acceptance rate: 20% (99 / 495).
   
• Norbert Siegmund, Sergiy Kolesnikov, Christian Kästner, Sven Apel, Don Batory, Marko Rosenmüller, and Gunter Saake. Performance Prediction in the Presence of Feature Interactions. In Proceedings of Software Engineering – Fachtagung des GI-Fachbereichs Softwaretechnik, GI-Edition – Lecture Notes in Informatics, pages 33–34. Gesellschaft für Informatik, February 2014.
   
• Alexander Grebhahn, Norbert Siegmund, Sven Apel, Sebastian Kuckuk, Christian Schmitt, and Harald Köstler. Optimizing Performance of Stencil Code with SPL Conqueror. In Proceedings of the International Workshop on High-Performance Stencil Computations (HiStencils), pages 7–14. www.epubli.de, January 2014.
   
• Andreas Simbürger and Armin Größlinger. On the Variety of Static Control Parts in Real-World Programs: from Affine via Multi-dimensional to Polynomial and Just-in-Time. In Sanjay Rajopadhye and Sven Verdoolaege, editors, Proceedings of the 4th International Workshop on Polyhedral Compilation Techniques (IMPACT), Vienna, Austria, January 2014. 10 pages.
   
• Stefan Kronawitter and Christian Lengauer. Optimization of two Jacobi Smoother Kernels by Domain-Specific Program Transformation. In Armin Größlinger and Harald Köstler, editors, Proceedings of the 1st International Workshop on High-Performance Stencil Computations (HiStencils), pages 75–80. www.epubli.de, January 2014.
   
• Sven Apel, Matthias Bolten, Armin Größlinger, Franz Hannig, Harald Köstler, Christian Lengauer, Ulrich Rüde, and Jürgen Teich. ExaStencils: Advanced Stencil-Code Engineering. inSiDE, 12(2):60–63, 2014.
   
• Reimar Schröter, Norbert Siegmund, Thomas Thüm, and Gunter Saake. Feature-Context Interfaces: Tailored Programming Interfaces for Software Product Lines. In Proceedings of the International Software Product Line Conference (SPLC), pages 102–111. ACM, 2014.
   

2013

• Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, and Philipp Wendler. Precision Reuse for Efficient Regression Verification. In Bertrand Meyer, Luciano Baresi, and Mira Mezini, editors, Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013, pages 389–399. ACM, 2013.
   
• Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, and Alexander von Rhein. Domain Types: Selecting Abstractions Based on Variable Usage. Computing Research Repository (CoRR), Number abs/1305.6640, December 2013.
   
• Luc Bougé and Christian Lengauer (editors). Special Issue: Euro-Par 2012. Concurrency and Computation: Practice and Experience, 25(17):2343–2344, December 2013.
   
• Jens Dörre, Sven Apel, and Christian Lengauer. Modeling and Optimizing MapReduce Programs. Technical Report MIP-1304, Department of Computer Science and Mathematics, University of Passau, December 2013.
   
• Jianmei Guo, Krzysztof Czarnecki, Sven Apel, Norbert Siegmund, and Andrzej Wasowski. Variability-Aware Performance Prediction: A Statistical Learning Approach. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 301–311. IEEE Computer Society, November 2013. Acceptance rate (full papers): 16% (51 / 317).
   
• Andreas Simbürger, Sven Apel, Armin Größlinger, and Christian Lengauer. The Potential of Polyhedral Optimization: An Empirical Study. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 508–518. IEEE Computer Society, November 2013. Acceptance rate (full papers): 16% (51 / 317).
   
• Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, and Alexander von Rhein. Domain Types: Abstract-Domain Selection Based on Variable Usage. In Proceedings of the Haifa Verification Conference (HVC), volume 8244 of Lecture Notes in Computer Science, pages 262–278. Springer-Verlag, November 2013. Acceptance rate: 47% (23 / 49).
   
• Daniel Ruprecht, Robert Speck, Matthew Emmett, Matthias Bolten, and Rolf Krause. Extreme-Scale Space-Time Parallelism: Extended Abstract. In William Gropp and Satoshi Matsuoka, editors, SC 2013 Companion: High Performance Computing, Networking Storage and Analysis. ACM, November 2013. Poster, 2 pages.
   
• Sven Apel, Don Batory, Christian Kästner, and Gunter Saake. Feature-Oriented Software Product Lines: Concepts and Implementation. Springer-Verlag, October 2013. 315 pages, ISBN 978-3-642-37520-0.
   
• Sandro Schulze, Jörg Liebig, Janet Siegmund, and Sven Apel. Does the Discipline of Preprocessor Annotations Matter? A Controlled Experiment. In Proceedings of the International Conference on Generative Programming: Concepts & Experiences (GPCE), pages 65–74. ACM Press, October 2013. Acceptance rate (full papers): 30% (17 / 57).
   
• Norbert Siegmund, Alexander von Rhein, and Sven Apel. Family-Based Performance Measurement. In Proceedings of the International Conference on Generative Programming: Concepts & Experiences (GPCE), pages 95–104. ACM Press, October 2013. Acceptance rate (full papers): 30% (17 / 57).
   
• Sergiy Kolesnikov, Alexander von Rhein, Claus Hunsen, and Sven Apel. A Comparison of Product-based, Feature-based, and Family-based Type Checking. In Proceedings of the International Conference on Generative Programming: Concepts & Experiences (GPCE), pages 115–124. ACM Press, October 2013. Acceptance rate (full papers): 30% (17 / 57).
   
• Sven Apel, Sergiy Kolesnikov, Norbert Siegmund, Christian Kästner, and Brady Garvin. Exploring Feature Interactions in the Wild: The New Feature-Interaction Challenge. In Proceedings of the International Workshop on Feature-Oriented Software Development (FOSD), pages 1–8. ACM Press, October 2013.
   
• Don Batory, Rui Goncalves, Bryan Marker, and Janet Siegmund. Dark Knowledge and Graph Grammars in Automated Software Design. In Proceedings of the International Conference on Software Language Engineering (SLE), pages 1–18. Springer, October 2013. Keynote at SLE.
   
• Martin Schäler, Alexander Grebhahn, Reimar Schröter, Sandro Schulze, Veit Köppen, and Gunter Saake. QuEval: Beyond high-dimensional indexing à la carte. In Proceedings of the VLDB Endowment, volume 6, page 1654–1665. VLDB Endowment, September 2013.
   
• Sebastian Breß, Norbert Siegmund, Ladjel Bellatreche, and Gunter Saake. An Operator-Stream-based Scheduling Engine for Effective GPU Coprocessing. In Proceedings of the East-European Conference on Advances in Databases and Information Systems (ADBIS), pages 288–301. Springer-Verlag, September 2013.
   
• Sebastian Breß, Max Heimel, Norbert Siegmund, Ladjel Bellatreche, and Gunter Saake. Exploring the Design Space of a GPU-aware Database Architecture. In New Trends in Databases and Information Systems, Advances in Intelligent Systems and Computing, pages 225–234. Springer-Verlag, September 2013.
   
• Janet Siegmund. The Human Factor in Computer Science. In INFORMATIK 2013: Informatik angepasst an Mensch, Organisation und Umwelt, pages 1184–1185, September 2013.
   
• Sebastian Kuckuk, Björn Gmeiner, Harald Köstler, and Ulrich Rüde. A Generic Prototype to Benchmark Algorithms and Data Structures for Hierarchical Hybrid Grids. In Michael Bader, Arndt Bode, Hans-Joachim Bungartz, Michael Gerndt, Gerhard R. Joubert, and Frans J. Peters, editors, Proceedings of the International Conference on Parallel Computing (ParCo), pages 813–822. IOS Press, September 2013.
   
• Robert Speck, Daniel Ruprecht, Matthew Emmett, Matthias Bolten, and Rolf Krause. A Space-Time Parallel Solver for the Three-Dimensional Heat Equation. In Michael Bader, Arndt Bode, Hans-Joachim Bungartz, Michael Gerndt, Gerhard R. Joubert, and Frans J. Peters, editors, Proceedings of the International Conference on Parallel Computing (ParCo), pages 263–272. IOS Press, September 2013.
   
• Sven Apel, Alexander von Rhein, Thomas Thüm, and Christian Kästner. Feature-Interaction Detection based on Feature-Based Specifications. Computer Networks, 57(12):2399–2409, August 2013.
   
• Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, and Christian Lengauer. Scalable Analysis of Variable Software. In Proceedings of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 81–91. ACM Press, August 2013. Acceptance rate: 20% (51 / 251).
   
• Dave Clarke, Ina Schaefer, Maurice ter Beek, Sven Apel, and Joanne Atlee. Formal Methods and Analysis in Software Product Line Engineering: 4th Edition of FMSPLE Workshop Series. In Proceedings of the International Software Product Line Conference (SPLC), pages 266–267. ACM Press, August 2013.
   
• Janet Feigenspan, Christian Kästner, Sven Apel, Jörg Liebig, Michael Schulze, Raimund Dachselt, Maria Papendieck, Thomas Leich, and Gunter Saake. Do Background Colors Improve Program Comprehension in the #ifdef Hell?. Empirical Software Engineering, 18(4):699–745, July 2013.
   
• Veit Köppen, Martin Schäler, Alexander Grebhahn, and Gunter Saake. BTW 2013 - Zwischen wissenschaftlicher Geschichte und moderner Herausforderung. Datenbank-Spektrum, June 2013.
   
• Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Größlinger, and Dirk Beyer. Strategies for Product-Line Verification: Case Studies and Experiments. In Proceedings of the IEEE/ACM International Conference on Software Engineering (ICSE), pages 482–491. IEEE Computer Society, May 2013. Acceptance rate: 19% (85 / 461).
   
• Jianmei Guo, Krzysztof Czarnecki, Sven Apel, Norbert Siegmund, and Andrezj Wasowski. Why CART Works for Variability-Aware Performance Prediction? An Empirical Study on Performance Distributions. Technical Report GSDLAB-TR-2013-04-02, Generative Software Development Laboratory, University of Waterloo, April 2013.
   
• Luc Bougé and Christian Lengauer (editors). Special Issue: Euro-Par 2011. Concurrency and Computation: Practice and Experience, 25(4):510–512, March 2013.
   
• Norbert Siegmund, Marko Rosenmüller, Christian Kästner, Paolo Giarrusso, Sven Apel, and Sergiy Kolesnikov. Scalable Prediction of Non-functional Properties in Software Product Lines: Footprint and Memory Consumption. Information and Software Technology (IST), 55(3):491–507, March 2013.
   
• Andreas Simbürger, Sven Apel, Armin Größlinger, and Christian Lengauer. The Potential of Polyhedral Optimization. Technical Report MIP-1301, Department of Informatics and Mathematics, University of Passau, March 2013. 10 pages.
   
• David Broneske, Martin Schäler, and Alexander Grebhahn. Extending an Index-Benchmarking Framework with Non-Invasive Visualization Capability. In Proceedings of the Datenbanksysteme in Business, Technologie und Web (BTW 2013) Workshop on Information Systems in Digital Engineering (ISDE), BTW-Workshops, pages 151–160. Köllen-Verlag, March 2013.
   
• Alexander Grebhahn, Martin Schäler, Veit Köppen, and Gunter Saake. Privacy-Aware Multidimensional Indexing. In Datenbanksysteme in Business, Technologie und Web (BTW 2013) Proceedings, pages 133–147. Köllen-Verlag, March 2013.
   
• Alexander Grebhahn, Martin Schäler, and Veit Köppen. Secure Deletion: Towards Tailor-Made Privacy in Database Systems. In Proceedings of the Datenbanksysteme in Business, Technologie und Web (BTW 2013) Workshop on Databases in Biometrics, Forensics and Security Applications (DBforBFS), BTW-Workshops, pages 99–113. Köllen-Verlag, March 2013.
   
• Janet Siegmund, Christian Kästner, Sven Apel, André Brechmann, and Gunter Saake. Experience from Measuring Program Comprehension—Toward a General Framework. In Proceedings of Software Engineering – Fachtagung des GI-Fachbereichs Softwaretechnik, GI Edition – Lecture Notes in Informatics, pages 239–257. Gesellschaft für Informatik, February 2013.
   
• Mario Pukall, Christian Kästner, Walter Cazzola, Sebastian Götz, Alexander Grebhahn, Reimar Schröter, and Gunter Saake. JavAdaptor - Flexible Runtime Updates of Java Applications. Software: Practice and Experience, 43(2):153–185, February 2013.
   
• Sven Apel, Christian Kästner, and Christian Lengauer. Language-Independent and Automated Software Composition: The FeatureHouse Experience. IEEE Transactions on Software Engineering (TSE), 39(1):63–79, January 2013.
   
• Alexander von Rhein, Sven Apel, Christian Kästner, Thomas Thüm, and Ina Schaefer. The PLA Model: On the Combination of Product-Line Analyses. In Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 73–80. ACM, January 2013.
   
• Jörg Liebig, Sven Apel, and Rolf Daniel. Feature-Oriented Language Families: A Case Study. In Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 53–60. ACM, January 2013.
   
• Leonardo Passos, Krzysztof Czarnecki, Sven Apel, Andrzej Wasowski, Christian Kästner, Jianmei Guo, and Claus Hunsen. Feature Oriented Software Evolution. In Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 95–102. ACM, January 2013.
   
• Sergiy Kolesnikov, Sven Apel, Norbert Siegmund, Stefan Sobernig, Christian Kästner, and Semah Senkaya. Predicting Quality Attributes of Software Product Lines Using Software and Network Measures and Sampling. In Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 25–29. ACM, January 2013.
   
• Christian Kästner and Sven Apel. Feature-Oriented Software Development. In Generative and Transformational Techniques in Software Engineering IV, volume 7680 of Lecture Notes in Computer Science, pages 346–382. Springer-Verlag, January 2013.
   
• Michael Soffner, Norbert Siegmund, Marko Rosenmüller, Janet Feigenspan, Thomas Leich, and Gunter Saake. A Variability Model for Query Optimizers. In Database and Information Systems VII. Selected Papers from the Tenth International Baltic Conference on Databases and Information Systems 2012, pages 15–28. IOS Press, January 2013.
   
• Reimar Schröter, Thomas Thüm, Norbert Siegmund, and Gunter Saake. Automated Analysis of Dependent Feature Models. In Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 43–47. ACM, January 2013.
   

2012

• Dirk Beyer and Andreas Stahlbauer. BDD-Based Software Model Checking with CPAchecker. In Anton in Kucera, Thomas A. Henzinger, Jaroslav Nesetril, Tomás Vojnar, and David Antos, editors, Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, volume 7721 of Lecture Notes in Computer Science, pages 1–11. Springer, 2012.
   
• Tobias Grosser, Armin Größlinger, and Christian Lengauer. Polly—Performing Polyhedral Optimizations on a Low-Level Intermediate Representation. Parallel Processing Letters, 22(4):Article 1250010, 28 pages, December 2012.
   
• Janet Siegmund, André Brechmann, Sven Apel, Christian Kästner, Jörg Liebig, Thomas Leich, and Gunter Saake. Toward Measuring Program Comprehension with Functional Magnetic Resonance Imaging. In Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), pages 24:1–24:4. ACM Press, November 2012. NIER Track; acceptance rate: 20% (12 / 59).
   
• Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, and Christian Lengauer. Large-Scale Variability-Aware Type Checking and Dataflow Analysis. Technical Report MIP-1212, Department of Informatics and Mathematics, University of Passau, November 2012.
   
• Björn-Erik Aust, Alexander Grebhahn, Tran Tuan Nguyen, and Reimar Schröter. Implementierung und Evaluierung hochdimensionaler Indexstrukturen. In Techniken zur forensischen Datenhaltung, volume 1, pages 13 – 24. Fakultät für Informatik, Otto-von-Guericke-Universität Magdeburg, October 2012.
   
• Martin Schäler, Sandro Schulze, Alexander Grebhahn, Veit Köppen, Andreas Lübcke, and Gunter Saake (Hrsg.). Techniken zur forensischen Datenhaltung - Ausgewählte studentische Beiträge. Collection FIN-05-2012, University of Magdeburg, Germany, October 2012. In German.
   
• Norbert Siegmund, Marko Rosenmüller, Martin Kuhlemann, Christian Kästner, Sven Apel, and Gunter Saake. SPL Conqueror: Toward Optimization of Non-functional Properties in Software Product Lines. Software Quality Journal – Special Issue on Quality Engineering for Software Product Lines, 20(3–4):487–517, September 2012.
   
• Sven Apel, Olaf Leßenich, and Christian Lengauer. Structured Merge with Auto-Tuning: Balancing Precision and Performance. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 120–129. ACM Press, September 2012. Acceptance rate: 13% (21/167).
   
• Thomas Thüm, Ina Schaefer, Sven Apel, and Martin Hentschel. Family-Based Theorem Proving for Deductive Verification of Software Product Lines. In Proceedings of the ACM International Conference on Generative Programming and Component Engineering (GPCE), pages 11–20. ACM Press, September 2012. Acceptance rate: 40% (14 / 35).
   
• Janet Siegmund, Christian Kästner, Jörg Liebig, and Sven Apel. Comparing Program Comprehension of Physically and Virtually Separated Concerns . In Proceedings of the International Workshop on Feature-Oriented Software Development (FOSD), pages 17–24. ACM Press, September 2012.
   
• Christian Kästner, Alexander von Rhein, Sebastian Erdweg, Jonas Pusch, Sven Apel, Tillmann Rendel, and Klaus Ostermann. Toward Variability-Aware Testing. In Proceedings of the International Workshop on Feature-Oriented Software Development (FOSD), pages 1–8. ACM Press, September 2012.
   
• Janet Siegmund, Norbert Siegmund, Jana Fruth, Sven Kuhlmann, Jana Dittmann, and Gunter Saake. Program Comprehension in Preprocessor-Based Software. In Proceedings of the International Workshop on Digital Engineering (IWDE), pages 517–528. Springer, September 2012.
   
• Maik Mory, Norbert Siegmund, Alexander Blankenburg, and Gunter Saake. Towards Interoperability of Distributed Interactive Simulations through Node-based OpenGL Stream Processing. In Proceedings of the Fifth Interop-Vlab.It Workshop on Complexity of Systems, Complexity of Interoperability (INVIT12), volume 915, pages 83–87. CEUR-WS.org, September 2012.
   
• Jianmei Guo, Krzysztof Czarnecki, Sven Apel, Norbert Siegmund, and Andrezj Wasowski. Variability-Aware Performance Modeling: A Statistical Learning Approach. Technical Report GSDLAB-TR-2012-08-18, Generative Software Development Laboratory, University of Waterloo, August 2012.
   
• Christian Kästner, Sven Apel, Thomas Thüm, and Gunter Saake. Type Checking Annotation-Based Product Lines. ACM Transactions on Software Engineering and Methodology (TOSEM), 21(3):14:1–14:39, June 2012.
   
• Norbert Siegmund, Sergiy Kolesnikov, Christian Kästner, Sven Apel, Don Batory, Marko Rosenmüller, and Gunter Saake. Predicting Performance via Automated Feature-Interaction Detection. In Proceedings of the IEEE/ACM International Conference on Software Engineering (ICSE), pages 167–177. IEEE Computer Society, June 2012. Acceptance rate: 21% (87 / 408).
   
• Janet Feigenspan, Christian Kästner, Jörg Liebig, Sven Apel, and Stefan Hanenberg. Measuring Programming Experience. In Proceedings of the International Conference on Program Comprehension (ICPC), pages 73–82. IEEE Computer Society, June 2012. Acceptance rate: 41% (21 / 51).
   
• Norbert Siegmund, Maik Mory, Janet Feigenspan, Gunter Saake, Mykhaylo Nykolaychuk, and Marco Schumann. Interoperability of Non-functional Requirements in Complex Systems. In Proceedings of the International ICSE Workshop on Software Engineering for Embedded Systems, pages 2–8. IEEE Computer Society, June 2012.
   
• Janet Feigenspan and Norbert Siegmund. Supporting Comprehension Experiments with Human Subjects. In Proceeding of the International Conference on Program Comprehension (ICPC), pages 244–246. IEEE Computer Society, June 2012. Tool demo.
   
• Janet Feigenspan, Don Batory, and Taylor Riché. Is the Derivation of a Model Easier to Understand than the Model Itself?. In Proceeding of the International Conference on Program Comprehension (ICPC), pages 47–52. IEEE Computer Society, June 2012.
   
• Alexander Grebhahn, David Broneske, Martin Schäler, Reimar Schröter, Veit Köppen, and Gunter Saake. Challenges in finding an appropriate multi-dimensional index structure with respect to specific use cases. In Proceedings of the GI-Workshop "Grundlagen von Datenbanken 2012", pages 77–82. CEUR-WS, May 2012.
   
• Thomas Thüm, Sven Apel, Christian Kästner, Martin Kuhlemann, Ina Schaefer, and Gunter Saake. Analysis Strategies for Software Product Lines. Technical Report FIN-004-2012, School of Computer Science, University of Magdeburg, April 2012.
   
• Sven Apel, Sergiy Kolesnikov, Jörg Liebig, Christian Kästner, Martin Kuhlemann, and Thomas Leich. Access Control in Feature-Oriented Programming. Science of Computer Programming – Special Issue on Feature-Oriented Software Development, 77(3):174–187, March 2012.
   
• Sven Apel, Julia Lawall, and Christian Lengauer (editors). Special Section: Feature-Oriented Software Development (FOSD 2009). Science of Computer Programming, 77(3):129–188, March 2012.
   
• Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel, and Gunter Saake. Applying Design by Contract to Feature-Oriented Programming. In Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE), volume 7212 of Lecture Notes in Computer Science, pages 255–269. Springer-Verlag, March 2012. Acceptance rate: 25% (33 / 134).
   
• Janet Feigenspan, Michael Schulze, Maria Papendieck, Christian Kästner, Raimund Dachselt, Veit Köppen, Mathias Frisch, and Gunter Saake. Supporting Program Comprehension in Large Preprocessor-Based Software Product Lines. IET Software, 6(6):488–501, January 2012.
   
• Janet Feigenspan, Don Batory, and Taylor Riché. Material and Detailed Results of Experiment on Model Comprehension. Technical Report TR-12-01, University of Texas at Austin, Department for Computer Science, January 2012.
   

2011

• Martin Kuhlemann, Christian Kästner, Sven Apel, and Gunter Saake. An Algebra for Refactoring and Feature-Oriented Programming. Technical Report FIN-006-2011, University of Magdeburg, Germany, 2011.
   
• Luc Bougé and Christian Lengauer (editors). Special Issue: Euro-Par 2010. Concurrency and Computation: Practice and Experience, 23(17):2137–2139, December 2011.
   
• Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer. Feature-Aware Verification. Computing Research Repository (CoRR), Number abs/1110.0021, December 2011.
   
• Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer. Detection of Feature Interactions using Feature-Aware Verification. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 372–375. IEEE Computer Society, November 2011. Acceptance rate (short papers): 22% (56 / 252).
   
• Marko Rosenmüller, Norbert Siegmund, Mario Pukall, and Sven Apel. Tailoring Dynamic Software Product Lines. In Proceedings of the ACM International Conference on Generative Programming and Component Engineering (GPCE), pages 3–12. ACM Press, October 2011. Acceptance rate: 31% (18 / 58).
   
• Christian Lengauer. Owicki-Gries Method of Axiomatic Verification. In David Padua et al., editors, Encyclopedia of Parallel Computing, pages 1401–1406. Springer, September 2011.
   
• Christian Lengauer. Axiomatic Verification of Monitors. In David Padua et al., editors, Encyclopedia of Parallel Computing, pages 1173–1177. Springer, September 2011.
   
• Paul Feautrier and Christian Lengauer. Polyhedron Model. In David Padua et al., editors, Encyclopedia of Parallel Computing, pages 1581–1592. Springer, September 2011.
   
• Martin Fränzle and Christian Lengauer. Semantic Independence. In David Padua et al., editors, Encyclopedia of Parallel Computing, pages 1803–1810. Springer, September 2011.
   
• Janet Feigenspan, Sven Apel, Jörg Liebig, and Christian Kästner. Exploring Software Measures to Assess Program Comprehension. In Proceedings of the International Symposium on Empirical Software Engineering and Measurement (ESEM), pages 1–10, paper 3. IEEE Computer Society, September 2011. Acceptance rate: 31% (33 / 105).
   
• Sven Apel, Jörg Liebig, Benjamin Brandl, Christian Lengauer, and Christian Kästner. Semistructured Merge: Rethinking Merge in Revision Control Systems. In Proceedings of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 190–200. ACM Press, September 2011. Acceptance rate: 17% (34 / 203).
   
• Janet Feigenspan, Norbert Siegmund, Andreas Hasselberg, and Markus Köppen. PROPHET: Tool Infrastructure To Support Program Comprehension Experiments. In Proceedings of the International Symposium on Empirical Software Engineering and Measurement (ESEM), September 2011. Poster.
   
• Sandro Schulze, Elmar Juergens, and Janet Feigenspan. Analyzing the Effect of Preprocessor Annotations on Code Clones. In Proceedings of the International Working Conference on Source Code Analysis and Manipulation (SCAM), pages 115–124. IEEE Computer Society, September 2011. acceptance rate: 36 % (16/44).
   
• Janet Feigenspan. Program Comprehension of Feature-Oriented Software Development. In International Doctoral Symposium on Empirical Software Engineering (IDoESE), September 2011.
   
• David Padua, Christian Lengauer, and others (editors). Encyclopedia of Parallel Computing. Springer, September 2011.
   
• Norbert Siegmund, Marko Rosenmüller, Christian Kästner, Paolo Giarrusso, Sven Apel, and Sergiy Kolesnikov. Scalable Prediction of Non-functional Properties in Software Product Lines. In Proceedings of the Software Product Line Conference (SPLC), pages 160–169. IEEE Computer Society, August 2011. Acceptance rate: 29% (20 / 69). Best Research Paper Award.
   
• Sven Apel, Florian Heidenreich, Christian Kästner, and Marko Rosenmüller. Third International Workshop on Feature-Oriented Software Development (FOSD 2011). In Proceedings of the International Software Product Line Conference (SPLC), pages 337–338. IEEE Computer Society, August 2011.
   
• Wolfgang Scholz, Thomas Thüm, Sven Apel, and Christian Lengauer. Automatic Detection of Feature Interactions using the Java Modeling Language: An Experience Report. In Proceedings of the International Workshop on Feature-Oriented Software Development (FOSD), pages 7:1–7:8. ACM Press, August 2011.
   
• Christian Kästner, Sven Apel, and Klaus Ostermann. The Road to Feature Modularity? . In Proceedings of the International Workshop on Feature-Oriented Software Development (FOSD), pages 5:1–5:8. ACM Press, August 2011.
   
• Thomas Thüm, Christian Kästner, Sebastian Erdweg, and Norbert Siegmund. Abstract Features in Feature Modeling. In Proceedings of the International Software Product Line Conference (SPLC), pages 191–200. IEEE Computer Society, August 2011.
   
• Janet Feigenspan, Maria Papendieck, Christian Kästner, Mathias Frisch, and Raimund Dachselt. FeatureCommander: Colorful #ifdef World. In Proceedings of the International Software Product Line Conference (SPLC), second volume (Demonstration), pages 1–2, paper 48. ACM Press, August 2011.
   
• Christian Lengauer and Sven Apel. Feature-Oriented System Design and Engineering. International Journal of Software and Informatics (IJSI), 5(1–2, Part II):231–244, July 2011. Special Issue on Foundations and Practice of Systems and Software Engineering, Festschrift in Honor of Manfred Broy.
   
• Jens Dörre, Sven Apel, and Christian Lengauer. Static Type Checking of Hadoop MapReduce Programs. In Proceedings of the Second International Workshop on MapReduce and its Applications (MapReduce), pages 17–24. ACM Press, June 2011.
   
• Sven Apel and Dirk Beyer. Feature Cohesion in Software Product Lines: An Exploratory Study. In Proceedings of the ACM/IEEE International Conference on Software Engineering (ICSE), pages 421–430. ACM Press, May 2011. Acceptance rate: 14% (62 / 441).
   
• Michael Stengel, Janet Feigenspan, Mathias Frisch, Christian Kästner, Sven Apel, and Raimund Dachselt. View Infinity: A Zoomable Interface for Feature-Oriented Software Development. In Proceedings of the ACM/IEEE International Conference on Software Engineering (ICSE), pages 1031–1033. ACM Press, May 2011. Acceptance rate: 37% (22 / 60); tool demo.
   
• Sven Apel, William Cook, Krzysztof Czarnecki, and Oscar Nierstrasz. Feature-Oriented Software Development (FOSD) (Dagstuhl Seminar 11021). Dagstuhl Reports, 1(1), May 2011.
   
• Mario Pukall, Alexander Grebhahn, Reimar Schröter, Christian Kästner, Walter Cazzola, and Sebastian Götz. JavAdaptor: Unrestricted Dynamic Software Updates for Java. In Proceedings of the ACM/IEEE International Conference on Software Engineering (ICSE), pages 989–991, May 2011. Acceptance rate: 37% (22 / 60); tool demo.
   
• Janet Feigenspan, Norbert Siegmund, and Jana Fruth. On the Role of Program Comprehension in Embedded Systems. Softwaretechnik-Trends, 31(2), May 2011.
   
• Tobias Grosser, Hongbin Zheng, Ragesh Aloor, Andreas Simbürger, Armin Größlinger, and Louis-Noël Pouchet. Polly – Polyhedral Optimization in LLVM. In Christophe Alias and Cédric Bastoul, editors, Proceedings of the First International Workshop on Polyhedral Compilation Techniques (IMPACT). INRIA Grenoble Rhône-Alpes, April 2011. 6 pages.
   
• Mario Pukall, Christian Kästner, Walter Cazzola, Sebastian Götz, Alexander Grebhahn, Reimar Schröter, and Gunter Saake. Flexible Dynamic Software Updates of Java Applications: Tool Support and Case Study. Technical Report 04, School of Computer Science, University of Magdeburg, April 2011.
   
• Janet Feigenspan, Michael Schulze, Maria Papendieck, Christian Kästner, Raimund Dachselt, Veit Köppen, and Mathias Frisch. Using Background Colors to Support Program Comprehension in Software Product Lines. In Proceedings of the International Conference on Evaluation and Assessment in Software Engineering (EASE), pages 66–75. Institution of Engineering and Technology, April 2011.
   
• Jörg Liebig, Christian Kästner, and Sven Apel. Analyzing the Discipline of Preprocessor Annotations in 30 Million Lines of C Code. In Proceedings of the ACM International Conference on Aspect-Oriented Software Development (AOSD), pages 191–202. ACM Press, March 2011. Acceptance rate: 23% (21 / 92).
   
• Marko Rosenmüller, Norbert Siegmund, Sven Apel, and Gunter Saake. Flexible Feature Binding in Software Product Lines. Automated Software Engineering, 18(2):163–197, March 2011.
   
• Thomas Thüm, Ina Schaefer, Martin Kuhlemann, and Sven Apel. Proof Composition for Deductive Verification of Software Product Lines. In Proceedings of the International Conference on Software Testing, Verification, and Validation Workshops (VAST'11 Workshop), pages 270–277. IEEE Computer Society, March 2011.
   
• Martin Schäler, Thomas Leich, Norbert Siegmund, Christian Kästner, and Gunter Saake. Generierung maßgeschneiderter Relationenschemata in Softwareproduktlinien mittels Superimposition. In Proceedings of Datenbanksysteme für Business, Technologie und Web (BTW), volume 180 of LNI, pages 414–534. GI, March 2011.
   
• Luc Bougé and Christian Lengauer (editors). Special Issue: Euro-Par 2009. Concurrency and Computation: Practice and Experience, 23(2):143–144, February 2011.
   
• Marko Rosenmüller, Norbert Siegmund, Mario Pukall, and Sven Apel. Combining Runtime Adaptation and Static Binding in Dynamic Software Product Lines. Technical Report 02, Fakultät für Informatik, Otto-von-Guericke-Universität Magdeburg, February 2011.
   
• Marko Rosenmüller, Norbert Siegmund, Thomas Thüm, and Gunter Saake. Multi-Dimensional Variability Modeling. In Proceedings of the Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 11–20. ACM Press, January 2011.
   
• Christian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, and Thorsten Berger. Variability-Aware Parsing n the Presence of Lexical Macros and Conditional Compilation. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 805–824, New York, NY, 2011. ACM Press. Acceptance rate: 37 % (61/166).
   

2010

• Soufiane Baghdadi, Armin Größlinger, and Albert Cohen. Putting Automatic Polyhedral Compilation for GPGPU to Work. In Proc. of Compilers for Parallel Computers (CPC), 2010.
   
• Veit Köppen, Andreas Meier, Michael Soffner, and Norbert Siegmund. Grundlagen und Einsatz von Jini für serviceorientierte Architekturen. Technical Report 10, University of Magdeburg, Germany, 2010.
   
• Jana Fruth, Jana Dittmann, Frank Ortmeier, and Janet Feigenspan. Metadaten-Modell für ein sicheres Datenmanagement eingebetteter Systeme am Beispiel eines Logistikhubs. In Proceedings of the DACH Security Konferenz 2010, pages 359–370. Syssec IT-Security, 2010.
   
• Sven Apel, Wolfgang Scholz, Christian Lengauer, and Christian Kästner. Detecting Dependences and Interactions in Feature-Oriented Design. In Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE), pages 161–170. IEEE Computer Society, November 2010. Acceptance rate: 31% (40 / 130).
   
• Sven Apel, Christian Lengauer, Bernhard Möller, and Christian Kästner. An Algebraic Foundation for Automatic Feature-Based Program Synthesis. Science of Computer Programming, 75(11):1022–1047, November 2010.
   
• Sandro Schulze, Sven Apel, and Christian Kästner. Code Clones in Feature-Oriented Software Product Lines. In Proceedings of the ACM International Conference on Generative Programming and Component Engineering (GPCE), pages 103–112. ACM Press, October 2010. Acceptance rate: 31% (18 / 59).
   
• Sven Apel, Wolfgang Scholz, Christian Lengauer, and Christian Kästner. Language-Independent Reference Checking in Software Product Lines. In Proceedings of the International Workshop on Feature-Oriented Software Development (FOSD), pages 65–71. ACM Press, October 2010.
   
• Norbert Siegmund, Marko Rosenmüller, and Sven Apel. Automating Energy Optimization with Features. In Proceedings of the International Workshop on Feature-Oriented Software Development (FOSD), pages 2–9. ACM Press, October 2010.
   
• Marko Rosenmüller, Norbert Siegmund, and Martin Kuhlemann. Improving Reuse of Component Families by Generating Component Hierarchies. In Proceedings of International Workshop on Feature-oriented Software Development (FOSD), pages 57–64. ACM Press, October 2010.
   
• Ina Schaefer, Martin Becker, Ralf Carbon, and Sven Apel. 1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010). In Proceedings of the International Software Product Line Conference (SPLC), volume 6287 of Lecture Notes in Computer Science, page 526. Springer-Verlag, September 2010.
   
• Sven Apel, Christian Kästner, Armin Größlinger, and Christian Lengauer. Type Safety for Feature-Oriented Product Lines. Automated Software Engineering, 17(3):251–300, September 2010.
   
• Janet Feigenspan, Christian Kästner, Mathias Frisch, Raimund Dachselt, and Sven Apel. Visual Support for Understanding Product Lines. In Proceedings of the IEEE International Conference on Program Comprehension (ICPC), pages 34–35. IEEE Computer Society, July 2010. Tool demo.
   
• Alsayed Algergawy, Richi Nayak, Norbert Siegmund, Veit Köppen, and Gunter Saake. Combining Schema and Level Matching For Web Service Discovery. In Proceedings of the International Conference on Web Engineering (ICWE), LNCS, pages 114–128. Springer, July 2010.
   
• Friedrich Steimann, Thomas Pawlitzki, Sven Apel, and Christian Kästner. Types and Modularity for Implicit Invocation with Implicit Announcement. ACM Transactions on Software Engineering and Methodology (TOSEM), 20(1):1:1–1:43, June 2010.
   
• Norbert Siegmund, Janet Feigenspan, Michael Soffner, Jana Fruth, and Veit Köppen. Challenges of Secure and Reliable Data Management in Heterogeneous Environments. In Proceedings of the International Workshop on Digital Engineering (IWDE), pages 17–24. ACM, June 2010.
   
• Martin Kuhlemann, Christian Kästner, and Sven Apel. Reducing Code Replication in Delegation-Based Java Programs. In Java Software and Embedded Systems, pages 171–183. Nova Science Publishers, Inc., May 2010.
   
• Sven Apel and DeLesley Hutchins. A Calculus for Uniform Feature Composition. ACM Transactions on Programming Languages and Systems (TOPLAS), 32(5):19:1–19:33, May 2010.
   
• Jörg Liebig, Sven Apel, Christian Lengauer, Christian Kästner, and Michael Schulze. An Analysis of the Variability in Forty Preprocessor-Based Software Product Lines. In Proceedings of the ACM/IEEE International Conference on Software Engineering (ICSE), pages 105–114. ACM Press, May 2010. Acceptance rate: 14% (52 / 380).
   
• Christian Kästner, Sven Apel, and Gunter Saake. Virtuelle Trennung von Belangen (Präprozessor 2.0). In Proceedings of Software Engineering – Fachtagung des GI-Fachbereichs Softwaretechnik, number P-159 in GI Edition – Lecture Notes in Informatics, pages 165–176. Gesellschaft für Informatik, February 2010. Acceptance rate: 36% (17 / 47).
   
• Sven Apel. How AspectJ is Used: An Analysis of Eleven AspectJ Programs. Journal of Object Technology (JOT), 9(1):117–142, January 2010.
   
• Martin Kuhlemann, Norbert Siegmund, and Sven Apel. Using Collaborations to Encapsulate Features? An Explorative Study. In Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 139–142. University of Duisburg-Essen, January 2010.
   
• Norbert Siegmund, Martin Kuhlemann, Sven Apel, and Mario Pukall. Optimizing Non-functional Properties of Software Product Lines by means of Refactorings. In Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 115–122. University of Duisburg-Essen, January 2010.
   
• Sven Apel, Jörg Liebig, Christian Lengauer, Christian Kästner, and William Cook. Semistructured Merge in Revision Control Systems. In Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 13–19. University of Duisburg-Essen, January 2010.
   
• Marko Rosenmüller and Norbert Siegmund. Automating the Configuration of Multi Software Product Lines. In Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 123–130. University of Duisburg-Essen, January 2010.
   

2009

• Armin Größlinger. Precise Management of Scratchpad Memories for Localising Array Accesses in Scientific Codes. In O. de Moor and M. Schwartzbach, editors, Proceedings of the International Conference on Compiler Construction (CC), volume 5501 of Lecture Notes in Computer Science, pages 236–250. Springer-Verlag, 2009.
   
• Veit Köppen, Norbert Siegmund, Michael Soffner, and Gunter Saake. An Architecture for Interoperability of Embedded Systems and Virtual Reality. IETE Technical Review, 26(5):350–356, 2009.
   
• Norbert Siegmund, Marko Rosenmüller, Guido Moritz, Gunter Saake, and Dirk Timmermann. Towards Robust Data Storage in Wireless Sensor Networks. IETE Technical Review, 26(5):335–340, 2009.
   
• Marko Rosenmüller, Sven Apel, Thomas Leich, and Gunter Saake. Tailor-Made Data Management for Embedded Systems: A Case Study on Berkeley DB. Data & Knowledge Engineering (DKE), 68(12):1493–1512, December 2009.
   
• Sven Apel, Christian Kästner, Armin Größlinger, and Christian Lengauer. Type-Safe Feature-Oriented Product Lines. Computing Research Repository (CoRR), Number abs/1001.3604, December 2009.
   
• Christian Kästner, Sven Apel, and Martin Kuhlemann. A Model of Refactoring Physically and Virtually Separated Features. In Proceedings of the ACM International Conference on Generative Programming and Component Engineering (GPCE), pages 157–166. ACM Press, October 2009. Acceptance rate: 31% (19 / 62).
   
• Sven Apel, Jörg Liebig, Christian Kästner, Martin Kuhlemann, and Thomas Leich. An Orthogonal Access Modifier Model for Feature-Oriented Programming. In Proceedings of the International Workshop on Feature-Oriented Software Development (FOSD), pages 26–32. ACM Press, October 2009.
   
• Marko Rosenmüller, Norbert Siegmund, Gunter Saake, and Sven Apel. Combining Static and Dynamic Feature Binding in Software Product Lines. Technical Report FIN-013-2009, School of Computer Science, University of Magdeburg, October 2009.
   
• Janet Feigenspan, Christian Kästner, Sven Apel, and Thomas Leich. How to Compare Program Comprehension in FOSD Empirically – An Experience Report. In Proceedings of the International Workshop on Feature-Oriented Software Development (FOSD), pages 52–59. ACM Press, October 2009.
   
• Jörg Liebig, Sven Apel, Christian Lengauer, and Thomas Leich. RobbyDBMS – A Case Study on Hardware/Software Product Line Engineering. In Proceedings of the International Workshop on Feature-Oriented Software Development (FOSD), pages 60–65. ACM Press, October 2009.
   
• Wolfgang Scholz. Statische Erkennung von semantischen Feature-Interaktionen. In Jens Knoop, editor, 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'09), page 260. Technische Universität Wien, October 2009.
   
• Luc Bougé and Christian Lengauer (editors). Special Issue: Euro-Par 2008. Concurrency and Computation: Practice and Experience, 21(14):1757–1759, September 2009.
   
• Syed Saif ur Rahman, Marko Rosenmüller, Norbert Siegmund, Sagar Sunkle, Gunter Saake, and Sven Apel. Data Management for Embedded Systems: A Cell-based Approach. In Proceedings of the International Workshop on Embedded Data-Centric Systems (EDACS), pages 9–13. IEEE Computer Society, September 2009.
   
• Martin Kuhlemann, Don Batory, and Sven Apel. Refactoring Feature Modules. In Proceedings of the International Conference on Software Reuse (ICSR), volume 5791 of Lecture Notes in Computer Science, pages 106–115. Springer-Verlag, September 2009. Acceptance rate: 41% (28 / 68).
   
• Christian Kästner and Sven Apel. Virtual Separation of Concerns – A Second Chance for Preprocessors. Journal of Object Technology (JOT), 8(6):59–68, September 2009.
   
• Christian Kästner, Sven Apel, Syed Saif ur Rahman, Marko Rosenmüller, Don Batory, and Gunter Saake. On the Impact of the Optional Feature Problem: Analysis and Case Studies. In Proceedings of the International Software Product Line Conference (SPLC), pages 181–190. Software Engineering Institute, Carnegie Mellon University, August 2009. Acceptance rate: 36% (30 / 83).
   
• Mario Pukall, Norbert Siegmund, and Walter Cazzola. Feature-oriented Runtime Adaptation. In Proceedings of the ESEC/FSE Workshop on Software Integration and Evolution at Runtime (SINTER), pages 33–36. ACM Press, August 2009.
   
• Syed Saif ur Rahman, Marko Rosenmüller, Norbert Siegmund, Gunter Saake, and Sven Apel. Specialized Embedded DBMS: Cell Based Approach. In Proceedings of the International Workshop on Database and Expert Systems Application (DEXA), pages 9–13. IEEE Computer Society, August 2009.
   
• Sven Apel, Christian Kästner, Armin Größlinger, and Christian Lengauer. Feature (De)composition in Functional Programming. In Proceedings of the International Conference on Software Composition (SC), number 5634 in Lecture Notes in Computer Science, pages 9–26. Springer-Verlag, July 2009. Acceptance rate: 33% (10 / 30).
   
• Stefan Boxleitner, Sven Apel, and Christian Kästner. Language-Independent Quantification and Weaving for Feature Composition. In Proceedings of the International Conference on Software Composition (SC), number 5634 in Lecture Notes in Computer Science, pages 45–54. Springer-Verlag, July 2009. Acceptance rate: 33% (10 / 30).
   
• Sven Apel, Florian Janda, Salvador Trujillo, and Christian Kästner. Model Superimposition in Software Product Lines. In Proceedings of the International Conference on Model Transformation (ICMT), volume 5563 of Lecture Notes in Computer Science, pages 4–19. Springer-Verlag, July 2009. Acceptance rate: 21% (14 / 67).
   
• Sven Apel and Christian Kästner. An Overview of Feature-Oriented Software Development. Journal of Object Technology (JOT), 8(5):49–84, July 2009.
   
• Jörg Liebig. An Analysis of Preprocessor-Based Software Product Lines. In Proceedings of the International Summer School on Generative and Transformational Techniques in Software Engineering, pages 379–380, July 2009. Extended Abstract.
   
• Norbert Siegmund, Mario Pukall, Michael Soffner, Veit Köppen, and Gunter Saake. Using software product lines for runtime interoperability. In Proceedings of the International Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE), pages 1–7. ACM, July 2009.
   
• Christian Kästner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, and Don Batory. Guaranteeing Syntactic Correctness for all Product Line Variants: A Language-Independent Approach. In Proceedings of the International Conference on Objects, Models, Components, Patterns (TOOLS EUROPE), volume 33 of Lecture Notes in Business and Information Processing, pages 174–194. Springer-Verlag, June 2009. Acceptance rate: 28% (19 / 67).
   
• Michael Soffner, Norbert Siegmund, Mario Pukall, and Veit Köppen. Towards Real-Time Data Integration and Analysis for Embedded Devices. In Proceedings of the GI-Workshop on Foundations of Databases (Grundlagen von Datenbanken), volume CS-02-09 of Preprints aus dem Institut für Informatik der Universtät Rostock, pages 51–55. Universität Rostock, June 2009.
   
• Sven Apel, Christian Kästner, and Christian Lengauer. FeatureHouse: Language-Independent, Automated Software Composition. In Proceedings of the IEEE/ACM International Conference on Software Engineering (ICSE), pages 221–231. IEEE Computer Society, May 2009. Acceptance rate: 12% (50 / 405).
   
• Christian Kästner, Thomas Thüm, Gunter Saake, Janet Feigenspan, Thomas Leich, Fabian Wielgorz, and Sven Apel. FeatureIDE: Tool Framework for Feature-Oriented Software Development. In Proceedings of the 31th International Conference on Software Engineering (ICSE), pages 611–614. IEEE Computer Society, May 2009. Formal demonstration paper, acceptance rate: 33% (24 / 72).
   
• Luc Bougé and Christian Lengauer (editors). Special Issue: Euro-Par 2007. Concurrency and Computation: Practice and Experience, 21(7):855–857, May 2009.
   
• Christian Kästner, Sven Apel, and Martin Kuhlemann. LJ^AR: A Model of Refactoring Physically and Virtually Separated Features. Technical Report 08/2009, School of Computer Science, University of Magdeburg, May 2009.
   
• Christian Kästner, Sven Apel, and Gunter Saake. Sichere Produktlinien: Herausforderungen für Syntax- und Typ-Prüfungen. In Programmiersprachen und Rechenkonzepte – 26. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" Bad Honnef, 4.–6. Mai 2009, pages 37–38. Institut für Informatik, Christian-Albrechts-Universität zu Kiel, May 2009.
   
• Sven Apel, Christian Kästner, and Christian Lengauer. Vergleich und Integration von Komposition und Annotation zur Implementierung von Produktlinien. In Proceedings of Software Engineering – Fachtagung des GI-Fachbereichs Softwaretechnik, volume P-143 of GI-Edition – Lecture Notes in Informatics, pages 101–112. Gesellschaft für Informatik, March 2009.
   
• Norbert Siegmund, Christian Kästner, Marko Rosenmüller, Florian Heidenreich, Sven Apel, and Gunter Saake. Bridging the Gap between Variability in Client Application and Database Schema. In Proceedings of Datenbanksysteme in Business, Technologie und Web (BTW), volume 144 of LNI, pages 297–306. GI, March 2009.
   
• Marko Rosenmüller, Christian Kästner, Norbert Siegmund, Sagar Sunkle, Sven Apel, Thomas Leich, and Gunter Saake. SQL á la Carte – Toward Tailor-made Data Management. In Proceedings of Datenbanksysteme in Business, Technologie und Web (BTW), volume 144 of LNI, pages 117–136. GI, March 2009.
   
• Gunter Saake, Marko Rosenmüller, Norbert Siegmund, Christian Kästner, and Thomas Leich. Downsizing Data Management for Embedded Systems. Egyptian Computer Science Journal (ECS), 31(1):1–13, January 2009.
   

2008

• Armin Größlinger. Scanning Index Sets with Polynomial Bounds Using Cylindrical Algebraic Decomposition. Technical Report MIP-0803, Fakultät für Informatik und Mathematik, Universität Passau, 2008.
   
• Armin Größlinger. Some Experiments on Tiling Loop Programs for Shared-Memory Multicore Architectures. In Albert Cohen, María J. Garzarán, Christian Lengauer, and Samuel P. Midkiff, editors, Programming Models for Ubiquitous Parallelism, number 07361 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2008. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany.
   
• Michael Claßen, Philipp Claßen, Christian Lengauer, Jan Dünnweber, and Sergei Gorlatch. Adapting Loop Parallelization to the Grid. In Proceedings of the Programming Model Institute Technical Meeting 2008, number TR-0138 in CoreGRID Technical Reports, pages 4–10, 2008.
   
• Johannes Tomasoni, Jan Dünnweber, Sergei Gorlatch, Michael Claßen, Philipp Claßen, and Christian Lengauer. LooPo-HOC: A Grid Component with Embedded Loop Parallelization. In Sergei Gorlatch, Paraskevi Fragopoulou, and Thierry Priol, editors, Grid Computing: Achievements and Prospects, pages 261–274. Springer-Verlag, 2008.
   
• Johannes Tomasoni, Jan Dünnweber, Sergei Gorlatch, Michael Claßen, Philipp Claßen, and Christian Lengauer. LooPo-HOC: A Grid Component with Embedded Loop Parallelization. In Sergei Gorlatch, Paraskevi Fragopoulou, and Thierry Priol, editors, Integrated Research in Grid Computing, CoreGRID Integration Workshop, pages 241–252. Crete University Press, 2008.
   
• Michael Claßen, Philipp Claßen, and Christian Lengauer. Extending Loop Parallelization for the Grid to Largely Decentralized Communication. In Sergei Gorlatch, Paraskevi Fragopoulou, and Thierry Priol, editors, Integrated Research in Grid Computing, CoreGRID Integration Workshop, pages 287–298. Crete University Press, 2008.
   
• Martin Kuhlemann, Don Batory, and Sven Apel. Refactoring Feature Modules. Technical Report FIN-15-2008, School of Computer Science, University of Magdeburg, December 2008.
   
• Norbert Siegmund, Marko Rosenmüller, Martin Kuhlemann, Christian Kästner, and Gunter Saake. Measuring Non-functional Properties in Software Product Lines for Product Derivation. In Proceedings of the Asia-Pacific Software Engineering Conference (APSEC), pages 187–194. IEEE Computer Society, December 2008. Acceptance rate (full papers) 25% (51 / 200).
   
• Sven Apel, Christian Kästner, Armin Größlinger, and Christian Lengauer. On Feature Orientation and Functional Programming. Technical Report MIP-0806, Department of Informatics and Mathematics, University of Passau, November 2008.
   
• Sven Apel, Christian Kästner, and Don Batory. Program Refactoring using Functional Aspects. In Proceedings of the ACM International Conference on Generative Programming and Component Engineering (GPCE), pages 161–170. ACM Press, October 2008. Acceptance rate: 29% (16 / 55).
   
• Marko Rosenmüller, Norbert Siegmund, Gunter Saake, and Sven Apel. Code Generation to Support Static and Dynamic Composition of Software Product Lines. In Proceedings of the ACM International Conference on Generative Programming and Component Engineering (GPCE), pages 3–12. ACM Press, October 2008. Acceptance rate: 29% (16 / 55).
   
• Sven Apel, Christian Kästner, and Christian Lengauer. Feature Featherweight Java: A Calculus for Feature-Oriented Programming and Stepwise Refinement. In Proceedings of the ACM International Conference on Generative Programming and Component Engineering (GPCE), pages 101–112. ACM Press, October 2008. Acceptance rate: 29% (16 / 55).
   
• Christian Kästner and Sven Apel. Integrating Compositional and Annotative Approaches for Product Line Engineering. In Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering, Proceedings, Nashville, TN, October 23, 2008, number MIP-0804, pages 35–40. Department of Informatics and Mathematics, University of Passau, October 2008.
   
• Sagar Sunkle, Marko Rosenmüller, Norbert Siegmund, Syed Saif ur Rahman, Gunter Saake, and Sven Apel. Features as First-class Entities – Toward a Better Representation of Features. In Proceedings of the Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering, number MIP-0804, pages 27–34. Department of Informatics and Mathematics, University of Passau, October 2008.
   
• Marko Rosenmüller, Norbert Siegmund, Syed Saif ur Rahman, and Christian Kästner. Modeling Dependent Software Product Lines. In Proceedings of the GPCE Workshop on Modularization, Composition and Generative Techniques for Product Line Engineering (McGPLE), number MIP-0802, pages 13–18. Department of Informatics and Mathematics, University of Passau, October 2008.
   
• Christian Kästner and Sven Apel. Type-checking Software Product Lines – A Formal Approach. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 258–267. IEEE Computer Society, September 2008. Acceptance rate: 12% (30 / 280).
   
• Christian Kästner, Sven Apel, and Salvador Trujillo. Visualizing Software Product Line Variabilities in Source Code. In Proceedings of the SPLC Workshop on Visualization in Software Product Line Engineering (ViSPLE), pages 303–313. Lero, International Science Centre, University of Limerick, September 2008.
   
• Sven Apel. Die Rolle von Features und Aspekten in der Softwareentwicklung. In Ausgezeichnete Informatikdissertationen 2007, volume D-8 of GI-Edition – Lecture Notes in Informatics, pages 13–19. Gesellschaft für Informatik, September 2008.
   
• Sven Apel, Don Batory, Goetz Graefe, Gunter Saake, and Olaf Spinczyk. 08281 Abstracts Collection – Software Engineering for Trailor-made Data Management. In Sven Apel, Don Batory, Goetz Graefe, Gunter Saake, and Olaf Spynczyk, editors, Software Engineering for Tailor-made Data Management, number 08281 in Dagstuhl Seminar Proceedings. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Germany, September 2008.
   
• Sven Apel, Don Batory, Goetz Graefe, Gunter Saake, and Olaf Spinczyk. 08281 Executive Summary – Software Engineering for Tailor-made Data Management. In Sven Apel, Don Batory, Goetz Graefe, Gunter Saake, and Olaf Spynczyk, editors, Software Engineering for Tailor-made Data Management, number 08281 in Dagstuhl Seminar Proceedings. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Germany, September 2008.
   
• Armin Größlinger and Stefan Schuster. On Computing Solutions of Linear Diophantine Equations with One Non-linear Parameter. In Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008), pages 69–76. IEEE Computer Society Press, September 2008.
   
• Sven Apel, Christian Lengauer, Bernhard Möller, and Christian Kästner. An Algebra for Features and Feature Composition. In Proceedings of the International Conference on Algebraic Methodology and Software Technology (AMAST), volume 5140 of Lecture Notes in Computer Science, pages 36–50. Springer-Verlag, July 2008. Acceptance rate: 40% (23 / 58).
   
• Martin Kuhlemann, Sven Apel, Marko Rosenmüller, and Roberto Lopez-Herrejon. A Multiparadigm Study of Crosscutting Modularity in Design Patterns. In Proceedings of the TOOLS EUROPE Conference, Lecture Notes in Business and Information Processing, pages 121–140. Springer-Verlag, June 2008. Acceptance rate: 36% (21 / 58).
   
• Sven Apel, Christian Kästner, and Christian Lengauer. Research Challenges in the Tension Between Features and Services. In Proceedings of the ICSE Workshop on Systems Development in SOA Environments (SDSOA), pages 53–58. ACM Press, May 2008.
   
• Christian Kästner, Sven Apel, and Martin Kuhlemann. Granularity in Software Product Lines. In Proceedings of the ACM/IEEE International Conference on Software Engineering (ICSE), pages 311–320. ACM Press, May 2008. Acceptance rate: 15% (56 / 371).
   
• Sven Apel and Don Batory. How AspectJ is Used: An Analysis of Eleven AspectJ Programs. Technical Report MIP-0801, Department of Informatics and Mathematics, University of Passau, April 2008.
   
• Sven Apel, Thomas Leich, and Gunter Saake. Aspectual Feature Modules. IEEE Transactions on Software Engineering (TSE), 34(2):162–180, April 2008.
   
• Sven Apel. Die Rolle von Features und Aspekten in der Softwareentwicklung. it – Information Technology, 50(2):128–130, April 2008. http://it-Information-Technology.de.
   
• Sven Apel, Christian Kästner, and Christian Lengauer. An Overview of Feature Featherweight Java. Technical Report MIP-0802, Department of Informatics and Mathematics, University of Passau, April 2008.
   
• Sven Apel and Christian Lengauer. Superimposition: A Language-Independent Approach to Software Composition. In Cesare Pautasso and Eric Tanter, editors, Proceedings of the ETAPS International Symposium on Software Composition (SC), volume 4954 of Lecture Notes in Computer Science, pages 20–35. Springer-Verlag, March 2008. Acceptance rate: 14% (13 / 90).
   
• Marko Rosenmüller, Norbert Siegmund, Horst Schirmeier, Julio Sincero, Sven Apel, Thomas Leich, Olaf Spinczyk, and Gunter Saake. FAME-DBMS: Tailor-made Data Management Solutions for Embedded Systems. In Proceedings of EDBT Workshop on Software Engineering for Tailor-made Data Management (SETMDM), pages 1–6. ACM Press, March 2008.
   
• Christian Kästner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, and Don Batory. Language-Independent Safe Decomposition of Legacy Applications into Features. Technical Report 02/2008, School of Computer Science, University of Magdeburg, March 2008.
   
• Sagar Sunkle, Martin Kuhlemann, Norbert Siegmund, Marko Rosenmüller, and Gunter Saake. Generating Highly Customizable SQL Parsers. In Proceedings of the Workshop on Software Engineering for Tailor-made Data Management, pages 29–34. University of Magdeburg, 2008.
   
• N. Siegmund, M. Kuhlemann, M. Rosenmüller, C. Kästner, and G. Saake. Integrated Product Line Model for Semi-Automated Product Derivation Using Non-Functional Properties. In Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 25–32, January 2008.
   
• Norbert Siegmund, Martin Kuhlemann, Marko Rosenmüller, Christian Kästner, and Gunter Saake. Integrated Product Line Model for Semi-Automated Product Derivation Using Non-Functional Properties. In Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 25–31, January 2008.
   

2007

• Nils Ellmenreich and Christian Lengauer. Costing Stepwise Refinements of Parallel Programs. Computer Languages, Systems and Structures, 33(3–4):134–167, 2007. Special Issue on Semantics and Cost Models for High-Level Parallel Programming.
   
• Sven Apel, Christian Kästner, Martin Kuhlemann, and Thomas Leich. Pointcuts, Advice, Refinements, and Collaborations: Similarities, Differences, and Synergies. Innovations in Systems and Software Engineering – A NASA Journal, 3(4):281–289, December 2007.
   
• Sven Apel. The Role of Features and Aspects in Software Development: Similarities, Differences, and Synergetic Potential. VDM Verlag Dr. Müller, December 2007.
   
• Sven Apel and Christian Lengauer. Superimposition: A Language-Independent Approach to Software Composition. Technical Report MIP-0711, Department of Informatics and Mathematics, University of Passau, November 2007.
   
• Sven Apel and DeLesley Hutchins. An Overview of the gDeep Calculus. Technical Report MIP-0712, Department of Informatics and Mathematics, University of Passau, November 2007.
   
• Marko Rosenmüller, Martin Kuhlemann, Norbert Siegmund, and Horst Schirmeier. Avoiding Variability of Method Signatures in Software Product Lines: A Case Study. In Proceedings of the International Workshop on Aspect-Oriented Product Line Engineering (AOPLE), pages 20–25, October 2007. Publsihed at the workshop website.
   
• Christian Kästner, Sven Apel, and Don Batory. A Case Study Implementing Features using AspectJ. In Proceedings of the International Software Product Line Conference (SPLC), pages 222–232. IEEE Computer Society, September 2007. Acceptance rate: 35% (28 / 80).
   
• Salvador Trujillo, Christian Kästner, and Sven Apel. Product Lines that supply other Product Lines: A Service-Oriented Approach. In Proceedings of the SPLC Workshop on Service-Oriented Architectures and Product Lines (SOAPL), number CMU/SEI-2008-SR-006, pages 69–74. Software Engineering Institute, Carnegie Mellon University, September 2007.
   
• Albert Cohen, Maria J. Garzaran, Christian Lengauer, and Samuel P. Midkiff. Programming Models for Ubiquitous Parallelism. Technical Report Dagstuhl-Seminar-Report 07361, Schloss Dagstuhl, September 2007.
   
• Sven Apel, Christian Lengauer, Don Batory, Bernhard Möller, and Christian Kästner. An Algebra for Feature-Oriented Software Development. Technical Report MIP-0706, Department of Informatics and Mathematics, University of Passau, July 2007.
   
• Sven Apel, Christian Kästner, Thomas Leich, and Gunter Saake. Aspect Refinement - Unifying AOP and Stepwise Refinement. Journal of Object Technology (JOT) – Special Issue: TOOLS EUROPE 2007, 6(9):13–33, June 2007. Acceptance rate: 31% (24 / 78).
   
• Eduardo Argollo, Michael Claßen, Philipp Claßen, and Martin Griebl. Loop Parallelization for a Grid Master-Worker Framework. In CoreGRID Workshop on Grid Programming Model Grid and P2P Systems Architecture, Grid Systems, Tools and Environments, number TR-0080 in CoreGRID Technical Reports, pages 516–527, June 2007.
   
• Sven Apel, Christian Kästner, and Salvador Trujillo. On the Necessity of Empirical Studies in the Assessment of Modularization Mechanisms for Crosscutting Concerns. In Proceedings of the International Conference on Software Engineering Workshops (ICSEW), page 161. IEEE Computer Society, May 2007.
   
• Marko Rosenmüller, Thomas Leich, and Sven Apel. Konfigurierbarkeit für ressourceneffiziente Datenhaltung in eingebetteten Systemen am Beispiel von Berkeley DB. In Datenbanksysteme in Business, Technologie und Web (BTW 2007) Workshops Proceedings, pages 329–341. Verlag Mainz, March 2007.
   
• Martin Kuhlemann, Thomas Leich, and Sven Apel. Merkmalorientierte Architekturen für eingebettete Datenmanagementsysteme. In Datenbanksysteme in Business, Technologie und Web (BTW 2007) Workshops Proceedings, pages 342–354. Verlag Mainz, March 2007.
   
• Martin Kuhlemann, Marko Rosenmüller, Sven Apel, and Thomas Leich. On the Duality of Aspect-Oriented and Feature-Oriented Design Patterns. In Proceedings of the Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS'07), page 5. ACM Press, March 2007.
   
• Martin Kuhlemann, Sven Apel, and Thomas Leich. Streamlining Feature-Oriented Designs. In Proceedings of the ETAPS International Symposium on Software Composition (SC), pages 177–184. University of Minho, March 2007.
   
• Roberto Lopez-Herrejon and Sven Apel. Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies. In Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE), volume 4422 of Lecture Notes in Computer Science, pages 423–437. Springer-Verlag, March 2007. Acceptance rate: 21% (30 / 141).
   
• Martin Kuhlemann, Sven Apel, and Thomas Leich. Streamlining Feature-Oriented Designs. In Proceedings of the ETAPS International Symposium on Software Composition (SC), volume 4829 of Lecture Notes in Computer Science, pages 168–175. Springer-Verlag, March 2007. Acceptance rate: 34% (20 / 59).
   
• Marko Rosenmüller, Thomas Leich, Sven Apel, and Gunter Saake. Von Mini- über Micro- bis zu Nano-DBMS: Datenhaltung in eingebetteten Systemen. Datenbank Spektrum, 7(20):33–43, February 2007.
   

2006

• Michael Claßen and Martin Griebl. Automatic Code Generation for Distributed Memory Architectures in the Polytope Model. In Proceedings of the 11th International Workshop on High-Level Parallel Programming Models and Supportive Environments at the 20th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006.
   
• Roberto Lopez-Herrejon, Don Batory, and Christian Lengauer. A Disciplined Approach to Aspect Composition. In Proceedings of the ACM SIGPLAN 2006 Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2006), pages 68–77. ACM Press, 2006.
   
• Jia Liu, Don Batory, and Christian Lengauer. Feature Oriented Refactoring of Legacy Applications. In Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), pages 112–121. ACM Press, 2006.
   
• Jan Dünnweber, Sergei Gorlatch, Martin Griebl, Christian Lengauer, and Eduardo Argollo Dias. Making a Task Farm Component Parallelize Loops for the Grid. In Sergei Gorlatch, Marian Bubak, and Thierry Priol, editors, Integrated Resarch in Grid Computing, pages 93–103. Academic Computing Centre CYFRONET AGH, 2006.
   
• Christoph A. Herrmann. Type-Sensitive Size Parameterization of Circuit Designs by Metaprogramming. Technical Report MIP-0601, Fakultät für Mathematik und Informatik, Universität Passau, 2006.
   
• Christoph A. Herrmann and Tobias Langhammer. Combining Partial Evaluation and Staged Interpretation in the Implementation of Domain-Specific Languages. Science of Computer Programming, 62(1):47–65, 2006.
   
• Christoph A. Herrmann and Tobias Langhammer. Combining Partial Evaluation and Staged Interpretation in the Implementation of Domain-Specific Languages. Science of Computer Programming, 62(1):47–65, 2006. Special issue on The First MetaOCaml Workshop 2004.
   
• Armin Größlinger, Martin Griebl, and Christian Lengauer. Quantifier Elimination in Automatic Loop Parallelization. Journal of Symbolic Computation, 41(11):1206–1221, November 2006.
   
• Sven Apel, Christian Kästner, Martin Kuhlemann, and Thomas Leich. Modularität von Softwarebausteinen: Aspekte versus Merkmale. iX Magazin für Professionelle Informationstechnik, Number 10, pages 116–122, October 2006.
   
• Sven Apel and Don Batory. When to Use Features and Aspects? A Case Study. In Proceedings of the ACM International Conference on Generative Programming and Component Engineering (GPCE), pages 59–68. ACM Press, October 2006. Acceptance rate: 28% (25 / 88).
   
• Sven Apel, Don Batory, and Marko Rosenmüller. On the Structure of Crosscutting Concerns: Using Aspects or Collaborations?. In GPCE Workshop on Aspect-Oriented Product Line Engineering (AOPLE), October 2006. Published at the Workshop Web site: http://www.softeng.ox.ac.uk/aople/.
   
• Christian Lengauer and Walid Taha (editors). Selected Contributions to the 1st MetaOCaml Workshop 2004. Science of Computer Programming, 62(1):1–2, September 2006.
   
• Christian Kästner, Sven Apel, and Gunter Saake. Implementing Bounded Aspect Quantification in AspectJ. In Proceedings of the ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE), pages 111–122. School of Computer Science, University of Magdeburg, July 2006.
   
• Sven Apel and Jia Liu. On the Notion of Functional Aspects in Aspect-Oriented Refactoring. In Proceedings of the ECOOP Workshop on Aspects, Dependencies, and Interactions (ADI), pages 1–9. Computing Department, Lancaster University, July 2006.
   
• Sven Apel, Martin Kuhlemann, and Thomas Leich. Generic Feature Modules: Two-Staged Program Customization. In Proceedings of the International Conference on Software and Data Technologies (ICSOFT), pages 127–132. INSTICC Press, July 2006.
   
• Martin Kuhlemann, Thomas Leich, and Sven Apel. Einfluss erweiterter Programmier-Paradigmen auf die Entwicklung eingebetteter DBMS. In Tagungsband zum 18. GI-Workshop Grundlagen von Datenbanken, Juni 2006, pages 100–104. Department of Computer Science, University of Halle-Wittenberg, June 2006.
   
• Sven Apel, Thomas Leich, and Gunter Saake. Aspectual Mixin Layers: Aspects and Features in Concert. In Proceedings of the ACM/IEEE International Conference on Software Engineering (ICSE), pages 122–131. ACM Press, May 2006. Acceptance rate: 9% (36 / 395).
   
• Sven Apel, Christian Kästner, Thomas Leich, and Gunter Saake. Aspect Refinement. Technical Report 10/2006, School of Computer Science, University of Magdeburg, March 2006.
   
• Sven Apel and Don Batory. An Empirical Study on Features and Aspects. Technical Report 06/2006, School of Computer Science, University of Magdeburg, March 2006.
   

2005

• Martin Griebl, Paul Feautrier, and Armin Größlinger. Forward Communication Only Placements and their Use for Parallel Program Construction. In Languages and Compilers for Parallel Computing, 15th International Workshop, LCPC'02. Revised Papers, Lecture Notes in Computer Science 2481, pages 16–30. Springer-Verlag, 2005. doi:10.1007/11596110_2.
   
• Sergei Gorlatch and Christian Lengauer (editors). Special Issue on Constructive Methods for Parallel Programming (CMPP 2004). Parallel Processing Letters, 15(3):237, 2005.
   
• Christoph A. Herrmann. Generating Message-Passing Programs from Abstract Specifications by Partial Evaluation. Parallel Processing Letters, 15(3):305–320, 2005.
   
• Sven Apel, Thomas Leich, and Gunter Saake. Mixin-Based Aspect Inheritance. Technical Report 10/2005, School of Computer Science, University of Magdeburg, December 2005.
   
• Sven Apel, Thomas Leich, and Gunter Saake. Aspect Refinement and Bounded Quantification in Incremental Designs. In Proceedings of the Asia-Pacific Software Engineering Conference (APSEC), pages 796–804. IEEE Computer Society, December 2005.
   
• Thomas Leich, Sven Apel, Marko Rosenmüller, and Gunter Saake. Handling Optional Features in Software Product Lines. In OOPSLA Workshop on Managing Variabilities consistently in Design and Code, October 2005. Published at the Workshop Web site: http://www.kircher-schwanninger.de/workshops/MVCDC/.
   
• Thomas Leich, Sven Apel, Laura Marnitz, and Gunter Saake. Tool Support for Feature-Oriented Software Development – FeatureIDE: An Eclipse-Based Approach. In Proceedings of the OOPSLA Workshop on Eclipse Technology eXchange (ETX), pages 55–59. ACM Press, October 2005.
   
• Sven Apel and Erik Buchmann. Biology-Inspired Optimizations of Peer-to-Peer Overlay Networks. Practices in Information Processing and Communications (Praxis der Informationsverarbeitung und Kommunikation), 28(4):199–205, October 2005.
   
• Sven Apel, Thomas Leich, and Gunter Saake. Aspectual Mixin Layers. Technical Report 08/2005, School of Computer Science, University of Magdeburg, September 2005.
   
• Thomas Leich, Sven Apel, and Gunter Saake. Using Step-Wise Refinement to Build a Flexible Lightweight Storage Manager. In Proceedings of the East-European Conference on Advances in Databases and Information Systems (ADBIS), volume 3631 of Lecture Notes in Computer Science, pages 324–337. Springer-Verlag, September 2005.
   
• Sven Apel, Marko Rosenmüller, Thomas Leich, and Gunter Saake. FeatureC++: On the Symbiosis of Feature-Oriented and Aspect-Oriented Programming. In Proceedings of the ACM International Conference on Generative Programming and Component Engineering (GPCE), volume 3676 of Lecture Notes in Computer Science, pages 125–140. Springer-Verlag, September 2005. Acceptance rate: 29% (25 / 87).
   
• Sven Apel, Thomas Leich, and Gunter Saake. Aspect Refinement in Software Product Lines. In Aspects and Software Product Lines (ASPL'05): An Early Aspects Workshop at SPLC-Europe'05, September 2005. Published at the Workshop Web site: http://www.early-aspects.net/events/splc2005ws/.
   
• Sven Apel, Helge Sichting, Thomas Leich, and Marco Plack. The FATIMA Middleware for Mobile and Pervasive Computing. In Proceedings of the World Multi-Conference on Systemics, Cybernetics and Informatics (WMSCI), pages 374–379. International Institute of Informatics and Systemics, July 2005.
   
• Sven Apel, Helge Sichting, Thomas Leich, and Marco Plack. On Implementation Techniques for Mobile and Pervasive Middleware Families. In Proceedings of the World Multi-Conference on Systemics, Cybernetics and Informatics (WMSCI), pages 368–373. International Institute of Informatics and Systemics, July 2005.
   
• Sven Apel, Thomas Leich, Marko Rosenmüller, and Gunter Saake. Combining Feature-Oriented and Aspect-Oriented Programming to Support Software Evolution. In Proceedings of the 2nd ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE), pages 3–16. School of Computer Science, University of Magdeburg, July 2005.
   
• Sven Apel and Klemens Böhm. Self-Organization in Overlay Networks. In Proceedings of CAISE'05 Workshops (Workshop on Adaptive and Self-Managing Enterprise Applications), volume 2, pages 139–153. FEUP Edicoes, June 2005.
   
• Thomas Leich and Sven Apel. Ein merkmalsorientierter Speichermanager für eingebettete Systeme. In Tagungsband zum 17. GI-Workshop Grundlagen von Datenbanken, May 2005, pages 73–77. Department of Computer Science, University of Halle-Wittenberg, May 2005.
   
• Ahmed Gohneim, Sven Apel, and Gunter Saake. Evolutionary Software Life Cycle for Self-Adapting Software Systems. In Proceedings of the International Conference on Enterprise Information Systems (ICEIS), pages 211–216. INSTICC Press, May 2005.
   
• Sven Apel, Gunter Saake, Sebastian Herden, and Andre Zwanziger. A Mediator for E-Business. In Proceedings of the International Conference on Web Information Systems and Technologies (WEBIST), pages 427–430. INSTICC Press, May 2005.
   
• Erik Buchmann, Sven Apel, and Gunter Saake. Piggyback Meta-Data Propagation in Distributed Hash Tables. In Proceedings of the International Conference on Web Information Systems and Technologies (WEBIST), pages 72–79. INSTICC Press, May 2005.
   
• Sven Apel, Thomas Leich, Marko Rosenmüller, and Gunter Saake. FeatureC++: Feature-Oriented and Aspect-Oriented Programming in C++. Technical Report 03/2005, School of Computer Science, University of Magdeburg, April 2005.
   
• Armin Größlinger, Martin Griebl, and Christian Lengauer. Quantifier Elimination in Automatic Loop Parallelization. In Andreas Dolzmann, Andreas Seidl, and Thomas Sturm, editors, Algorithmic Algebra and Logic (A3L 2005), pages 123–128. Books on Demand GmbH, Norderstedt, April 2005.
   

2004

• Peter Faber, Martin Griebl, and Christian Lengauer. Polyhedral Loop Parallelization: The Fine Grain. In Michael Gerndt and Edmodf Kereku, editors, Proceedings of the 11th Workshop on Compilers for Parallel Computers (CPC 2004), Research Report Series LRR-TUM, pages 25–36. Technische Universität München, 2004.
   
• Armin Größlinger, Martin Griebl, and Christian Lengauer. Introducing Non-linear Parameters to the Polyhedron Model. In Michael Gerndt and Edmond Kereku, editors, Proceedings of the 11th Workshop on Compilers for Parallel Computers (CPC 2004), Research Report Series LRR-TUM, pages 1–12. Technische Universität München, 2004.
   
• Christian Lengauer, Don Batory, Charles Consel, and Martin Odersky (editors). Domain-Specific Program Generation, volume 3016 of Lecture Notes in Computer Science. Springer-Verlag, 2004.
   
• Christian Lengauer. Program Optimization in the Domain of High-Performance Parallelism. In Christian Lengauer, Don Batory, Charles Consel, and Martin Odersky, editors, Domain-Specific Program Generation, number 3016 in Lecture Notes in Computer Science, pages 73–91. Springer-Verlag, 2004.
   
• Martin Griebl, Peter Faber, and Christian Lengauer. Space-Time Mapping and Tiling – a Helpful Combination. Concurrency and Computation: Practice and Experience, 16(2–3):221–246, 2004.
   
• Christoph A. Herrmann. Functional Meta-Programming in the Construction of Parallel Programs. In Sergei Gorlatch, editor, 4th International Workshop on Constructive Methods for Parallel Programming (CMPP 2004). Westfälische Wilhelms-Universität Münster, 2004.
   
• Sven Apel, Helge Sichting, and Klemens Böhm. Configurable Binding: How to Exploit Mixins and Design Patterns for Resource-Constrained Environments. Technical Report 14/2004, School of Computer Science, University of Magdeburg, December 2004.
   
• Sven Apel and Klemens Böhm. Using Mixins to Build a Flexible Lightweight Middleware for Ubiquitous Computing. In Proceedings of the IEEE ASE Workshop on Software Engineering and Middleware (SEM'04), pages 99–114. Austrian Computer Society, September 2004. Best Student Paper Award.
   
• Sven Apel and Klemens Böhm. Towards the Development of Ubiquitous Middleware Product Lines. In Software Engineering and Middleware, volume 3437 of Lecture Notes in Computer Science, pages 137–153. Springer-Verlag, September 2004.
   

2003

• Nils Ellmenreich and Christian Lengauer. PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines. In Ricardo Pe na and Thomas Arts, editors, Proceedings of the 14th International Workshop on the Implementation of Functional Languages (IFL 2002), volume 2470 of Lecture Notes in Computer Science, pages 118–133. Springer-Verlag, 2003.
   
• Peter Faber, Martin Griebl, and Christian Lengauer. Replicated Placements in the Polyhedron Model. In Harald Kosch, Laszlo Böszörményi, and Hermann Hellwagner, editors, Euro-Par 2003: Parallel Processing, number 2790 in Lecture Notes in Computer Science, pages 303–308. Springer-Verlag, 2003.
   
• Christoph A. Herrmann and Christian Lengauer. Transforming Functional Prototypes to Efficient Parallel Programs. In Fethi A. Rabhi and Sergei Gorlatch, editors, Patterns and Skeletons for Parallel and Distirbuted Computing, chapter 3, pages 65–94. Springer-Verlag, 2003.
   
• Sven Apel. Towards a Flexible Tailor-Made Middleware for Mobile Distributed Information Systems. In Proceedings of PhD Workshop at the 20th British National Conference on Databases (BNCOD20), pages 24–32. School of Mathematical and Information Sciences, University of Coventry, July 2003.
   
• Sven Apel and Marco Plack. Komponenten einer Middleware-Plattform für Mobile Informationssysteme. In Tagungsband zum 15. GI-Workshop Grundlagen von Datenbanken, Juni 2003, Preprint Nr. 06/2003, pages 93–97. School of Computer Science, University of Magdeburg, June 2003.
   
• Sven Apel and Thomas Leich. Einsatz von Aspektorientierung und Programmfamilien bei der Entwicklung von Datenbank-Management-Systemen. In Tagungsband zum 15. GI-Workshop Grundlagen von Datenbanken, Juni 2003, Preprint Nr. 06/2003, pages 103–107. School of Computer Science, University of Magdeburg, June 2003.
   
• Sven Apel and Marco Plack. Vergleich von Technologien als Grundlage einer Middleware für mobile Informationssysteme. In Pre-Proceedings of the Workshop Scalability, Persistence, Transactions - Database Mechanisms for Mobile Applications, pages 13–23. Univesität Karlsruhe, March 2003.
   
• Sven Apel and Marco Plack. Überblick und Vergleich von Technologien zur Realisierung einer Middleware für mobile Informationssysteme. In Proceedings of Persistence, Scalability, Transactions – Database Mechanisms for Mobile Applications, Workshop of the GI-Arbeitskreis Mobile Datenbanken und Informationssysteme, volume P-43 of GI-Edition – Lecture Notes in Informatics, pages 40–54. Gesellschaft für Informatik, March 2003.
   

2002

• Nils Ellmenreich and Christian Lengauer. Comparative Parallel Programming with PolyAPM using Abstract Parallel Machines. In Peter Knijnenburg and Paul van der Mark, editors, Proceedings of the 10th Workshop on Compilers for Parallel Computers (CPC 2003). Leiden Institute of Advanced Computer Science, 2002. 10pp.
   
• Sergei Gorlatch and Christian Lengauer (editors). Constructive Methods for Parallel Programming, volume 10 of Advances in Computation: Theory and Practice. Nova Science Publishers, Inc., 2002.
   
• Sergei Gorlatch and Christian Lengauer (editors). Special Issue on Constructive Methods for Parallel Programming (CMPP 2002). Parallel Processing Letters, 12(2):137, 2002.
   
• Christoph A. Herrmann and Christian Lengauer. Using Metaprogramming to Parallelize Functional Specifications. Parallel Processing Letters, 12(2):193–210, 2002.
   

2001

• Peter Faber, Martin Griebl, and Christian Lengauer. Issues of the Automatic Generation of HPF Loop Programs. In Samuel P. Midkiff et al., editor, Languages and Compilers for Parallel Computing (LCPC 2000), number 2017 in Lecture Notes in Computer Science, pages 359–362. Springer-Verlag, 2001.
   
• Peter Faber, Martin Griebl, and Christian Lengauer. Loop-Carried Code Replacement. In Euro-Par 2001: Parallel Processing, number 2150 in Lecture Notes in Computer Science, pages 230–234. Springer-Verlag, 2001.
   
• Christoph A. Herrmann and Christian Lengauer. A Transformational Approach which Combines Size Inference and Program Optimization. In Walid Taha, editor, Semantics, Applications and Implementation of Program Generation (SAIG'01), number 2196 in Lecture Notes in Computer Science, pages 199–218. Springer-Verlag, 2001.
   
• Cherri Pancake and Christian Lengauer (editors). Special Section on High-Performance Java. Communications of the ACM, 44(10):98–101, 2001.
   
• Christoph Wedler and Christian Lengauer. On the Parallel Implementation of a Generalized Broadcast. Parallel Algorithms and Applications, 16(1):65–82, 2001.
   
• Marco Aldinucci, Sergei Gorlatch, Christian Lengauer, and Susanna Pelagatti. Towards Parallel Programming by Transformation: The FAN Skeleton Framework. Parallel Algorithms and Applications, 16(2–3):87–121, 2001.
   
• Martin Griebl. The Minimal Number of Communication Startups when Tiling Space-Time Mapped Programs. In Ninth International Workshop on Compilers for Parallel Computers (CPC 2001), pages 117–126, 2001.
   
• Martin Griebl. On Tiling Space-Time Mapped Loop Nests. In Thirteenth Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA 2001), pages 322–323. ACM Press, 2001.
   

2000

• Christoph A. Herrmann and Christian Lengauer. The HDC Compiler Project. In Proceedings of the 8th Workshop on Compilers for Parallel Computers (CPC 2000), pages 239–254. LIP, ENS Lyon, 2000.
   
• Christian Lengauer. A Personal, Historical Perspective of Parallel Programming for High Performance. In Günter Hommel, editor, Communication-Based Systems (CBS 2000), pages 111–118. Kluwer, 2000. Keynote.
   
• Christoph A. Herrmann and Christian Lengauer. HDC: A Higher-Order Language for Divide-and-Conquer. Parallel Processing Letters, 10(2–3):239–250, 2000.
   
• Sergei Gorlatch. Toward Formally-Based Design of Message Passing Programs. IEEE Transactions on Software Engineering, 26(3):276–288, 2000.
   
• Martin Griebl, Paul Feautrier, and Christian Lengauer. Index Set Splitting. International Journal of Parallel Processing, 28(6):607–631, December 2000. Special Issue on the International Conference on Parallel Architectures and Compilation Techniques (PACT'99).
   
• Damal K. Arvind, Kemal Ebcioglu, Christian Lengauer, and Robert S. Schreiber (editors). Special Issue on Instruction-Level Parallelism and Parallelizing Compilation (Part II). International Journal of Parallel Programming, 28(5):429–430, October 2000.
   
• Damal K. Arvind, Kemal Ebcioglu, Christian Lengauer, and Robert S. Schreiber (editors). Special Issue on Instruction-Level Parallelism and Parallelizing Compilation (Part I). International Journal of Parallel Programming, 28(4):321–323, August 2000.
   
• Francois Irigoin und Christian Lengauer Susan Flynn-Hummel, Vladimir Getov. High Performance Computing and Java. Technical Report Dagstuhl-Seminar-Report 284, Schloss Dagstuhl, August 2000.
   
• Johan Jeuring, Christian Lengauer, and Mary Sheeran (editors). Selected Contributions to the 4th Int. Conf. on Mathematics of Program Construction (MPC'98) and Associated Workshops. Science of Computer Programming, 37(1–3), May 2000.
   
• Sergei Gorlatch and Christian Lengauer. Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach. Acta Informatica, 36(9–10):761–803, April 2000.
   

1999

• Sergei Gorlatch, Christoph Wedler, and Christian Lengauer. Optimization Rules for Programming with Collective Operations. In Proceedings of the 13th International Parallel Processing Symposium & 10th Symposium on Parallel and Distributed Processing (IPPS/SPDP'99), pages 492–499. IEEE Computer Society Press, 1999.
   
• Nils Ellmenreich, Christian Lengauer, and Martin Griebl. Application of the Polytope Model to Functional Programs. In Larry Carter and Jeanne Ferrante, editors, Languages and Compilers for Parallel Computing (LCPC'99), number 1863 in Lecture Notes in Computer Science, pages 219–235. Springer-Verlag, 1999.
   
• Christoph A. Herrmann, Jan Laitenberger, Christian Lengauer, and Christian Schaller. Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining. In Patrick Amestoy et al., editor, Euro-Par'99: Parallel Processing, number 1685 in Lecture Notes in Computer Science, pages 930–934. Springer-Verlag, 1999.
   
• Bruno Bacci, Sergei Gorlatch, Christian Lengauer, and Susanna Pelagatti. Skeletons and Transformations in an Integrated Parallel Programming Environment. In Viktor Malyshkin, editor, Proceedings of the Fifth International Conference on Parallel Computing Technologies (PaCT-99), number 1662 in Lecture Notes in Computer Science, pages 13–27. Springer-Verlag, 1999.
   
• Christoph A. Herrmann and Christian Lengauer. Parallelization of Divide-and-Conquer by Translation to Nested Loops. Journal of Functional Programming, 9(3):279–310, 1999.
   
• Max Geigl, Martin Griebl, and Christian Lengauer. Termination Detection in Parallel Loop Nests with while Loops. Parallel Computing, 25(12):1489–1510, 1999.
   
• Martin Griebl, Paul Feautrier, and Christian Lengauer. On Index Set Splitting. In Proceedings of the International Conference on Parallel Architectures and Compilation Techniques (PACT'99), pages 274–282. IEEE Computer Society Press, 1999.
   
• Jean-Fran cois Collard and Martin Griebl. A Precise Fixpoint Reaching Definition Analysis for Arrays. In Larry Carter and Jean Ferrante, editors, Languages and Compilers for Parallel Computing (LCPC'99), volume 1863 of Lecture Notes in Computer Science, pages 286–302. Springer-Verlag, 1999.
   
• Sergei Gorlatch and Susanna Pelagatti. A Transformational Framework for Skeletal Programs: Overview and Case Study. In Jose Rohlim et al., editors, Parallel and Distributed Processing. IPPS/SPDP'99 Workshops Proceedings, volume 1586 of Lecture Notes in Computer Science, pages 123–137. IEEE Computer Society Press, 1999.
   
• Sergei Gorlatch. Extracting and Implementing List Homomorphisms in Parallel Program Development. Science of Computer Programming, 33(1):1–27, 1999.
   
• Alfons Geser and Sergei Gorlatch. Parallelizing Functional Programs by Generalization. Journal of Functional Programming, 9(6):649–673, 1999.
   
• Christoph Herrmann, Christian Lengauer, Robert Günz, Jan Laitenberger, and Christian Schaller. A Compiler for HDC. Technical Report MIP-9907, Fakultät für Mathematik und informatik, Universität Passau, May 1999.
   
• Damal K. Arvind, Kemal Ebcioglu, Christian Lengauer, and Robert S. Schreiber. Instruction-Level Parallelism and Parallelizing Compilation. Technical Report Dagstuhl-Seminar-Report 237, Schloss Dagstuhl, April 1999.
   

1998

• Sergei Gorlatch and Christian Lengauer. (De)Compositions Rules for Parallel Scan and Reduction. In Proceedings of the 3rd Working Conference on Massively Parallel Programming Models (MPPM'97), pages 23–32. IEEE Computer Society Press, 1998.
   
• Nils Ellmenreich, Martin Griebl, and Christian Lengauer. Applicability of the Polytope Model to Functional Programs. In Herbert Kuchen, editor, Proceedings of the 7th International Workshop on Functional and Logic Programming. Institut für Wirtschaftsinformatik, Westf. Wilhelms-Universität Münster, 1998.
   
• Christoph A. Herrmann and Christian Lengauer. Size Inference of Nested Lists in Functional Programs. In Kevin Hammond, Antony J. T. Davie, and Chris Clack, editors, Proceedings of the 10th Int. Workshop on the Implementation of Functional Languages (IFL'98), pages 347–364. Department of Computer Science, University College London, 1998.
   
• Martin Griebl, Christian Lengauer, and Sabine Wetzel. Code Generation in the Polytope Model. In Proceedings of the International Conference on Parallel Architectures and Compilation Techniques (PACT'98), pages 106–111. IEEE Computer Society Press, 1998.
   
• Max Geigl, Martin Griebl, and Christian Lengauer. A Scheme for Detecting the Termination of a Parallel Loop Nest. In Proceedings of the GI/ITG FG PARS Workshop, PARS Mitteilungen Nr. 17, pages 166–175. Gesellschaft für Informatik e.V., 1998.
   
• Christoph Wedler and Christian Lengauer. On the Parallel Implementation of a Generalized Broadcast. In Proceedings of the GI/ITG FG PARS Workshop, PARS Mitteilungen Nr. 17, pages 129–139. Gesellschaft für Informatik e.V., 1998.
   
• Sergei Gorlatch. Programming with Divide-and-Conquer Skeletons: An Application to FFT. Journal of Supercomputing, 12(1–2):85–97, 1998.
   
• Sergei Gorlatch and Holger Bischof. A Generic MPI Implementation for a Data-Parallel Skeleton: Formal Derivation and Application to FFT. Parallel Processing Letters, 8(4):447–458, 1998.
   
• Christoph Wedler and Christian Lengauer. On Linear List Recursion in Parallel. Acta Informatica, 35(10):875–909, October 1998.
   

1997

• Ulrike Lechner and Christian Lengauer. Specification, Abstraction und Verification in a Concurrent Object-Oriented Language. In Max Mühlhäuser, editor, Special Issues in Object-Oriented Programming, pages 544–547. dpunkt.verlag, 1997.
   
• Martin Griebl and Christian Lengauer. The Loop Parallelizer LooPo – Announcement. In David Sehr, editor, Languages and Compilers for Parallel Computing (LCPC'96), number 1239 in Lecture Notes in Computer Science, pages 603–604. Springer-Verlag, 1997.
   
• Nils Ellmenreich and Christian Lengauer. On Indexed Data Structures and Functional Matrix Algorithms. In John T. O'Donnell, editor, Proceedings of the Glasgow Functional Programming Workshop (GFPW'97), 1997.
   
• Christian Lengauer, Lothar Thiele, Michael Wolfe, and Hans Zima (editors). Special Issue on Loop Parallelization. Parallel Processing Letters, 7(2):113–115, 1997.
   
• Christian Lengauer, Martin Griebl, and editors Sergei Gorlatch. Euro-Par'97: Parallel Processing, volume 1300 of Lecture Notes in Computer Science. Springer-Verlag, 1997.
   
• Christian Lengauer, Sergei Gorlatch, and Christoph A. Herrmann. The Static Parallelization of Loops and Recursions. J. Supercomputing, 11(4):333–353, 1997.
   
• Christian Lengauer, Sergei Gorlatch, and Christoph A. Herrmann. The Static Parallelization of Loops and Recursions. In Ken Barker, editor, Proceedings of the 11th Annual International Symposium on High Performance Computing Systems and Applications (HPCS'97), pages 3–22. University of Manitoba, 1997. Keynote.
   
• Christoph Wedler and Christian Lengauer. Parallel Implementations of Combinations of Broadcast, Reduction and Scan. In Gul Agha and Stefano Russo, editors, Proceedings of the 2nd International Workshop on Software Engineering for Parallel and Distributed Systems (PDSE'97), pages 108–119. IEEE Computer Society Press, 1997.
   
• Christoph A. Herrmann and Christian Lengauer. Transformation of Divide & Conquer to Nested Parallel Loops. In Hugh Glaser, Pieter Hartel, and Herbert Kuchen, editors, Programming Languages: Implementations, Logics, and Programs (PLILP'97), number 1292 in Lecture Notes in Computer Science, pages 95–109. Springer-Verlag, 1997.
   
• Jean-Fran cois Collard and Martin Griebl. Array Dataflow Analysis for Explicitly Parallel Programs. Parallel Processing Letters, 7(2):117–131, 1997.
   
• Sergei Gorlatch and Holger Bischof. Formal Derivation of Divide-and-Conquer Programs: A Case Study in the Multidimensional FFT's. In Dominique Mery, editor, proceedings of the IPPS'97 Workshop on Formal Methods for Parallel Programming: Theory and Applications, pages 80–94, 1997.
   
• Alfons Geser and Sergei Gorlatch. Parallelizing Functional Programs by Generalization. In Michael Hanus, Jan Heering, and Karl Meinke, editors, Algebraic and Logic Programming (ALP'97), volume 1298 of Lecture Notes in Computer Science, pages 46–60. Springer-Verlag, 1997.
   
• Sergei Gorlatch. N-Graphs: Scalable Topology and Design of Balanced Divide-and-Conquer Algorithms. Parallel Computing, 23(6), 1997.
   
• Sergei Gorlatch and Christian Lengauer. (De)Composition Rules for Parallel Scan and Reduction. In Proceedings of the Thrid Working Conference on Massively Parallel Programnming Models (MPPM), pages 23–32. IEEE Computer Society Press, November 1997.
   
• Murray I. Cole, Sergei Gorlatch, Christian Lengauer, and David Skillicorn. Theory and Practice of Higher-Order Parallel Programming. Technical Report Dagstuhl-Seminar-Report 169, Schloss Dagstuhl, February 1997.
   

1996

• Ulrike Lechner, Christian Lengauer, Friedericke Nickl, and Martin Wirsing. (Objects + Concurrency) & Reusability – A Proposal to Circumvent the Inheritance Anomaly. In Pierre Cointe, editor, ECOOP'96, number 1098 in Lecture Notes in Computer Science, pages 232–247. Springer-Verlag, 1996.
   
• Martin Griebl and Christian Lengauer. Classifying Loops for Space-Time Mapping. In Luc Bougé, Pierre Fraigniaud, Anne Mignotte, and Yves Robert, editors, Euro-Par'96: Parallel Processing, Volume I, number 1123 in Lecture Notes in Computer Science, pages 467–474. Springer-Verlag, 1996. Invited.
   
• Martin Griebl and Christian Lengauer. The Loop Parallelizer LooPo. In Michael Gerndt, editor, Proceedings of the 6th Workshop on Compilers for Parallel Computers (CPC'96), number 21 in Konferenzen des Forschungszentrums Jülich, pages 311–320. Forschungszentrum Jülich, 1996.
   
• Burkhard Freitag, Cliff B. Jones, Christian Lengauer, and Hans-Jörg Schek (editors). Special Issue on Object Orientation with Parallelism and Persistence. International Series in Engineering and Computer Science. Kluwer, 1996.
   
• Ulrike Lechner and Christian Lengauer. Modal-μ-Maude: Specification and Properties of Concurrent Objects. In Burkhard Freitag, Cliff B. Jones, Christian Lengauer, and Hans-Jörg Schek, editors, Object Orientation with Parallelism and Persistence, International Series in Engineering and Computer Science, pages 43–62. Kluwer, 1996.
   
• Christoph A. Herrmann and Christian Lengauer. On the Space-Time Mapping of a Class of Divide-and-Conquer Recursions. Parallel Processing Letters, 6(4):225–237, 1996.
   
• Jean-Fran cois Collard and Martin Griebl. Array Dataflow Analysis for Explicitly Parallel Programs. In Luc Bougé, Pierre Fraigniaud, Anne Mignotte, and Yves Robert, editors, Euro-Par'96: Parallel Processing. Vol. I, volume 1123 of Lecture Notes in Computer Science, pages 406–413. Springer-Verlag, 1996.
   
• Albert Cohen, Jean-Fran cois Collard, and Martin Griebl. Data Flow Analysis of Recursive Structures. In Michael Gerndt, editor, Proceedings of the Sixth Workshop on Compilers for Parallel Computers (CPC'96), volume 21 of Konferenzen des Forschungszentrums Jülich, pages 181–192. Forschungszentrum Jülich, 1996.
   
• Sergei Gorlatch. Systematic Extraction and Implementation of Divide-and-Conquer Parallelism. In Herbert Kuchen and Doaitse Swierstra, editors, Programming Languages: Implementation, Logics and Programs. PLILP'96, volume 1140 of Lecture Notes in Computer Science, pages 274–288. Springer-Verlag, 1996.
   
• Sergei Gorlatch. Systematic Efficient Parallelization of Scan and Other List Homomorphisms. In Luc Bougé, Pierre Fraigniaud, Anne Mignotte, and Yves Robert, editors, Euro-Par'96: Parallel Processing. Vol. II, volume 1124 of Lecture Notes in Computer Science, pages 401–408. Springer-Verlag, 1996.
   
• Sergei Gorlatch. From Transformations to Methodology in Parallel Program Development: A Case Study. Microprocessing and Microprogramming, Volume 41, pages 571–588, 1996.
   
• Sergei Gorlatch. Stages and Transformations in Parallel Programming. In Abstract Machine Models, pages 147–161. IOS Press, 1996.
   
• Ulrike Lechner. Object-Oriented Specifications of Distributed Systems in the μ-Calculus and Maude. Electronic Notes in Theoretical Computer Science, Volume 4, 1996. Proceedings of the First International Workshop on Rewriting Logics and its Applications.
   
• Christian Lengauer, Lothar Thiele, Michael Wolfe, and Hans P. Zima. Loop Parallelization. Technical Report Dagstuhl-Seminar-Report 142, Schloss Dagstuhl, April 1996.
   

1995

• Christian Lengauer and Martin Griebl. On the Parallelization of Loop Nests Containing sf while Loops. In Nikolay N. Mirenkov, Qian-Ping Gu, Shietung Peng, and Stanislav Sedukhin, editors, Proceedings of the 1st Aizu International Symposium on Parallel Algorithm/Architecture Synthesis (pAs'95), pages 10–18. IEEE Computer Society Press, 1995.
   
• Ulrike Lechner, Christian Lengauer, and Martin Wirsing. An Object-Oriented Airport: Specification and Refinement in Maude. In Egidio Astesiano, Gianna Reggio, and Andrzej Tarlecki, editors, Recent Trends in Data Types Specification, number 906 in Lecture Notes in Computer Science, pages 351–367. Springer-Verlag, 1995.
   
• Sergei Gorlatch and Christian Lengauer. Parallelization of Divide-and-Conquer in the Bird-Meertens Formalism. Formal Aspects of Computing, 7(6):663–682, 1995.
   
• Martin Griebl and Christian Lengauer. A Communication Scheme for the Distributed Execution of Loop Nests with sf while Loops. International Journal of Parallel Processing, 23(5):471–495, 1995.
   
• Christoph A. Herrmann and Christian Lengauer. Notes on the Space-Time Mapping of a Class of Divide-and-Conquer Recursions. In Proceedings of the GI/ITG FG PARS Workshop, PARS Mitteilungen Nr. 14, pages 132–139. Gesellschaft für Informatik e.V., 1995.
   
• Christoph Wedler and Christian Lengauer. Notes on the Classification of Parallel Implementations of Linearly Recursive Programs. In Proceedings of the GI/ITG FG PARS Workshop, PARS Mitteilungen Nr. 14, pages 140–147. Gesellschaft für Informatik e.V., 1995.
   
• Martin Griebl and Jean-Fran cois Collard. Generation of Synchronous Code for Automatic Parallelization of tt while Loops. In Seif Haridi, Khayri Ali, and Peter Magnusson, editors, EURO-PAR'95, volume 966 of Lecture Notes in Computer Science, pages 315–326. Springer-Verlag, 1995.
   
• Martin Wirsing, Friedericke Nickl, and Ulrike Lechner. Concurrent Object-Oriented Design Specification in SPECTRUM. In Yasuyoshi Inagaki, editor, Workshop on Algebraic and Object-Oriented Approaches to Software Science, pages 39–70, 1995.
   
• Burkhard Freitag, Cliff B. Jones, Christian Lengauer, and Hand-Jörg Schek. Object Orientation with Parallelism and Persistence. Technical Report Dagstuhl-Seminar-Report 111, Schloss Dagstuhl, April 1995.
   

1994

• Christian Lengauer, Patrice Quinton, Yves Robert, and Lothar Thiele (editors). Special Issue on Parallelization Techniques for Uniform Architectures. Parallel Processing Letters, 4(3):189–191, 1994.
   
• Jingling Xue and Christian Lengauer. Adapting a Sequential Algorithm for a Systolic Design. In Graham M. Megson, editor, Transformational Approaches to Systolic Design, pages 179–204. Chapman & Hall, 1994.
   
• Martin Griebl and Christian Lengauer. On the Space-Time Mapping of WHILE-Loops. Parallel Processing Letters, 4(3):221–232, 1994.
   
• Sergei Gorlatch and Christian Lengauer. Systematic Development of an SPMD Implementation Schema for Mutually Recursive Divide-and-Conquer Specifications. In Howard Jay Siegel, editor, Proceedings of the 8th International Parallel Processing Symposium (IPPS'94), pages 369–375. IEEE Computer Society Press, 1994.
   
• Martin Griebl and Christian Lengauer. On Scanning Space-Time Mapped while Loops. In Bruno Buchberger and Jens Volkert, editors, CONPAR 94 – VAPP VI, Lecture Notes in Computer Science 854, pages 677–688. Springer-Verlag, 1994.
   
• Sergei Gorlatch. Formal Derivation and Implementation of Divide-and-Conquer on a Transputer Network. In A. De Gloria, M. Jane, and D. Marini, editors, Transputer Applications and Systems 94, pages 763–776. IOS Press, 1994.
   

1993

• Michael Barnett and Christian Lengauer. A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. In Peter E. Lauer, editor, Functional Programming, Concurrency, Simulation and Automated Reasoning, number 693 in Lecture Notes in Computer Science, pages 374–398. Springer-Verlag, 1993.
   
• Christian Lengauer. Loop Parallelization in the Polytope Model. In Eike Best, editor, CONCUR'93, number 715 in Lecture Notes in Computer Science, pages 398–416. Springer-Verlag, 1993.
   
• Christian Lengauer, Patrice Quinton, Yves Robert, and Lothar Thiele. Parallelization Techniques for Uniform Algorithms. Technical Report Dagstuhl-Seminar-Report 66, Schloss Dagstuhl, June 1993.
   

1992

• Michael Barnett and Christian Lengauer. Unimodularity and the Parallelization of Loops. Parallel Processing Letters, 2(2–3):273–281, 1992.
   
• Michael Barnett and Christian Lengauer. Unimodularity and the Parallelization of Loops. In Michel Cosnard, Maurice Nivar, and Yves Robert, editors, Algorithmique Parallèle, Études et Recherches en Informatique, pages 369–379. Masson, 1992.
   
• Jingling Xue and Christian Lengauer. The Synthesis of Control Signals for One-Dimensional Systolic Arrays. INTEGRATION, 14(1):1–32, 1992.
   
• Jingling Xue and Christian Lengauer. Specifying Control Signals for One-Dimensional Systolic Arrays by Uniform Recurrence Equations. In Patrice Quinton and Yves Robert, editors, Algorithms and Parallel VLSI Architectures II, pages 181–187. Elsevier, 1992.
   
• Davide Sangiorgi and Christian Lengauer. An Improved Systolic Array for String Correction. In Paolo Prinetti and Paolo Camurati, editors, Proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies (CHARME'91), pages 205–218. Elsevier, 1992.
   
• Michael Barnett and Christian Lengauer. The Synthesis of Systolic Programs. In Jean-Pierre Banâtre und Daniel Le Métayer, editor, Research Directions in High-Level Parallel Programming Languages, number 574 in Lecture Notes in Computer Science, pages 309–325. Springer-Verlag, 1992. Invited.
   
• Michael Barnett and Christian Lengauer. Unimodularity Considered Non-Essential (Extended Abstract). In Luc Bougé, Michel Cosnard, Yves Robert, and Denis Trystram, editors, CONPAR 92 – VAPP V, number 634 in Lecture Notes in Computer Science, pages 659–664. Springer-Verlag, 1992.
   

1991

• Manfred Broy and Christian Lengauer. On Denotational Versus Predicative Semantics. Journal of Computer & Systems Sciences, 42(1):1–29, 1991.
   
• Christian Lengauer, Michael Barnett, and Duncan G. Hudson. Towards Systolizing Compilation. Distributed Computing, 5(1):1–29, 1991.
   
• Jingling Xue and Christian Lengauer. A Systolic Array for Pyramidal Algorithms. Journal of VLSI Signal Processing, 3(3):237–257, 1991.
   
• Jingling Xue and Christian Lengauer. On One-Dimensional Systolic Arrays. In International Workshop on Formal Methods in VLSI Design, Miami, Florida, 1991.
   
• Christian Lengauer. A View of Systolic Design. In Nikolay N. Mirenkov, editor, Parallel Computing Technologies (PaCT-91), pages 32–46. World Scientific, 1991. Keynote.
   
• Michael Barnett and Christian Lengauer. A Systolizing Compilation Scheme: Abstract. In Proceedings of the 1991 Int.ernational Conference on Parallel Processing, Volume II, pages 296–297. CRC Press, 1991.
   

1990

• Christian Lengauer and Duncan G. Hudson. A Systolic Program for Gauss-Jordan Elimination. In Wim H.J. Feijen, Netty J. M. van Gasteren, David Gries, and Jadajev Misra, editors, Beauty Is Our Business, Texts and Monographs in Computer Science, pages 262–273. Springer-Verlag, 1990.
   
• Christian Lengauer. Code Generation for a Systolic Computer. Software—Practice & Experience, 20(3):261–282, 1990.
   
• Christian Lengauer and Jeffrey W. Sanders. The Projection of Systolic Programs. Formal Aspects of Computing, Volume 2, pages 273–293, 1990.
   
• Christian Lengauer, Bikash Sabata, and Farshid Arman. A Mechanically Derived Systolic Implementation of Pyramid Initialization. In Geoffrey Brown and Miriam Leeser, editors, Hardware Specification, Verification and Synthesis: Mathematical Aspects, number 408 in Lecture Notes in Computer Science, pages 90–105. Springer-Verlag, 1990.
   
• Christian Lengauer. Wie kann man imperative Programme auf eine Systolisierung vorbereiten?. In Andreas Reuter, editor, 20. GI-Jahrestagung, Volume II, number 258 in Informatik-Fachberichte, pages 527–536. Springer-Verlag, 1990. Invited.
   

1989

• Eike Best and Christian Lengauer. Semantic Independence. Science of Computer Programming, 13(1):23–50, 1989.
   
• Christian Lengauer and Jeffrey W. Sanders. The Projection of Systolic Programs. In Jan L. A. van de Snepscheut, editor, Mathematics of Program Construction (MPC'89), number 375 in Lecture Notes in Computer Science, pages 307–324. Springer-Verlag, 1989.
   
• Christian Lengauer, Michael Barnett, and Duncan G. Hudson. Towards Systolizing Compilation: An Overview. In Eddy Odijk, Martin Rem, and Jean-Claude Syre, editors, Parallel Architectures and Languages Europe (PARLE'89), Vol. II: Parallel Languages, number 366 in Lecture Notes in Computer Science, pages 253–272. Springer-Verlag, 1989.
   
• Chua-Huang and Christian Lengauer. An Incremental, Mechanical Development of Systolic Solutions to the Algebraic Path Problem. Acta Informatica, 27(2):97–124, November 1989.
   

1988

• Christian Lengauer. A View of Automated Proof Checking and Proving. Annals of Operations Research, Volume 16, pages 61–80, 1988.
   

1987

• Chua-Huang and Christian Lengauer. An Implemented Method for Incremental Systolic Design. In Jacobus W. de Bakker, A. J. Nijman, and Philip C. Treleaven, editors, Parallel Architectures and Languages in Europe (PARLE'87), Volume I: Parallel Architectures, number 258 in Lecture Notes in Computer Science, pages 160–177. Springer-Verlag, 1987.
   
• Eike Best and Christian Lengauer. Semantic Independence. In Proceedings of the 8th European Workshop on Applications and Theory of Petri Nets, pages 5–30. IBM Germany, 1987.
   
• Chua-Huang and Christian Lengauer. Mechanically Derived Systolic Solutions to the Algebraic Path Problem. In VLSI and Computers (CompEuro 87), pages 307–310. IEEE Computer Society Press, 1987.
   
• Chua-Huang and Christian Lengauer. The Derivation of Systolic Implementations of Programs. Acta Informatica, 24(6):595–632, November 1987.
   

1986

• Chua-Huang Huang and Christian Lengauer. The Automated Proof of a Trace Transformation for a Bitonic Sort. Theoretical Computer Science, 46(2–3):261–284, 1986.
   
• Christian Lengauer. A View of Automated Proof Checking and Proving. In International Conference on Multi-Attribute Decision Making via O.R.-Based Expert Systems, MIP-8617, pages 163–182. Fakultät für Mathematik und Informatik, Universität Passau, 1986.
   
• Christian Lengauer and Chua-Huang Huang. A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks. In Proceedings of the 13th Annual Symposium on Principles of Programming Languages (POPL'86), pages 307–317. ACM Press, 1986.
   

1985

• Christian Lengauer. On the Role of Automated Theorem Proving in the Compile-time Derivation of Concurrency. J. Automated Reasoning, 1(1):75–101, 1985.
   
• Christian Lengauer. Technical Correspondence: Predicative Programming. Communications of the ACM, 27(5):537–538, 1985.
   
• Christian Lengauer and Chua-Huang Huang. The Static Derivation of Concurrency and Its Mechanized Certification. In Steve D. Brookes, A. W. (Bill) Roscoe, and Glynn Winskel, editors, Seminar on Concurrency, number 197 in Lecture Notes in Computer Science, pages 131–150. Springer-Verlag, 1985.
   

1982

• Christian Lengauer and Eric C. R. Hehner. A Methodology for Programming with Concurrency: An Informal Presentation. Science of Computer Programming, 2(1):1–18, 1982.
   
• Christian Lengauer. A Methodology for Programming with Concurrency: The Formalism. Science of Computer Programming, 2(1):19–52, 1982.
   
• Christian Lengauer. A Methodology for Programming with Concurrency. Technical Report CSRG-142, Computer Systems Research Group, University of Toronto, April 1982. PhD thesis.
   

1981

• Christian Lengauer and Eric C. R. Hehner. A Methodology for Programming with Concurrency. In Wolfgang Händler, editor, CONPAR 81, number 111 in Lecture Notes in Computer Science, pages 259–270. Springer-Verlag, 1981.
   

1978

• Christian Lengauer. On the Axiomatic Verification of Concurrent Algorithms. Technical Report CSRG-94, Computer Systems Research Group, University of Toronto, August 1978. MSc thesis.
   

1977

• Christian Lengauer and Alan Silverman. Software to Drive a GEC Elliott CAMAC Interface on a PDP-11 Computer Running the RSX-11M Executive. Nuclear Instruments and Methods, 140(3):577–597, 1977.
   
• Christian Lengauer. Strukturierter Betriebssystementwurf mit Concurrent Pascal. Technical Report HMI-B 236, Hahn-Meitner-Institute for Nuclear Research Berlin, July 1977. Diploma thesis, Department of Mathematics, Free University of Berlin.
   

1975

• Heinz Becker and Christian Lengauer. Ein CAMAC Interface für die parallele Datenübertragung und Steuerung von Vielkanalanalysatoren. Technical Report HMI-B 176, Hahn-Meitner-Institute for Nuclear Research Berlin, July 1975.
   
• Christian Lengauer. Ein Fortran-kompatibles Programm-Paket zur Steuerung von CAMAC-Systemen durch eine PDP-11 (CA 11-A/DEC, Type 1533A/Borer). Technical Report HMI-B 161, Hahn-Meitner-Institut für Kernforschung Berlin, April 1975.