Dräxler, Martin, and Holger Karl. “Cross-Layer Scheduling for Multi-Quality Video Streaming in Cellular Wireless Networks.”https://doi.org/10.1109/IWCMC.2013.6583724__In 2013 9th International Wireless Communications and Mobile Computing Conference, IWCMC 2013, Sardinia, Italy, July 1-5, 2013, 1181--1186, 2013.https://doi.org/10.1109/IWCMC.2013.6583724 .
LibreCat: /record/777
DOI: 10.1109/IWCMC.2013.6583724

Dräxler, Martin, Johannes Blobel, Philipp Dreimann, Stefan Valentin, and Holger Karl. “Anticipatory Buffer Control and Quality Selection for Wireless Video Streaming.” CoRR, 2013.
LibreCat: /record/781

Nagel, Benjamin, Christian Gerth, Jennifer Post, and Gregor Engels. “Ensuring Consistency Among Business Goals and Business Process Models.” In Proceedings of the 17th IEEE International EDOC Conference (EDOC’13), 17–26. IEEE Computer Society, 2013.
LibreCat: /record/8057

Schumacher, Claudia, Gregor Engels, Baris Güldali, Markus Niehammer, and Matthias Hamburg. “Modellbasierte Bewertung von Testprozessen Nach TPI NEXT® Mit Geschäftsprozess-Mustern.” In Proceedings of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2013), Aachen (Germany), edited by Stefan Kowalewski and Bernhard Rumpe, P-213:331–44. Lecture Notes in Informatics (LNI). Bonn: Gesellschaft für Informatik (GI), 2013.
LibreCat: /record/8058

Engels, Gregor. “On-the-Fly Computing - Das Entwicklungs- Und Betriebsparadigma Für Softwaresysteme Der Zukunft.” In Software Engineering 2013, P-213:17–18. LNI, 2013.
LibreCat: /record/8059

Huma, Zille, Christian Gerth, Gregor Engels, and Oliver Juwig. “Automated Service Composition for On-the-Fly SOAs.” In Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13), 8274:524–32. LNCS . Berlin/Heidelberg: Springer-Verlag, 2013.
LibreCat: /record/8060

Luckey, Markus, and Gregor Engels. “High-­Quality Specification of Self-­Adaptive Software Systems.” In Proceeding of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 143–52. SEAMS ’13. New York, NY, USA: ACM, 2013.
LibreCat: /record/8061

Brüseke, Frank, Steffen Becker, and Gregor Engels. “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), 77–88. ACM New York, NY, USA, 2013.
LibreCat: /record/8062

Becker, Matthias, Markus Luckey, and Steffen Becker. “Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time.” In Ninth International ACM Sigsoft Conference on the Quality of Software Architectures, 43–52. QoSA 2013. New York, NY, USA: ACM New York, NY, USA, 2013.
LibreCat: /record/8063

Küster, Jochen, Dániel Kovács, Eduard Bauer, and Christian Gerth. Integrating Coverage Analysis into Test-Driven Development of Model Transformations. IBM Research Report. Zurich: IBM Research, 2013.
LibreCat: /record/8222

Huma, Zille, Christian Gerth, and Gregor Engels. Automated Service Discovery and Composition for On-the-Fly SOAs. University of Paderborn, Germany, 2013.
LibreCat: /record/8223

Yigitbas, Enes, Christian Gerth, and Stefan Sauer. “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, 2714–23, 2013.
LibreCat: /record/5752

Klompmaker, Florian, Volker Paelke, and Holger Gerhard Fischer. “A Taxonomy-Based Approach towards NUI Interaction Design.”https://doi.org/10.1007/978-3-642-39351-8_4__In Distributed, Ambient, and Pervasive Interactions, 8028:32–41. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.https://doi.org/10.1007/978-3-642-39351-8_4 .
LibreCat: /record/6276
DOI: 10.1007/978-3-642-39351-8_4

Fischer, Holger Gerhard, Benjamin Strenge, and Karsten Nebe. “Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design.”https://doi.org/10.1007/978-3-642-39229-0_28__In Design, User Experience, and Usability. Design Philosophy, Methods, and Tools, 8012:252–61. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.https://doi.org/10.1007/978-3-642-39229-0_28 .
LibreCat: /record/6279
DOI: 10.1007/978-3-642-39229-0_28

Fischer, Holger Gerhard, Thomas Geis, Rolf Molich, Oliver Kluge, Rüdiger Heimgärtner, and Peter Hunkirchen. “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, 28–34. German UPA, 2013.
LibreCat: /record/6284

Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Zero Overhead Runtime Monitoring.”https://doi.org/10.1007/978-3-642-40561-7_17__In Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 244–58. LNCS, 2013.https://doi.org/10.1007/978-3-642-40561-7_17 .
LibreCat: /record/469
DOI: 10.1007/978-3-642-40561-7_17

Wette, Philip, and Holger Karl. “Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow.”https://doi.org/10.1145/2486001.2491710__In Proceedings of the ACM SIGCOMM ’13, 541–42. Digital Library, 2013.https://doi.org/10.1145/2486001.2491710 .
LibreCat: /record/470
DOI: 10.1145/2486001.2491710

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

Kolman, Petr, and Christian Scheideler. “Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing.”https://doi.org/10.1007/s00224-013-9454-3__Theory of Computing Systems, no. 2 (2013): 341–63.https://doi.org/10.1007/s00224-013-9454-3 .
LibreCat: /record/476
DOI: 10.1007/s00224-013-9454-3

Abshoff, Sebastian, Markus Benter, Andreas Cord-Landwehr, Manuel Malatyali, and Friedhelm Meyer auf der Heide. “Token Dissemination in Geometric Dynamic Networks.”https://doi.org/10.1007/978-3-642-45346-5_3__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, 22–34. Lecture Notes in Computer Science, 2013.https://doi.org/10.1007/978-3-642-45346-5_3 .
LibreCat: /record/477
DOI: 10.1007/978-3-642-45346-5_3

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

Graffi, Kalman, and Lars Bremer. “Symbiotic Coupling of P and Cloud Systems: The Wikipedia Case.”https://doi.org/10.1109/ICC.2013.6655082__In Proceedings of the International Conference on Communications (ICC’13), 3444–49, 2013.https://doi.org/10.1109/ICC.2013.6655082 .
LibreCat: /record/481
DOI: 10.1109/ICC.2013.6655082

Platenius, Marie Christin, Markus von Detten, Christian Gerth, Wilhelm Schäfer, and Gregor Engels. “Service Matching under Consideration of Explicitly Specified Service Variants.”https://doi.org/10.1109/ICWS.2013.98__In IEEE 20th International Conference on Web Services (ICWS 2013), 613–14, 2013.https://doi.org/10.1109/ICWS.2013.98 .
LibreCat: /record/484
DOI: 10.1109/ICWS.2013.98

Mohr, Felix, and Hans Kleine Büning. “Semi-Automated Software Composition Through Generated Components.”https://doi.org/10.1145/2539150.2539235__In Proceedings of the 15th International Conference on Information Integration and Web-Based Applications &; Services (IiWAS), 676–80, 2013.https://doi.org/10.1145/2539150.2539235 .
LibreCat: /record/485
DOI: 10.1145/2539150.2539235

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

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

Blömer, Johannes, Peter Günther, and Volker Krummel. “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), 98–105, 2013.
LibreCat: /record/488

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

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

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

Mohr, Felix, Theodor Lettmann, and Hans Kleine Büning. “Reducing Nondeterminism in Automated Service Composition.”https://doi.org/10.1109/SOCA.2013.25__In Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 154–61, 2013.https://doi.org/10.1109/SOCA.2013.25 .
LibreCat: /record/495
DOI: 10.1109/SOCA.2013.25

Benter, Markus, Florentin Neumann, and Hannes Frey. “Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks.”https://doi.org/10.1109/INFCOM.2013.6567022__In Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2193–2201, 2013.https://doi.org/10.1109/INFCOM.2013.6567022 .
LibreCat: /record/496
DOI: 10.1109/INFCOM.2013.6567022

Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Programs from Proofs – A PCC Alternative.”https://doi.org/10.1007/978-3-642-39799-8_65__In Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 912–27. LNCS, 2013.https://doi.org/10.1007/978-3-642-39799-8_65 .
LibreCat: /record/498
DOI: 10.1007/978-3-642-39799-8_65

Kling, Peter, and Peter Pietrzyk. “Profitable Scheduling on Multiple Speed-Scalable Processors.”https://doi.org/10.1145/2486159.2486183__In Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 251–60, 2013.https://doi.org/10.1145/2486159.2486183 .
LibreCat: /record/499
DOI: 10.1145/2486159.2486183

Lemos, Rogrio de, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley Schmerl, et al. “Software Engineering for Self-Adaptive Systems: A Second Research Roadmap.”https://doi.org/10.1007/978-3-642-35813-5_1__Software Engineering for Self-Adaptive Systems II, 2013, 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, Elke, Baris Güldali, Andrea Herrmann, Thorsten Keuler, Daniel Moldt, and Matthias Riebisch. “Leichtgewichtige Traceability Im Agilen Entwicklungsprozess Am Beispiel von Scrum.” Softwaretechnik-Trends 33, no. 1 (2013): 29–30.
LibreCat: /record/7272

Grieger, Marvin, Baris Güldali, Stefan Sauer, and Michael Mlynarski. “Testen Bei Migrationsprojekten.” OBJEKTspektrum (Online Themenspecials), 2013, 1–4.
LibreCat: /record/7273

Fazal-Baqaie, Masud, Baris Güldali, Markus Luckey, Stefan Sauer, and Michael Spijkerman. “Maßgeschneidert Und Werkzeugunterstützt Entwickeln Angepasster Requirements Engineering-Methoden.” OBJEKTspektrum (Online Themenspecials), no. RE/2013 (2013): 1–5.
LibreCat: /record/7274

Engels, Gregor, and Markus Luckey. “Editorial.” Computer Science - Research and Development 28, no. 1 (2013): 1–2.
LibreCat: /record/7275

Engels, Gregor, Christian Gerth, Bernd Kleinjohann, Lisa Kleinjohann, Wolfgang Müller, and Stefan Sauer. “Informationstechnik Spart Ressourcen.” Forschungsforum Paderborn 16/2013 (2013): 54–61.
LibreCat: /record/7276

Gerth, Christian, Jochen Küster, Markus Luckey, and Gregor Engels. “Detection and Resolution of Conflicting Change Operations in Version Management of Process Models.” Software and Systems Modeling 12, no. 3 (2013): 517–35.
LibreCat: /record/7277

Faragó, David, Arne-Michael Törsel, Michael Mlynarski, Stephan Weißleder, Baris Güldali, and Christian Brandes. “Wirtschaftlichkeitsberechnung Für MBT: Wann Sich Modellbasiertes Testen Lohnt.” OBJEKTspektrum 4 (2013): 32–38.
LibreCat: /record/7278

Engels, Gregor, and Stefan Sauer. “Object-Oriented Modeling of Multimedia Applications.”https://doi.org/10.1142/4603__In Handbook of Software Engineering and Knowledge Engineering, edited by S K Chang, 2:21--53. Singapore: World Scientific Publishing Company, 2013.https://doi.org/10.1142/4603 .
LibreCat: /record/7523
DOI: https://doi.org/10.1142/4603

Soltenborn, Christian. Quality Assurance with Dynamic Meta Modeling. Universität Paderborn, 2013.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, Christian. Business Process Models - Change Management, 2013.
LibreCat: /record/7571

Biermann, Thorsten, Luca Scalia, Changsoon Choi, Wolfgang Kellerer, and Holger Karl. “How Backhaul Networks Influence the Feasibility of Coordinated Multipoint in Cellular Networks.”https://doi.org/10.1109/MCOM.2013.6576356__IEEE Communications Magazine, no. 8 (2013).https://doi.org/10.1109/MCOM.2013.6576356 .
LibreCat: /record/769
DOI: 10.1109/MCOM.2013.6576356

Spijkerman, Michael . “Ein Pragmatischer Ansatz Zur Entwicklung Situationsgerechter Entwicklungsmethoden.” In Software Engineering 2013 - Workshopband (Inkl. Doktorandensymposium) SE 2013 (to Appear), 215:425--434. LNI. GI, 2013.
LibreCat: /record/8485

Nagel , Benjamin , Christian  Gerth , Jennifer  Post, and Gregor 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), 998:9--16. CEUR Workshop Proceedings. CEUR-WS.org, 2013.
LibreCat: /record/8486

Kehrer , Timo , and Christian  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), 33:32–34. Softwaretechnik-Trends. FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI), 2013.
LibreCat: /record/8487

Grieger , Marvin , and Stefan Sauer. “Wiederverwendbarkeit von Migrationswissen Durch Techniken Der Modellgetriebenen Softwareentwicklung.” In Software Engineering 2013 Workshopband, 189–200. GI, Köllen Druck+Verlag GmbH, Bonn, 2013.
LibreCat: /record/8488