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.
5711 Publications
2013 | Conference (Editor) | LibreCat-ID: 7762
M. Fazal-Baqaie, 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. GI, Köllen Druck+Verlag GmbH, Bonn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 777
M. Dräxler and H. 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, 2013, pp. 1181--1186.
LibreCat
| DOI
2013 | Preprint | LibreCat-ID: 781
M. Dräxler, J. Blobel, P. Dreimann, S. Valentin, and H. Karl, “Anticipatory Buffer Control and Quality Selection for Wireless Video Streaming,” CoRR. 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 8057
B. Nagel, C. Gerth, J. Post, and G. Engels, “Ensuring Consistency Among Business Goals and Business Process Models,” in Proceedings of the 17th IEEE International EDOC Conference (EDOC’13), 2013, pp. 17–26.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8058
C. Schumacher, G. Engels, B. Güldali, M. Niehammer, and M. 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), 2013, vol. P-213, pp. 331–344.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8059
G. Engels, “On-the-Fly Computing - Das Entwicklungs- und Betriebsparadigma für Softwaresysteme der Zukunft,” in Software Engineering 2013, 2013, vol. P-213, pp. 17–18.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8060
Z. Huma, C. Gerth, G. Engels, and O. Juwig, “Automated Service Composition for On-the-Fly SOAs,” in Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13), 2013, vol. 8274, pp. 524–532.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8061
M. Luckey and G. 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, 2013, pp. 143–152.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 8062
F. Brüseke, S. Becker, and G. 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), 2013, pp. 77–88.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8063
M. Becker, M. Luckey, and S. 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, 2013, pp. 43–52.
LibreCat
2013 | Report | LibreCat-ID: 8222
J. Küster, D. Kovács, E. Bauer, and C. Gerth, Integrating Coverage Analysis into Test-driven Development of Model Transformations. Zurich: IBM Research, 2013.
LibreCat
2013 | Report | LibreCat-ID: 8223
Z. Huma, C. Gerth, and G. Engels, Automated Service Discovery and Composition for On-the-Fly SOAs. University of Paderborn, Germany, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 5752
E. Yigitbas, C. Gerth, and S. 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, 2013, pp. 2714–2723.
LibreCat
2013 | Book Chapter | LibreCat-ID: 6279
H. G. Fischer, B. Strenge, and K. 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, vol. 8012, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 252–261.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6284
H. G. Fischer, T. Geis, R. Molich, O. Kluge, R. Heimgärtner, and P. 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, 2013, pp. 28–34.
LibreCat
2013 | Conference Paper | LibreCat-ID: 469
D. Wonisch, A. Schremmer, and H. Wehrheim, “Zero Overhead Runtime Monitoring,” in Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 2013, pp. 244–258.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 470
P. Wette and H. Karl, “Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow,” in Proceedings of the ACM SIGCOMM ’13, 2013, pp. 541–542.
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 471
A. Tezer, Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen. Universität Paderborn, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 476
P. Kolman and C. Scheideler, “Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing,” Theory of Computing Systems, no. 2, pp. 341–363, 2013.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 477
S. Abshoff, M. Benter, A. Cord-Landwehr, M. Malatyali, and F. 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, 2013, pp. 22–34.
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 478
N. Timm, Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 481
K. Graffi and L. Bremer, “Symbiotic Coupling of P2P and Cloud Systems: The Wikipedia Case,” in Proceedings of the International Conference on Communications (ICC’13), 2013, pp. 3444–3449.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 484
M. C. Platenius, M. von Detten, C. Gerth, W. Schäfer, and G. Engels, “Service Matching under Consideration of Explicitly Specified Service Variants,” in IEEE 20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–614.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 485
F. Mohr and H. 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), 2013, pp. 676–680.
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 486
O. Otte, Seitenkanalresistenz paarungsbasierter Kryptographie. Universität Paderborn, 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 487 | 
J. Bobolz, Security Proofs for Pairing-Based Cryptography in the Generic Group Model. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 488
J. Blömer, P. Günther, and V. 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), 2013, pp. 98–105.
LibreCat
| Files available
2013 | Bachelorsthesis | LibreCat-ID: 490
F. Wallaschek, Routing in heterogenen OpenFlow Netzwerken. Universität Paderborn, 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 492
C. Robbert, Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case. Universität Paderborn, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 494
M. von Detten, 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
F. Mohr, T. Lettmann, and H. Kleine Büning, “Reducing Nondeterminism in Automated Service Composition,” in Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 2013, pp. 154–161.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 496
M. Benter, F. Neumann, and H. Frey, “Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks,” in Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 2193–2201.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 498
D. Wonisch, A. Schremmer, and H. Wehrheim, “Programs from Proofs – A PCC Alternative,” in Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–927.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 499
P. Kling and P. Pietrzyk, “Profitable Scheduling on Multiple Speed-Scalable Processors,” in Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2013, pp. 251–260.
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 7272
E. Bouillon, B. Güldali, A. Herrmann, T. Keuler, D. Moldt, and M. Riebisch, “Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum,” Softwaretechnik-Trends, vol. 33, no. 1, pp. 29–30, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 7273
M. Grieger, B. Güldali, S. Sauer, and M. Mlynarski, “Testen bei Migrationsprojekten,” OBJEKTspektrum (Online Themenspecials), pp. 1–4, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 7274
M. Fazal-Baqaie, B. Güldali, M. Luckey, S. Sauer, and M. Spijkerman, “Maßgeschneidert und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden,” OBJEKTspektrum (Online Themenspecials), no. RE/2013, pp. 1–5, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 7275
G. Engels and M. Luckey, “Editorial,” Computer Science - Research and Development, vol. 28, no. 1, pp. 1–2, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 7276
G. Engels, C. Gerth, B. Kleinjohann, L. Kleinjohann, W. Müller, and S. Sauer, “Informationstechnik spart Ressourcen,” Forschungsforum Paderborn, vol. 16/2013, pp. 54–61, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 7277
C. Gerth, J. Küster, M. Luckey, and G. Engels, “Detection and Resolution of Conflicting Change Operations in Version Management of Process Models,” Software and Systems Modeling, vol. 12, no. 3, pp. 517–535, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 7278
D. Faragó, A.-M. Törsel, M. Mlynarski, S. Weißleder, B. Güldali, and C. Brandes, “Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt,” OBJEKTspektrum, vol. 4, pp. 32–38, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 7571
C. Gerth, Business Process Models - Change Management. 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 8485
M. Spijkerman, “Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden,” in Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium) SE 2013 (to appear), 2013, vol. 215, pp. 425--434.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8486
B. Nagel , C. Gerth , J. Post, and G. Engels, “Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies,” in Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13), 2013, vol. 998, pp. 9--16.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8487
T. Kehrer and C. Gerth, “CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models.,” in Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13), 2013, vol. 33, no. 2, pp. 32–34.
LibreCat