- All Titles
- Klassifikation (DDC)
- Besondere Sammlungen
- Veröffentlichungen der Universität
- Erzbischöfliche Akademische Bibliothek Paderborn
- Amtliche Mitteilungen. Verkündungsblatt der Universität Paderborn.
- Socioeconomics of personnel papers
- Wirtschaftspädagogische Beiträge
- Verlagsschriftenreihe des Heinz Nixdorf Instituts
- Sammlung J. A. Schmoll gen. Eisenwerth
- Studien der Paderborner Komparatistik
- Paderborner Schriften zur sonderpädagogischen Förderung
- The Encyclopedia of Concise Concepts by Women Philosophers
- Sammlung Ralf-Günter Stefan
- Sonstiges
- Paderborner Historische Mitteilungen
- Sammlung Höxter
- Bibliothekskatalog der Paderborner Kapuziner von 1761
Adapting taint analyses for detecting security vulnerabilities
Elektronische Ressource, Paderborn, 2022
Challenges in information representation with augmented reality for procedural task support
Elektronische Ressource, Paderborn, 2024CogniCrypt - the secure integration of cryptographic software
Elektronische Ressource, Paderborn, 2020Computing on encrypted data using trusted execution environments
Elektronische Ressource, Paderborn, 2021Cooperative Android App analysis
Elektronische Ressource, Paderborn, 2023Early performance analysis of automation systems based on systems engineering models
Elektronische Ressource, Paderborn, 2017Engineering self-adaptive systems with simulation-based performance prediction
Elektronische Ressource, Paderborn, 2017Improving real-world applicability of static taint analysis
Elektronische Ressource, Paderborn, 2021Large Scale Scanning of TLS Session Ticket Confusion
Elektronische Ressource, Paderborn, 2023Model-driven information flow security engineering for cyber-physical systems
Elektronische Ressource, Paderborn, 2020Model-Driven software modernization
concept-based engineering of situation-specific methodsElektronische Ressource, Paderborn, 2016On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017Project-specific software engineering methods
composition, enactment, and quality assuranceElektronische Ressource, Paderborn, 2016Safety requirements engineering for early SIL tailoring
Elektronische Ressource, Paderborn, 2019Scaling static whole-program analysis to modern C and C++ software development
statically analyzing C and C++ software with PhASARPaderborn, 2024Secure use of open-source software
a systematic study and techniques for JavaElektronische Ressource, Paderborn, 2024Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Elektronische Ressource, Paderborn, 2024Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019A systematic analysis and hardening of the Java security architecture
Elektronische Ressource, Paderborn, 2019User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019