M. Luckey and G. 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, 2013, pp. 143–152.
LibreCat: /record/8061

F. Brüseke, S. Becker, and G. 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), 2013, pp. 77–88.
LibreCat: /record/8062

M. Becker, M. Luckey, and S. 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, 2013, pp. 43–52.
LibreCat: /record/8063

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

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

E. Yigitbas, C. Gerth, and S. 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, 2013, pp. 2714–2723.
LibreCat: /record/5752

F. Klompmaker, V. Paelke, and H. G. Fischer, “A Taxonomy-Based Approach towards NUI Interaction Design,” in Distributed, Ambient, and Pervasive Interactions, vol. 8028, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 32–41.
LibreCat: /record/6276
DOI: 10.1007/978-3-642-39351-8_4

H. G. Fischer, B. Strenge, and K. Nebe, “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, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 252–261.
LibreCat: /record/6279
DOI: 10.1007/978-3-642-39229-0_28

H. G. Fischer, T. Geis, R. Molich, O. Kluge, R. Heimgärtner, and P. 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, 2013, pp. 28–34.
LibreCat: /record/6284

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

P. Wette and H. Karl, “Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow,” in Proceedings of the ACM SIGCOMM ’13, 2013, pp. 541–542.
LibreCat: /record/470
DOI: 10.1145/2486001.2491710

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

P. Kolman and C. Scheideler, “Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing,” Theory of Computing Systems, no. 2, pp. 341–363, 2013.
LibreCat: /record/476
DOI: 10.1007/s00224-013-9454-3

S. Abshoff, M. Benter, A. Cord-Landwehr, M. Malatyali, and F. Meyer auf der Heide, “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, 2013, pp. 22–34.
LibreCat: /record/477
DOI: 10.1007/978-3-642-45346-5_3

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

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

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

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

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

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