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