Publications

Kousik Bhunia; Arighna Deb; Kamalika Datta; Muhammad Hassan; Saeideh Shirinzadeh; Rolf Drechsler

ReSG: A Data Structure for Verification of Majority based In-Memory Computing on ReRAM Crossbars

In: ACM Transactions on Embedded Computing Systems (TECS), ACM, 2023.

Muhammad Hassan; Thilo Vörtler; Karsten Einwich; Rolf Drechsler; Daniel Große

Toward System-Level Assertions for Heterogeneous Systems

In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 67-81, Springer, 2023.

Marcel Merten; Mohammed E. Djeridane; Sebastian Huhn; Rolf Drechsler

SAT-Based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms

In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 83-94, Springer, 2023.

Khushboo Qayyum; Alireza Mahzoon; Rolf Drechsler

Start Small But Dream Big: On Choosing a Static Variable Order for Multiplier BDDs

In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 115-169, Springer, 2023.

Alireza Mahzoon; Rolf Drechsler

Polynomial Formal Verification of Carry Look-Ahead Adders

In: Bernd Steinbach. Advances in the Boolean Domain. Pages 93-114, ISBN 1-5275-8872-6, Cambridge Scholars Publishing, 2023.

Martha Schnieber

Polynomial Formal Verification of Approximate Functions

Springer, 2023.

Daniel Reti; Tillmann Angeli; Hans Dieter Schotten

Honey Infiltrator: Injecting Honeytoken Using Netfilter

In: 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). IEEE European Symposium on Security and Privacy Workshops (EuroSPW-2023), 2nd Workshop on Active Defense and Deception (AD&D), July 7, Delft, Netherlands, Pages 465-469, IEEE, 7/2023.

Tatiana Anikina

Towards Efficient Dialogue Processing in the Emergency Response Domain

In: Vishakh Padmakumar; Gisela Vallejo; Yao Fu (Hrsg.). Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics. ACL Student Research Workshop (ACL-IJCNLP-SRW-2023), Student Research Workshop, located at 61st Annual Meeting of the Association for Computational Linguistics, July 10-12, Toronto, ON, Canada, Association for Computational Linguistics, 7/2023.

Tarun Bhatia; Martin Krämer; Eduardo Vellasquez; Eleftherios Avramidis

Semi-supervised learning for Quality Estimation of Machine Translation

In: Proceedings of the 19th Machine Translation Summit. Machine Translation Summit (MT Summit-2023), September 4-8, Macau SAR, China, Pages 72-83, Vol. 1: Research Track, Asia-Pacific Association for Machine Translation (AAMT), 9/2023.

Naeem Iqbal; Christoph Manss; Christian Scholz; Daniel Koenig; Matthias Igelbrink; Arno Ruckelshausen

AI-based Maize and Weeds detection on the edge with CornWeed Dataset

In: Proceedings of the 18th Conference on Computer Science and Intelligence Systems. Workshop on AI in Agriculture (AgriAI-2023), located at 18th FedCSIS, September 17-20, Warsaw, Poland, Institute of Electrical and Electronics Engineers, 9/2023.