M. Benter, F. Neumann, and H. Frey, “Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks,” in Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 2193–2201.

D. Wonisch, A. Schremmer, and H. Wehrheim, “Programs from Proofs – A PCC Alternative,” in Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–927.

P. Kling and P. Pietrzyk, “Profitable Scheduling on Multiple Speed-Scalable Processors,” in Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2013, pp. 251–260.

R. de Lemos et al., “Software Engineering for Self-Adaptive Systems: A Second Research Roadmap,” Software Engineering for Self-Adaptive Systems II, pp. 1–32, 2013.

E. Bouillon, B. Güldali, A. Herrmann, T. Keuler, D. Moldt, and M. Riebisch, “Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum,” Softwaretechnik-Trends, vol. 33, no. 1, pp. 29–30, 2013.

M. Grieger, B. Güldali, S. Sauer, and M. Mlynarski, “Testen bei Migrationsprojekten,” OBJEKTspektrum (Online Themenspecials), pp. 1–4, 2013.

M. Fazal-Baqaie, B. Güldali, M. Luckey, S. Sauer, and M. Spijkerman, “Maßgeschneidert und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden,” OBJEKTspektrum (Online Themenspecials), no. RE/2013, pp. 1–5, 2013.

G. Engels and M. Luckey, “Editorial,” Computer Science - Research and Development, vol. 28, no. 1, pp. 1–2, 2013.

G. Engels, C. Gerth, B. Kleinjohann, L. Kleinjohann, W. Müller, and S. Sauer, “Informationstechnik spart Ressourcen,” Forschungsforum Paderborn, vol. 16/2013, pp. 54–61, 2013.

C. Gerth, J. Küster, M. Luckey, and G. Engels, “Detection and Resolution of Conflicting Change Operations in Version Management of Process Models,” Software and Systems Modeling, vol. 12, no. 3, pp. 517–535, 2013.

D. Faragó, A.-M. Törsel, M. Mlynarski, S. Weißleder, B. Güldali, and C. Brandes, “Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt,” OBJEKTspektrum, vol. 4, pp. 32–38, 2013.

G. Engels and S. Sauer, “Object-oriented Modeling of Multimedia Applications,” in Handbook of Software Engineering and Knowledge Engineering, vol. 2, S. K. Chang, Ed. Singapore: World Scientific Publishing Company, 2013, pp. 21--53.

C. Soltenborn, Quality Assurance with Dynamic Meta Modeling. Universität Paderborn, 2013.

C. Gerth, Business Process Models - Change Management. 2013.

T. Biermann, L. Scalia, C. Choi, W. Kellerer, and H. Karl, “How backhaul networks influence the feasibility of coordinated multipoint in cellular networks,” IEEE Communications Magazine, no. 8, 2013.

M. Spijkerman, “Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden,” in Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium) SE 2013 (to appear), 2013, vol. 215, pp. 425--434.

B. Nagel , C. Gerth , J. Post, and G. Engels, “KaoSOA - Extending KAOS Models with Temporal and Logical Dependencies,” in Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13), 2013, vol. 998, pp. 9--16.

T. Kehrer  and C. Gerth, “CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models.,” in Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13), 2013, vol. 33, no. 2, pp. 32–34.

M. Grieger  and S. Sauer, “Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung,” in Software Engineering 2013 Workshopband, 2013, pp. 189–200.

B. Nagel , C. Gerth , and G. Engels, “Goal-driven Composition of Business Process Models,” in Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (accepted for application), 2013.