Search results for: Eric Bodden
2017 IEEE Symposium on Security and Privacy (SP) > 1027 - 1040
Datenschutz und Datensicherheit - DuD > 2016 > 40 > 11 > 718-722
Data Science and Engineering > 2017 > 2 > 2 > 107-124
Journal of Information Security and Applications > 2016 > 29 > C > 16-26
Lecture Notes in Computer Science > Formal Approaches to Software Testing and Runtime Verification > Invited Talks > 20-39
Lecture Notes in Computer Science > Applications of Graph Transformations with Industrial Relevance > Dynamic System Modeling > 249-264
IEEE Transactions on Software Engineering > 2016 > 42 > 3 > 203 - 280