E. Bodden, “The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them),”10.1145/3236454.3236500__in ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), 2018, pp. 85–93, doi:10.1145/3236454.3236500 .
LibreCat: /record/20548
DOI: 10.1145/3236454.3236500

J. Geismann, C. Gerking, and E. Bodden, “Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes,” 2018.
LibreCat: /record/20549

E. Bodden, “Self-adaptive Static Analysis,”10.1145/3183399.3183401__in Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018, pp. 45–48, doi:10.1145/3183399.3183401 .
LibreCat: /record/20550
DOI: 10.1145/3183399.3183401

L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, and E. Bodden, “VISUFLOW, a Debugging Environment for Static Analyses,” 2018.
LibreCat: /record/20551

M. Fockel, Safety Requirements Engineering for Early SIL Tailoring. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018.
LibreCat: /record/20779
DOI: 10.17619/UNIPB/1-490

C. Gerking and D. Schubert, “Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems,”10.1007/978-3-030-00761-4_10__in European Conference on Software Architecture (ECSA 2018), 2018, no. 11048, pp. 147–155, doi:10.1007/978-3-030-00761-4_10 .
LibreCat: /record/20781
DOI: 10.1007/978-3-030-00761-4_10

J. Geismann, “Traceable Threat Modeling for Safety-critical Systems,”10.1109/ICSA-C.2018.00017__in IEEE International Conference on Software Architecture Companion (ICSA-C 2018) , 2018, pp. 41–42, doi:10.1109/ICSA-C.2018.00017 .
LibreCat: /record/20784
DOI: 10.1109/ICSA-C.2018.00017

J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, and D. Schmelter, “Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems,”10.1007/978-3-319-94764-8_4__in Model-Driven Engineering and Software Development, 2018, vol. 1, pp. 72–93, doi:10.1007/978-3-319-94764-8_4 .
LibreCat: /record/20785
DOI: 10.1007/978-3-319-94764-8_4

U. Pohlmann, A Model-driven Software Construction Approach for Cyber-physical Systems. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2018.
LibreCat: /record/20789

F. Pauck, E. Bodden, and H. Wehrheim, “Do Android taint analysis tools keep their promises?,” in Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018, 2018.
LibreCat: /record/4999
DOI: 10.1145/3236024.3236029