- 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
- Zeitzeugen der Digitalisierung
- Erwin Quedenfeldt: Einzelbilder vom Mittelrhein
- Erwin Quedenfeldt: Einzelbilder von der Mosel
- on 09/12/2025

- on 23/05/2025

- on 18/12/2024
Scaling static whole-program analysis to modern C and C++ software development
statically analyzing C and C++ software with PhASARPaderborn, 2024
- on 07/09/2024
Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Elektronische Ressource, Paderborn, 2024
- on 25/04/2024
Secure use of open-source software
a systematic study and techniques for JavaElektronische Ressource, Paderborn, 2024
- on 24/01/2024
Challenges in information representation with augmented reality for procedural task support
Elektronische Ressource, Paderborn, 2024
- on 13/07/2023
Large Scale Scanning of TLS Session Ticket Confusion
Elektronische Ressource, Paderborn, 2023
- on 18/05/2023
Cooperative Android App analysis
Elektronische Ressource, Paderborn, 2023
- on 16/02/2023
Adapting taint analyses for detecting security vulnerabilities
Elektronische Ressource, Paderborn, 2022
- on 12/11/2021
Improving real-world applicability of static taint analysis
Elektronische Ressource, Paderborn, 2021
- on 21/05/2021
Computing on encrypted data using trusted execution environments
Elektronische Ressource, Paderborn, 2021
- on 17/12/2020
Validation of software migration
model-driven co-migration of test casesElektronische Ressource, Paderborn, 2020
- on 10/11/2020
CogniCrypt - the secure integration of cryptographic software
Elektronische Ressource, Paderborn, 2020
- on 25/09/2020
Model-driven information flow security engineering for cyber-physical systems
Elektronische Ressource, Paderborn, 2020
- on 31/10/2019
A systematic analysis and hardening of the Java security architecture
Elektronische Ressource, Paderborn, 2019
- on 24/10/2019
User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019
- on 18/03/2019
Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019
- on 17/01/2019
Safety requirements engineering for early SIL tailoring
Elektronische Ressource, Paderborn, 2019
- on 28/11/2017
Early performance analysis of automation systems based on systems engineering models
Elektronische Ressource, Paderborn, 2017
- on 28/06/2017
Engineering self-adaptive systems with simulation-based performance prediction
Elektronische Ressource, Paderborn, 2017
- on 08/06/2017
On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017
- on 18/05/2017
Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)
11. und 12. Mai 2017 Heinz Nixdorf MuseumsForum, PaderbornElektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2017
- on 07/10/2016
Project-specific software engineering methods
composition, enactment, and quality assuranceElektronische Ressource, Paderborn, 2016
- on 14/06/2016
Model-Driven software modernization
concept-based engineering of situation-specific methodsElektronische Ressource, Paderborn, 2016
