Junaid Babar - RankMe

15 papers A* 1A 1B 2Misc 1Journal 5Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Formal Analysis of Vulnerabilities in Mixed-Reality Systems. SMC Timothy E. Wang, Isaac Amundson, Junaid Babar, Peggy Wu
2024	A*	`conf`	RexBDDs: Reduction-on-Edge Complement-and-Swap Binary Decision Diagrams. DAC Gianfranco Ciardo, Andrew S. Miner, Lichuan Deng, Junaid Babar
2023	J	`jnl`	Model-driven development for the seL4 microkernel using the HAMR framework. J. Syst. Archit. 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
2023	J	`jnl`	Synthesizing verified components for cyber assured systems engineering. Softw. Syst. Model. Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin
2022	—	`conf`	Assume-Guarantee Reasoning with Scheduled Components. NFM Cong Liu, Junaid Babar, Isaac Amundson, Karl Hoech, Darren D. Cofer, Eric Mercer
2022	J	`jnl`	CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions. Int. J. Softw. Tools Technol. Transf. Junaid Babar, Gianfranco Ciardo, Andrew S. Miner
2022	J	`jnl`	Cyberassured Systems Engineering at Scale. IEEE Secur. Priv. 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
2021	J	`jnl`	Automated Meter Reading Detection Using Inception with Single Shot Multi-Box Detector. Intell. Autom. Soft Comput. Arif Iqbal, Abdul Basit, Imran Ali, Junaid Babar, Ihsan Ullah
2021	A	`conf`	Synthesizing Verified Components for Cyber Assured Systems Engineering. MoDELS Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin
2020	Misc	`conf`	BIOPAK FLASHER: Epidemic Disease Monitoring and Detection in Pakistan Using Text Mining. SOFA Muhammad Nasir, Maheen Bakhtyar, Junaid Babar, Sadia Lakho, Bilal Ahmed, Waheed Noor
2019	—	`conf`	Binary Decision Diagrams with Edge-Specified Reductions. TACAS (2) Junaid Babar, Chuan Jiang, Gianfranco Ciardo, Andrew S. Miner
2019	—	`—`	Decision diagrams: Extensions and applications to reachability analysis. Junaid Babar
2014	—	`conf`	Explicit State Space and Markov Chain Generation Using Decision Diagrams. EPEW Junaid Babar, Andrew S. Miner
2010	B	`conf`	GreatSPN Enhanced with Decision Diagram Data Structures. Petri Nets Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner
2010	—	`conf`	Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY. QEST Junaid Babar, Andrew S. Miner