Year |
Citation |
Score |
2017 |
Chen W, Ray S, Bhadra J, Abadir M, Wang L. Challenges and Trends in Modern SoC Design Verification Ieee Design & Test of Computers. 34: 7-22. DOI: 10.1109/Mdat.2017.2735383 |
0.322 |
|
2017 |
Abadir M, Bhadra J, Chen W, Wang L. Guest Editors’ Introduction: Emerging Challenges and Solutions in SoC Verification Ieee Design & Test of Computers. 34: 5-6. DOI: 10.1109/Mdat.2017.2729938 |
0.361 |
|
2017 |
Chen W, Hsieh K, Wang L, Bhadra J. Data-Driven Test Plan Augmentation for Platform Verification Ieee Design & Test of Computers. 34: 23-29. DOI: 10.1109/Mdat.2017.2713390 |
0.373 |
|
2013 |
Ray S, Bhadra J, Abadir MS, Wang LC. Guest Editorial: Test and verification challenges for future microprocessors and SoC designs Journal of Electronic Testing: Theory and Applications (Jetta). 29: 621-623. DOI: 10.1007/S10836-013-5411-Y |
0.423 |
|
2012 |
Chang CL, Chang CC, Chan HL, Wen CHP, Bhadra J. An intelligent analysis of Iddq data for chip classification in very deep-submicron (VDSM) CMOS technology Proceedings of the Asia and South Pacific Design Automation Conference, Asp-Dac. 163-168. DOI: 10.1109/ASPDAC.2012.6164938 |
0.313 |
|
2010 |
Chang PH, Wang LC, Bhadra J. A kernel-based approach for functional test program generation Proceedings - International Test Conference. DOI: 10.1109/TEST.2010.5699216 |
0.512 |
|
2009 |
Abadir MS, Bhadra J, Wang LC. Proceedings - International Workshop on Microprocessor Test and Verification: Preface Proceedings - International Workshop On Microprocessor Test and Verification. DOI: 10.1109/MTV.2009.4 |
0.374 |
|
2009 |
Bose M, Naphade P, Bhadra J, Miller H. An abstraction mechanism to maximize stimulus portability across RTL, FPGA, software models and silicon of SoCs Proceedings of the 10th International Symposium On Quality Electronic Design, Isqed 2009. 377-381. DOI: 10.1109/ISQED.2009.4810324 |
0.316 |
|
2008 |
Bhadra J, Trofimova E, Abadir MS. Validating power architecture technology-based MPSoCs through executable specifications Ieee Transactions On Very Large Scale Integration (Vlsi) Systems. 16: 388-396. DOI: 10.1109/Tvlsi.2008.917418 |
0.338 |
|
2008 |
Guzey O, Wang LC, Bhadra J. Enhancing signal controllability in functional test-benches through automatic constraint extraction Proceedings - International Test Conference. DOI: 10.1109/TEST.2007.4437615 |
0.386 |
|
2008 |
Abadir MS, Wang LC, Bhadra J. Proceedings - International Workshop on Microprocessor Test and Verification: Preface: MTV 2007 Proceedings - International Workshop On Microprocessor Test and Verification. DOI: 10.1109/MTV.2007.26 |
0.374 |
|
2007 |
Koo HM, Mishra P, Bhadra J, Abadir M. Directed micro-architectural test generation for an industrial processor: A case study Proceedings - International Workshop On Microprocessor Test and Verification. 33-36. DOI: 10.1109/MTV.2006.10 |
0.501 |
|
2007 |
Bhadra J, Abadir MS, Wang LC. Guest editors' introduction: Attacking functional verification through hybrid techniques Ieee Design and Test of Computers. 24: 110-111. DOI: 10.1109/Mdt.2007.45 |
0.3 |
|
2007 |
Bhadra J, Abadir MS, Wang LC, Ray S. A survey of hybrid techniques for functional verification Ieee Design and Test of Computers. 24: 112-122. DOI: 10.1109/Mdt.2007.30 |
0.399 |
|
2006 |
Bhadra J. Theory and practice of automatic design constraint generation Iee Proceedings: Computers and Digital Techniques. 153: 9-19. DOI: 10.1049/ip-cdt:20050114 |
0.391 |
|
2004 |
Bhadra J, Krishnamurthy N, Abadir MS. Enhanced equivalence checking: Toward a solidarity of functional verification and manufacturing test generation Ieee Design and Test of Computers. 21: 494-502. DOI: 10.1109/Mdt.2004.87 |
0.497 |
|
2003 |
Vedula VM, Abraham JA, Bhadra J, Tupuri R. A hierarchical test generation approach using program slicing techniques on hardware description languages Journal of Electronic Testing: Theory and Applications (Jetta). 19: 149-160. DOI: 10.1023/A:1022885523034 |
0.559 |
|
2002 |
Vedula VM, Abraham JA, Bhadra J. Program slicing for hierarchical test generation Proceedings of the Ieee Vlsi Test Symposium. 2002: 237-243. DOI: 10.1109/VTS.2002.1011144 |
0.602 |
|
2002 |
Bhadra J, Krishnamurthy N. Automatic generation of design constraints in verifying high performance embedded dynamic circuits Ieee International Test Conference (Tc). 213-222. |
0.565 |
|
2001 |
Zeng J, Abadir MS, Bhadra J, Abraham JA. Full chip false timing path identification: Applications to the PowerPCTM microprocessors Proceedings -Design, Automation and Test in Europe, Date. 514-518. DOI: 10.1109/DATE.2001.915072 |
0.3 |
|
2001 |
Bhadra J, Martin A, Abraham JA, Abadir MS. Using Abstract Specifications to Verify PowerPCTM Custom Memories by Symbolic Trajectory Evaluation Lecture Notes in Computer Science. 386-402. DOI: 10.1007/3-540-44798-9_30 |
0.476 |
|
Low-probability matches (unlikely to be authored by this person) |
2013 |
Chen W, Wang LC, Bhadra J, Abadir MS. Novel test analysis to improve structural coverage-A commercial experiment 2013 International Symposium On Vlsi Design, Automation, and Test, Vlsi-Dat 2013. DOI: 10.1109/VLDI-DAT.2013.6533851 |
0.299 |
|
2004 |
Sen A, Bhadra J, Garg VK, Abraham JA. Formal verification of a system-on-chip using computation slicing Proceedings - International Test Conference. 810-819. |
0.293 |
|
2012 |
Chen W, Sumikawa N, Wang LC, Bhadra J, Feng X, Abadir MS. Novel test detection to improve simulation efficiency-A commercial experiment Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers, Iccad. 101-108. |
0.291 |
|
2006 |
Bhadra J, Abadir MS, Burgess D, Trofimova E. Bottom-up approach in automated embedded memory model generation for high-performance microprocessors Iee Proceedings: Computers and Digital Techniques. 153: 302-312. DOI: 10.1049/ip-cdt:20050204 |
0.273 |
|
2013 |
Chen W, Wang LC, Bhadra J, Abadir M. Simulation knowledge extraction and reuse in constrained random processor verification Proceedings - Design Automation Conference. DOI: 10.1145/2463209.2488881 |
0.272 |
|
2009 |
Torres F, Srivastava R, Ruiz J, Wen HP, Bose M, Bhadra J. Portable simulation/emulation stimulus on an industrial-strength SoC Proceedings - International Test Conference. DOI: 10.1109/TEST.2009.5355904 |
0.268 |
|
2006 |
Bhadra J, Abadir MS, Burgess D, Trofimova E. Automatic generation of high performance embedded memory models for PowerPC microprocessors Proceedings - International Workshop On Microprocessor Test and Verification. 111-118. DOI: 10.1109/MTV.2005.9 |
0.236 |
|
2007 |
Bhadra J, Trofimova E, Giordano LJ, Abadir MS. A trace-driven validation methodology for multi-processor SOCS 2006 Ieee International Systems-On-Chip Conference, Soc. 145-148. DOI: 10.1109/SOCC.2006.283869 |
0.236 |
|
2007 |
Abadir MS, Wang LC, Bhadra J. 7th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions, MTV: Preface Proceedings - International Workshop On Microprocessor Test and Verification. DOI: 10.1109/MTV.2006.13 |
0.233 |
|
2005 |
Anand H, Bhadra J, Sen A, Abadir MS, Davis KG. Establishing latch correspondence for embedded circuits of PowerPC ® microprocessors Proceedings - Ieee International High-Level Design Validation and Test Workshop, Hldvt. 2005: 37-44. DOI: 10.1109/HLDVT.2005.1568811 |
0.233 |
|
2012 |
Olivo O, Ray S, Bhadra J, Vedula V. A unified formal framework for analyzing functional and speed-path properties Proceedings - International Workshop On Microprocessor Test and Verification. 44-45. DOI: 10.1109/MTV.2011.17 |
0.229 |
|
2012 |
Ray S, Bhadra J, Abadir MS, Wang LC, Gupta A. Introduction to special section on verification challenges in the concurrent world Acm Transactions On Design Automation of Electronic Systems. 17. DOI: 10.1145/2209291.2209292 |
0.225 |
|
2015 |
Hsieh KK, Chen W, Wang LC, Bhadra J. On application of data mining in functional debug Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers, Iccad. 2015: 670-675. DOI: 10.1109/ICCAD.2014.7001424 |
0.225 |
|
2002 |
Krishnamurthy N, Bhadra J, Abadir MS, Abraham JA. Is state mapping essential for equivalence checking custom memories in scan-based designs? Proceedings of the Ieee Vlsi Test Symposium. 2002: 275-280. DOI: 10.1109/VTS.2002.1011152 |
0.224 |
|
2009 |
Wang D, Venkataraman V, Wang Z, Qin W, Wang H, Bose M, Bhadra J. Accelerating multi-party scheduling for transaction-level modeling Proceedings of the Acm Great Lakes Symposium On Vlsi, Glsvlsi. 339-344. DOI: 10.1145/1531542.1531619 |
0.223 |
|
2005 |
Bhadra J, Martin AK, Abraham JA. A formal framework for verification of embedded custom memories of the motorola MPC7450 microprocessor Formal Methods in System Design. 27: 67-112. DOI: 10.1007/s10703-005-2250-1 |
0.216 |
|
2010 |
Ray S, Bhadra J. Innovative practices session 7C: Verification and testing challenges in high-level synthesis Proceedings of the Ieee Vlsi Test Symposium. 250. DOI: 10.1109/VTS.2010.5469566 |
0.206 |
|
2001 |
Bhadra J, Martin A, Abraham J, Abadir M. Using abstract specifications to verify powerPC™ custom memories by symbolic trajectory evaluation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2144: 386-402. |
0.192 |
|
2007 |
Wen CHP, Wang LC, Bhadra J. An incremental learning framework for estimating signal controllability in unit-level verification Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers, Iccad. 250-257. DOI: 10.1109/ICCAD.2007.4397274 |
0.19 |
|
2008 |
Ray S, Bhadra J. Abstracting and verifying flash memories Proceedings - 2008 9th Annual Non-Volatile Memory Technology Symposium, Nvmts 2008. DOI: 10.1109/NVMT.2008.4731203 |
0.186 |
|
2007 |
Ray S, Bhadra J. A mechanized refinement framework for analysis of custom memories Proceedings - Formal Methods in Computer Aided Design, Fmcad 2007. 239-242. DOI: 10.1109/FMCAD.2007.4402006 |
0.185 |
|
2013 |
Chang CL, Wen CHP, Bhadra J. Process-variation-aware iddq diagnosis for nana-scale CMOS designs - The first step Proceedings -Design, Automation and Test in Europe, Date. 454-457. |
0.177 |
|
2001 |
Bhadra J, Martin A, Abraham J, Abadir M. A language formalism for verification of PowerPC™ ∗custom memories using compositions of abstract specifications Proceedings - Ieee International High-Level Design Validation and Test Workshop, Hldvt. 2001: 134-141. DOI: 10.1109/HLDVT.2001.972820 |
0.166 |
|
2009 |
Venkataraman V, Wang D, Qin W, Bose M, Bhadra J. Simulation of a heterogeneous system at multiple levels of abstraction using rendezvous based modeling Proceedings - International Workshop On Microprocessor Test and Verification. 3-8. DOI: 10.1109/MTV.2009.20 |
0.163 |
|
2010 |
Ray S, Bhadra J, Portlock T, Syzdek R. Modeling and verification of industrial flash memories Proceedings of the 11th International Symposium On Quality Electronic Design, Isqed 2010. 705-712. DOI: 10.1109/ISQED.2010.5450498 |
0.159 |
|
2009 |
Venkataraman V, Wang D, Mahram A, Qin W, Bose M, Bhadra J. Synthesis oriented scheduling of multiparty rendezvous in transaction level models Proceedings of the 2009 Ieee Computer Society Annual Symposium On Vlsi, Isvlsi 2009. 241-246. DOI: 10.1109/ISVLSI.2009.8 |
0.149 |
|
2009 |
Chang CL, Wen CHP, Bhadra J. Speeding up bounded sequential equivalence checking with cross-timeframe state-pair constraints from data learning Proceedings - International Test Conference. DOI: 10.1109/TEST.2009.5355713 |
0.142 |
|
2009 |
Peng HK, Wen CHP, Bhadra J. On soft error rate analysis of scaled CMOS designs - A statistical perspective Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers, Iccad. 157-163. |
0.136 |
|
2015 |
Bhadra J, Pattanayak S, Sinha S. Synthesis of Morpholino Monomers, Chlorophosphoramidate Monomers, and Solid-Phase Synthesis of Short Morpholino Oligomers. Current Protocols in Nucleic Acid Chemistry / Edited by Serge L. Beaucage ... [Et Al.]. 62: 4.65.1-4.65.26. PMID 26380905 DOI: 10.1002/0471142700.Nc0465S62 |
0.072 |
|
1975 |
Bhadra JK, Bandyopadhyay P. Pyridine carboxylato complexes of indium Journal of Inorganic and Nuclear Chemistry. 37: 1298-1301. DOI: 10.1016/0022-1902(75)80487-8 |
0.066 |
|
2012 |
Bhadra J, Debnath U. Dynamical study of DBI-essence in loop quantum cosmology and brane world European Physical Journal C. 72: 1-10. DOI: 10.1140/epjc/s10052-012-2087-x |
0.065 |
|
2015 |
Bhadra J, Iovine MK. Hsp47 mediates Cx43-dependent skeletal growth and patterning in the regenerating fin. Mechanisms of Development. 138: 364-74. PMID 26103547 DOI: 10.1016/j.mod.2015.06.004 |
0.064 |
|
2011 |
Panda B, Bhadra J, Sarkar TK. An approach to highly functionalized quinolines and isoquinolines via a gold-catalyzed benzannulation Synlett. 689-693. DOI: 10.1055/S-0030-1259555 |
0.063 |
|
2016 |
Ahmad Z, Bhadra J, Touati F, Alashraf A, Shakoor RA, Al-Thani NJ. Flexible thermo-electrochemical cells using Iodolyte HI-30 for conversion of low-grade heat to electrical energy Rsc Advances. 6: 71370-71374. DOI: 10.1039/c6ra15884f |
0.063 |
|
2016 |
Madi NK, Bhadra J, Al-Thani NJ, Alashraf A, Abdulmalik D, Al-Qaradawi I. Adsorption study of Pb(II) in aqueous medium using polyaniline nanocomposites Journal of Vinyl and Additive Technology. DOI: 10.1002/vnl.21549 |
0.062 |
|
2013 |
Paul S, Jana S, Bhadra J, Sinha S. Photophysical studies and submicron ring formation of morpholino U-nucleoside monomers. Chemical Communications (Cambridge, England). 49: 11278-80. PMID 24154562 DOI: 10.1039/C3Cc45082A |
0.056 |
|
2014 |
Bhadra J, Debnath U. Constraining the Parameters of New Variable Modified Chaplygin Gas Model International Journal of Theoretical Physics. 53: 1821-1831. DOI: 10.1007/s10773-013-1982-8 |
0.056 |
|
2010 |
Bhadra J, Baruah K, Sarkar D. All polymer FET fabricated from polypyrrole-polyvinyl alcohol (PPY - PVA) nanocomposite Aip Conference Proceedings. 1276: 233-237. DOI: 10.1063/1.3504303 |
0.052 |
|
2013 |
Bhadra J, Chakraborty S, Debnath U. Dynamical System Analysis for Anisotropic Universe in Brans-Dicke Theory International Journal of Theoretical Physics. 52: 3353-3365. DOI: 10.1007/s10773-013-1632-1 |
0.051 |
|
2004 |
Kim K, Abraham JA, Bhadra J. Model checking of security protocols with pre-configuration Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2908: 1-15. |
0.051 |
|
2010 |
Bhadra J, Nampoothiri PK, Suthar KJ, Roy Mahapatra D. Effect of core-shell structure of hydrogel beads on the threshold concentration of water for swelling and its pH sensitivity Asme International Mechanical Engineering Congress and Exposition, Proceedings (Imece). 2: 283-289. DOI: 10.1115/IMECE2010-39583 |
0.041 |
|
2010 |
Bhadra J, Sarkar D. Field effect transistor fabricated from polyaniline-polyvinyl alcohol nanocomposite Indian Journal of Physics. 84: 693-697. |
0.039 |
|
2012 |
Bhadra J, Debnath U. Dynamical system analysis of interacting variable modified Chaplygin gas model in FRW universe European Physical Journal Plus. 127: 1-15. DOI: 10.1140/epjp/i2012-12030-2 |
0.039 |
|
2016 |
Bhadra J, Chattopadhyay TK. Analysis of distribution network by reliability indices 2015 International Conference On Energy, Power and Environment: Towards Sustainable Growth, Icepe 2015. DOI: 10.1109/EPETSG.2015.7510094 |
0.038 |
|
2013 |
Bhadra J, Al-Thani NJ, Madi NK, Al-Maadeed MA. Preparation and characterization of chemically synthesized polyaniline-polystyrene blends as a carbon dioxide gas sensor Synthetic Metals. 181: 27-36. DOI: 10.1016/j.synthmet.2013.07.026 |
0.035 |
|
2010 |
Roy PK, Bhadra J, Chattopadhyay B. Mathematical modeling on immunopathogenesis in chronic plaque of psoriasis: A theoretical study Wce 2010 - World Congress On Engineering 2010. 1: 550-555. |
0.035 |
|
2015 |
Bhadra J, Kundu J, Ghosh KC, Sinha S. Synthesis of phosphorodiamidate morpholino oligonucleotides by H-phosphonate method Tetrahedron Letters. 56: 4565-4568. DOI: 10.1016/J.Tetlet.2015.05.080 |
0.03 |
|
2013 |
Abadir MS, Bhadra J, Wang LC. Preface - MTV 2012 Proceedings - International Workshop On Microprocessor Test and Verification. DOI: 10.1109/MTV.2012.4 |
0.029 |
|
2012 |
Bhadra J, Debnath U. Accretion of new variable modified Chaplygin gas and generalized cosmic Chaplygin gas onto Schwarzschild and Kerr-Newman black holes European Physical Journal C. 72: 1-9. DOI: 10.1140/epjc/s10052-012-1912-6 |
0.027 |
|
2016 |
Bhadra J, Al-Thani NJ, Madi NK, Al-Maadeed MA. High performance sulfonic acid doped polyaniline–polystyrene blend ammonia gas sensors Journal of Materials Science: Materials in Electronics. 27: 8206-8216. DOI: 10.1007/s10854-016-4825-6 |
0.026 |
|
2014 |
Bhadra J, Madi NK, Al-Thani NJ, Al-Maadeed MA. Polyaniline/polyvinyl alcohol blends: Effect of sulfonic acid dopants on microstructural, optical, thermal and electrical properties Synthetic Metals. 191: 126-134. DOI: 10.1016/j.synthmet.2014.03.003 |
0.026 |
|
2016 |
Al-Thani NJ, Bhadra J, Abdulmalik D, Al-Qaradawi I, Alashraf A, Madi NK. Positron annihilation study on polyaniline nanocomposite used for Pb(II) ion removal Desalination and Water Treatment. 1-12. DOI: 10.1080/19443994.2016.1167128 |
0.024 |
|
2015 |
Bhadra J, Al-Thani NJ, Madi NK, Al-Maadeed MA. Effects of aniline concentrations on the electrical and mechanical properties of polyaniline polyvinyl alcohol blends Arabian Journal of Chemistry. DOI: 10.1016/j.arabjc.2015.04.017 |
0.023 |
|
2008 |
Bhadra J, Sarkar D. Field effect transistor from dispersion polymerized aniline Indian Journal of Physics. 82: 795-799. |
0.021 |
|
2010 |
Bhadra J, Sarkar D. Electrical and optical properties of polyaniline polyvinyl alcohol composite films Indian Journal of Pure and Applied Physics. 48: 425-428. |
0.021 |
|
1975 |
Bhadra JK, Sen BK, Bandyopadhyay P. Redox potential of the Ti(III)-Ti(I) couple in alkaline medium Analytica Chimica Acta. 80: 403-405. DOI: 10.1016/S0003-2670(01)85101-1 |
0.018 |
|
2011 |
Abadir MS, Bhadra J, Wang LC. MTV 2010 Proceedings - International Workshop On Microprocessor Test and Verification. DOI: 10.1109/MTV.2010.6 |
0.016 |
|
2009 |
Abadir MS, Bhadra J, Wang LC. MTV 2008 Proceedings - International Workshop On Microprocessor Test and Verification. |
0.016 |
|
2009 |
Bhadra J, Sarkar D. Self-assembled polyaniline nanorods synthesized by facile route of dispersion polymerization Materials Letters. 63: 69-71. DOI: 10.1016/j.matlet.2008.09.005 |
0.016 |
|
2010 |
Bhadra J, Sarkar D. Size variation of polyaniline nanoparticles dispersed in polyvinyl alcohol matrix Bulletin of Materials Science. 33: 519-523. |
0.015 |
|
2010 |
Bhadra J, Sarkar D. Polypyrrole nanocomposite made by polypyrrole dispersion in poly (vinyl alcohol ) matrix Indian Journal of Physics. 84: 1321-1325. |
0.014 |
|
2016 |
Duttagupta I, Bhadra J, Das SK, Sinha S. Proteolytic stability of cyclic α-hydrazino acid containing peptides: a qualitative study Tetrahedron Letters. 57: 3858-3861. DOI: 10.1016/J.Tetlet.2016.07.050 |
0.01 |
|
2015 |
Bhadra J, Mahor DS, Seth S, Ghalaut VS, Dhupper V, Kulshrestha MR. Uric acid in men with acute stroke Journal of Interdisciplinary and Multidisciplinary Research. 2: 146-152. |
0.01 |
|
2015 |
Mahor DS, Bhadra J, Seth S, Ghalaut VS, Lokanathan V, Mahor A. Levels of estrogen and progesterone in postmenopausal breast cancer patients Journal of Interdisciplinary and Multidisciplinary Research. 2: 113-118. |
0.01 |
|
2014 |
Bhadra J, Debnath U. Primordial Black Holes Evolution in f(T) Gravity International Journal of Theoretical Physics. 53: 645-651. DOI: 10.1007/s10773-013-1852-4 |
0.01 |
|
1974 |
Bhadra JK, Bandyopadhyay P, Sen BK. Polarographic determination of thallium Analytica Chimica Acta. 68: 475-479. DOI: 10.1016/S0003-2670(01)82607-6 |
0.01 |
|
Hide low-probability matches. |