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.
7530 Publications
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 | 
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
2017 | Conference Paper | LibreCat-ID: 84
M. C. Platenius, S. Arifulina, and W. Schäfer, “MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract),” in Tagungsband Software Engineering, 2017, pp. 81--82.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 97
L. van Rooijen, F. S. Bäumer, M. C. Platenius, M. Geierhos, H. Hamann, and G. Engels, “From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process,” in 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), Lisbon, Portugal, 2017, pp. 379–385.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 98
S. Schwichtenberg, C. Gerth, and G. Engels, “From Open API to Semantic Specifications and Code Adapters,” in Proceedings of the 24th IEEE International Conference on Web Services (ICWS), 2017, pp. 484--491.
LibreCat
| Files available
2017 | Book Chapter | LibreCat-ID: 9872
R. Mahnken, “,,Identification of Material Parameters for Constitutive Equations “,” in Encyclopedia of Computational Mechanics, 2nd ed., vol. 4, E. Stein, R. de Borst, and T. J. R. Hughes, Eds. John Wiley & Sons, 2017, p. 1165.
LibreCat
2017 | Conference Paper | LibreCat-ID: 99
H. Wehrheim, “Fault localization in service compositions,” in Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS), 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 9970
A. Bender, J. K. Kimotho, S. Kohl, W. Sextro, and K. Reinke, “Modellbasierte Prognose der nutzbaren Restlebensdauer von Gummi-Metall-Elementen,” in 15. Internationale Schienenfahrzeugtagung, 2017, pp. 123–125.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 50
E. Hamdeev, Verzerrte Online-Produktbewertungen - Literaturüberblick. Universität Paderborn, 2017.
LibreCat
2017 | Book Chapter | LibreCat-ID: 5028
J. Becker, M. Monhof, D. Beverungen, S. Bräuer, B. Klör, and F. Plenter, “End-of-Life Solutions für eCar-Batterien --- Entwicklung hybrider Leistungsbündel und Informationssysteme zur Entscheidungsunterstützung (EOL-IS),” in Dienstleistungen als Erfolgsfaktor für Elektromobilität. Ergebnisse aus dem Förderschwerpunkt “Dienstleistungsinnovationen für Elektromobilität,” W. Ganz, A. Kampker, and G. Satzger, Eds. Stuttgart, 2017, pp. 24--29.
LibreCat
2017 | Book Chapter | LibreCat-ID: 5076
D. Beverungen and M. Matzner, “Informationsmodellierung in Dienstleistungssystemen,” in Handbuch Dienstleistungsmanagement, S. Roth and H. Corsten, Eds. München: Verlag Franz Vahlen, 2017, p. S. 519–536.
LibreCat
2017 | Book Chapter | LibreCat-ID: 5184
S. Müller, “Schranken urheberrechtlicher Befugnisse,” in Urheberrecht und Internet, 3rd ed., J. Ensthaler and S. Weidert, Eds. Frankfurt a. M: Deutscher Fachverlag, 2017, pp. 219–278.
LibreCat
2017 | Conference Paper | LibreCat-ID: 5204
J. Späth, K. Ali, and E. Bodden, “IDEal: Efficient and Precise Alias-aware Dataflow Analysis,” in 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH), 2017.
LibreCat
| Files available
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 5209
A. Fischer, B. Fuhry, F. Kerschbaum, and E. Bodden, “Computation on Encrypted Data using Data Flow Authentication,” CoRR, vol. abs/1710.00390, 2017.
LibreCat
| Files available
| Download (ext.)