- 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
Cooperative Android App analysis
Elektronische Ressource, Paderborn, 2023
Dyad ranking with generalized Plackett-Luce models
Elektronische Ressource, Paderborn, 2018Enhancing development and deployment of softwarised network services
Elektronische Ressource, Paderborn, 2020Fuzzy matching of comprehensive service specifications
Elektronische Ressource, Paderborn, 2016Graph transformation planning with time and concurrency
Elektronische Ressource, Paderborn, 2016Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware
Elektronische Ressource, Paderborn, 2021Induction-based Verification of Timed Systems
Elektronische Ressource, Paderborn, 2016Knowledge-based verification of service compositions
Elektronische Ressource, Paderborn, 2018Modellgetriebener Einsatz von Softwareentwurfsmustern
Elektronische Ressource, Paderborn, 2018On the membership and correctness problem for state serializability and value opacity
Elektronische Ressource, Paderborn, 2023On-The-Fly Computing
Individualized IT-services in dynamic markets : Collaborative Research Centre 901 (2011 - 2023)Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, 2023On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017Timing Verifikation von AUTOSAR Softwarearchitekturen
Elektronische Ressource, Paderborn, 2022User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017