Publications

2024

• Proposal for A Context-oriented Modelica Contributing to Variable Structure SystemsWang, Z. & Krombholz, M., 2024, 10 p.Research output: Contribution to conferences > Paper
• Provable Determinism for Software in Cyber-Physical SystemsRossel, M., Lin, S. J., Lohstroh, M., Castrillon, J. & Goens, A., 2024, Verified Software. Theories, Tools and Experiments - 15th International Conference, VSTTE 2023, Revised Selected Papers. Reynolds, A. & Tasiran, S. (eds.). Springer Science and Business Media B.V., p. 85-107, 23 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning ScenariosSchrader, T. P., Lange, L., Razniewski, S. & Friedrich, A., 2024Research output: Contribution to conferences > Paper
• REDCAP: Reconfigurable RFET-Based Circuits Against Power Side-Channel AttacksKavand, N., Darjani, A., Galderisi, G., Trommer, J., Mikolajick, T. & Kumar, A., 2024, 2024 Design, Automation and Test in Europe Conference and Exhibition, DATE 2024 - Proceedings. Institute of Electrical and Electronics Engineers Inc.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Scaling Logic Area with Multi-Tier Standard CellsFreye, F., Lanius, C., Shadmehri, H. H., Göhringer, D. & Gemmeke, T., 2024, In: IEEE journal on exploratory solid-state computational devices and circuits. 10, p. 82-88, 7 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Selma: A Semantic Local Code Search PlatformReusch, A., Lopes, G. C., Pertsch, W., Ueck, H., Gonsior, J. & Lehner, W., 2024, Advances in Information Retrieval - 46th European Conference on Information Retrieval, ECIR 2024, Proceedings. Goharian, N., Tonellotto, N., He, Y., Lipani, A., McDonald, G., Macdonald, C. & Ounis, I. (eds.). Springer Science and Business Media B.V., p. 218-222, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Simultanious Improvement of Resolution and Accuracy of 3D Mapping with Flash Lidar through AI-based Data Fusion with 2D Camera ImagesLiesch, A., Suwinski, P., Chernykh, V. & Janschek, K., 2024, Deutscher Luft- und Raumfahrtkongress 2024Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Smoothing Disruption Across the Stack: Tales of Memory, Heterogeneity, & CompilersNiemier, M., Enciso, Z., Sharifi, M., Hu, X. S., O'Connor, I., Graening, A., Sharma, R. & 8 others, 2024, 2024 Design, Automation and Test in Europe Conference and Exhibition, DATE 2024 - Proceedings. Institute of Electrical and Electronics Engineers Inc.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Sonic Structures: 4E Visual Sound in Multi-User Mixed RealityChandran, K., Engeln, L., Zeidler, D. & McGinity, M., 2024, p. 419 - 423Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Spielerisch leichter Einstieg ins StudiumSuwinski, P. & Knöfel, D., 2024, Konzepte für die digital gestützte Hochschullehre: Ideen, Good Practice und Anregungen aus dem Projekt 'Digitalisierung der Hochschulbildung in Sachsen'. Ergebnisse von Digital Fellows, Digital Change Agents und Teilnehmenden an Digital Workspaces. p. 84-85, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Symmetric Equilibrium Learning of VAEsFlach, B., Schlesinger, D. & Shekhovtsov, A., 2024, Proceedings of The 27th International Conference on Artificial Intelligence and Statistics. Vol. 238. p. 3214-3222, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• System-oriented Learning: An Efficient DNN Learning Approach for Koopman Bilinear Representation with ControlZheng, K., Huang, P., Villamil Sanchez, A. M., Casas Bocanegra, J. A. & Fettweis, G., 2024Research output: Contribution to conferences > Paper
• TAFT: A Transformer-Based Approach for Format Transformation.Schönwälder, E., Gonsior, J., Reusch, A., Hartmann, C. & Lehner, W., 2024, DS Late Breaking Contributions 2024: Proceedings of the Discovery Science Late Breaking Contributions 2024 (DS-LB 2024) co-located with 27th International Conference Discovery Science 2024 (DS 2024). Naretto, F. & Pellungrini, R. (eds.).4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Template Decision Diagrams for Meta Control and ExplainabilityDubslaff, C., Klös, V. & Päßler, J., 2024, Explainable Artificial Intelligence: Second World Conference, xAI 2024, Proceedings. Longo, L., Lapuschkin, S. & Seifert, C. (eds.). Springer Science and Business Media B.V., p. 219-242, 24 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• TICAL: Trusted and Integrity-protected Compilation of AppLicationsKrahn, R., Paul, N. K., Gregor, F., Le Quoc, D., Monteiro Brito, A. E., Martin, A. & Fetzer, C., 2024, p. 25-32, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Timing enclaves for performance in Lingua FrancaRobledo, J., Menard, C., Jellum, E., Lee, E. A. & Castrillon, J., 2024, Forum on Specification and Design Languages, FDL 2024. IEEE Computer SocietyElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Trusted Computing Architectures for IoT DevicesBraeken, A., da Silva, B., Segers, L., Knödtel, J., Reichenbach, M., Wulf, C., Pertuz Mendez, S. A. & 4 others, 2024, Applied Reconfigurable Computing. Architectures, Tools, and Applications - 20th International Symposium, ARC 2024, Proceedings: 20th International Symposium, ARC 2024 Aveiro, Portugal, March 20–22, 2024 Proceedings. Skliarova, I., Jiménez, P. B., Véstias, M. & Diniz, P. C. (eds.). Springer, Cham, p. 241-254, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Unification in ELH_R+ without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract)Baader, F. & Gil, O. F., 2024, Proceedings of the 37th International Workshop on Description Logics (DL'24). Jung, J. C., Giordano, L. & Ozaki, A. (eds.). Bergen, Norway: CEUR-WS.org, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Unlocking Opportunities: Empowering Autistic Adults in Vocational Training and Employment Through Assistive TechnologiesGollasch, D., Engel, C., Branig, M., Schmalfuß-Schwarz, J. & Weber, G., 2024, Universal Access in Human-Computer Interaction - 18th International Conference, UAHCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Proceedings: 18th International Conference, UAHCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 – July 4, 2024, Proceedings. Antona, M. & Stephanidis, C. (eds.).p. 32–46, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Zielgerichtete Implementation von datenbasierten AssistenzsystemenOtt, G., Gröllich, D., Hahmann, M. & Lang, V., 2024, Stuttgart: GfA-Press, 6 p.Research output: Book/Report/Anthology > Conference proceeding

2023

• On-water surface synthesis of electronically coupled 2D polyimide-MoS₂ van der Waals heterostructurePrasoon, A., Yang, H., Hambsch, M., Nguyen, N. N., Chung, S., Müller, A., Wang, Z. & 8 others, 16 Dec 2023, In: Communications Chemistry. 6, 1, 280Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Entropically damped artificial compressibility for the discretization corrected particle strength exchange method in incompressible fluid mechanicsSingh, A., Sbalzarini, I. F. & Obeidat, A., 15 Dec 2023, In: Computers and Fluids. 267, 13 p., 106074Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Towards a Formal Account on Negative LatencyDubslaff, C., Schulz, J., Wienhöft, P., Baier, C., Fitzek, F. H. P., Kiebel, S. J. & Lehmann, J., 14 Dec 2023, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Steffen, B. (ed.). Springer, Cham, p. 188–214, 27 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Feature causalityDubslaff, C., Weis, K., Baier, C. & Apel, S., 7 Dec 2023, In: Journal of Systems and Software. 209 (2024), 19 p., 111915Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A Last-Level Defense for Application Integrity and ConfidentialityPereira Fernandez, G., Brito, A., Hartono, A. P. P., Sardar, M. U. & Fetzer, C., 4 Dec 2023, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper