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.
5786 Publications
2018 | Preprint | LibreCat-ID: 1165
Witschen, L. M., Wiersema, T., & Platzner, M. (2018). Making the Case for Proof-carrying Approximate Circuits. 4th Workshop On Approximate Computing (WAPCO 2018).
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 2109 | 
Wever, M. D., Mohr, F., & Hüllermeier, E. (2018). Ensembles of Evolved Nested Dichotomies for Classification. In Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2018, Kyoto, Japan, July 15-19, 2018. Kyoto, Japan: ACM. https://doi.org/10.1145/3205455.3205562
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 17345
Spalazzese, R., Platenius, M. C., Becker, S., & Engels, G. (2018). IoT-ASAP 2018: Message from the Chairs. In 2018 IEEE International Conference on Software Architecture Companion (ICSA-C). https://doi.org/10.1109/icsa-c.2018.00009
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 17394
Frank, M., Koldewey, C., Rabe, M., Dumitrescu, R., Gausemeier, J., & Kühn, A. (2018). Smart Services – Konzept einer neuen Marktleistung. ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb, 306–311. https://doi.org/10.3139/104.111913
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 17651
Polevoy, G., Trajanovski, S., Grosso, P., & de Laat, C. (2018). Removing Undesirable Flows by Edge Deletion. In D. Kim, R. N. Uma, & A. Zelikovsky (Eds.), Combinatorial Optimization and Applications (pp. 217–232). Cham: Springer International Publishing.
LibreCat
2018 | Journal Article | LibreCat-ID: 17666
Koning, R., de Graaff, B., Polevoy, G., Meijer, R., de Laat, C., & Grosso, P. (2018). Measuring the efficiency of SDN mitigations against attacks on computer infrastructures. Future Generation Computer Systems. https://doi.org/10.1016/j.future.2018.08.011
LibreCat
| DOI
2018 | Preprint | LibreCat-ID: 17713 |
Wever, M. D., Mohr, F., & Hüllermeier, E. (2018). Automated Multi-Label Classification based on ML-Plan. Arxiv.
LibreCat
| Download (ext.)
2018 | Preprint | LibreCat-ID: 17714 |
Mohr, F., Wever, M. D., & Hüllermeier, E. (2018). Automated machine learning service composition.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1910
Schwichtenberg, S., Jovanovikj, I., Gerth, C., & Engels, G. (n.d.). Poster: CrossEcore: An Extendible Framework to Use Ecore and OCL across Platforms. In Proceedings of the 40th International Conference on Software Engineering, ICSE 2018 - Companion Volume. Gothenburg, Sweden.
LibreCat
2018 | Conference Paper | LibreCat-ID: 20530
Bodden, E., & Nguyen Quang Do, L. (2018). Explainable Static Analysis. Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany., 205–208.
LibreCat
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 20543
Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., & Bodden, E. (2018). Debugging Static Analysis. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/TSE.2018.2868349
LibreCat
| DOI
| Download (ext.)
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 (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: 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). Springer International Publishing.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20547
Nguyen Quang Do, L., & Bodden, E. (2018). Gamifying Static Analysis. Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 714–718. https://doi.org/10.1145/3236024.3264830
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20548
Bodden, E. (2018). The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them). ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), 85–93. https://doi.org/10.1145/3236454.3236500
LibreCat
| DOI
| 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. International Conference on Software and System Processes (ICSSP).
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 20550
Bodden, E. (2018). Self-adaptive Static Analysis. Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 45–48. https://doi.org/10.1145/3183399.3183401
LibreCat
| Files available
| DOI
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. International Conference for Software Engineering (ICSE), Tool Demonstrations Track.
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