- Alle Titel
- Besondere Sammlungen
- Veröffentlichungen der Universität
- Universitätsleitung/-verwaltung
- Fakultät für Kulturwissenschaften
- Fakultät für Wirtschaftswissenschaften
- Fakultät für Naturwissenschaften
- Fakultät für Maschinenbau
- Fakultät für Elektrotechnik, Informatik und Mathematik
- Universitätsbibliothek
- Heinz Nixdorf Institut (HNI)
- Zentrum für Bildungsforschung und Lehrerbildung
- Zentrum für Informations- und Medientechnologien
- Sonstige Einrichtungen / Externe
Safety requirements engineering for early SIL tailoring
Elektronische Ressource, Paderborn, 2019
Scaling 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, 2019