S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs,” in European Conference on Object-Oriented Programming (ECOOP), 2018, pp. 10:1-10:27.
LibreCat: /record/5203

R. Leer, Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis. Universität Paderborn, 2018.
LibreCat: /record/1044

J. N. Strüwer, Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn, 2018.
LibreCat: /record/1045

C. Gerking, E. Bodden, and W. Schäfer, “Industrial Security by Design,” in Handbuch Gestaltung digitaler und vernetzter Arbeitswelten, G. W. Maier, G. Engels, and E. Steffen, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2017, pp. 1–24.
LibreCat: /record/20552
DOI: 10.1007/978-3-662-52903-4_8-1

L. Ben Othmane, G. Chehrazi, E. Bodden, P. Tsalovski, and A. D. Brucker, “Time for Addressing Software Security Issues: Prediction Models and Impacting Factors,”https://doi.org/10.1007/s41019-016-0019-8__Data Science and Engineering, vol. 2, no. 2, pp. 107–124, 2017, doi:https://doi.org/10.1007/s41019-016-0019-8 .
LibreCat: /record/20553
DOI: https://doi.org/10.1007/s41019-016-0019-8

E. Bodden, Self-adaptive static analysis. 2017.
LibreCat: /record/20554

S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, CrySL: Validating Correct Usage of Cryptographic APIs. 2017.
LibreCat: /record/20555

M. Lillack, C. Kästner, and E. Bodden, “Tracking Load-time Configuration Options,”10.1109/TSE.2017.2756048__IEEE Transactions on Software Engineering, vol. PP, no. 99, pp. 1–1, 2017, doi:10.1109/TSE.2017.2756048 .
LibreCat: /record/20557
DOI: 10.1109/TSE.2017.2756048

S. Krüger et al., “CogniCrypt: Supporting Developers in using Cryptography,” 2017.
LibreCat: /record/20558

L. N. Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, and E. Murphy-Hill, “Just-in-time Static Analysis,”10.1145/3092703.3092705__in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2017, pp. 307–317, doi:10.1145/3092703.3092705 .
LibreCat: /record/20559
DOI: 10.1145/3092703.3092705

L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, and E. Murphy-Hill, “Cheetah: Just-in-Time Taint Analysis for Android Apps,” 2017.
LibreCat: /record/20715

S. Schivo et al., “How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach,”10.1007/978-3-319-69483-2_19__in Dependable Software Engineering, 3rd International Symposium (SETTA 2017), 2017, no. 10606, pp. 319–336, doi:10.1007/978-3-319-69483-2_19 .
LibreCat: /record/20792
DOI: 10.1007/978-3-319-69483-2_19

S. Dziwok, Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems. Paderborn University, 2017.
LibreCat: /record/20794

C. Gerking, D. Schubert, and I. Budde, “Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities,” in Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017), 2017, no. 10374, pp. 19–34.
LibreCat: /record/20797

J. Geismann, U. Pohlmann, and D. Schmelter, “Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems,” 2017.
LibreCat: /record/20804

M. Becker, Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2017.
LibreCat: /record/20805

J. Späth, K. Ali, and E. Bodden, “IDEal: Efficient and Precise Alias-aware Dataflow Analysis,” in 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH), 2017.
LibreCat: /record/5204

A. Fischer, B. Fuhry, F. Kerschbaum, and E. Bodden, “Computation on Encrypted Data using Data Flow Authentication,” CoRR, vol. abs/1710.00390, 2017.
LibreCat: /record/5209

M. Becker, Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction. Universität Paderborn, 2017.
LibreCat: /record/102
DOI: 10.17619/UNIPB/1-133

M. C. Platenius, Fuzzy Matching of Comprehensive Service Specifications. Universität Paderborn, 2016.
LibreCat: /record/195