Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks
M. Benter, F. Neumann, H. Frey, in: Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 2193–2201.
LibreCat: /record/496
DOI: 10.1109/INFCOM.2013.6567022

Programs from Proofs – A PCC Alternative
D. Wonisch, A. Schremmer, H. Wehrheim, in: Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–927.
LibreCat: /record/498
DOI: 10.1007/978-3-642-39799-8_65

Profitable Scheduling on Multiple Speed-Scalable Processors
P. Kling, P. Pietrzyk, in: Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2013, pp. 251–260.
LibreCat: /record/499
DOI: 10.1145/2486159.2486183

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap
R. de Lemos, H. Giese, H. A. Müller, M. Shaw, J. Andersson, M. Litoiu, B. Schmerl, G. Tamura, N. M. Villegas, T. Vogel, D. Weyns, L. Baresi, B. Becker, N. Bencomo, Y. Brun, B. Cukic, R. Desmarais, S. Dustdar, G. Engels, K. Geihs, K. M. Göschka, A. Gorla, V. Grassi, P. Inverardi, G. Karsai, J. Kramer, A. Lopes, J. Magee, S. Malek, S. Mankovskii, R. Mirandola, J. Mylopoulos, O. Nierstrasz, M. Pezzè, C. Prehofer, W. Schäfer, R. Schlichting, D. B. Smith, J. Pedro Sousa, L. Tahvildari, K. Wong, J. Wuttke, Software Engineering for Self-Adaptive Systems II (2013) 1–32.
LibreCat: /record/7271
DOI: 10.1007/978-3-642-35813-5_1

Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum
E. Bouillon, B. Güldali, A. Herrmann, T. Keuler, D. Moldt, M. Riebisch, Softwaretechnik-Trends 33 (2013) 29–30.
LibreCat: /record/7272

Testen bei Migrationsprojekten
M. Grieger, B. Güldali, S. Sauer, M. Mlynarski, OBJEKTspektrum (Online Themenspecials) (2013) 1–4.
LibreCat: /record/7273

Maßgeschneidert und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden
M. Fazal-Baqaie, B. Güldali, M. Luckey, S. Sauer, M. Spijkerman, OBJEKTspektrum (Online Themenspecials) (2013) 1–5.
LibreCat: /record/7274

Editorial
G. Engels, M. Luckey, Computer Science - Research and Development 28 (2013) 1–2.
LibreCat: /record/7275

Informationstechnik spart Ressourcen
G. Engels, C. Gerth, B. Kleinjohann, L. Kleinjohann, W. Müller, S. Sauer, Forschungsforum Paderborn 16/2013 (2013) 54–61.
LibreCat: /record/7276

Detection and Resolution of Conflicting Change Operations in Version Management of Process Models
C. Gerth, J. Küster, M. Luckey, G. Engels, Software and Systems Modeling 12 (2013) 517–535.
LibreCat: /record/7277

Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt
D. Faragó, A.-M. Törsel, M. Mlynarski, S. Weißleder, B. Güldali, C. Brandes, OBJEKTspektrum 4 (2013) 32–38.
LibreCat: /record/7278

Object-oriented Modeling of Multimedia Applications
G. Engels, S. Sauer, in: S.K. Chang (Ed.), Handbook of Software Engineering and Knowledge Engineering, World Scientific Publishing Company, Singapore, 2013, pp. 21--53.
LibreCat: /record/7523
DOI: https://doi.org/10.1142/4603

Quality Assurance with Dynamic Meta Modeling
C. Soltenborn, Quality Assurance with Dynamic Meta Modeling, Universität Paderborn, 2013.
LibreCat: /record/7569
DOI: http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420

Business Process Models - Change Management
C. Gerth, Business Process Models - Change Management, 2013.
LibreCat: /record/7571

How backhaul networks influence the feasibility of coordinated multipoint in cellular networks
T. Biermann, L. Scalia, C. Choi, W. Kellerer, H. Karl, IEEE Communications Magazine (2013).
LibreCat: /record/769
DOI: 10.1109/MCOM.2013.6576356

Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden
M. Spijkerman, in: Software Engineering 2013 - Workshopband (Inkl. Doktorandensymposium) SE 2013 (to Appear), GI, 2013, pp. 425--434.
LibreCat: /record/8485

KaoSOA - Extending KAOS Models with Temporal and Logical Dependencies
B. Nagel , C. Gerth , J. Post, G. Engels, in: Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13), CEUR-WS.org, 2013, pp. 9--16.
LibreCat: /record/8486

CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models.
T. Kehrer , C. Gerth, in: Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13), FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI), 2013, pp. 32–34.
LibreCat: /record/8487

Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung
M. Grieger , S. Sauer, in: Software Engineering 2013 Workshopband, GI, Köllen Druck+Verlag GmbH, Bonn, 2013, pp. 189–200.
LibreCat: /record/8488

Goal-driven Composition of Business Process Models
B. Nagel , C. Gerth , G. Engels, in: Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (Accepted for Application), 2013.
LibreCat: /record/8489