@articleDräxler_Blobel_Dreimann_Valentin_Karl_2013, title=Anticipatory Buffer Control and Quality Selection for Wireless Video Streaming, journal=CoRR, author=Dräxler, Martin and Blobel, Johannes and Dreimann, Philipp and Valentin, Stefan and Karl, Holger, year=2013 
LibreCat: /record/781

@inproceedingsNagel_Gerth_Post_Engels_2013, title=Ensuring Consistency Among Business Goals and Business Process Models, booktitle=Proceedings of the 17th IEEE International EDOC Conference (EDOC’13), publisher=IEEE Computer Society, author=Nagel, Benjamin and Gerth, Christian and Post, Jennifer and Engels, Gregor, year=2013, pages=17–26 
LibreCat: /record/8057

@inproceedingsSchumacher_Engels_Güldali_Niehammer_Hamburg_2013, place=Bonn, series=Lecture Notes in Informatics (LNI), title=Modellbasierte Bewertung von Testprozessen nach TPI NEXT® mit Geschäftsprozess-Mustern, volume=P-213, booktitle=Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2013), Aachen (Germany), publisher=Gesellschaft für Informatik (GI), author=Schumacher, Claudia and Engels, Gregor and Güldali, Baris and Niehammer, Markus and Hamburg, Matthias, editor=Kowalewski, Stefan and Rumpe, BernhardEditors, year=2013, pages=331–344, collection=Lecture Notes in Informatics (LNI) 
LibreCat: /record/8058

@inproceedingsEngels_2013, series=LNI, title=On-the-Fly Computing - Das Entwicklungs- und Betriebsparadigma für Softwaresysteme der Zukunft, volume=P-213, booktitle=Software Engineering 2013, author=Engels, Gregor, year=2013, pages=17–18, collection=LNI 
LibreCat: /record/8059

@inproceedingsHuma_Gerth_Engels_Juwig_2013, place=Berlin/Heidelberg, series=LNCS , title=Automated Service Composition for On-the-Fly SOAs, volume=8274, booktitle=Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13), publisher=Springer-Verlag, author=Huma, Zille and Gerth, Christian and Engels, Gregor and Juwig, Oliver, year=2013, pages=524–532, collection=LNCS  
LibreCat: /record/8060

@inproceedingsLuckey_Engels_2013, place=New York, NY, USA, series=SEAMS ’13, title=High-­Quality Specification of Self-­Adaptive Software Systems, booktitle=Proceeding of the 8th international symposium on Software engineering for adaptive and self-managing systems, publisher=ACM, author=Luckey, Markus and Engels, Gregor, year=2013, pages=143–152, collection=SEAMS ’13 
LibreCat: /record/8061

@inproceedingsBrüseke_Becker_Engels_2013, title=Decision Support via Automated Metric Comparison for the Palladio-based Performance Blame Analysis, booktitle=Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), Prague (Czech Republic), publisher=ACM New York, NY, USA, author=Brüseke, Frank and Becker, Steffen and Engels, Gregor, year=2013, pages=77–88 
LibreCat: /record/8062

@inproceedingsBecker_Luckey_Becker_2013, place=New York, NY, USA, series=QoSA 2013, title=Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time, booktitle=Ninth International ACM Sigsoft Conference on the Quality of Software Architectures, publisher=ACM New York, NY, USA, author=Becker, Matthias and Luckey, Markus and Becker, Steffen, year=2013, pages=43–52, collection=QoSA 2013 
LibreCat: /record/8063

@bookKüster_Kovács_Bauer_Gerth_2013, place=Zurich, series=IBM Research Report, title=Integrating Coverage Analysis into Test-driven Development of Model Transformations, publisher=IBM Research, author=Küster, Jochen and Kovács, Dániel and Bauer, Eduard and Gerth, Christian, year=2013, collection=IBM Research Report 
LibreCat: /record/8222

@bookHuma_Gerth_Engels_2013, title=Automated Service Discovery and Composition for On-the-Fly SOAs, publisher=University of Paderborn, Germany, author=Huma, Zille and Gerth, Christian and Engels, Gregor, year=2013 
LibreCat: /record/8223

@inproceedingsYigitbas_Gerth_Sauer_2013, title=Konzeption modellbasierter Benutzungsschnittstellen für verteilte Selbstbedienungssysteme, booktitle=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, author=Yigitbas, Enes and Gerth, Christian and Sauer, Stefan, year=2013, pages=2714–2723 
LibreCat: /record/5752

@inbookKlompmaker_Paelke_Fischer_2013, place=Berlin, Heidelberg, series=Lecture Notes in Computer Science, title=A Taxonomy-Based Approach towards NUI Interaction Design, volume=8028, DOI=10.1007/978-3-642-39351-8_4, booktitle=Distributed, Ambient, and Pervasive Interactions, publisher=Springer Berlin Heidelberg, author=Klompmaker, Florian and Paelke, Volker and Fischer, Holger Gerhard, year=2013, pages=32–41, collection=Lecture Notes in Computer Science 
LibreCat: /record/6276
DOI: 10.1007/978-3-642-39351-8_4

@inbookFischer_Strenge_Nebe_2013, place=Berlin, Heidelberg, series=Lecture Notes in Computer Science, title=Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design, volume=8012, DOI=10.1007/978-3-642-39229-0_28, booktitle=Design, User Experience, and Usability. Design Philosophy, Methods, and Tools, publisher=Springer Berlin Heidelberg, author=Fischer, Holger Gerhard and Strenge, Benjamin and Nebe, Karsten, year=2013, pages=252–261, collection=Lecture Notes in Computer Science 
LibreCat: /record/6279
DOI: 10.1007/978-3-642-39229-0_28

@inproceedingsFischer_Geis_Molich_Kluge_Heimgärtner_Hunkirchen_2013, title=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, booktitle=Jahresband Usability Professionals, publisher=German UPA, author=Fischer, Holger Gerhard and Geis, Thomas and Molich, Rolf and Kluge, Oliver and Heimgärtner, Rüdiger and Hunkirchen, Peter, year=2013, pages=28–34 
LibreCat: /record/6284

@inproceedingsWonisch_Schremmer_Wehrheim_2013, series=LNCS, title=Zero Overhead Runtime Monitoring, DOI=10.1007/978-3-642-40561-7_17, booktitle=Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), author=Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike, year=2013, pages=244–258, collection=LNCS 
LibreCat: /record/469
DOI: 10.1007/978-3-642-40561-7_17

@inproceedingsWette_Karl_2013, series=Digital Library, title=Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow, DOI=10.1145/2486001.2491710, booktitle=Proceedings of the ACM SIGCOMM ’13, author=Wette, Philip and Karl, Holger, year=2013, pages=541–542, collection=Digital Library 
LibreCat: /record/470
DOI: 10.1145/2486001.2491710

@bookTezer_2013, title=Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen, publisher=Universität Paderborn, author=Tezer, Alina, year=2013 
LibreCat: /record/471

@articleKolman_Scheideler_2013, title=Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing, DOI=10.1007/s00224-013-9454-3, number=2, journal=Theory of Computing Systems, publisher=Springer, author=Kolman, Petr and Scheideler, Christian, year=2013, pages=341–363 
LibreCat: /record/476
DOI: 10.1007/s00224-013-9454-3

@inproceedingsAbshoff_Benter_Cord-Landwehr_Malatyali_Meyer auf der Heide_2013, series=Lecture Notes in Computer Science, title=Token Dissemination in Geometric Dynamic Networks, DOI=10.1007/978-3-642-45346-5_3, booktitle=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, author=Abshoff, Sebastian and Benter, Markus and Cord-Landwehr, Andreas and Malatyali, Manuel and Meyer auf der Heide, Friedhelm, year=2013, pages=22–34, collection=Lecture Notes in Computer Science 
LibreCat: /record/477
DOI: 10.1007/978-3-642-45346-5_3

@bookTimm_2013, title=Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems, publisher=Universität Paderborn, author=Timm, Nils, year=2013 
LibreCat: /record/478