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.

161 Publications


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 | 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 | 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 | 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 | Dissertation | LibreCat-ID: 20523
Fockel, M. (2018). Safety requirements engineering for early SIL tailoring. Universit\"at Paderborn.
LibreCat | Download (ext.)
 

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