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.

7258 Publications


2017 | Report | LibreCat-ID: 72
Predicting Rankings of Software Verification Competitions
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Predicting Rankings of Software Verification Competitions, 2017.
LibreCat | Files available
 

2017 | Conference Paper | LibreCat-ID: 723 | OA
A flexible multi-pop infrastructure emulator for carrier-grade MANO systems
M. Peuster, S. Dräxler, H. Razzaghi Kouchaksaraei, S. van Rossem, W. Tavernier, H. Karl, in: IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--3.
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 73
PART_PW: From Partial Analysis Results to a Proof Witness
M.-C. Jakobs, in: A. Cimatti, M. Sirjani (Eds.), Software Engineering and Formal Methods, 2017, pp. 120–135.
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 84
MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract)
M.C. Platenius, S. Arifulina, W. Schäfer, in: Tagungsband Software Engineering, 2017, pp. 81--82.
LibreCat | Files available
 

2017 | Journal Article | LibreCat-ID: 8564
Interest development during the first year at university: do mathematical beliefs predict interest in mathematics?
M. Liebendörfer, S. Schukajlow, ZDM 49 (2017) 355–366.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 8752
Gradient-Based Multiobjective Optimization with Uncertainties
S. Peitz, M. Dellnitz, in: NEO 2016, Cham, 2017, pp. 159–182.
LibreCat | DOI
 

2017 | Dissertation | LibreCat-ID: 89
Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen
F.S. Bäumer, Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen, Universität Paderborn, 2017.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 9682
A monolithic, doubly-resonant parametric down-conversion source for Caesium Raman memories
B. Brecht, O. Lazo-Arjona, K.T. Kaczmarek, T. Parker, R. Ricken, V. Quiring, C. Eigner, K.H. Luo, H. Herrmann, C. Silberhorn, I.A. Walmsley, in: Frontiers in Optics 2017, 2017.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 97
From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process
L. van Rooijen, F.S. Bäumer, M.C. Platenius, M. Geierhos, H. Hamann, G. Engels, in: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), IEEE, Piscataway, NJ, USA, 2017, pp. 379–385.
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 98
From Open API to Semantic Specifications and Code Adapters
S. Schwichtenberg, C. Gerth, G. Engels, 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
,,Identification of Material Parameters for Constitutive Equations “
R. Mahnken, in: E. Stein, R. de Borst, T.J.R. Hughes (Eds.), Encyclopedia of Computational Mechanics, 2nd ed., John Wiley & Sons, 2017, p. 1165.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 99
Fault localization in service compositions
H. Wehrheim, in: Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS), 2017.
LibreCat | Files available
 

2017 | Conference Paper | LibreCat-ID: 9970
Modellbasierte Prognose der nutzbaren Restlebensdauer von Gummi-Metall-Elementen
A. Bender, J.K. Kimotho, S. Kohl, W. Sextro, K. Reinke, in: 15. Internationale Schienenfahrzeugtagung, 2017, pp. 123–125.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 5019
Design and Evaluation of a Model-Driven Decision Support System for Repurposing Electric Vehicle Batteries
B. Klör, M. Monhof, D. Beverungen, S. Bräuer, European Journal of Information Systems (EJIS) (2017) 1--19.
LibreCat | DOI
 

2017 | Book Chapter | LibreCat-ID: 5028
End-of-Life Solutions für eCar-Batterien --- Entwicklung hybrider Leistungsbündel und Informationssysteme zur Entscheidungsunterstützung (EOL-IS)
J. Becker, M. Monhof, D. Beverungen, S. Bräuer, B. Klör, F. Plenter, in: W. Ganz, A. Kampker, G. Satzger (Eds.), Dienstleistungen Als Erfolgsfaktor Für Elektromobilität. Ergebnisse Aus Dem Förderschwerpunkt “Dienstleistungsinnovationen Für Elektromobilität,” Stuttgart, 2017, pp. 24--29.
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 5076
Informationsmodellierung in Dienstleistungssystemen
D. Beverungen, M. Matzner, in: S. Roth, H. Corsten (Eds.), Handbuch Dienstleistungsmanagement, Verlag Franz Vahlen, München, 2017, p. S. 519–536.
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 5184
Schranken urheberrechtlicher Befugnisse
S. Müller, in: J. Ensthaler, S. Weidert (Eds.), Urheberrecht und Internet, 3rd ed., Deutscher Fachverlag, Frankfurt a. M, 2017, pp. 219–278.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 5204
IDEal: Efficient and Precise Alias-aware Dataflow Analysis
J. Späth, K. Ali, E. Bodden, in: 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH), ACM Press, 2017.
LibreCat | Files available | Download (ext.)
 

2017 | Journal Article | LibreCat-ID: 5209
Computation on Encrypted Data using Data Flow Authentication
A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, CoRR abs/1710.00390 (2017).
LibreCat | Files available | Download (ext.)
 

2017 | Journal Article | LibreCat-ID: 6543
Tunable femtosecond near-IR source by pumping an OPA directly with a 90 MHz Yb:fiber source
J. Mundry, J. Lohrenz, M. Betz, Applied Optics 56 (2017) 3104–3108.
LibreCat | DOI
 

Filters and Search Terms

isbn%3D978-92-79-15088-3

Search

Filter Publications

Display / Sort

Export / Embed