Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9727 Publications
2013 | Conference Paper | LibreCat-ID: 772
Hohenberger, Till, Matthias Herlich, and Holger Karl. “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, 1--6, 2013. https://doi.org/10.1109/ANTS.2013.6802869.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 773
M. Facca, Federico, Elio Salvadori, Holger Karl, Diego R. Lopez, Pedro Arranda Gutierrez, Dejan Kostic, and Roberto Riggio. “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, 105--110, 2013. https://doi.org/10.1109/EWSDN.2013.24.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 774
Cicconetti, Claudio, Arianna Morelli, Martin Dräxler, Holger Karl, Vincenzo Mancuso, Vincenzo Sciancalepore, Rohit Gupta, et al. “The Playground of Wireless Dense Networks of the Future.” In 2013 Future Network & Mobile Summit, Lisboa, Portugal, July 3-5, 2013, 1--4, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 775
Keller, Matthias, Manuel Peuster, Christoph Robbert, and Holger Karl. “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, 61--69, 2013. https://doi.org/10.1109/ICIN.2013.6670895.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 776
Herlich, Matthias, and Holger Karl. “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, 1--5, 2013.
LibreCat
2013 | Conference (Editor) | LibreCat-ID: 7762
Fazal-Baqaie, Masud, ed. 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. Lecture Notes in Informatics. GI, Köllen Druck+Verlag GmbH, Bonn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 777
Dräxler, Martin, and Holger Karl. “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, 1181--1186, 2013. https://doi.org/10.1109/IWCMC.2013.6583724.
LibreCat
| DOI
2013 | Preprint | LibreCat-ID: 781
Dräxler, Martin, Johannes Blobel, Philipp Dreimann, Stefan Valentin, and Holger Karl. “Anticipatory Buffer Control and Quality Selection for Wireless Video Streaming.” CoRR, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 8057
Nagel, Benjamin, Christian Gerth, Jennifer Post, and Gregor Engels. “Ensuring Consistency Among Business Goals and Business Process Models.” In Proceedings of the 17th IEEE International EDOC Conference (EDOC’13), 17–26. IEEE Computer Society, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8058
Schumacher, Claudia, Gregor Engels, Baris Güldali, Markus Niehammer, and Matthias Hamburg. “Modellbasierte Bewertung von Testprozessen Nach TPI NEXT® Mit Geschäftsprozess-Mustern.” In Proceedings of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2013), Aachen (Germany), edited by Stefan Kowalewski and Bernhard Rumpe, P-213:331–44. Lecture Notes in Informatics (LNI). Bonn: Gesellschaft für Informatik (GI), 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8059
Engels, Gregor. “On-the-Fly Computing - Das Entwicklungs- Und Betriebsparadigma Für Softwaresysteme Der Zukunft.” In Software Engineering 2013, P-213:17–18. LNI, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8060
Huma, Zille, Christian Gerth, Gregor Engels, and Oliver Juwig. “Automated Service Composition for On-the-Fly SOAs.” In Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13), 8274:524–32. LNCS . Berlin/Heidelberg: Springer-Verlag, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8061
Luckey, Markus, and Gregor Engels. “High-Quality Specification of Self-Adaptive Software Systems.” In Proceeding of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 143–52. SEAMS ’13. New York, NY, USA: ACM, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 8062
Brüseke, Frank, Steffen Becker, and Gregor Engels. “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), 77–88. ACM New York, NY, USA, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8063
Becker, Matthias, Markus Luckey, and Steffen Becker. “Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time.” In Ninth International ACM Sigsoft Conference on the Quality of Software Architectures, 43–52. QoSA 2013. New York, NY, USA: ACM New York, NY, USA, 2013.
LibreCat
2013 | Report | LibreCat-ID: 8222
Küster, Jochen, Dániel Kovács, Eduard Bauer, and Christian Gerth. Integrating Coverage Analysis into Test-Driven Development of Model Transformations. IBM Research Report. Zurich: IBM Research, 2013.
LibreCat
2013 | Report | LibreCat-ID: 8223
Huma, Zille, Christian Gerth, and Gregor Engels. Automated Service Discovery and Composition for On-the-Fly SOAs. University of Paderborn, Germany, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 5752
Yigitbas, Enes, Christian Gerth, and Stefan Sauer. “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, 2714–23, 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 6276
Klompmaker, Florian, Volker Paelke, and Holger Gerhard Fischer. “A Taxonomy-Based Approach towards NUI Interaction Design.” In Distributed, Ambient, and Pervasive Interactions, 8028:32–41. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. https://doi.org/10.1007/978-3-642-39351-8_4.
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 6279
Fischer, Holger Gerhard, Benjamin Strenge, and Karsten Nebe. “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, 8012:252–61. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. https://doi.org/10.1007/978-3-642-39229-0_28.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6284
Fischer, Holger Gerhard, Thomas Geis, Rolf Molich, Oliver Kluge, Rüdiger Heimgärtner, and Peter Hunkirchen. “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, 28–34. German UPA, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 469
Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Zero Overhead Runtime Monitoring.” In Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 244–58. LNCS, 2013. https://doi.org/10.1007/978-3-642-40561-7_17.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 470
Wette, Philip, and Holger Karl. “Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow.” In Proceedings of the ACM SIGCOMM ’13, 541–42. Digital Library, 2013. https://doi.org/10.1145/2486001.2491710.
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 471
Tezer, Alina. Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen. Universität Paderborn, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 476
Kolman, Petr, and Christian Scheideler. “Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing.” Theory of Computing Systems, no. 2 (2013): 341–63. https://doi.org/10.1007/s00224-013-9454-3.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 477
Abshoff, Sebastian, Markus Benter, Andreas Cord-Landwehr, Manuel Malatyali, and Friedhelm Meyer auf der Heide. “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, 22–34. Lecture Notes in Computer Science, 2013. https://doi.org/10.1007/978-3-642-45346-5_3.
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 478
Timm, Nils. Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 481
Graffi, Kalman, and Lars Bremer. “Symbiotic Coupling of P2P and Cloud Systems: The Wikipedia Case.” In Proceedings of the International Conference on Communications (ICC’13), 3444–49, 2013. https://doi.org/10.1109/ICC.2013.6655082.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 484
Platenius, Marie Christin, Markus von Detten, Christian Gerth, Wilhelm Schäfer, and Gregor Engels. “Service Matching under Consideration of Explicitly Specified Service Variants.” In IEEE 20th International Conference on Web Services (ICWS 2013), 613–14, 2013. https://doi.org/10.1109/ICWS.2013.98.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 485
Mohr, Felix, and Hans Kleine Büning. “Semi-Automated Software Composition Through Generated Components.” In Proceedings of the 15th International Conference on Information Integration and Web-Based Applications & Services (IiWAS), 676–80, 2013. https://doi.org/10.1145/2539150.2539235.
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 486
Otte, Oliver. Seitenkanalresistenz paarungsbasierter Kryptographie. Universität Paderborn, 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 487 | 
Bobolz, Jan. Security Proofs for Pairing-Based Cryptography in the Generic Group Model. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 488
Blömer, Johannes, Peter Günther, and Volker Krummel. “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), 98–105, 2013.
LibreCat
| Files available
2013 | Bachelorsthesis | LibreCat-ID: 490
Wallaschek, Felix. Routing in heterogenen OpenFlow Netzwerken. Universität Paderborn, 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 492
Robbert, Christoph. Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case. Universität Paderborn, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 494
Detten, Markus von. Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 495
Mohr, Felix, Theodor Lettmann, and Hans Kleine Büning. “Reducing Nondeterminism in Automated Service Composition.” In Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 154–61, 2013. https://doi.org/10.1109/SOCA.2013.25.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 496
Benter, Markus, Florentin Neumann, and Hannes Frey. “Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks.” In Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2193–2201, 2013. https://doi.org/10.1109/INFCOM.2013.6567022.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 498
Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Programs from Proofs – A PCC Alternative.” In Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 912–27. LNCS, 2013. https://doi.org/10.1007/978-3-642-39799-8_65.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 499
Kling, Peter, and Peter Pietrzyk. “Profitable Scheduling on Multiple Speed-Scalable Processors.” In Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 251–60, 2013. https://doi.org/10.1145/2486159.2486183.
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 7271
Lemos, Rogrio de, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley Schmerl, et al. “Software Engineering for Self-Adaptive Systems: A Second Research Roadmap.” Software Engineering for Self-Adaptive Systems II, 2013, 1–32. https://doi.org/10.1007/978-3-642-35813-5_1.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 7272
Bouillon, Elke, Baris Güldali, Andrea Herrmann, Thorsten Keuler, Daniel Moldt, and Matthias Riebisch. “Leichtgewichtige Traceability Im Agilen Entwicklungsprozess Am Beispiel von Scrum.” Softwaretechnik-Trends 33, no. 1 (2013): 29–30.
LibreCat
2013 | Journal Article | LibreCat-ID: 7273
Grieger, Marvin, Baris Güldali, Stefan Sauer, and Michael Mlynarski. “Testen Bei Migrationsprojekten.” OBJEKTspektrum (Online Themenspecials), 2013, 1–4.
LibreCat
2013 | Journal Article | LibreCat-ID: 7274
Fazal-Baqaie, Masud, Baris Güldali, Markus Luckey, Stefan Sauer, and Michael Spijkerman. “Maßgeschneidert Und Werkzeugunterstützt Entwickeln Angepasster Requirements Engineering-Methoden.” OBJEKTspektrum (Online Themenspecials), no. RE/2013 (2013): 1–5.
LibreCat
2013 | Journal Article | LibreCat-ID: 7275
Engels, Gregor, and Markus Luckey. “Editorial.” Computer Science - Research and Development 28, no. 1 (2013): 1–2.
LibreCat
2013 | Journal Article | LibreCat-ID: 7276
Engels, Gregor, Christian Gerth, Bernd Kleinjohann, Lisa Kleinjohann, Wolfgang Müller, and Stefan Sauer. “Informationstechnik Spart Ressourcen.” Forschungsforum Paderborn 16/2013 (2013): 54–61.
LibreCat
2013 | Journal Article | LibreCat-ID: 7277
Gerth, Christian, Jochen Küster, Markus Luckey, and Gregor Engels. “Detection and Resolution of Conflicting Change Operations in Version Management of Process Models.” Software and Systems Modeling 12, no. 3 (2013): 517–35.
LibreCat
2013 | Journal Article | LibreCat-ID: 7278
Faragó, David, Arne-Michael Törsel, Michael Mlynarski, Stephan Weißleder, Baris Güldali, and Christian Brandes. “Wirtschaftlichkeitsberechnung Für MBT: Wann Sich Modellbasiertes Testen Lohnt.” OBJEKTspektrum 4 (2013): 32–38.
LibreCat
2013 | Book Chapter | LibreCat-ID: 7523
Engels, Gregor, and Stefan Sauer. “Object-Oriented Modeling of Multimedia Applications.” In Handbook of Software Engineering and Knowledge Engineering, edited by S K Chang, 2:21--53. Singapore: World Scientific Publishing Company, 2013. https://doi.org/10.1142/4603.
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 7569
Soltenborn, Christian. Quality Assurance with Dynamic Meta Modeling. Universität Paderborn, 2013. http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420.
LibreCat
| DOI