en
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.
1986 Publications
2019 | Conference Paper | LibreCat-ID: 6976
Always be Two Steps Ahead of Your Enemy - Maintaining a Routable Overlay under Massive Churn with an Almost Up-to-date Adversary
T. Götte, V.R. Vijayalakshmi, C. Scheideler, in: Proceedings of the 2019 IEEE 33rd International Parallel and Distributed Processing Symposium (IPDPS ’19), IEEE, n.d.
LibreCat
| Files available
T. Götte, V.R. Vijayalakshmi, C. Scheideler, in: Proceedings of the 2019 IEEE 33rd International Parallel and Distributed Processing Symposium (IPDPS ’19), IEEE, n.d.
2019 | Conference Paper | LibreCat-ID: 7669
A Digital Twin-Based Multi-Modal UI Adaptation Framework for Assistance Systems in Industry 4.0 (to appear)
K. Josifovska, E. Yigitbas, G. Engels, in: Proceedings of the 21st International Conference on Human-Computer Interaction (HCII 2019), 2019.
LibreCat
K. Josifovska, E. Yigitbas, G. Engels, in: Proceedings of the 21st International Conference on Human-Computer Interaction (HCII 2019), 2019.
2019 | Dissertation | LibreCat-ID: 8080
Approximate Pure Nash Equilibria in Congestion, Opinion Formation and Facility Location Games
M. Feldotto, Approximate Pure Nash Equilibria in Congestion, Opinion Formation and Facility Location Games, Paderborn, 2019.
LibreCat
| Files available
| DOI
| Download (ext.)
M. Feldotto, Approximate Pure Nash Equilibria in Congestion, Opinion Formation and Facility Location Games, Paderborn, 2019.
2019 | Conference Paper | LibreCat-ID: 8833
Detection and Resolution of Data-Flow Differences in Business Process Models (to appear)
I. Jovanovikj, E. Yigitbas, C. Gerth, S. Sauer, G. Engels, in: 2019.
LibreCat
I. Jovanovikj, E. Yigitbas, C. Gerth, S. Sauer, G. Engels, in: 2019.
2019 | Conference Paper | LibreCat-ID: 3287
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets
S.B. Schneider, A. Sharma, H. Karl, H. Wehrheim, in: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), Washington, DC, USA, 2019.
LibreCat
| Files available
| Download (ext.)
S.B. Schneider, A. Sharma, H. Karl, H. Wehrheim, in: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), Washington, DC, USA, 2019.
2019 | Conference Paper | LibreCat-ID: 7626
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
P. Schubert, B. Hermann, E. Bodden, in: Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), 2019, pp. 393–410.
LibreCat
| Files available
| DOI
P. Schubert, B. Hermann, E. Bodden, in: Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), 2019, pp. 393–410.
2019 | Conference Paper | LibreCat-ID: 8240
SPRING: Scaling, Placement, and Routing of Heterogeneous Services with Flexible Structures
S. Dräxler, H. Karl, in: 5th IEEE International Conference on Network Softwarization (NetSoft) 2019, n.d.
LibreCat
S. Dräxler, H. Karl, in: 5th IEEE International Conference on Network Softwarization (NetSoft) 2019, n.d.
2019 | Journal Article | LibreCat-ID: 7689
Transparent Acceleration for Heterogeneous Platforms with Compilation to OpenCL (to appear)
H. Riebler, G.F. Vaz, T. Kenter, C. Plessl, ACM Trans. Archit. Code Optim. (TACO) (2019).
LibreCat
| Files available
H. Riebler, G.F. Vaz, T. Kenter, C. Plessl, ACM Trans. Archit. Code Optim. (TACO) (2019).
2019 | Journal Article | LibreCat-ID: 8543
Förderung von Kreativität in studentischen Kleingruppenprojekten in der Informatik – Ein Prototyping-basierter Ansatz
T.F. Strothmann, Die Hochschullehre (2019).
LibreCat
| Download (ext.)
T.F. Strothmann, Die Hochschullehre (2019).
2019 | Journal Article | LibreCat-ID: 8795
A flow handover protocol to support state migration in softwarized networks
M. Peuster, H. Küttner, H. Karl, International Journal of Network Management (2019).
LibreCat
| Files available
| DOI
| Download (ext.)
M. Peuster, H. Küttner, H. Karl, International Journal of Network Management (2019).
2019 | Journal Article | LibreCat-ID: 8113
Joint testing and profiling of microservice-based network services using TTCN-3
M. Peuster, C. Dröge, C. Boos, H. Karl, ICT Express (2019).
LibreCat
| Files available
| DOI
| Download (ext.)
M. Peuster, C. Dröge, C. Boos, H. Karl, ICT Express (2019).
2019 | Mastersthesis | LibreCat-ID: 7623
Combining Android Apps for Analysis Purposes
S. Zhang, Combining Android Apps for Analysis Purposes, 2019.
LibreCat
S. Zhang, Combining Android Apps for Analysis Purposes, 2019.
2019 | Conference Paper | LibreCat-ID: 6860
Power Allocation with a Wireless Multi-cast Aware Routing for Virtual Network Embedding
H. Afifi, H. Karl, in: 2019 16th IEEE Annual Consumer Communications & Networking Conference (CCNC2019), IEEE, Las Vegas, n.d.
LibreCat
| Files available
H. Afifi, H. Karl, in: 2019 16th IEEE Annual Consumer Communications & Networking Conference (CCNC2019), IEEE, Las Vegas, n.d.
2019 | Journal Article | LibreCat-ID: 8638
WindCORES - Digital Transformation with Renewable Energy (to appear)
E. Yigitbas, G. Schomaker, International Tube Association (ITAtube) Journal (2019).
LibreCat
E. Yigitbas, G. Schomaker, International Tube Association (ITAtube) Journal (2019).
2019 | Conference Paper | LibreCat-ID: 8835
Modular Construction of Context-Specific Test Case Migration Methods
I. Jovanovikj, E. Yigitbas, M. Grieger, S. Sauer, G. Engels, in: Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, SciTePress, 2019, pp. 536–543.
LibreCat
| DOI
I. Jovanovikj, E. Yigitbas, M. Grieger, S. Sauer, G. Engels, in: Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, SciTePress, 2019, pp. 536–543.
2019 | Conference Paper | LibreCat-ID: 8861
Consistent Runtime Adaptation of User Interfaces (to appear)
A. Anjorin, E. Yigitbas, H. Kaindl, in: Proceedings of the 8th International Workshop on Bidirectional Transformations (Bx 2019), 2019.
LibreCat
A. Anjorin, E. Yigitbas, H. Kaindl, in: Proceedings of the 8th International Workshop on Bidirectional Transformations (Bx 2019), 2019.
2019 | Conference Paper | LibreCat-ID: 8866
Scheduling on (Un-)Related Machines with Setup Times
K. Jansen, M. Maack, A. Mäcker, in: Proceedings of the 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2019.
LibreCat
K. Jansen, M. Maack, A. Mäcker, in: Proceedings of the 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2019.
2019 | Bachelorsthesis | LibreCat-ID: 7628
Modeling Crypto API usages in OpenSSL's EVP library
N. Selbach, Modeling Crypto API Usages in OpenSSL’s EVP Library, 2019.
LibreCat
N. Selbach, Modeling Crypto API Usages in OpenSSL’s EVP Library, 2019.
2019 | Journal Article | LibreCat-ID: 8880
Towards Model-based Development of Context-aware Augmented Reality Applications (to appear)
E. Yigitbas, I. Jovanovikj, S. Sauer, G. Engels, Softwaretechnik-Trends, Proceedings of the 21st Workshop Software-Reengineering & Evolution (WSRE) & 10th Workshop Design for Future (DFF) (2019).
LibreCat
E. Yigitbas, I. Jovanovikj, S. Sauer, G. Engels, Softwaretechnik-Trends, Proceedings of the 21st Workshop Software-Reengineering & Evolution (WSRE) & 10th Workshop Design for Future (DFF) (2019).
2019 | Conference Paper | LibreCat-ID: 7635
Testing Machine Learning Algorithms for Balanced Data Usage
A. Sharma, H. Wehrheim, in: IEEE International Conference on Software Testing, Verification and Validation (ICST), Xi’an, China, 2019.
LibreCat
A. Sharma, H. Wehrheim, in: IEEE International Conference on Software Testing, Verification and Validation (ICST), Xi’an, China, 2019.