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

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

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

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

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

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

Konzeption modellbasierter Benutzungsschnittstellen für verteilte Selbstbedienungssysteme
E. Yigitbas, C. Gerth, S. Sauer, 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

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

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

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

Zero Overhead Runtime Monitoring
D. Wonisch, A. Schremmer, H. Wehrheim, 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

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

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

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

Token Dissemination in Geometric Dynamic Networks
S. Abshoff, M. Benter, A. Cord-Landwehr, M. Malatyali, F. Meyer auf der Heide, 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

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

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

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

Semi-Automated Software Composition Through Generated Components
F. Mohr, H. Kleine Büning, 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

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