Bodden, Eric. “The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-Based Static Analyses (and How to Master Them).”https://doi.org/10.1145/3236454.3236500__In ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), 85–93. ISSTA ’18. New York, NY, USA: ACM, 2018.https://doi.org/10.1145/3236454.3236500 .
LibreCat: /record/20548
DOI: 10.1145/3236454.3236500

Geismann, Johannes, Christopher Gerking, and Eric Bodden. “Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes.” In International Conference on Software and System Processes (ICSSP), 2018.
LibreCat: /record/20549

Bodden, Eric. “Self-Adaptive Static Analysis.”https://doi.org/10.1145/3183399.3183401__In Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 45–48. ICSE-NIER ’18. New York, NY, USA: ACM, 2018.https://doi.org/10.1145/3183399.3183401 .
LibreCat: /record/20550
DOI: 10.1145/3183399.3183401

Nguyen Quang Do, Lisa, Stefan Krüger, Patrick Hill, Karim Ali, and Eric Bodden. “VISUFLOW, a Debugging Environment for Static Analyses.” In International Conference for Software Engineering (ICSE), Tool Demonstrations Track, 2018.
LibreCat: /record/20551

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

Gerking, Christopher, and David Schubert. “Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems.”https://doi.org/10.1007/978-3-030-00761-4_10__In European Conference on Software Architecture (ECSA 2018), 147–55. Lecture Notes in Computer Science. Springer, 2018.https://doi.org/10.1007/978-3-030-00761-4_10 .
LibreCat: /record/20781
DOI: 10.1007/978-3-030-00761-4_10

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

Geismann, Johannes, Robert Höttger, Lukas Krawczyk, Uwe Pohlmann, and David Schmelter. “Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.”https://doi.org/10.1007/978-3-319-94764-8_4__In Model-Driven Engineering and Software Development, edited by Luís Ferreira Pires, Slimane Hammoudi, and Bran Selic, 1:72–93. Cham: Springer International Publishing, 2018.https://doi.org/10.1007/978-3-319-94764-8_4 .
LibreCat: /record/20785
DOI: 10.1007/978-3-319-94764-8_4

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

Pauck, Felix, Eric Bodden, and Heike Wehrheim. “Do Android Taint Analysis Tools Keep Their Promises?”https://doi.org/10.1145/3236024.3236029__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. ACM Press, 2018.https://doi.org/10.1145/3236024.3236029 .
LibreCat: /record/4999
DOI: 10.1145/3236024.3236029