Junaid Babar

According to our database, Junaid Babar authored at least 10 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., October, 2023

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, Konrad Slind, Ihor Kuz, Kent McLeod

J. Syst. Archit., 2023

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

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

Assume-Guarantee Reasoning with Scheduled Components.

Cong Liu, Junaid Babar, Isaac Amundson, Karl Hoech, Darren D. Cofer, Eric Mercer

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2020

BIOPAK FLASHER: Epidemic Disease Monitoring and Detection in Pakistan Using Text Mining.

Muhammad Nasir, Maheen Bakhtyar, Junaid Babar, Sadia Lakho, Bilal Ahmed, Waheed Noor

Proceedings of the Soft Computing Applications, 2020

2019

Binary Decision Diagrams with Edge-Specified Reductions.

Junaid Babar, Chuan Jiang, Gianfranco Ciardo, Andrew S. Miner

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2014

Explicit State Space and Markov Chain Generation Using Decision Diagrams.

Junaid Babar, Andrew S. Miner

Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

2010

Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY.

Junaid Babar, Andrew S. Miner

Proceedings of the QEST 2010, 2010

GreatSPN Enhanced with Decision Diagram Data Structures.

Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner

Proceedings of the Applications and Theory of Petri Nets, 2010