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.
10111 Publications
2018 | Conference Paper | LibreCat-ID: 6763
I. Jovanovikj, G. Engels, A. Anjorin, and S. Sauer, “Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model,” in Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs, Tallinn, Estonia, 2018, pp. 133–147.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6836
S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Making Linearizability Compositional for Partially Ordered Executions,” in Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6838
S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Making Linearizability Compositional for Partially Ordered Executions,” in Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6839
S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Brief Announcement: Generalising Concurrent Correctness to Weak Memory,” in 32nd International Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018, 2018, pp. 45:1-45:3.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6967
M. Derakhshanmanesh, J. Ebert, M. Grieger, and G. Engels, “Model-integrating development of software systems: a flexible component-based approach,” Software & Systems Modeling, pp. 1–30, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 6970 | 
S. B. Schneider, S. Dräxler, and H. Karl, “Trade-offs in Dynamic Resource Allocation in Network Function Virtualization,” in IEEE Global Communications Conference (GLOBECOM 2018), Abu Dhabi, UAE, 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 6972 |
S. B. Schneider, M. Peuster, and H. Karl, “A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms,” in IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018), Verona, Italy, 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 6974 |
S. B. Schneider, M. Peuster, W. Tavernier, and H. Karl, “A Fully Integrated Multi-Platform NFV SDK,” in IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018), Verona, Italy, 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 16937
J. Cunha, J. P. Fernandes, C. Kelleher, J. Mendes, and G. Engels, “2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC),” in Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018, Lisbon, Portugal, 2018.
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 16938
G. Engels, G. W. Maier, S. K. Ötting, E. Steffen, and A. Teetz, “Gerechtigkeit in flexiblen Arbeits- und Managementprozessen,” in Zukunft der Arbeit – Eine praxisnahe Betrachtung, S. Wischmann and E. A. Hartmann, Eds. Berlin, Heidelberg: Springer Verlag, 2018, pp. 221–231.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 1043
T. Isenberg, M.-C. Jakobs, F. Pauck, and H. Wehrheim, “Validity of Software Verification Results on Approximate Hardware,” IEEE Embedded Systems Letters, pp. 22–25, 2018.
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
R. Leer, Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
J. N. Strüwer, Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Conference (Editor) | LibreCat-ID: 10591
S. Abiteboul et al., Eds., Research Directions for Principles of Data Management, vol. 7, no. 1. 2018, pp. 1–29.
LibreCat
2018 | Journal Article | LibreCat-ID: 1063
N. Stroh-Maraun, D. Kaimann, and J. Cox, “More than skills: A novel matching proposal for multiplayer video games,” Entertainment Computing, vol. 25, pp. 26–36, 2018.
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1064
L. Rumert, Zu den Anreizwirkungen der Kronzeugenregelung - eine wettbewerbspolitische Analyse des Bierkartells. Universität Paderborn, 2018.
LibreCat
2018 | Mastersthesis | LibreCat-ID: 1066
M. F. Arfeen, How effective are leniency programs in cartel deterrence - An overview of the empirical and experimental literature. Universität Paderborn, 2018.
LibreCat