Khushboo Qayyum, M.Sc.

Publikationen

1. FARAD: Automated Formal Verification of Approximate Restoring Array Dividers

   Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

   In: 38th International Conference on VLSI Design. International Conference on VLSI Design (VLSID-2025), January 4-8, Bangalore, India, 2025.
2. LLM-guided Formal Verification Coupled with Mutation Testing

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

   In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.
3. LLM-Assisted High Quality Invariants Generation for Formal Verification

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

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