☰

Bijoy A. Jose, Ph.D.

Affiliations: 
2011 Virginia Polytechnic Institute and State University, Blacksburg, VA, United States 
Area:
Computer Engineering
Google:
"Bijoy Jose"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Sandeep K. Shukla grad student 2011 Virginia Tech
 (Formal Model Driven Software Synthesis for Embedded Systems.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Mathew D, Jose BA, Mathew J, et al. (2020) Enabling Hardware Performance Counters for Microkernel-Based Virtualization on Embedded Systems Ieee Access. 8: 110550-110564
Prakash AVJ, Jose BR, Mathew J, et al. (2018) A Differential Quantizer-Based Error Feedback Modulator for Analog-to-Digital Converters Ieee Transactions On Circuits and Systems Ii-Express Briefs. 65: 21-25
Prakash AJ, Jose BR, Mathew J, et al. (2017) A triple-mode hexa-standard reconfigurable TI cross-coupled ΣΔ modulator International Journal of Electronics. 104: 1142-1160
Jose BA, Radhakrishnan D. (2009) Redundant binary partial product generators for compact accumulation in Booth multipliers Microelectronics Journal. 40: 1606-1612
Jose BA, Xue B, Shukla SK. (2009) An Analysis of the Composition of Synchronous Systems Electronic Notes in Theoretical Computer Science. 245: 69-84
Jose BA, Patel HD, Shukla SK, et al. (2009) Generating Multi-Threaded code from Polychronous Specifications Electronic Notes in Theoretical Computer Science. 238: 57-69
Jose BA, Shukla SK, Patel HD, et al. (2008) On the deterministic multi-threaded software synthesis from polychronous specifications Proceedings - 6th Acm and Ieee International Conference On Formal Methods and Models For Co-Design, Memocode'08. 129-138
Suhaib S, Jose BA, Shukla SK, et al. (2008) Formal transformation of a KPN specification to a GALS implementation Proceedings - 2008 Forum On Specification, Verification and Design Languages, Fdl'08. 84-89
See more...