Adapting taint analyses for detecting security vulnerabilities
Elektronische Ressource, Paderborn, 2022
CogniCrypt - 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, 2019Synchronized 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, 2019Validation of software migration
model-driven co-migration of test casesElektronische Ressource, Paderborn, 2020Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)
11. und 12. Mai 2017 Heinz Nixdorf MuseumsForum, PaderbornElektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2017
- 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