Bodden, Eric. Self-Adaptive Static Analysis, 2017.

Krüger, Stefan, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini. CrySL: Validating Correct Usage of Cryptographic APIs, 2017.

Lillack, Max, Christian Kästner, and Eric Bodden. “Tracking Load-Time Configuration Options.”https://doi.org/10.1109/TSE.2017.2756048__IEEE Transactions on Software Engineering PP, no. 99 (2017): 1–1.https://doi.org/10.1109/TSE.2017.2756048 .

Krüger, Stefan, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, et al. “CogniCrypt: Supporting Developers in Using Cryptography.” In International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track, 2017.

Do, Lisa Nguyen Quang, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill. “Just-in-Time Static Analysis.”https://doi.org/10.1145/3092703.3092705__In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 307–17. ISSTA 2017. New York, NY, USA: ACM, 2017.https://doi.org/10.1145/3092703.3092705 .

Nguyen Quang Do, Lisa, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill. “Cheetah: Just-in-Time Taint Analysis for Android Apps.” In International Conference for Software Engineering (ICSE), Tool Demonstrations Track, 2017.

Schivo, Stefano, Bugra M. Yildiz., Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, and Mariëlle Stoelinga. “How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.”https://doi.org/10.1007/978-3-319-69483-2_19__In Dependable Software Engineering, 3rd International Symposium (SETTA 2017), edited by Kim G. Larsen, Oleg Sokolsky, and Ji Wang, 319–36. Lecture Notes in Computer Science. Changsha: Springer, 2017.https://doi.org/10.1007/978-3-319-69483-2_19 .

Dziwok, Stefan. Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems. Paderborn University, 2017.

Gerking, Christopher, David Schubert, and Ingo 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), edited by Esther Guerra and Mark van den Brand, 19–34. Lecture Notes in Computer Science. Marburg: Springer, 2017.

Geismann, Johannes, Uwe Pohlmann, and David Schmelter. “Towards an Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.” In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017.

Becker, Matthias. Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2017.

Späth, Johannes, Karim Ali, and Eric Bodden. “IDEal: Efficient and Precise Alias-Aware Dataflow Analysis.” In 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH). ACM Press, 2017.

Fischer, Andreas, Benny Fuhry, Florian Kerschbaum, and Eric Bodden. “Computation on Encrypted Data Using Data Flow Authentication.” CoRR abs/1710.00390 (2017).

Becker, Matthias. Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction. Universität Paderborn, 2017.https://doi.org/10.17619/UNIPB/1-133 .

Platenius, Marie Christin. Fuzzy Matching of Comprehensive Service Specifications. Universität Paderborn, 2016.

Jazayeri, Bahar, Marie Christin Platenius, Gregor Engels, and Dennis Kundisch. Features of IT Service Markets: A Systematic Literature Review (Supplementary Material). Universität Paderborn, 2016.

Jazayeri, Bahar, Marie Platenius, Gregor Engels, and Dennis Kundisch. “Features of IT Service Markets: A Systematic Literature Review.”https://doi.org/10.1007/978-3-319-46295-0_19__In Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC), 9936:301–16. Lecture Notes in Computer Science (LNCS). Banff, Canada: Springer, 2016.https://doi.org/10.1007/978-3-319-46295-0_19 .

Bodden, Eric, Ka I Pun, Martin Steffen, Volker Stolz, and Anna-Katharina Wickert. “Information Flow Analysis for Go.”https://doi.org/10.1007/978-3-319-47166-2_30__In Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, 431–45, 2016.https://doi.org/10.1007/978-3-319-47166-2_30 .

Bodden, Eric, Michael Eichberg, Ka I Pun, Martin Steffen, Volker Stolz, and Anna-Katharina Wickert. “Don’t Let Data Go Astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go.” In Nordic Workshop on Programming Theory (NWPT’16), 2016.

Nguyen Quang Do, Lisa, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill. Just-in-Time Static Analysis, 2016.http://dx.doi.org/10.7939/DVN/10859 .