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

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

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

Brüseke F, Becker S, Engels G. 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). ACM New York, NY, USA; 2013:77-88.
LibreCat: /record/8062

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

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

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

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

Klompmaker F, Paelke V, Fischer HG. A Taxonomy-Based Approach towards NUI Interaction Design. In: Distributed, Ambient, and Pervasive Interactions. Vol 8028. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:32-41. doi:10.1007/978-3-642-39351-8_4
LibreCat: /record/6276
DOI: 10.1007/978-3-642-39351-8_4

Fischer HG, Strenge B, Nebe K. 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. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:252-261. doi:10.1007/978-3-642-39229-0_28
LibreCat: /record/6279
DOI: 10.1007/978-3-642-39229-0_28

Fischer HG, Geis T, Molich R, Kluge O, Heimgärtner R, Hunkirchen P. 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. German UPA; 2013:28-34.
LibreCat: /record/6284

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

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

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

Kolman P, Scheideler C. Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing. Theory of Computing Systems. 2013;(2):341-363. doi: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. 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. Lecture Notes in Computer Science. ; 2013:22-34. doi:10.1007/978-3-642-45346-5_3
LibreCat: /record/477
DOI: 10.1007/978-3-642-45346-5_3

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

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

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

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