GreatSPN Enhanced with Decision Diagram Data Structures. - Junaid Babar; Marco Beccuti; Susanna Donatelli; Andrew S. Miner (Petri Nets, 2010)

Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY. - Junaid Babar; Andrew S. Miner (QEST, 2010)

Explicit State Space and Markov Chain Generation Using Decision Diagrams. - Junaid Babar; Andrew S. Miner (EPEW, 2014)

Binary Decision Diagrams with Edge-Specified Reductions. - Junaid Babar; Chuan Jiang; Gianfranco Ciardo; Andrew S. Miner (TACAS (2), 2019)

BIOPAK FLASHER: Epidemic Disease Monitoring and Detection in Pakistan Using Text Mining. - Muhammad Nasir; Maheen Bakhtyar; Junaid Babar; Sadia Lakho; Bilal Ahmed; Waheed Noor (SOFA, 2020)

Automated Meter Reading Detection Using Inception with Single Shot Multi-Box Detector. - Arif Iqbal; Abdul Basit 002; Imran Ali; Junaid Babar; Ihsan Ullah 001 (Intell. Autom. Soft Comput., 2021)

Assume-Guarantee Reasoning with Scheduled Components. - Cong Liu; Junaid Babar; Isaac Amundson; Karl Hoech; Darren D. Cofer; Eric Mercer (NFM, 2022)

Cyberassured Systems Engineering at Scale. - Darren D. Cofer; Isaac Amundson; Junaid Babar; David S. Hardin; Konrad Slind; Perry Alexander; John Hatcliff; Robby; Gerwin Klein; Corey Lewis; Eric Mercer; John Shackleton (IEEE Secur. Priv., 2022)

CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions. - Junaid Babar; Gianfranco Ciardo; Andrew S. Miner (Int. J. Softw. Tools Technol. Transf., 2022)

Model-driven development for the seL4 microkernel using the HAMR framework. - Jason Belt; John Hatcliff; Robby; John Shackleton; Jim Carciofini; Todd Carpenter; Eric Mercer; Isaac Amundson; Junaid Babar; Darren D. Cofer; David S. Hardin; Karl Hoech; et al. (J. Syst. Archit., 2023)

Synthesizing verified components for cyber assured systems engineering. - Eric Mercer; Konrad Slind; Isaac Amundson; Darren D. Cofer; Junaid Babar; David S. Hardin (Softw. Syst. Model., 2023)

RexBDDs: Reduction-on-Edge Complement-and-Swap Binary Decision Diagrams. - Gianfranco Ciardo; Andrew S. Miner; Lichuan Deng; Junaid Babar (DAC, 2024)