Jad Al Halabi

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Language Model For Information Retrieval

Language Modelling

Formal Verification

Hardware Designs

Top Venues

Publications

Saruni Fernando, Robert Kunzelmann, Daniela Sanchez Lopera, Jad Al Halabi, Wolfgang Ecker
Leveraging Large Language Models for the Automated Documentation of Hardware Designs. MECO (2024)
Endri Kaja, Nicolas Gerlin, Bihan Zhao, Daniela Sanchez Lopera, Jad Al Halabi, Azam Sher Khan, Sebastian Prebeck, Dominik Stoffel, Wolfgang Kunz, Wolfgang Ecker
An Automated Exhaustive Fault Analysis Technique guided by Processor Formal Verification Methods. ISQED (2024)