- Alle Titel
- 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
- Zeitzeugen der Digitalisierung
- Erwin Quedenfeldt: Einzelbilder vom Mittelrhein
- Erwin Quedenfeldt: Einzelbilder von der Mosel
- vom 23.5.2025
- vom 18.12.2024
Scaling static whole-program analysis to modern C and C++ software development
statically analyzing C and C++ software with PhASARPaderborn, 2024
- vom 7.9.2024
Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Elektronische Ressource, Paderborn, 2024
- vom 25.4.2024
Secure use of open-source software
a systematic study and techniques for JavaElektronische Ressource, Paderborn, 2024
- vom 24.1.2024
Challenges in information representation with augmented reality for procedural task support
Elektronische Ressource, Paderborn, 2024
- vom 13.7.2023
Large Scale Scanning of TLS Session Ticket Confusion
Elektronische Ressource, Paderborn, 2023
- vom 18.5.2023
Cooperative Android App analysis
Elektronische Ressource, Paderborn, 2023
- vom 16.2.2023
Adapting taint analyses for detecting security vulnerabilities
Elektronische Ressource, Paderborn, 2022
- vom 12.11.2021
Improving real-world applicability of static taint analysis
Elektronische Ressource, Paderborn, 2021
- vom 21.5.2021
Computing on encrypted data using trusted execution environments
Elektronische Ressource, Paderborn, 2021
- vom 17.12.2020
Validation of software migration
model-driven co-migration of test casesElektronische Ressource, Paderborn, 2020
- vom 10.11.2020
CogniCrypt - the secure integration of cryptographic software
Elektronische Ressource, Paderborn, 2020
- vom 25.9.2020
Model-driven information flow security engineering for cyber-physical systems
Elektronische Ressource, Paderborn, 2020
- vom 31.10.2019
A systematic analysis and hardening of the Java security architecture
Elektronische Ressource, Paderborn, 2019
- vom 24.10.2019
User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019
- vom 18.3.2019
Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019
- vom 17.1.2019
Safety requirements engineering for early SIL tailoring
Elektronische Ressource, Paderborn, 2019
- vom 28.11.2017
Early performance analysis of automation systems based on systems engineering models
Elektronische Ressource, Paderborn, 2017
- vom 28.6.2017
Engineering self-adaptive systems with simulation-based performance prediction
Elektronische Ressource, Paderborn, 2017
- vom 8.6.2017
On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017
- vom 7.10.2016
Project-specific software engineering methods
composition, enactment, and quality assuranceElektronische Ressource, Paderborn, 2016
- vom 14.6.2016
Model-Driven software modernization
concept-based engineering of situation-specific methodsElektronische Ressource, Paderborn, 2016