Publications

2021

• 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
• 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. Kargl, F., Altintas, O., Sommer, C., Higuchi, T. & Klingler, F. (eds.). 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. Kargl, F., Altintas, O., Sommer, C., Higuchi, T. & Klingler, F. (eds.). 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. Kargl, F., Altintas, O., Sommer, C., Higuchi, T. & Klingler, F. (eds.). 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, Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings. Baroni, P., Benzmüller, C. & Wáng, Y. N. (eds.). Springer International Publishing AG, p. 147-168, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 others, 18 Oct 2021, ICMI 2021 - Proceedings of the 2021 International Conference on Multimodal Interaction. p. 308-317, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, 5, p. 1465–1489, 25 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
• Determinization and Limit-Determinization of Emerson-Lei AutomataJohn, T., Jantsch, S., Baier, C. & Klüppelholz, S., 12 Oct 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. (eds.). Springer, Berlin [u. a.], p. 15–31, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 Oct 2021, Proceedings - 2021 IEEE International Symposium on Mixed and Augmented Reality Adjunct, ISMAR-Adjunct 2021. p. 334-339, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Framework for Intuitionistic Grammar LogicsLyon, T., 1 Oct 2021, Logic and Argumentation - 4th International Conference, CLAR 2021, Proceedings. Baroni, P., Benzmüller, C. & Wáng, Y. N. (eds.). Springer International Publishing AG, Vol. 13040. p. 495-503, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A review of prefabricated self-sufficient facades with integrated decentralised HVAC and renewable energy generation and storagevan Roosmalen, M., Herrmann, A. & Kumar, A., 1 Oct 2021, In: Energy and buildings. 248, 111107Electronic (full-text) versionResearch output: Contribution to journal > Review article
• Supporting ontology-mediated stream reasoning with model checkingDubslaff, C., Koopmann, P. & Turhan, A., 1 Oct 2021, Proceedings of the 2021 International Stream Reasoning Workshop (SR)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Visualization Authoring Model for Post-WIMP InterfacesSatkowski, M., Luo, W. & Dachselt, R., Oct 2021, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Poster
• Bendable Color ePaper Displays for Novel Wearable Applications and Mobile VisualizationKlamka, K. & Dachselt, R., Oct 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, p. 106-108, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Domain-specific Hybrid Mapping for Energy-efficient Baseband Processing in Wireless NetworksKhasanov, R., Robledo, J., Menard, C., Goens, A. & Castrillon, J., Oct 2021, In: ACM transactions on embedded computing systems. 20, 5s, 60Electronic (full-text) versionResearch output: Contribution to journal > Research article
• First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal LogicArtale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F. & Zakharyaschev, M., Oct 2021, In: Artificial intelligence. 299, 103536Electronic (full-text) versionResearch output: Contribution to journal > Research article
• From LTL to unambiguous Büchi automata via disambiguation of alternating automataJantsch, S., Müller, D., Baier, C. & Klein, J., Oct 2021, In: Formal Methods in System Design. 58, 1-2, p. 42–82, 41 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Power-Aware Runtime Scheduler for Mixed-Criticality Systems on Multicore Platform.Ranjbar, B., Nguyen, T. D. A., Ejlali, A. & Kumar, A., Oct 2021, In:  IEEE transactions on computer-aided design of integrated circuits and systems : CAD. 40, 10, p. 2009-2023, 15 p., 10Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Towards In-situ Authoring of AR Visualizations with Mobile DevicesSatkowski, M., Luo, W. & Dachselt, R., Oct 2021, p. 324-325, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Poster