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.
9837 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
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Predicting Rankings of Software Verification Competitions, 2017.
2017 | Conference Paper | LibreCat-ID: 723 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
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
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.
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
M.-C. Jakobs, in: A. Cimatti, M. Sirjani (Eds.), Software Engineering and Formal Methods, 2017, pp. 120–135.
2017 | Mastersthesis | LibreCat-ID: 74
OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten
C. Knorr, OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten, Universität Paderborn, 2017.
LibreCat
C. Knorr, OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten, Universität Paderborn, 2017.
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
M.C. Platenius, S. Arifulina, W. Schäfer, in: Tagungsband Software Engineering, 2017, pp. 81--82.
2017 | Bachelorsthesis | LibreCat-ID: 85
Literaturüberblick über die Rolle von Business Architecture in Enterprise Architecture
L. Lohrsträter, Literaturüberblick über die Rolle von Business Architecture in Enterprise Architecture, Universität Paderborn, 2017.
LibreCat
L. Lohrsträter, Literaturüberblick über die Rolle von Business Architecture in Enterprise Architecture, Universität Paderborn, 2017.
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
M. Liebendörfer, S. Schukajlow, ZDM 49 (2017) 355–366.
2017 | Conference Paper | LibreCat-ID: 87 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Joint Optimization of Scaling and Placement of Virtual Network Services
S. Dräxler, H. Karl, Z.A. Mann, in: Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2017), 2017.
LibreCat
| Files available
| DOI
S. Dräxler, H. Karl, Z.A. Mann, in: Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2017), 2017.
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
S. Peitz, M. Dellnitz, in: NEO 2016, Cham, 2017, pp. 159–182.
2017 | Bachelorsthesis | LibreCat-ID: 88
Instantiating a Predicate Encryption Scheme via Pair Encodings
A. Ganesh Athreya, Instantiating a Predicate Encryption Scheme via Pair Encodings, Universität Paderborn, 2017.
LibreCat
A. Ganesh Athreya, Instantiating a Predicate Encryption Scheme via Pair Encodings, Universität Paderborn, 2017.
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
F.S. Bäumer, Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen, Universität Paderborn, 2017.
2017 | Bachelorsthesis | LibreCat-ID: 96
Geschäftsmodell-Frameworks zur Analyse und Klassifikation bestehender Geschäftsmodelle
M. Warkentin, Geschäftsmodell-Frameworks zur Analyse und Klassifikation bestehender Geschäftsmodelle, Universität Paderborn, 2017.
LibreCat
M. Warkentin, Geschäftsmodell-Frameworks zur Analyse und Klassifikation bestehender Geschäftsmodelle, Universität Paderborn, 2017.
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
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.
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
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.
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
S. Schwichtenberg, C. Gerth, G. Engels, in: Proceedings of the 24th IEEE International Conference on Web Services (ICWS), 2017, pp. 484--491.
2017 | Conference Paper | LibreCat-ID: 981 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Profile Your Chains, Not Functions. Automated Network Service Profiling in DevOps Environments
M. Peuster, H. Karl, in: IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN), Berlin, 2017.
LibreCat
| Files available
| DOI
M. Peuster, H. Karl, in: IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN), Berlin, 2017.
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
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.
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
H. Wehrheim, in: Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS), 2017.
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
A. Bender, J.K. Kimotho, S. Kohl, W. Sextro, K. Reinke, in: 15. Internationale Schienenfahrzeugtagung, 2017, pp. 123–125.
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
B. Klör, M. Monhof, D. Beverungen, S. Bräuer, European Journal of Information Systems (EJIS) (2017) 1--19.