Khushboo Qayyum

Publication Activity (10 Years)

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

Top Topics

Remains Unclear

Mutation Testing

Top Venues

Publications

Muhammad Hassan, Sallar Ahmadi-Pour, Khushboo Qayyum, Chandan Kumar Jha, Rolf Drechsler
LLM-Guided Formal Verification Coupled with Mutation Testing. DATE (2024)
Khushboo Qayyum, Abhoy Kole, Kamalika Datta, Muhammad Hassan, Rolf Drechsler
Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification. ACM Great Lakes Symposium on VLSI (2024)
Noman Bashir, Zohaib Sharani, Khushboo Qayyum, Affan A. Syed
Delivering smart load-shedding for highly-stressed grids. SmartGridComm (2015)
Muhammad Zohaib Akram Sharani, Noman Bashir, Khushboo Qayyum, Affan A. Syed
Enabling Practical Demand Response in Highly-Stressed Grids Using Aashiyana. e-Energy (2015)
Noman Bashir, Zohaib Sharani, Khushboo Qayyum, Affan A. Syed
Enabling Practical Demand Response in Highly-Stressed Grids using Aashiyana. CoRR (2015)
Zohaib Sharani, Khushboo Qayyum, Noman Bashir, Affan A. Syed
SoftUPS: eliminating the need and cost of battery backups in the developing world. e-Energy (2014)