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.

167 Publications


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.)
 

Filters and Search Terms

department=76

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed