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.

2065 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
 

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
 

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.)
 

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
 

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
 

2019 | Conference Paper | LibreCat-ID: 8871
Distributed Computation in Node-Capacitated Networks
J. Augustine, M. Ghaffari, R. Gmyr, K. Hinnenthal, F. Kuhn, J. Li, C. Scheideler, in: Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 9824
Introducing Automated Verification and Validation for Virtualized Network Functions and Services
M. Peuster, S.B. Schneider, M. Zhao, G. Xilouris, P. Trakadas, F. Vicens, W. Tavernier, T. Soenen, R. Vilalta, G. Andreou, D. Kyriazis, H. Karl, IEEE Communications Magazine (2019) 96–102.
LibreCat | Files available | DOI | Download (ext.)
 

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.)
 

2019 | Conference Paper | LibreCat-ID: 10088
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets
S. Schneider, A. Sharma, H. Karl, H. Wehrheim, in: {IFIP/IEEE} International Symposium on Integrated Network Management, {IM} 2019, Washington, DC, USA, April 09-11, 2019., 2019, pp. 116–124.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10108
Together Strong: Cooperative Android App Analysis
F. Pauck, H. Wehrheim, in: Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), n.d.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 9913
Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan
Q.A. Ahmed, T. Wiersema, M. Platzner, in: C. Hochberger, B. Nelson, A. Koch, R. Woods, P. Diniz (Eds.), Applied Reconfigurable Computing, Springer International Publishing, Cham, 2019, pp. 127–136.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 10095
PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)
C. Richter, H. Wehrheim, in: D. Beyer, M. Huisman, F. Kordon, B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, Springer, 2019, pp. 229–233.
LibreCat | DOI
 

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
 

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
 
 

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.)
 

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.)
 

2019 | Conference Paper | LibreCat-ID: 10091
Data Independence for Software Transactional Memory
J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 10096 LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 7623
Combining Android Apps for Analysis Purposes
S. Zhang, Combining Android Apps for Analysis Purposes, 2019.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed