Publications

2021

• Linear weighted tree automata with storage and inverse linear tree homomorphismsHerrmann, L., Dec 2021, In: Information and Computation. 281, 104816Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Weighted parsing for grammar-based language models over multioperator monoidsMörbitz, R. & Vogler, H., Dec 2021, In: Information and Computation. 281, 104774Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Responsibility and verification: importance value in temporal logicsMascle, C., Baier, C., Funke, F., Jantsch, S. & Kiefer, S., 24 Nov 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. p. 1-14, 14 p., 9470597Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Plausible deniability for anonymous communicationKuhn, C., Noppel, M., Wressnegger, C. & Strufe, T., 15 Nov 2021, WPES '21: Proceedings of the 20th Workshop on Workshop on Privacy in the Electronic Society. p. 17–32, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Extended Abstract)Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 3 Nov 2021, Recent Published Research (RPR) track of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Virtual Event, November 3-12, 2021Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Poster)Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 3 Nov 2021Electronic (full-text) versionResearch output: Contribution to conferences > Poster
• Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Slides)Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 3 Nov 2021Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
• QUICsand: Quantifying QUIC Reconnaissance Scans and DoS Flooding EventsNawrocki, M., Hiesgen, R., Schmidt, T. C. & Wählisch, M., 2 Nov 2021, IMC '21: Proceedings of the 21st ACM Internet Measurement Conference. Association for Computing Machinery, p. 283-291, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Improving the Performance of Block-based DRAM Caches Via Tag-Data DecouplingHameed, F., Khan, A. A. & Castrillon, J., 1 Nov 2021, In: IEEE Transactions on Computers. 70, 11, p. 1914-1927, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Admissibility in Probabilistic ArgumentationBaier, C., Diller, M., Dubslaff, C., Gaggl, S. A., Hermanns, H. & Käfer, N., Nov 2021, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. Bienvenu, M., Lakemeyer, G. & Erdem, E. (eds.). IJCAI Organization, p. 87-98, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• AMAH-Flex: A Modular and Highly Flexible Tool for Generating Relocatable Systems on FPGAsCharaf, M. N., Tietz, C., Raitza, M., Kumar, A. & Göhringer, D., Nov 2021, 2021 International Conference on Field-Programmable Technology (ICFPT): Auckland, New Zealand. p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• An Introduction to Mobile Data VisualizationLangner, R., Besançon, L., Collins, C., Dwyer, T., Isenberg, P., Isenberg, T., Lee, B. & 2 others, Nov 2021, Mobile Data Visualization. Lee, B., Dachselt, R., Isenberg, P. & Choe, E. K. (eds.). 1st Edition ed., Chapman Hall/CRC, p. 1-32, 32 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• A security and authentication layer for SCADA/DCS applicationsHomay, A. E., Chrysoulas, C., Boudani, B. E., Sousa, M. D. & Wollschlaeger, M., Nov 2021, In: Microprocessors and Microsystems. 87, 103479Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Controlling the Runtime Overhead of Python Monitoring with Selective InstrumentationGocht-Zech, A., Grund, A. & Schöne, R., Nov 2021, 2021 IEEE/ACM International Workshop on Programming and Performance Visualization Tools (ProTools). 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Enabling and Optimizing MACsec for Industrial EnvironmentsLackorzynski, T., Garten, G., Huster, J. S., Köpsell, S. & Härtig, H., Nov 2021, In: IEEE transactions on industrial informatics. 17, 11, p. 7599-7606, 8 p., 9272319Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Poster: Enabling Comparable and Reproducible Simulations for V2X ResearchHardes, T., Logan, D., Sommer, C. & Klingler, F., Nov 2021, 13th IEEE Vehicular Networking Conference (VNC 2021), Poster Session. IEEE, p. 131-132, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Poster: Potentials of Mixing TSN Wired Networks and Best-Effort Wireless Networks for V2XTurcanu, I. & Sommer, C., Nov 2021, 13th IEEE Vehicular Networking Conference (VNC 2021), Poster Session. IEEE, p. 135-136, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Poster: Simulating Hybrid LEO Satellite and V2X NetworksFranke, M., Klingler, F. & Sommer, C., Nov 2021, 13th IEEE Vehicular Networking Conference (VNC 2021), Poster Session. IEEE, p. 139-140, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Season- and Trend-aware Symbolic Approximation for Accurate and Efficient Time Series Matching.Kegel, L., Hartmann, C., Thiele, M. & Lehner, W., Nov 2021, In: Datenbank-Spektrum. 21, 3, p. 225-236, 12 p., 3Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Welcome MessageKargl, F., Altintas, O., Sommer, C. & Higuchi, T., Nov 2021, 13th IEEE Vehicular Networking Conference (VNC 2021). IEEE, Vol. 2021-November. p. I-II, (IEEE Vehicular Networking Conference, VNC)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Foreword/Postscript
• CLoF: A Compositional Lock Framework for Multi-level NUMA SystemsDe Lima Chehab, R. L., Paolillo, A., Behrens, D., Fu, M., Härtig, H. & Chen, H., 26 Oct 2021, SOSP 2021 - Proceedings of the 28th ACM Symposium on Operating Systems Principles. Association for Computing Machinery, Inc, p. 851-865, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based ArgumentationDiller, M., Gaggl, S. A. & Gorczyca, P., 20 Oct 2021, Proceedings of the 4th International Conference on Logic and Argumentation (CLAR 2021). Baroni, P., Benzmüller, C. & Wang, Y. N. (eds.). Springer International Publishing AG, Vol. 13040. p. 147-168, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• HoloFlows: modelling of processes for the Internet of Things in mixed realitySeiger, R., Kühn, R., Korzetz, M. & Aßmann, U., 16 Oct 2021, In: Software and systems modeling. 20, p. 1465–1489Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Blocks: challenging SIMDs and VLIWs with a reconfigurable architectureWijtvliet, M., Kumar, A. & Corporaal, H., 15 Oct 2021, In: IEEE transactions on computer-aided design of integrated circuits and systems. 41, 9, p. 2915 - 2928, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A Survey on Hypervisor-based Virtualization of Embedded Reconfigurable SystemsWulf, C., Willig, M. & Göhringer, D., 12 Oct 2021, 2021 31st International Conference on Field-Programmable Logic and Applications (FPL). IEEE Xplore, p. 249-256, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution