Publikationen

Payam Habiby; Fatemeh Shirinzadeh; Sebastian Huhn; Rolf Drechsler

A Multi-Objective Evolutionary Approach for Test Network Design

In: IEEE 29th European Test Symposium. IEEE European Test Symposium (ETS-2024), May 20-24, Den Haag, Netherlands, 2024.

Hymalai Bello; Sungho Suh; Daniel Geißler; Lala Ray; Bo Zhou; Paul Lukowicz

Real-Time and on-the-Edge Multiple Channel Capacitive and Inertial Fusion-Based Glove

In: International Conference on Body Area Networks. International Conference on Body Area Networks (Bodynets-2024), EAI BODYNETS 2023 2024 - 18th EAI …

Prajvi Saxena; Sabine Janzen; Wolfgang Maaß

Newspaper Signaling for Crisis Prediction

In: 2024 Annual Conference of the North American Chapter of the Association for Computational Linguistics. Meeting of the North American Chapter of …

Hymalai Bello

Unimodal and Multimodal Sensor Fusion for Wearable Activity Recognition

In: Ph.D Forum on Pervasive Computing and Communications. IEEE International Conference on Pervasive Computing and Communications (PerCom-2024), …

Christoph Manss; Viktor Martel; Roman Weisgerber

Assessment of Ground Conditions in Grassland on a Mower with Artificial Intelligence

In: Informatik in der Land-, Forst- und Ernährungswirtschaft. GIL-Jahrestagung (GIL-2024), Fokus: Biodiversität fördern durch digitale Landwirtschaft, …

Lena Herrmann; Jan Christoph Krause

Agrar-Robotik meets MLOps

In: Informatik Aktuell, Alkmene Verlag GmbH, 3/2024.

Khushboo Qayyum; Sallar Ahmadi-Pour; Muhammad Hassan; Chandan Kumar Jha; Rolf Drechsler

LLM-Assisted High Quality Invariants Generation for Formal Verification

In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler

Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences

In: 27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …

Caroline Dominik; Rolf Drechsler

Polynomial Formal Verification of Sequential Circuits

In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

Mohamed Nadeem; Chandan Jha; Rolf Drechsler

Polynomial Formal Verification of Approximate Adders with Constant Cutwidth

In: 29th IEEE European Test Symposium 2024. IEEE European Test Symposium (ETS-2024), May 20-24, The Hague, Netherlands, 2024.