12 Neuzugänge
Klassifikation
Schliessen
Filter
5

zu den Filteroptionen

vom 17.12.2020
Validation of software migration
model-driven co-migration of test cases
Jovanovikj, Ivan ; Engels, Gregor ; Ebert, Jürgen ; Bodden, Eric ; Sauer, Stefan ; Zimmermann, Olaf
Elektronische Ressource, Paderborn, 2020

vom 10.11.2020
CogniCrypt - the secure integration of cryptographic software
Stefan, Krüger ; Bodden, Eric ; Ali, Karim
Elektronische Ressource, Paderborn, 2020

vom 25.9.2020
Model-driven information flow security engineering for cyber-physical systems
Gerking, Christopher ; Bodden, Eric ; Reussner, Ralf
Elektronische Ressource, Paderborn, 2020

vom 31.10.2019
A systematic analysis and hardening of the Java security architecture
Holzinger, Philipp Albert ; Bodden, Eric
Elektronische Ressource, Paderborn, 2019

vom 24.10.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

vom 18.3.2019
Synchronized pushdown systems for pointer and data-flow analysis
Späth, Johannes ; Bodden, Eric ; Ali, Karim
Elektronische Ressource, Paderborn, 2019

vom 17.1.2019
Safety requirements engineering for early SIL tailoring
Fockel, Markus ; Bodden, Eric ; Greenyer, Joel
Elektronische Ressource, Paderborn, 2019

vom 28.11.2017
Early performance analysis of automation systems based on systems engineering models
Frieben, Jens ; Bodden, Eric ; Dumitrescu, Roman
Elektronische Ressource, Paderborn, 2017

vom 28.6.2017
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

vom 8.6.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

vom 7.10.2016
Project-specific software engineering methods
composition, enactment, and quality assurance
Fazal-Baqaie, Masud ; Engels, Gregor ; Kuhrmann, Marco ; Sauer, Stefan ; Bodden, Eric ; Kundisch, Dennis
Elektronische Ressource, Paderborn, 2016

vom 14.6.2016
Model-Driven software modernization
concept-based engineering of situation-specific methods
Grieger, Marvin ; Engels, Gregor ; Ebert, Jürgen ; Sauer, Stefan ; Anjorin, Anthony ; Bodden, Eric
Elektronische Ressource, Paderborn, 2016