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.
7891 Publications
2017 | Conference Paper | LibreCat-ID: 5741
E. Yigitbas, S. Grün, S. Sauer, and G. Engels, “Model-Driven Context Management for Self-adaptive User Interfaces,” in Ubiquitous Computing and Ambient Intelligence - 11th International Conference, UCAmI 2017, Philadelphia, PA, USA, November 7-10, 2017, Proceedings, 2017, pp. 624–635.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 5769
M. Töws and H. Wehrheim, “Policy Dependent and Independent Information Flow Analyses,” in Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods (ICFEM 2017), 2017, pp. 362–378.
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 6255
H. G. Fischer, M. Engler, and S. Sauer, “A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0,” in Design, User Experience, and Usability: Theory, Methodology, and Management, vol. 10288, Cham: Springer International Publishing, 2017, pp. 570–583.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 6256
H. G. Fischer, B. Senft, and K. Stahl, “Akzeptierte Assistenzsysteme in der Arbeitswelt 4.0 durch systematisches Human-Centered Software Engineering,” in Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, 2017, vol. 369, pp. 197–210.
LibreCat
| DOI
2017 | Mastersthesis | LibreCat-ID: 46
F. Grobbel, Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen. Universität Paderborn, 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 47
M. Theda, Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 70
B. Feldkord, C. Markarian, and F. Meyer auf der Heide, “Price Fluctuations in Online Leasing,” in Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2017, pp. 17–31.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 71
M. Czech, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, “Predicting Rankings of Software Verification Tools,” in Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26.
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 72
M. Czech, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, Predicting Rankings of Software Verification Competitions. 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 723 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
M. Peuster, S. Dräxler, H. Razzaghi Kouchaksaraei, S. van Rossem, W. Tavernier, and H. Karl, “A flexible multi-pop infrastructure emulator for carrier-grade MANO systems,” in IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, Bologna, 2017, pp. 1--3.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 73
M.-C. Jakobs, “PART_PW: From Partial Analysis Results to a Proof Witness,” in Software Engineering and Formal Methods, 2017, pp. 120–135.
LibreCat
| Files available
| DOI