Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Elektronische Ressource, Paderborn, 2024
Speeding up random access machines by few processors
In: STACS 1986, Jg. 1986, S. 142-152Structured parallel programming with a highly concurrent programming language
In: Atti del Congresso dell'AICA / Associazione Italiana per il Calcolo Automatico, Jg. 1980, S. 279-294Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019Synthesis related aspects of simulation
In: The synthesis approach to digital system design, Jg. 1992, S. 303-334Systematic review of engineering simulation models for life cycle assessment
In: 1st International Symposium : March 24 – 26, 2026, Heinz Nixdorf Institute, Paderborn University / is organized by the Chair for Product Creation at Heinz Nixdorf Institute ; Editors: Prof. Dr.-Ing. Iris Graessler (Paderborn University), Seite 239-248Systematik zur geschäftsmodellorientierten Technologiefrühaufklärung
Elektronische Ressource, Paderborn, 2017Systematik zur lösungsmusterbasierten Entwicklung von Frugal Innovations
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2017Systematischer Entwurf eines 32-Bit Mikroprozessors als Ausbildungsaufgabe
In: Architektur und Betrieb von Rechensystemen, Jg. 9.1986, S. 44-55Szenariobasierte Synthese verteilter mechatronischer Systeme
Elektronische Ressource, Paderborn, 2016Ein theoretisches Modell des Zeitverhaltens digitaler Schaltungen und seiner Anwendung in Simulationshard- und -software
In: Software Tagungsband NTG-Fachtagung Entwurfsautomatisierung für Datenverarbeitungsanlagen und deren Komponenten, Karlsruhe, 25, Jg. 1974, S. 65-68Time-efficient link discovery for data-driven applications
Elektronische Ressource, Paderborn, 2021Towards automated service composition under quality constraints
Elektronische Ressource, Paderborn, 2017Towards structured knowledge reuse to support design for manufacturability
a case-based reasoning approachIn: 1st International Symposium : March 24 – 26, 2026, Heinz Nixdorf Institute, Paderborn University / is organized by the Chair for Product Creation at Heinz Nixdorf Institute ; Editors: Prof. Dr.-Ing. Iris Graessler (Paderborn University), Seite 169-178