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.
9332 Publications
2019 | Journal Article | LibreCat-ID: 20430
Welling, W., et al. “Progressive Strength Training Restores Quadriceps and Hamstring Muscle Strength within 7 Months after ACL Reconstruction in Amateur Male Soccer Players.” Phys Ther Sport, vol. 40, 2019, pp. 10–18, doi:10.1016/j.ptsp.2019.08.004.
LibreCat
| DOI
| PubMed | Europe PMC
2019 | Dissertation | LibreCat-ID: 20522
Holzinger, Philipp. 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, Lisa. User-Centered Tool Design for Data-Flow Analysis. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20525
Stockmann, Lars, et al. “Architectural Runtime Verification.” 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), 2019, pp. 77–84, doi:10.1109/ICSA-C.2019.00021.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20527
Hazhirpasand, Mohammadreza, et al. “The Impact of Developer Experience in Using Java Cryptography.” 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), 2019, pp. 1–6, doi:10.1109/ESEM.2019.8870184.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20528
Piskachev, Goran, et al. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.” 10th Workshop on Tools for Automatic Program Analysis (TAPAS), 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20529
Nachtigall, Marcus, et al. “Explaining Static Analysis -- A Perspective.” 1st International Workshop on Explainable Software (EXPLAIN) at ASE, 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20531
Luo, Linghui, et al. “A Qualitative Analysis of Android Taint-Analysis Results.” IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20532
Piskachev, Goran, et al. “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods.” 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, Stefan, et al. “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.” IEEE Transactions on Software Engineering, 2019, pp. 1–1, doi:10.1109/TSE.2019.2948910.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20534
Piskachev, Goran, et al. “Codebase-Adaptive Detection of Security-Relevant Methods.” ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20535
Luo, Linghui, et al. “MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors.” European Conference on Object-Oriented Programming (ECOOP), 2019.
LibreCat
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 20536
Späth, Johannes. Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Universität Paderborn, 2019.
LibreCat
| Download (ext.)
2019 | Report | LibreCat-ID: 20537
Piskachev, Goran, et al. Codebase-Adaptive Detection of Security-Relevant Methods. 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20538
Albert Gorski Iii, Sigmund, et al. “ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware.” ACM Conference on Data and Application Security and Privacy (CODASPY 2019), 2019.
LibreCat
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 20539
Späth, Johannes, et al. “Context-, Flow-, and Field-Sensitive Data-Flow Analysis Using Synchronized Pushdown Systems.” Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages, vol. 3, no. POPL, ACM, 2019, p. 48:1-48:29, doi:10.1145/3290361.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20759
Gerking, Christopher, and David Schubert. “Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures.” International Conference on Software Architecture (ICSA 2019), 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 20811
Jean, Frédéric, et al. “On Projective and Affine Equivalence of Sub-Riemannian Metrics.” Geometriae Dedicata, 2019, pp. 279–319, doi:10.1007/s10711-019-00437-1.
LibreCat
| DOI
2019 | Preprint | LibreCat-ID: 18018
Bengs, Viktor, and Hajo Holzmann. “Uniform Approximation in Classical Weak Convergence Theory.” ArXiv:1903.09864, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22443
Lieneke, Tobias, et al. “Manufacturing Accuracy In Additive Manufacturing: A Method To Determine Geometrical Tolerances.” Special Interest Group Meeting: Advancing Precision in Additive Manufacturing, 2019, doi:https://www.euspen.eu/knowledge-base/AM19129.pdf.
LibreCat
| DOI