​
Login / Signup
Junaid Babar
Publication Activity (10 Years)
Years Active: 2010-2023
Publications (10 Years): 8
Top Topics
Markov Chain
Systems Engineering
Decision Diagrams
Edge Localization
Top Venues
Int. J. Softw. Tools Technol. Transf.
MoDELS
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)