11 citations · 15 across the 6 of their papers we have counts for
6 papers
On the Anatomy of Real-World R Code for Static Analysis
Florian Sihler, Lukas Pietzschmann, Raphael Straub +3
CONTEXT The R programming language has a huge and active community, especially in the area of statistical computing. Its interpreted nature allows for several interesting construct…
Streamlining Attack Tree Generation: A Fragment-Based Approach
Irdin Pekaric, Markus Frick, Jubril Gbolahan Adigun +5
Attack graphs are a tool for analyzing security vulnerabilities that capture different and prospective attacks on a system. As a threat modeling tool, it shows possible paths that…
Model-Based Generation of Attack-Fault Trees
Raffaela Groner, Thomas Witte, Alexander Raschke +5
Joint safety and security analysis of cyber-physical systems is a necessary step to correctly capture inter-dependencies between these properties. Attack-Fault Trees represent a co…
Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis
Thomas Witte, Raffaela Groner, Alexander Raschke +3
Self-adaptive systems offer several attack surfaces due to the communication via different channels and the different sensors required to observe the environment. Often, attacks ca…
Traceability and Reuse Mechanisms, the most important Properties of Model Transformation Languages
Stefan Höppner, Matthias Tichy
Dedicated model transformation languages are claimed to provide many benefits over the use of general purpose languages for developing model transformations. However, the actual ad…
Mapping aids using source location tracking increase novices' performance in programming cyber-physical systems
Thomas Witte, Andrea Vogt, Tina Seufert +1
Novices need to overcome initial barriers while programming cyber-physical systems behavior, like coding quadcopter missions, and should thus be supported by an adequately designed…