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.
5786 Publications
2019 | Conference Paper | LibreCat-ID: 17404
Frank M, Rabe M, Koldewey C, et al. Classification-based Planning of Smart Service Portfolios. In: Proceedings of the ISPIM Connects. International Society for Professional Innovation Management (ISPIM); 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 17432
Baswana S, Gupta S, Tulsyan A. Fault Tolerant and Fully Dynamic DFS in Undirected Graphs: Simple Yet Efficient. In: 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019). Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik; 2019:65:1--65:16. doi:10.4230/LIPICS.MFCS.2019.65
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17565
Merten M-L, Seemann N, Wever MD. Grammatikwandel digital-kulturwissenschaftlich erforscht. Mittelniederdeutscher Sprachausbau im interdisziplinären Zugriff. Niederdeutsches Jahrbuch. 2019;(142):124-146.
LibreCat
2019 | Conference Paper | LibreCat-ID: 17667
Koning R, Polevoy G, Meijer L, de Laat C, Grosso P. Approaches for Collaborative Security Defences in Multi Network Environments. In: 2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom). 2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom). ; 2019:113-123. doi:10.1109/CSCloud/EdgeCom.2019.000-9
LibreCat
| DOI
| Download (ext.)
2019 | Mastersthesis | LibreCat-ID: 17809
N. N. Scalable Multi Objective Path Optimization for Multi-Laser Selective Laser Melting Scanning Systems.; 2019.
LibreCat
2019 | Dissertation | LibreCat-ID: 18975
Malatyali M. Big Data: Sublinear Algorithms for Distributed Data Streams. Universität Paderborn; 2019. doi:10.17619/UNIPB/1-766
LibreCat
| Files available
| DOI
2019 | Newspaper Article | LibreCat-ID: 20342
Kahl B, Kogan Y, Menzefricke JS. Servicerobotik kooperativ entwickeln. Computer & Automation. 2019:58-61.
LibreCat
2019 | Newspaper Article | LibreCat-ID: 20366
Koldewey C, Reinhold J, Willmes G, Michels JS. Smart Service-Innovationen - Gewusst wie. markt & wirtschaft westfalen - Das Wirtschaftsmagazin für zukunftsorientierte Unternehmer. 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20371
Koldewey C, Gausemeier J, Fischer S, Kage M. Entwicklung von Smart Service Strategien. In: Gausemeier J, Bauer W, Dumitrescu R, eds. Symposium für Vorausschau und Technologieplanung. Paderborn: HNI-Verlagsschriftenreihe; 2019.
LibreCat
2019 | Dissertation | LibreCat-ID: 20522
Holzinger P. A Systematic Analysis and Hardening of the Java Security Architecture. Universität Paderborn; 2019.
LibreCat
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 20524
Nguyen Quang Do L. User-Centered Tool Design for Data-Flow Analysis. Universität Paderborn; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20525
Stockmann L, Laux S, Bodden E. Architectural Runtime Verification. In: 2019 IEEE International Conference on Software Architecture Companion (ICSA-C). ; 2019:77-84. doi:10.1109/ICSA-C.2019.00021
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20527
Hazhirpasand M, Ghafari M, Krüger S, Bodden E, Nierstrasz O. The Impact of Developer Experience in Using Java Cryptography. In: 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM). ; 2019:1-6. doi:10.1109/ESEM.2019.8870184
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20528
Piskachev G, Petrasch T, Späth J, Bodden E. AuthCheck: Program-state Analysis for Access-control Vulnerabilities. In: 10th Workshop on Tools for Automatic Program Analysis (TAPAS). ; 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20529
Nachtigall M, Nguyen Quang Do L, Bodden E. Explaining Static Analysis -- A Perspective. In: 1st International Workshop on Explainable Software (EXPLAIN) at ASE. ; 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20531
Luo L, Bodden E, Späth J. A Qualitative Analysis of Android Taint-Analysis Results. In: IEEE/ACM International Conference on Automated Software Engineering (ASE 2019). ; 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20532
Piskachev G, Nguyen Quang Do L, Johnson O, Bodden E. SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods. In: IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track. ; 2019.
LibreCat
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 20533
Krüger S, Späth J, Ali K, Bodden E, Mezini M. CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Transactions on Software Engineering. Published online 2019:1-1. doi:10.1109/TSE.2019.2948910
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20534
Piskachev G, Nguyen Quang Do L, Bodden E. Codebase-Adaptive Detection of Security-Relevant Methods. In: ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). ; 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20535
Luo L, Dolby J, Bodden E. MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors. In: European Conference on Object-Oriented Programming (ECOOP). ; 2019.
LibreCat
| Download (ext.)