Skip to main content Skip to main navigation

Khushboo Qayyum, M.Sc.

Organisationseinheit Cyber-Physical Systems
Kontakt

Publikationen

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.

Zur Publikation

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.

Zur Publikation

Automated Formal Verification Methodology for MAGIC Design Style Based In-Memory Computing

Chandan Kumar Jha; Khushboo Qayyum; Kemal Caglar Coskun; Simranjeet Singh; Muhammad Hassan; Rainer Leupers; Farhad Merchant; Rolf Drechsler

In: 32nd International Workshop on Logic & Synthesis. International Workshop on Logic & Synthesis (IWLS-2023), 32nd, June 5-6, Lausanne, Switzerland, 2023.

Zur Publikation
Alle Publikationen