Publikationen

2021

• 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, S. 1914-1927, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, KR 2021. Bienvenu, M., Lakemeyer, G. & Erdem, E. (Hrsg.). IJCAI Organization, S. 87-98, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• An Introduction to Mobile Data VisualizationLangner, R., Besançon, L., Collins, C., Dwyer, T., Isenberg, P., Isenberg, T., Lee, B. & 2 weitere, Nov. 2021, Mobile Data Visualization. Lee, B., Dachselt, R., Isenberg, P. & Choe, E. K. (Hrsg.). 1st Edition Aufl., Chapman Hall/CRC, S. 1-32, 32 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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, 103479Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, S. 7599-7606, 8 S., 9272319Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. Kargl, F., Altintas, O., Sommer, C., Higuchi, T. & Klingler, F. (Hrsg.). IEEE, S. 131-132, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. Kargl, F., Altintas, O., Sommer, C., Higuchi, T. & Klingler, F. (Hrsg.). IEEE, S. 135-136, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Poster: Simulating Hybrid LEO Satellite and V2X NetworksFranke, M., Klingler, F. & Sommer, C., Nov. 2021, 13th IEEE Vehicular Networking Conference (VNC 2021), Poster Session. Kargl, F., Altintas, O., Sommer, C., Higuchi, T. & Klingler, F. (Hrsg.). IEEE, S. 139-140, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 225-236, 12 S., 3Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Welcome MessageKargl, F., Altintas, O., Sommer, C. & Higuchi, T., Nov. 2021, 13th IEEE Vehicular Networking Conference (VNC 2021). IEEE, Band 2021-November. S. I-II, (IEEE Vehicular Networking Conference, VNC)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Vor-/Nachwort
• 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 Okt. 2021, SOSP 2021 - Proceedings of the 28th ACM Symposium on Operating Systems Principles. Association for Computing Machinery, Inc, S. 851-865, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based ArgumentationDiller, M., Gaggl, S. A. & Gorczyca, P., 20 Okt. 2021, Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings. Baroni, P., Benzmüller, C. & Wáng, Y. N. (Hrsg.). Springer International Publishing AG, S. 147-168, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HADWiehr, F., Hirsch, A., Schmitz, L., Knieriemen, N., Krüger, A., Kovtunova, A., Borgwardt, S. & 4 weitere, 18 Okt. 2021, ICMI 2021 - Proceedings of the 2021 International Conference on Multimodal Interaction. S. 308-317, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• HoloFlows: modelling of processes for the Internet of Things in mixed realitySeiger, R., Kühn, R., Korzetz, M. & Aßmann, U., 16 Okt. 2021, in: Software and systems modeling. 20, 5, S. 1465–1489, 25 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• A Survey on Hypervisor-based Virtualization of Embedded Reconfigurable SystemsWulf, C., Willig, M. & Göhringer, D., 12 Okt. 2021, 2021 31st International Conference on Field-Programmable Logic and Applications (FPL). IEEE Xplore, S. 249-256, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Determinization and Limit-Determinization of Emerson-Lei AutomataJohn, T., Jantsch, S., Baier, C. & Klüppelholz, S., 12 Okt. 2021, Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Proceedings: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Hou, Z. & Ganesh, V. (Hrsg.). Springer, Berlin [u. a.], S. 15–31, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Exploring and slicing volumetric medical data in augmented reality using a spatially-aware mobile deviceLuo, W., Goebel, E., Reipschläger, P., Ellenberg, M. O. & Dachselt, R., 6 Okt. 2021, Proceedings - 2021 IEEE International Symposium on Mixed and Augmented Reality Adjunct, ISMAR-Adjunct 2021. S. 334-339, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Framework for Intuitionistic Grammar LogicsLyon, T., 1 Okt. 2021, Logic and Argumentation - 4th International Conference, CLAR 2021, Proceedings. Baroni, P., Benzmüller, C. & Wáng, Y. N. (Hrsg.). Springer International Publishing AG, Band 13040. S. 495-503, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A review of prefabricated self-sufficient facades with integrated decentralised HVAC and renewable energy generation and storagevan Roosmalen, M., Herrmann, A. & Kumar, A., 1 Okt. 2021, in: Energy and buildings. 248, 111107Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Übersichtsartikel (Review)
• Supporting ontology-mediated stream reasoning with model checkingDubslaff, C., Koopmann, P. & Turhan, A., 1 Okt. 2021, Proceedings of the 2021 International Stream Reasoning Workshop (SR)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Visualization Authoring Model for Post-WIMP InterfacesSatkowski, M., Luo, W. & Dachselt, R., Okt. 2021, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Poster
• Bendable Color ePaper Displays for Novel Wearable Applications and Mobile VisualizationKlamka, K. & Dachselt, R., Okt. 2021, Adjunct Publication of the 34th Annual ACM Symposium on User Interface Software and Technology, UIST 2021. New York, NY, USA: Association for Computing Machinery (ACM), New York, S. 106-108, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Domain-specific Hybrid Mapping for Energy-efficient Baseband Processing in Wireless NetworksKhasanov, R., Robledo, J., Menard, C., Goens, A. & Castrillon, J., Okt. 2021, in: ACM transactions on embedded computing systems. 20, 5s, 60Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal LogicArtale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F. & Zakharyaschev, M., Okt. 2021, in: Artificial intelligence. 299, 103536Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel