@inproceedingsKrüger_Späth_Ali_Bodden_Mezini_2018, title=CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs, booktitle=European Conference on Object-Oriented Programming (ECOOP), author=Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira, year=2018, pages=10:1-10:27 
LibreCat: /record/5203

@bookLeer_2018, title=Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis, publisher=Universität Paderborn, author=Leer, Richard, year=2018 
LibreCat: /record/1044

@bookStrüwer_2018, title=Interactive Data Visualization for Exploded Supergraphs, publisher=Universität Paderborn, author=Strüwer, Jan Niclas, year=2018 
LibreCat: /record/1045

@inbookGerking_Bodden_Schäfer_2017, place=Berlin, Heidelberg, title=Industrial Security by Design, DOI=10.1007/978-3-662-52903-4_8-1, booktitle=Handbuch Gestaltung digitaler und vernetzter Arbeitswelten, publisher=Springer Berlin Heidelberg, author=Gerking, Christopher and Bodden, Eric and Schäfer, Wilhelm, editor=Maier, Günter W. and Engels, Gregor and Steffen, Eckhard, year=2017, pages=1–24 
LibreCat: /record/20552
DOI: 10.1007/978-3-662-52903-4_8-1

@articleBen Othmane_Chehrazi_Bodden_Tsalovski_Brucker_2017, title=Time for Addressing Software Security Issues: Prediction Models and Impacting Factors, volume=2, DOI=https://doi.org/10.1007/s41019-016-0019-8, number=2, journal=Data Science and Engineering, author=Ben Othmane, Lotfi and Chehrazi, Golriz and Bodden, Eric and Tsalovski, Petar and Brucker, Achim D., year=2017, pages=107–124 
LibreCat: /record/20553
DOI: https://doi.org/10.1007/s41019-016-0019-8

@bookBodden_2017, title=Self-adaptive static analysis, author=Bodden, Eric, year=2017 
LibreCat: /record/20554

@bookKrüger_Späth_Ali_Bodden_Mezini_2017, title=CrySL: Validating Correct Usage of Cryptographic APIs, author=Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira, year=2017 
LibreCat: /record/20555

@articleLillack_Kästner_Bodden_2017, title=Tracking Load-time Configuration Options, volume=PP, DOI=10.1109/TSE.2017.2756048, number=99, journal=IEEE Transactions on Software Engineering, author=Lillack, Max and Kästner, Christian and Bodden, Eric, year=2017, pages=1–1 
LibreCat: /record/20557
DOI: 10.1109/TSE.2017.2756048

@inproceedingsKrüger_Nadi_Reif_Ali_Mezini_Bodden_Göpfert_Günther_Weinert_Demmler_et al._2017, title=CogniCrypt: Supporting Developers in using Cryptography, booktitle=International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track, author=Krüger, Stefan and Nadi, Sarah and Reif, Michael and Ali, Karim and Mezini, Mira and Bodden, Eric and Göpfert, Florian and Günther, Felix and Weinert, Christian and Demmler, Daniel and et al., year=2017 
LibreCat: /record/20558

@inproceedingsDo_Ali_Livshits_Bodden_Smith_Murphy-Hill_2017, place=New York, NY, USA, series=ISSTA 2017, title=Just-in-time Static Analysis, DOI=10.1145/3092703.3092705, booktitle=Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, publisher=ACM, author=Do, Lisa Nguyen Quang and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson, year=2017, pages=307–317, collection=ISSTA 2017 
LibreCat: /record/20559
DOI: 10.1145/3092703.3092705