All publications:

2013

• Sven Apel, Alexander von Rhein, Thomas Thüm, and Christian Kästner. Feature-Interaction Detection based on Feature-Based Specifications. Computer Networks, 2013. Online first.
   
• Sven Apel, Don Batory, Christian Kästner, and Gunter Saake. Feature-Oriented Software Product Lines: Concepts and Implementation. Springer-Verlag, 2013. 308 pages, ISBN 978-3-642-37520-0, text book to appear May 31, 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 & 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, University of Passau, March 2013.
   
• Janet Siegmund, Christian Kästner, Sven Apel, André Brechmann, and Gunter Saake. Experience from Measuring Program Comprehension—Toward a General Framework. In Software Engineering—Fachtagung des GI-Fachbereichs Softwaretechnik, GI Edition – Lecture Notes in Informatics, pages 239–257. Gesellschaft für Informatik, 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.
   

2012

• Tobias Grosser, Armin Größlinger, and Christian Lengauer. Polly—Performing Polyhedral Optimizations on a Low-Level Intermediate Representation. Parallel Processing Letters, 22(4), December 2012. 28pp.
   
• 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 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 Analyis. Technical Report MIP-1212, Department of Informatics and Mathematics, University of Passau, November 2012.
   
• 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.
   
• 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).
   
• 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, May 2012. Online first.
   
• 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 (SCP), 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).
   

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 & Experience, 23(17):2137–2139, 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-Verlag, September 2011.
   
• Christian Lengauer. Axiomatic Verification of Monitors. In David Padua et al., editors, Encyclopedia of Parallel Computing, pages 1173–1177. Springer-Verlag, September 2011.
   
• Paul Feautrier and Christian Lengauer. Polyhedron Model. In David Padua et al., editors, Encyclopedia of Parallel Computing, pages 1581–1592. Springer-Verlag, September 2011.
   
• Martin Fränzle and Christian Lengauer. Semantic Independence. In David Padua et al., editors, Encyclopedia of Parallel Computing, pages 1803–1810. Springer-Verlag, 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 Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 190–200. ACM Press, September 2011. Acceptance rate: 17% (34 / 203).
   
• Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer. Feature-Aware Verification. Technical Report MIP-1105, Department of Informatics and Mathematics, University of Passau, 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).
   
• 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.
   
• 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 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.
   
• 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.
   
• 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.
   
• Luc Bougé and Christian Lengauer (editors). Special Issue: Euro-Par 2009. Concurrency and Computation: Practice & Experience, 23(2):143–144, February 2011.
   

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.
   
• 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 (SCP), 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.
   
• 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.
   
• 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.
   
• 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 Software Engineering 2010 – 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.
   

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 2009), number 5501 in Lecture Notes in Computer Science, pages 236–250. Springer-Verlag, 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.
   
• 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 & 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).
   
• 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.
   
• 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).
   
• Sven Apel, Christian Kästner, Armin Größlinger, and Christian Lengauer. Type-Safe Feature-Oriented Product Lines. Technical Report MIP-0909, Department of Informatics and Mathematics, University of Passau, 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 & 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 Software Engineering 2009 – 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 Datenbanksysteme in Business, Technologie und Web – Fachtagung des GI-Fachbereichs Datenbanken und Informationssysteme, volume P-144 of GI-Edition – Lecture Notes in Informatics, pages 297–306. Gesellschaft für Informatik, 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 Datenbanksysteme in Business, Technologie und Web – Fachtagung des GI-Fachbereichs Datenbanken und Informationssysteme, volume P-144 of GI-Edition – Lecture Notes in Informatics, pages 117–136. Gesellschaft für Informatik, March 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.
   
• 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 Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering, Proceedings, Nashville, TN, October 23, 2008, number MIP-0804, pages 27–34. 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 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.
   

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.
   
• 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.
   
• 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. Number 3016 in 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. .
   
• 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), number 2470 in 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, 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.
   
• 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.
   

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. Number 1300 in 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.
   

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.
   

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.
   

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.
   

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.
   

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.
   

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.