Veröffentlichungen der Universität / Computerprogrammierung, Programme, Daten [21-40]

Computing on encrypted data using trusted execution environments
Fischer, Andreas ; Bodden, Eric ; Kerschbaum, Florian
Elektronische Ressource, Paderborn, 2021
Empirical analysis of eye movements during code reading
evaluation and development of methods
Busjahn, Teresa ; Schulte, Carsten ; Sharif, Bonita ; Barendsen, Erik
Elektronische Ressource, Paderborn, 2021
A value-centered software engineering approach for unique and novel software-based solutions
aligning design thinking with a coopetition-based evolutionary software development
Senft, Björn ; Engels, Gregor ; Schulte, Carsten ; Meister, Dorothee M. ; Oberthür, Simon ; Selke, Harald
Elektronische Ressource, Paderborn, 2021
Adapt cases 4 BPM
Adaptivity Engineering für flexible und anpassbare Prozesse
Teetz, Alexander ; Engels, Gregor ; Wrede, Britta
Elektronische Ressource, Paderborn, 2019
Efficient parallel branch-and-bound search on FPGAs using work stealing and instance-specific designs
Riebler, Heinrich ; Plessl, Christian ; Platzner, Marco ; Meyer auf der Heide, Friedhelm ; Tierney, Kevin ; Lettmann, Theodor
Elektronische Ressource, Paderborn, 2019
Synchronized pushdown systems for pointer and data-flow analysis
Späth, Johannes ; Bodden, Eric ; Ali, Karim
Elektronische Ressource, Paderborn, 2019
User-centered tool design for data-flow analysis
Nguyen Quang Do, Lisa ; Bodden, Eric ; Ali, Karim ; Murphy-Hill, Emerson ; Wehrheim, Heike ; Hermann, Ben
Elektronische Ressource, Paderborn, 2019
Bewertung automatisch erkannter Instanzen von Software-Mustern
Travkin, Dietrich ; Schäfer, Wilhelm ; Kindler, Ekkart
Elektronische Ressource, Paderborn, 2018
Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen
Travkin, Dietrich ; Schäfer, Wilhelm ; Kleine Büning, Hans
Elektronische Ressource, Paderborn, 2018
Knowledge-based verification of service compositions
Walther, Sven ; Wehrheim, Heike
Elektronische Ressource, Paderborn, 2018
Local strategies for swarm formations on a grid
Jung, Daniel ; Meyer auf der Heide, Friedhelm ; Scheideler, Christian
Elektronische Ressource, Paderborn, 2018
Modellgetriebener Einsatz von Softwareentwurfsmustern
Travkin, Dietrich ; Anjorin, Anthony ; Zündorf, Albert ; Wehrheim, Heike ; Meyer, Matthias ; Sauer, Stefan
Elektronische Ressource, Paderborn, 2018
Engineering self-adaptive systems with simulation-based performance prediction
Becker, Matthias Wilhelm ; Becker, Steffen ; Engels, Gregor ; Bodden, Eric ; Hüllermeier, Eyke ; Platenius, Marie Christin
Elektronische Ressource, Paderborn, 2017
On-The-Fly safety checking - customizing program certification and program restructuring
Jakobs, Marie-Christine ; Wehrheim, Heike ; Beyer, Dirk ; Bodden, Eric ; Platzner, Marco ; Platenius, Marie Christin
Elektronische Ressource, Paderborn, 2017
Systematik zur geschäftsmodellorientierten Technologiefrühaufklärung
Placzek, Markus ; Gausemeier, Jürgen
Elektronische Ressource, Paderborn, 2017
Towards automated service composition under quality constraints
Mohr, Felix ; Kleine Büning, Hans
Elektronische Ressource, Paderborn, 2017
Verifying concurrent programs under weak memory models
Travkin, Oleg ; Wehrheim, Heike ; Kleine Büning, Hans ; Ngonga Ngomo, Axel-Cyrille ; Platzner, Marco ; Simon, Jens
Elektronische Ressource, Paderborn, 2017
Physical attacks on pairing-based cryptography
Günther, Peter ; Blömer, Johannes
Elektronische Ressource, Paderborn, 2016
Goal-oriented business process engineering
Nagel, Benjamin
2015
Methoden und Werkzeuge zur Entwicklung dreidimensionaler visueller Sprachen
Wolter, Jan
2015
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

Computing on encrypted data using trusted execution environments

Empirical analysis of eye movements during code reading

A value-centered software engineering approach for unique and novel software-based solutions

Adapt cases 4 BPM

Efficient parallel branch-and-bound search on FPGAs using work stealing and instance-specific designs

Synchronized pushdown systems for pointer and data-flow analysis

User-centered tool design for data-flow analysis

Bewertung automatisch erkannter Instanzen von Software-Mustern

Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen

Knowledge-based verification of service compositions

Local strategies for swarm formations on a grid

Modellgetriebener Einsatz von Softwareentwurfsmustern

Engineering self-adaptive systems with simulation-based performance prediction

On-The-Fly safety checking - customizing program certification and program restructuring

Systematik zur geschäftsmodellorientierten Technologiefrühaufklärung

Towards automated service composition under quality constraints

Verifying concurrent programs under weak memory models

Physical attacks on pairing-based cryptography

Goal-oriented business process engineering

Methoden und Werkzeuge zur Entwicklung dreidimensionaler visueller Sprachen