Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

172 Publications


2019 | Conference Paper | LibreCat-ID: 14899
Kruger, S., & Hermann, B. (2019). Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts. In 2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE). https://doi.org/10.1109/ge.2019.00012
LibreCat | DOI
 

2019 | Dissertation | LibreCat-ID: 20524
Nguyen Quang Do, L. (2019). User-Centered Tool Design for Data-Flow Analysis. Universität Paderborn.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 20531
Luo, L., Bodden, E., & Späth, J. (2019). A Qualitative Analysis of Android Taint-Analysis Results. In IEEE/ACM International Conference on Automated Software Engineering (ASE 2019).
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 20529
Nachtigall, M., Nguyen Quang Do, L., & Bodden, E. (2019). Explaining Static Analysis -- A Perspective. In 1st International Workshop on Explainable Software (EXPLAIN) at ASE.
LibreCat | Download (ext.)
 

2019 | Dissertation | LibreCat-ID: 20536
Späth, J. (2019). Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Universität Paderborn.
LibreCat | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 4999
Pauck, F., Bodden, E., & Wehrheim, H. (2018). 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. ACM Press. https://doi.org/10.1145/3236024.3236029
LibreCat | Files available | DOI
 

2018 | Conference (Editor) | LibreCat-ID: 20544
Tichy, M., Bodden, E., Kuhrmann, M., Wagner, S., & Steghöfer, J.-P. (Eds.). (2018). Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany (Vol. {P-279}). Gesellschaft für Informatik.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 20551
Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., & Bodden, E. (2018). VISUFLOW, a Debugging Environment for Static Analyses. In International Conference for Software Engineering (ICSE), Tool Demonstrations Track.
LibreCat | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 20549
Geismann, J., Gerking, C., & Bodden, E. (2018). Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes. In International Conference on Software and System Processes (ICSSP).
LibreCat | Files available
 

2018 | Conference Paper | LibreCat-ID: 20784
Geismann, J. (2018). Traceable Threat Modeling for Safety-critical Systems. In IEEE International Conference on Software Architecture Companion (ICSA-C 2018) (pp. 41–42). IEEE. https://doi.org/10.1109/ICSA-C.2018.00017
LibreCat | DOI
 

2018 | Dissertation | LibreCat-ID: 20789
Pohlmann, U. (2018). A Model-driven Software Construction Approach for Cyber-physical Systems. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.
LibreCat
 

2018 | Preprint | LibreCat-ID: 2711
Pauck, F., Bodden, E., & Wehrheim, H. (2018). Do Android Taint Analysis Tools Keep their Promises? ArXiv:1804.02903.
LibreCat | Files available
 

2018 | Conference Paper | LibreCat-ID: 5203
Krüger, S., Späth, J., Ali, K., Bodden, E., & Mezini, M. (2018). CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. In European Conference on Object-Oriented Programming (ECOOP) (pp. 10:1-10:27).
LibreCat | Files available | Download (ext.)
 

2018 | Conference (Editor) | LibreCat-ID: 20545
Tip, F., & Bodden, E. (Eds.). (2018). Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018. ACM.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 20785
Geismann, J., Höttger, R., Krawczyk, L., Pohlmann, U., & Schmelter, D. (2018). Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. In L. F. Pires, S. Hammoudi, & B. Selic (Eds.), Model-Driven Engineering and Software Development (Vol. 1, pp. 72–93). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-94764-8_4
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 20546
Gerking, C., Schubert, D., & Bodden, E. (2018). Model Checking the Information Flow Security of Real-Time Systems. In M. Payer, A. Rashid, & J. M. Such (Eds.), Engineering Secure Software and Systems (pp. 27–43). Cham: Springer International Publishing.
LibreCat | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 20781
Gerking, C., & Schubert, D. (2018). Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems. In European Conference on Software Architecture (ECSA 2018) (pp. 147–155). Springer. https://doi.org/10.1007/978-3-030-00761-4_10
LibreCat | DOI
 

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

2018 | Bachelorsthesis | LibreCat-ID: 1044
Leer, R. (2018). Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis. Universität Paderborn.
LibreCat | Files available
 

2018 | Conference Paper | LibreCat-ID: 20530
Bodden, E., & Nguyen Quang Do, L. (2018). Explainable Static Analysis. In Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany. (pp. 205–208).
LibreCat | Download (ext.)
 

Filters and Search Terms

department=76

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed