Dräxler, M., Blobel, J., Dreimann, P., Valentin, S., &; Karl, H. (2013). Anticipatory Buffer Control and Quality Selection for Wireless Video Streaming. CoRR.
LibreCat: /record/781

Nagel, B., Gerth, C., Post, J., &; Engels, G. (2013). Ensuring Consistency Among Business Goals and Business Process Models. In Proceedings of the 17th IEEE International EDOC Conference (EDOC’13) (pp. 17–26). IEEE Computer Society.
LibreCat: /record/8057

Schumacher, C., Engels, G., Güldali, B., Niehammer, M., &; Hamburg, M. (2013). Modellbasierte Bewertung von Testprozessen nach TPI NEXT® mit Geschäftsprozess-Mustern. In S. Kowalewski &; B. Rumpe (Eds.), Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2013), Aachen (Germany) (Vol. P-213, pp. 331–344). Bonn: Gesellschaft für Informatik (GI).
LibreCat: /record/8058

Engels, G. (2013). On-the-Fly Computing - Das Entwicklungs- und Betriebsparadigma für Softwaresysteme der Zukunft. In Software Engineering 2013 (Vol. P-213, pp. 17–18).
LibreCat: /record/8059

Huma, Z., Gerth, C., Engels, G., &; Juwig, O. (2013). Automated Service Composition for On-the-Fly SOAs. In Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13) (Vol. 8274, pp. 524–532). Berlin/Heidelberg: Springer-Verlag.
LibreCat: /record/8060

Luckey, M., &; Engels, G. (2013). High-­Quality Specification of Self-­Adaptive Software Systems. In Proceeding of the 8th international symposium on Software engineering for adaptive and self-managing systems (pp. 143–152). New York, NY, USA: ACM.
LibreCat: /record/8061

Brüseke, F., Becker, S., &; Engels, G. (2013). Decision Support via Automated Metric Comparison for the Palladio-based Performance Blame Analysis. In Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), Prague (Czech Republic) (pp. 77–88). ACM New York, NY, USA.
LibreCat: /record/8062

Becker, M., Luckey, M., &; Becker, S. (2013). Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time. In Ninth International ACM Sigsoft Conference on the Quality of Software Architectures (pp. 43–52). New York, NY, USA: ACM New York, NY, USA.
LibreCat: /record/8063

Küster, J., Kovács, D., Bauer, E., &; Gerth, C. (2013). Integrating Coverage Analysis into Test-driven Development of Model Transformations. Zurich: IBM Research.
LibreCat: /record/8222

Huma, Z., Gerth, C., &; Engels, G. (2013). Automated Service Discovery and Composition for On-the-Fly SOAs. University of Paderborn, Germany.
LibreCat: /record/8223

Yigitbas, E., Gerth, C., &; Sauer, S. (2013). Konzeption modellbasierter Benutzungsschnittstellen für verteilte Selbstbedienungssysteme. In Informatik 2013, 43. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Informatik angepasst an Mensch, Organisation und Umwelt, 16.-20. September 2013, Koblenz, Deutschland (pp. 2714–2723).
LibreCat: /record/5752

Klompmaker, F., Paelke, V., &; Fischer, H. G. (2013). A Taxonomy-Based Approach towards NUI Interaction Design. In Distributed, Ambient, and Pervasive Interactions (Vol. 8028, pp. 32–41). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-642-39351-8_4 
LibreCat: /record/6276
DOI: 10.1007/978-3-642-39351-8_4

Fischer, H. G., Strenge, B., &; Nebe, K. (2013). Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design. In Design, User Experience, and Usability. Design Philosophy, Methods, and Tools (Vol. 8012, pp. 252–261). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-642-39229-0_28 
LibreCat: /record/6279
DOI: 10.1007/978-3-642-39229-0_28

Fischer, H. G., Geis, T., Molich, R., Kluge, O., Heimgärtner, R., &; Hunkirchen, P. (2013). Do You Speak Usability? - Aktueller Stand des Glossars und des Curriculums für den Certified Professional for Usability and User Experience (CPUX) der German UPA. In Jahresband Usability Professionals (pp. 28–34). German UPA.
LibreCat: /record/6284

Wonisch, D., Schremmer, A., &; Wehrheim, H. (2013). Zero Overhead Runtime Monitoring. In Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM) (pp. 244–258).https://doi.org/10.1007/978-3-642-40561-7_17 
LibreCat: /record/469
DOI: 10.1007/978-3-642-40561-7_17

Wette, P., &; Karl, H. (2013). Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow. In Proceedings of the ACM SIGCOMM ’13 (pp. 541–542).https://doi.org/10.1145/2486001.2491710 
LibreCat: /record/470
DOI: 10.1145/2486001.2491710

Tezer, A. (2013). Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen. Universität Paderborn.
LibreCat: /record/471

Kolman, P., &; Scheideler, C. (2013). Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing. Theory of Computing Systems, (2), 341–363.https://doi.org/10.1007/s00224-013-9454-3 
LibreCat: /record/476
DOI: 10.1007/s00224-013-9454-3

Abshoff, S., Benter, M., Cord-Landwehr, A., Malatyali, M., &; Meyer auf der Heide, F. (2013). Token Dissemination in Geometric Dynamic Networks. In Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers (pp. 22–34).https://doi.org/10.1007/978-3-642-45346-5_3 
LibreCat: /record/477
DOI: 10.1007/978-3-642-45346-5_3

Timm, N. (2013). Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn.
LibreCat: /record/478

Graffi, K., &; Bremer, L. (2013). Symbiotic Coupling of P and Cloud Systems: The Wikipedia Case. In Proceedings of the International Conference on Communications (ICC’13) (pp. 3444–3449).https://doi.org/10.1109/ICC.2013.6655082 
LibreCat: /record/481
DOI: 10.1109/ICC.2013.6655082

Platenius, M. C., von Detten, M., Gerth, C., Schäfer, W., &; Engels, G. (2013). Service Matching under Consideration of Explicitly Specified Service Variants. In IEEE 20th International Conference on Web Services (ICWS 2013) (pp. 613–614).https://doi.org/10.1109/ICWS.2013.98 
LibreCat: /record/484
DOI: 10.1109/ICWS.2013.98

Mohr, F., &; Kleine Büning, H. (2013). Semi-Automated Software Composition Through Generated Components. In Proceedings of the 15th International Conference on Information Integration and Web-based Applications &; Services (iiWAS) (pp. 676–680).https://doi.org/10.1145/2539150.2539235 
LibreCat: /record/485
DOI: 10.1145/2539150.2539235

Otte, O. (2013). Seitenkanalresistenz paarungsbasierter Kryptographie. Universität Paderborn.
LibreCat: /record/486

Bobolz, J. (2013). Security Proofs for Pairing-Based Cryptography in the Generic Group Model. Universität Paderborn.
LibreCat: /record/487

Blömer, J., Günther, P., &; Krummel, V. (2013). Securing Critical Unattended Systems with Identity Based Cryptography - A Case Study. In Proceedings of the 5th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) (pp. 98–105).
LibreCat: /record/488

Wallaschek, F. (2013). Routing in heterogenen OpenFlow Netzwerken. Universität Paderborn.
LibreCat: /record/490

Robbert, C. (2013). Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case. Universität Paderborn.
LibreCat: /record/492

von Detten, M. (2013). Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies. Universität Paderborn.
LibreCat: /record/494

Mohr, F., Lettmann, T., &; Kleine Büning, H. (2013). Reducing Nondeterminism in Automated Service Composition. In Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA) (pp. 154–161).https://doi.org/10.1109/SOCA.2013.25 
LibreCat: /record/495
DOI: 10.1109/SOCA.2013.25

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

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

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

de Lemos, R., Giese, H., A. Müller, H., Shaw, M., Andersson, J., Litoiu, M.,https://doi.org/10.1007/978-3-642-35813-5_1__Wuttke, J. (2013). Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems II, 1–32.https://doi.org/10.1007/978-3-642-35813-5_1 
LibreCat: /record/7271
DOI: 10.1007/978-3-642-35813-5_1

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

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

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

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

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

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

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

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

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

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

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

Spijkerman, M. (2013). Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden. In Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium) SE 2013 (to appear) (Vol. 215, pp. 425--434). GI.
LibreCat: /record/8485

Nagel , B., Gerth , C., Post, J., &; Engels, G. (2013). 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) (Vol. 998, pp. 9--16). CEUR-WS.org.
LibreCat: /record/8486

Kehrer , T., &; Gerth, C. (2013). 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) (Vol. 33, pp. 32–34). FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI).
LibreCat: /record/8487

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

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