Khushboo Qayyum

According to our database, Khushboo Qayyum authored at least 7 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing.

Chandan Kumar Jha, Khushboo Qayyum, Kemal Çaglar Coskun, Simranjeet Singh, Muhammad Hassan, Rainer Leupers, Farhad Merchant, Rolf Drechsler

IEEE Trans. Circuits Syst. I Regul. Pap., September, 2024

Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification.

Khushboo Qayyum, Abhoy Kole, Kamalika Datta, Muhammad Hassan, Rolf Drechsler

Proceedings of the Great Lakes Symposium on VLSI 2024, 2024

LLM-Guided Formal Verification Coupled with Mutation Testing.

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification.

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

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2015

Delivering smart load-shedding for highly-stressed grids.

Noman Bashir, Zohaib Sharani, Khushboo Qayyum, Affan A. Syed

Proceedings of the 2015 IEEE International Conference on Smart Grid Communications, 2015

Enabling Practical Demand Response in Highly-Stressed Grids Using Aashiyana.

Muhammad Zohaib Akram Sharani, Noman Bashir, Khushboo Qayyum, Affan A. Syed

Proceedings of the 2015 ACM Sixth International Conference on Future Energy Systems, 2015

2014

SoftUPS: eliminating the need and cost of battery backups in the developing world.

Zohaib Sharani, Khushboo Qayyum, Noman Bashir, Affan A. Syed

Proceedings of the Fifth International Conference on Future Energy Systems, 2014