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.

2855 Publications


2019 | Conference Paper | LibreCat-ID: 13557
Dynamic Searchable Encryption with Access Control
N. Löken, J. Blömer, in: 12th International Symposium on Foundations and Practice of Security, FPS 2019, Springer, 2019.
LibreCat | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 14896
ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules
A. Dann, B. Hermann, E. Bodden, IEEE Transactions on Software Engineering (2019) 1–1.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15003
Set-Valued Prediction in Multi-Class Classification
T. Mortier, M. Wydmuch, K. Dembczynski, E. Hüllermeier, W. Waegeman, in: Proceedings of the 31st Benelux Conference on Artificial Intelligence {(BNAIC} 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), Brussels, Belgium, November 6-8, 2019, 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 15015
Mining Rank Data
S. Henzgen, E. Hüllermeier, ACM Transactions on Knowledge Discovery from Data (2019) 1–36.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15375
Putting NFV into Reality: Physical Smart Manufacturing Testbed
M. Müller, D. Behnke, P.-B. Bök, S.B. Schneider, M. Peuster, H. Karl, in: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), IEEE, Dallas, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15332
Understanding Artificial Intelligence – A Project for the Development of Comprehensive Teaching Material
M. Schlichtig, S. Opel, L. Budde, C. Schulte, in: E. Jasutė, S. Pozdniakov (Eds.), ISSEP 2019 - 12th International Conference on Informatics in Schools: Situation, Evaluation and Perspectives, Local Proceedings, 2019, pp. 65–73.
LibreCat | Download (ext.)
 

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

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
 

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
 

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
 

2019 | Journal Article | LibreCat-ID: 10011
Editorial
M. Fränzle, D. Kapur, H. Wehrheim, N. Zhan, Formal Asp. Comput. 31 (2019) 1.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10092
Verifying C11 programs operationally
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: J. K. Hollingsworth, I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, {ACM}, 2019, pp. 355–365.
LibreCat | DOI
 

2019 | Mastersthesis | LibreCat-ID: 10105
Analyzing Data Usage in Array Programs
J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn, 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 8880
Towards Model-based Development of Context-aware Augmented Reality Applications
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) 39 (2019) 39–40.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 8861
Consistent Runtime Adaptation of User Interfaces
A. Anjorin, E. Yigitbas, H. Kaindl, in: Proceedings of the 8th International Workshop on Bidirectional Transformations (Bx 2019), CEUR-WS.org, 2019, pp. 61–65.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 8638
WindCORES - Digital Transformation with Renewable Energy
E. Yigitbas, G. Schomaker, International Tube Association (ITAtube) Journal (2019).
LibreCat
 

2019 | Book Chapter | LibreCat-ID: 12043
Verkehrssimulation im Hardware-in-the-Loop-Steuergerätetest
P. Reinold, N. Meyer, D. Buse, F. Klingler, C. Sommer, F. Dressler, M. Eisenbarth, J. Andert, in: Proceedings, Wiesbaden, 2019.
LibreCat | DOI
 

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), IEEE, Xi’an, China, 2019, pp. 125--135.
LibreCat | Files available
 

2019 | Conference Paper | LibreCat-ID: 9939
On-the-fly Usability Evaluation of Mobile Adaptive UIs through Instant User Feedback
E. Yigitbas, I. Jovanovikj, K. Josifovska, S. Sauer, G. Engels, in: Proceedings of the 17th IFIP TC.13 International Conference on Human-Computer Interaction (INTERACT 2019), Springer, LNCS, 2019, pp. 563–567.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 12889
A Model-based Framework for Context-aware Augmented Reality Applications
E. Yigitbas, I. Jovanovikj, S. Sauer, G. Engels, in: Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes (IFIP WG 13.2 & WG 13.5 International Workshop @ INTERACT2019), 2019.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed