Noé, F., &; Nüske, F. (2013). A Variational Approach to Modeling Slow Processes in Stochastic Dynamical Systems. Multiscale Modeling &; Simulation, 635–655.https://doi.org/10.1137/110858616 
LibreCat: /record/21935
DOI: 10.1137/110858616

Dannewitz, C., Kutscher, D., Ohlman, B., Farrell, S., Ahlgren, B., &; Karl, H. (2013). Network of Information (NetInf) - An information-centric networking architecture. Computer Communications, (7), 721--735.https://doi.org/10.1016/j.comcom.2013.01.009 
LibreCat: /record/770
DOI: 10.1016/j.comcom.2013.01.009

Dräxler, M., Biermann, T., &; Karl, H. (2013). Improving Cooperative Transmission Feasibility by Network Reconfiguration in Limited Backhaul Networks. International Journal of Wireless Information Networks, (3), 183--194.https://doi.org/10.1007/s10776-013-0207-7 
LibreCat: /record/771
DOI: 10.1007/s10776-013-0207-7

Hohenberger, T., Herlich, M., &; Karl, H. (2013). Trade-off between latency and coverage in cooperative radio access networks. In IEEE International Conference on Advanced Networks and Telecommunications Systems, ANTS 2013, Kattankulathur, India, December 15-18, 2013 (pp. 1--6).https://doi.org/10.1109/ANTS.2013.6802869 
LibreCat: /record/772
DOI: 10.1109/ANTS.2013.6802869

M. Facca, F., Salvadori, E., Karl, H., R. Lopez, D., Arranda Gutierrez, P., Kostic, D., &; Riggio, R. (2013). NetIDE: First Steps towards an Integrated Development Environment for Portable Network Apps. In Second European Workshop on Software Defined Networks, EWSDN 2013, Berlin, Germany, October 10-11, 2013 (pp. 105--110).https://doi.org/10.1109/EWSDN.2013.24 
LibreCat: /record/773
DOI: 10.1109/EWSDN.2013.24

Cicconetti, C., Morelli, A., Dräxler, M., Karl, H., Mancuso, V., Sciancalepore, V.,  Roullet, L. (2013). The playground of Wireless Dense networks of the future. In 2013 Future Network &; Mobile Summit, Lisboa, Portugal, July 3-5, 2013 (pp. 1--4).
LibreCat: /record/774

Keller, M., Peuster, M., Robbert, C., &; Karl, H. (2013). A topology-aware adaptive deployment framework for elastic applications. In 17th International Conference on Intelligence in Next Generation Networks, ICIN 2013, Venice, Italy, October 15-16, 2013 (pp. 61--69).https://doi.org/10.1109/ICIN.2013.6670895 
LibreCat: /record/775
DOI: 10.1109/ICIN.2013.6670895

Herlich, M., &; Karl, H. (2013). Energy-Efficient Assignment of User Equipment to Cooperative Base Stations. In ISWCS 2013, The Tenth International Symposium on Wireless Communication Systems, Ilmenau, Germany, August 27-30, 2013 (pp. 1--5).
LibreCat: /record/776

Fazal-Baqaie, M. (Ed.). (2013). Vorgehensmodelle 2013: Vorgehensmodelle - Anspruch und Wirklichkeit - Proceedings der 20. Tagung der Fachgruppe Vorgehensmodelle im Fachgebiet Wirtschaftsinformatik (WI-VM) der Gesellschaft für Informatik e.V., Lörrach (Germany) (Vol. P-224). GI, Köllen Druck+Verlag GmbH, Bonn.
LibreCat: /record/7762

Dräxler, M., &; Karl, H. (2013). Cross-layer scheduling for multi-quality video streaming in cellular wireless networks. In 2013 9th International Wireless Communications and Mobile Computing Conference, IWCMC 2013, Sardinia, Italy, July 1-5, 2013 (pp. 1181--1186).https://doi.org/10.1109/IWCMC.2013.6583724 
LibreCat: /record/777
DOI: 10.1109/IWCMC.2013.6583724

Dräxler, M., Blobel, J., Dreimann, P., Valentin, S., &; Karl, H. (2013). Anticipatory Buffer Control and Quality Selection for Wireless Video Streaming. CoRR.
LibreCat: /record/781

Nagel, B., Gerth, C., Post, J., &; Engels, G. (2013). Ensuring Consistency Among Business Goals and Business Process Models. In Proceedings of the 17th IEEE International EDOC Conference (EDOC’13) (pp. 17–26). IEEE Computer Society.
LibreCat: /record/8057

Schumacher, C., Engels, G., Güldali, B., Niehammer, M., &; Hamburg, M. (2013). Modellbasierte Bewertung von Testprozessen nach TPI NEXT® mit Geschäftsprozess-Mustern. In S. Kowalewski &; B. Rumpe (Eds.), Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2013), Aachen (Germany) (Vol. P-213, pp. 331–344). Bonn: Gesellschaft für Informatik (GI).
LibreCat: /record/8058

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

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

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

Blömer, J., Günther, P., &; Krummel, V. (2013). 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) (pp. 98–105).
LibreCat: /record/488

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

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

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

Mohr, F., Lettmann, T., &; Kleine Büning, H. (2013). Reducing Nondeterminism in Automated Service Composition. In Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA) (pp. 154–161).https://doi.org/10.1109/SOCA.2013.25 
LibreCat: /record/495
DOI: 10.1109/SOCA.2013.25

Benter, M., Neumann, F., &; Frey, H. (2013). Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks. In Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM) (pp. 2193–2201).https://doi.org/10.1109/INFCOM.2013.6567022 
LibreCat: /record/496
DOI: 10.1109/INFCOM.2013.6567022

Wonisch, D., Schremmer, A., &; Wehrheim, H. (2013). Programs from Proofs – A PCC Alternative. In Proceedings of the 25th International Conference on Computer Aided Verification (CAV) (pp. 912–927).https://doi.org/10.1007/978-3-642-39799-8_65 
LibreCat: /record/498
DOI: 10.1007/978-3-642-39799-8_65

Kling, P., &; Pietrzyk, P. (2013). Profitable Scheduling on Multiple Speed-Scalable Processors. In Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) (pp. 251–260).https://doi.org/10.1145/2486159.2486183 
LibreCat: /record/499
DOI: 10.1145/2486159.2486183

de Lemos, R., Giese, H., A. Müller, H., Shaw, M., Andersson, J., Litoiu, M.,https://doi.org/10.1007/978-3-642-35813-5_1__Wuttke, J. (2013). Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems II, 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, E., Güldali, B., Herrmann, A., Keuler, T., Moldt, D., &; Riebisch, M. (2013). Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum. Softwaretechnik-Trends, 33(1), 29–30.
LibreCat: /record/7272

Grieger, M., Güldali, B., Sauer, S., &; Mlynarski, M. (2013). Testen bei Migrationsprojekten. OBJEKTspektrum (Online Themenspecials), 1–4.
LibreCat: /record/7273

Fazal-Baqaie, M., Güldali, B., Luckey, M., Sauer, S., &; Spijkerman, M. (2013). Maßgeschneidert und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden. OBJEKTspektrum (Online Themenspecials), (RE/2013), 1–5.
LibreCat: /record/7274

Engels, G., &; Luckey, M. (2013). Editorial. Computer Science - Research and Development, 28(1), 1–2.
LibreCat: /record/7275

Engels, G., Gerth, C., Kleinjohann, B., Kleinjohann, L., Müller, W., &; Sauer, S. (2013). Informationstechnik spart Ressourcen. Forschungsforum Paderborn, 16/2013, 54–61.
LibreCat: /record/7276

Gerth, C., Küster, J., Luckey, M., &; Engels, G. (2013). Detection and Resolution of Conflicting Change Operations in Version Management of Process Models. Software and Systems Modeling, 12(3), 517–535.
LibreCat: /record/7277