21 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke KlassifikationSchliessenFilter1
zu den Filteroptionen21 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke
Klassifikation
Schliessen
Filter
1
- Alle Titel
- Klassifikation (DDC)
- Informatik, Informationswissenschaft, allgemeine Werke
- Informatik, Wissen, Systeme
- Bibliografien
- Bibliotheks- und Informationswissenschaften
- Enzyklopädien, Faktenbücher
- Zeitschriften, fortlaufende Sammelwerke
- Verbände, Organisationen, Museen
- Publizistische Medien, Journalismus, Verlagswesen
- Allgemeine Sammelwerke, Zitatensammlungen
- Handschriften, seltene Bücher
Adapting taint analyses for detecting security vulnerabilities
Piskachev, Goran ; Bodden, Eric ; Hüllermeier, EykeElektronische Ressource, Paderborn, 2022Challenges 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, 2024CogniCrypt - the secure integration of cryptographic software
Stefan, Krüger ; Bodden, Eric ; Ali, KarimElektronische Ressource, Paderborn, 2020Computing on encrypted data using trusted execution environments
Fischer, Andreas ; Bodden, Eric ; Kerschbaum, FlorianElektronische Ressource, Paderborn, 2021Cooperative Android App analysis
Pauck, Felix ; Wehrheim, Heike ; Bodden, EricElektronische Ressource, Paderborn, 2023Early performance analysis of automation systems based on systems engineering models
Frieben, Jens ; Bodden, Eric ; Dumitrescu, RomanElektronische Ressource, Paderborn, 2017Engineering 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, 2017Improving real-world applicability of static taint analysis
Luo, Linghui ; Bodden, Eric ; Hermann, Ben ; Dolby, Julian ; Somorovsky, Juraj ; Oberthür, SimonElektronische Ressource, Paderborn, 2021Large Scale Scanning of TLS Session Ticket Confusion
Storm, Tim ; Somorovsky, Juraj ; Bodden, EricElektronische Ressource, Paderborn, 2023Model-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, 2016On-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, 2017Project-specific software engineering methods
composition, enactment, and quality assuranceFazal-Baqaie, Masud ; Engels, Gregor ; Kuhrmann, Marco ; Sauer, Stefan ; Bodden, Eric ; Kundisch, DennisElektronische Ressource, Paderborn, 2016Safety requirements engineering for early SIL tailoring
Fockel, Markus ; Bodden, Eric ; Greenyer, JoelElektronische Ressource, Paderborn, 2019Secure use of open-source software
a systematic study and techniques for JavaDann, Andreas Peter ; Bodden, Eric ; Hermann, BenElektronische Ressource, Paderborn, 2024Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Koch, Thorsten ; Bodden, Eric ; Jager, TiborElektronische Ressource, Paderborn, 2024Synchronized pushdown systems for pointer and data-flow analysis
Späth, Johannes ; Bodden, Eric ; Ali, KarimElektronische Ressource, Paderborn, 2019A systematic analysis and hardening of the Java security architecture
Holzinger, Philipp Albert ; Bodden, EricElektronische Ressource, Paderborn, 2019User-centered tool design for data-flow analysis
Nguyen Quang Do, Lisa ; Bodden, Eric ; Ali, Karim ; Murphy-Hill, Emerson ; Wehrheim, Heike ; Hermann, BenElektronische Ressource, Paderborn, 2019Validation of software migration
model-driven co-migration of test casesJovanovikj, Ivan ; Engels, Gregor ; Ebert, Jürgen ; Bodden, Eric ; Sauer, Stefan ; Zimmermann, OlafElektronische Ressource, Paderborn, 2020