Junaid Babar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SMC | Formal Analysis of Vulnerabilities in Mixed-Reality Systems. | Timothy E. Wang, Isaac Amundson, Junaid Babar, Peggy Wu |
| 2024 | DAC | RexBDDs: Reduction-on-Edge Complement-and-Swap Binary Decision Diagrams. | Gianfranco Ciardo, Andrew S. Miner, Lichuan Deng, Junaid Babar |
| 2021 | MODELS | Synthesizing Verified Components for Cyber Assured Systems Engineering. | Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin |
| 2020 | SOFA | BIOPAK FLASHER: Epidemic Disease Monitoring and Detection in Pakistan Using Text Mining. | Muhammad Nasir, Maheen Bakhtyar, Junaid Babar, Sadia Lakho, Bilal Ahmed, Waheed Noor |
| 2019 | TACAS | Binary Decision Diagrams with Edge-Specified Reductions. | Junaid Babar, Chuan Jiang, Gianfranco Ciardo, Andrew S. Miner |