Junaid Babar

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 8

Top Topics

Systems Engineering

Decision Diagrams

Edge Localization

Top Venues

Int. J. Softw. Tools Technol. Transf.

J. Syst. Archit.

Softw. Syst. Model.

Publications

Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin
Synthesizing verified components for cyber assured systems engineering. Softw. Syst. Model. 22 (5) (2023)
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, Konrad Slind, Ihor Kuz, Kent McLeod
Model-driven development for the seL4 microkernel using the HAMR framework. J. Syst. Archit. 134 (2023)
Cong Liu, Junaid Babar, Isaac Amundson, Karl Hoech, Darren D. Cofer, Eric Mercer
Assume-Guarantee Reasoning with Scheduled Components. NFM (2022)
Junaid Babar, Gianfranco Ciardo, Andrew S. Miner
CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions. Int. J. Softw. Tools Technol. Transf. 24 (1) (2022)
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
Cyberassured Systems Engineering at Scale. IEEE Secur. Priv. 20 (3) (2022)
Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin
Synthesizing Verified Components for Cyber Assured Systems Engineering. MoDELS (2021)
Muhammad Nasir, Maheen Bakhtyar, Junaid Babar, Sadia Lakho, Bilal Ahmed, Waheed Noor
BIOPAK FLASHER: Epidemic Disease Monitoring and Detection in Pakistan Using Text Mining. SOFA (2020)
Junaid Babar, Chuan Jiang, Gianfranco Ciardo, Andrew S. Miner
Binary Decision Diagrams with Edge-Specified Reductions. TACAS (2) (2019)
Junaid Babar, Andrew S. Miner
Explicit State Space and Markov Chain Generation Using Decision Diagrams. EPEW (2014)
Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner
GreatSPN Enhanced with Decision Diagram Data Structures. Petri Nets (2010)
Junaid Babar, Andrew S. Miner
Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY. QEST (2010)