Publikationen

2021

• Blocks: challenging SIMDs and VLIWs with a reconfigurable architectureWijtvliet, M., Kumar, A. & Corporaal, H., 15 Okt. 2021, in: IEEE transactions on computer-aided design of integrated circuits and systems. 41, 9, S. 2915 - 2928, 14 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, 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 of the IEEE International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct). 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)
• PHiLIP on the HiL: Automated Multi-platform OS Testing with External Reference DevicesWeiss, K., Rottleuthner, M., Schmidt, T. C. & Wählisch, M., 1 Okt. 2021, in: ACM transactions on embedded computing systems. 20, 5s, S. 1-26, 26 S., 91Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Self-organized Allocation of Dependent Tasks in Industrial ApplicationsZheng, K., Schmitt, E. J., González, A. & Fettweis, G., 1 Okt. 2021, 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS). IEEE, S. 170-176, 7 S., 9659511Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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
• From LTL to unambiguous Büchi automata via disambiguation of alternating automataJantsch, S., Müller, D., Baier, C. & Klein, J., Okt. 2021, in: Formal Methods in System Design. 58, 1-2, S. 42–82, 41 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Power-Aware Runtime Scheduler for Mixed-Criticality Systems on Multicore Platform.Ranjbar, B., Nguyen, T. D. A., Ejlali, A. & Kumar, A., Okt. 2021, in:  IEEE transactions on computer-aided design of integrated circuits and systems : CAD. 40, 10, S. 2009-2023, 15 S., 10Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Towards In-situ Authoring of AR Visualizations with Mobile DevicesSatkowski, M., Luo, W. & Dachselt, R., Okt. 2021, S. 324-325, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Poster
• Emergent design challenges for embedded systems and paths forward: mixed-criticality, energy, reliability and security perspectives.Sahoo, S. S., Kumar, A., Decky, M., Wong, S. C. B., Merrett, G. V., Zhao, Y., Wang, J. & 2 weitere, 30 Sept. 2021, Proceedings - 2021 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2021. S. 1-10, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Energy efficiency optimization of radiofrequency power amplifiers for massive MIMO: a data based approachGodoy, L., Matúš, E. & Fettweis, G., 30 Sept. 2021, 2021 IEEE 22nd International Workshop on Signal Processing Advances in Wireless Communications (SPAWC). IEEE, S. 256-260, 5 S., 9593219Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A C++ expression system for partial differential equations enables generic simulations of biological hydrodynamicsSingh, A., Incardona, P. & Sbalzarini, I. F., 23 Sept. 2021, in: The European physical journal E, Soft matter. 44, 9, 117Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• AI-Based Transport Mode Recognition for Transportation Planning Utilizing Smartphone Sensor Data From Crowdsensing CampaignsGrubitzsch, P., Werner, E., Matusek, D., Stojanov, V. & Hähnel, M., 19 Sept. 2021, 2021 IEEE International Intelligent Transportation Systems Conference, ITSC 2021. S. 1306-1313, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Navigating the ℰℒ Subsumption HierarchyKriegel, F., 19 Sept. 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021), Hybrid Event, Bratislava, Slovakia, September 19-22, 2021. Homola, M., Ryzhikov, V. & Schmidt, R. A. (Hrsg.). CEUR-WS.org, Band 2954Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Navigating the ℰℒ Subsumption Hierarchy (Slides)Kriegel, F., 19 Sept. 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
• Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted ℰℒ TBoxBaader, F., Koopmann, P., Kriegel, F., Nuradiansyah, A. & Peñaloza, R., 19 Sept. 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021), Hybrid Event, Bratislava, Slovakia, September 19-22, 2021. Homola, M., Ryzhikov, V. & Schmidt, R. A. (Hrsg.). CEUR-WS.org, Band 2954Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted ℰℒ TBox (Extended Version)Baader, F., Koopmann, P., Kriegel, F., Nuradiansyah, A. & Peñaloza, R., 19 Sept. 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted ℰℒ TBox (Slides)Baader, F., Koopmann, P., Kriegel, F., Nuradiansyah, A. & Peñaloza, R., 19 Sept. 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien