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.
11509 Publications
2017 | Conference Paper | LibreCat-ID: 2344 | 
Blömer, Johannes, et al. “Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations.” Foundations and Practice of Security, Springer International Publishing, 2017, pp. 3–17, doi:10.1007/978-3-319-75650-9_1.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 23572
Yang, Xiaojun, et al. “Untersuchung der Interdisziplinarität im Leichtbau zur Erreichung einer nachhaltigen Wertschöpfungskette.” Sustainability Management for Industries 7: Transformationen - Neue Wege zu industrieller Nachhaltigkeit, 2017, pp. 31–42.
LibreCat
2017 | Book Chapter | LibreCat-ID: 2381
Brauer, Sascha. “Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems.” Lecture Notes in Computer Science, edited by Dimitris Fotakis et al., vol. 10236, Springer International Publishing, 2017, pp. 116–27, doi:10.1007/978-3-319-57586-5_11.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 20460
Berner, K., et al. “Objective Impairments of Glait and Balance in Adults Living with HIV-1 Infection: A Systematic Review and Meta-Analysis of Observational Studies.” BMC Musculoskelet Disord, vol. 18, no. 1, 2017, p. 325.
LibreCat
2017 | Book Chapter | LibreCat-ID: 2050
Krimphove, Dieter. “Kommentierung § 3 GWB (Mittelstandskartelle).” Kölner Kommentar Zum Kartellrecht Bd. 1 ( §§ 1 – 34a GWB), edited by Jan Busche and Andreas Röhling, Carl Heymanns Verlag KG, 2017, pp. 466 – 538.
LibreCat
2017 | Book Chapter | LibreCat-ID: 20552
Gerking, Christopher, et al. “Industrial Security by Design.” Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, edited by Günter W. Maier et al., Springer Berlin Heidelberg, 2017, pp. 1–24, doi:10.1007/978-3-662-52903-4_8-1.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 20553
Ben Othmane, Lotfi, et al. “Time for Addressing Software Security Issues: Prediction Models and Impacting Factors.” Data Science and Engineering, vol. 2, no. 2, 2017, pp. 107–24, doi:https://doi.org/10.1007/s41019-016-0019-8.
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 20554
Bodden, Eric. Self-Adaptive Static Analysis. 2017.
LibreCat
| Download (ext.)
2017 | Report | LibreCat-ID: 20555
Krüger, Stefan, et al. CrySL: Validating Correct Usage of Cryptographic APIs. 2017.
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 20557
Lillack, Max, et al. “Tracking Load-Time Configuration Options.” IEEE Transactions on Software Engineering, vol. PP, no. 99, 2017, pp. 1–1, doi:10.1109/TSE.2017.2756048.
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20558
Krüger, Stefan, et al. “CogniCrypt: Supporting Developers in Using Cryptography.” International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track, 2017.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20559
Do, Lisa Nguyen Quang, et al. “Just-in-Time Static Analysis.” Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 307–17, doi:10.1145/3092703.3092705.
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20715
Nguyen Quang Do, Lisa, et al. “Cheetah: Just-in-Time Taint Analysis for Android Apps.” International Conference for Software Engineering (ICSE), Tool Demonstrations Track, 2017.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20792
Schivo, Stefano, et al. “How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.” Dependable Software Engineering, 3rd International Symposium (SETTA 2017), edited by Kim G. Larsen et al., no. 10606, Springer, 2017, pp. 319–36, doi:10.1007/978-3-319-69483-2_19.
LibreCat
| DOI
2017 | Dissertation | LibreCat-ID: 20794
Dziwok, Stefan. Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems. Paderborn University, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20797
Gerking, Christopher, et al. “Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities.” Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017), edited by Esther Guerra and Mark van den Brand, no. 10374, Springer, 2017, pp. 19–34.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20804
Geismann, Johannes, et al. “Towards an Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.” Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017.
LibreCat
2017 | Dissertation | LibreCat-ID: 20805
Becker, Matthias. Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18026
Burkhardt, Michél. Untersuchungen Zum Cone-Hashing. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18027
Banh, Ngoc Chi. An Asynchronous Adaption of a Churn-Resistant Overlay Network. Universität Paderborn, 2017.
LibreCat