RexBDDs: Reduction-on-Edge Complement-and-Swap Binary Decision Diagrams - Gianfranco Ciardo; Andrew S. Miner; Lichuan Deng; Junaid Babar (Proceedings of the 61st ACM/IEEE Design Automation Conference, DAC 2024, San Francisco, CA, USA, June 23-27, 2024, 2024)

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)

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)

Assume-Guarantee Reasoning with Scheduled Components - Cong Liu; Junaid Babar; Isaac Amundson; Karl Hoech; Darren D. Cofer; Eric Mercer (NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings, 2022)

Synthesizing Verified Components for Cyber Assured Systems Engineering - Eric Mercer; Konrad Slind; Isaac Amundson; Darren D. Cofer; Junaid Babar; David S. Hardin (24th International Conference on Model Driven Engineering Languages and Systems, MODELS 2021, Fukuoka, Japan, October 10-15, 2021, 2021)

BIOPAK FLASHER: Epidemic Disease Monitoring and Detection in Pakistan Using Text Mining - Muhammad Nasir; Maheen Bakhtyar; Junaid Babar; Sadia Lakho; Bilal Ahmed; Waheed Noor (Soft Computing Applications - Proceedings of the 9th International Workshop Soft Computing Applications (SOFA 2020), Arad, Romania, 27-29 November 2020, 2020)

Binary Decision Diagrams with Edge-Specified Reductions - Junaid Babar; Chuan Jiang; Gianfranco Ciardo; Andrew S. Miner (Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II, 2019)

Explicit State Space and Markov Chain Generation Using Decision Diagrams - Junaid Babar; Andrew S. Miner (Computer Performance Engineering - 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings, 2014)

GreatSPN Enhanced with Decision Diagram Data Structures - Junaid Babar; Marco Beccuti; Susanna Donatelli; Andrew S. Miner (Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings, 2010)

Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY - Junaid Babar; Andrew S. Miner (QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, 2010)