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.
7878 Publications
2017 | Journal Article | LibreCat-ID: 90
T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” ACM Transactions on Embedded Computing Systems, no. 2, pp. 47:1-47:24, 2017.
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 93
M. Geierhos and F. S. Bäumer, “Guesswork? Resolving Vagueness in User-Generated Software Requirements,” in Partiality and Underspecification in Information, Languages, and Knowledge, 1st ed., H. Christiansen, M. D. Jiménez-López, R. Loukanova, and L. S. Moss, Eds. Newcastle upon Tyne, UK: Cambridge Scholars Publishing, 2017, pp. 65–108.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 79
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, and S. Riechers, “Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times,” in Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA), 2017, vol. 10787, pp. 207–222.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 82
F. N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, and P. Podlipyan, “Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity,” in Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW), 2017, pp. 139–150.
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 5694
N. N. Schnitker, Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 57
F. S. Bäumer, M. Dollmann, and M. Geierhos, “Studying Software Descriptions in SourceForge and App Stores for a better Understanding of real-life Requirements,” in Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics, Paderborn, Germany, 2017, pp. 19–25.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 5724
A. Hetzer and T. Tornede, Solving the Container Pre-Marshalling Problem using Reinforcement Learning and Structured Output Prediction. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 5739
E. Yigitbas, H. Stahl, S. Sauer, and G. Engels, “Self-adaptive UIs: Integrated Model-Driven Development of UIs and Their Adaptations,” in Modelling Foundations and Applications - 13th European Conference, {ECMFA} 2017, Held as Part of {STAF} 2017, Marburg, Germany, July 19-20, 2017, Proceedings, 2017, pp. 126–141.
LibreCat
| DOI
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