Engineering self-adaptive systems with simulation-based performance prediction
Becker, Matthias Wilhelm ; Becker, Steffen ; Engels, Gregor ; Bodden, Eric ; Hüllermeier, Eyke ; Platenius, Marie ChristinElektronische Ressource, Paderborn, 2017Secure use of open-source software
a systematic study and techniques for JavaDann, Andreas Peter ; Bodden, Eric ; Hermann, BenElektronische Ressource, Paderborn, 2024Project-specific software engineering methods
composition, enactment, and quality assuranceFazal-Baqaie, Masud ; Engels, Gregor ; Kuhrmann, Marco ; Sauer, Stefan ; Bodden, Eric ; Kundisch, DennisElektronische Ressource, Paderborn, 2016Computing on encrypted data using trusted execution environments
Fischer, Andreas ; Bodden, Eric ; Kerschbaum, FlorianElektronische Ressource, Paderborn, 2021Safety requirements engineering for early SIL tailoring
Fockel, Markus ; Bodden, Eric ; Greenyer, JoelElektronische Ressource, Paderborn, 2019Early performance analysis of automation systems based on systems engineering models
Frieben, Jens ; Bodden, Eric ; Dumitrescu, RomanElektronische Ressource, Paderborn, 2017Model-driven information flow security engineering for cyber-physical systems
Gerking, Christopher ; Bodden, Eric ; Reussner, RalfElektronische Ressource, Paderborn, 2020Model-Driven software modernization
concept-based engineering of situation-specific methodsGrieger, Marvin ; Engels, Gregor ; Ebert, Jürgen ; Sauer, Stefan ; Anjorin, Anthony ; Bodden, EricElektronische Ressource, Paderborn, 2016A systematic analysis and hardening of the Java security architecture
Holzinger, Philipp Albert ; Bodden, EricElektronische Ressource, Paderborn, 2019On-The-Fly safety checking - customizing program certification and program restructuring
Jakobs, Marie-Christine ; Wehrheim, Heike ; Beyer, Dirk ; Bodden, Eric ; Platzner, Marco ; Platenius, Marie ChristinElektronische Ressource, Paderborn, 2017Validation of software migration
model-driven co-migration of test casesJovanovikj, Ivan ; Engels, Gregor ; Ebert, Jürgen ; Bodden, Eric ; Sauer, Stefan ; Zimmermann, OlafElektronische Ressource, Paderborn, 2020Improving real-world applicability of static taint analysis
Luo, Linghui ; Bodden, Eric ; Hermann, Ben ; Dolby, Julian ; Somorovsky, Juraj ; Oberthür, SimonElektronische Ressource, Paderborn, 2021Challenges in information representation with augmented reality for procedural task support
Müller, Tobias ; Dumitrescu, Roman ; Keil, Reinhard ; Bodden, Eric ; Schomaker, Gunnar ; Yigitbas, EnesElektronische Ressource, Paderborn, 2024User-centered tool design for data-flow analysis
Nguyen Quang Do, Lisa ; Bodden, Eric ; Ali, Karim ; Murphy-Hill, Emerson ; Wehrheim, Heike ; Hermann, BenElektronische Ressource, Paderborn, 2019Cooperative Android App analysis
Pauck, Felix ; Wehrheim, Heike ; Bodden, EricElektronische Ressource, Paderborn, 2023Adapting taint analyses for detecting security vulnerabilities
Piskachev, Goran ; Bodden, Eric ; Hüllermeier, EykeElektronische Ressource, Paderborn, 2022Synchronized pushdown systems for pointer and data-flow analysis
Späth, Johannes ; Bodden, Eric ; Ali, KarimElektronische Ressource, Paderborn, 2019CogniCrypt - the secure integration of cryptographic software
Stefan, Krüger ; Bodden, Eric ; Ali, KarimElektronische Ressource, Paderborn, 2020