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.
9931 Publications
2018 | Journal Article | LibreCat-ID: 3153
Doherty, S., Derrick, J., Dongol, B., & Wehrheim, H. (2018). Causal Linearizability: Compositionality for Partially Ordered Executions. CoRR.
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 | Dissertation | LibreCat-ID: 1138
Gmyr, R. (2018). Distributed Algorithms for Overlay Networks and Programmable Matter. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-265
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 1163
Feldmann, M., Kolb, C., Scheideler, C., & Strothmann, T. F. (2018). Self-Stabilizing Supervised Publish-Subscribe Systems. In Proceedings of the 32nd IEEE International Parallel & Distributed Processing Symposium (IPDPS). Vancouver: IEEE. https://doi.org/10.1109/IPDPS.2018.00114
LibreCat
| Files available
| DOI
| arXiv
2018 | Conference Paper | LibreCat-ID: 1164
Feldmann, M., Scheideler, C., & Setzer, A. (2018). Skueue: A Scalable and Sequentially Consistent Distributed Queue. In Proceedings of the 32nd IEEE International Parallel & Distributed Processing Symposium (IPDPS). Vancouver: IEEE. https://doi.org/10.1109/IPDPS.2018.00113
LibreCat
| Files available
| DOI
| arXiv
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 | Preprint | LibreCat-ID: 21634 |
Hanke, S., Peitz, S., Wallscheid, O., Klus, S., Böcker, J., & Dellnitz, M. (2018). Koopman Operator-Based Finite-Control-Set Model Predictive Control for Electrical Drives. ArXiv:1804.00854.
LibreCat
| 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.)