Sandeep K. Shukla

Computer Engineering Virginia Polytechnic Institute and State University, Blacksburg, VA, United States 
Computer Engineering
"Sandeep Shukla"


Sign in to add trainee
Debayan Bhaduri grad student 2007 Virginia Tech
Deepak A. Mathaikutty grad student 2007 Virginia Tech
Syed M. Suhaib grad student 2007 Virginia Tech
Gaurav Singh grad student 2008 Virginia Tech
Sumit Ahuja grad student 2010 Virginia Tech
Bijoy A. Jose grad student 2011 Virginia Tech
Bin Xue grad student 2011 Virginia Tech
BETA: Related 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.

Brandt J, Schneider K, Shukla SK. (2010) Translating concurrent action oriented specifications to synchronous guarded actions Proceedings of the Acm Sigplan Conference On Languages, Compilers, and Tools For Embedded Systems (Lctes). 47-56
Shukla SK. (2009) Model-driven engineering and safety-critical embedded software Computer. 42: 93-95
Patel HD, Shukla SK. (2008) On cosimulating multiple abstraction-level system-level models Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 27: 394-398
Bhaduri D, Shukla SK. (2008) Chapter 6 Probabilistic Analysis of Self-Assembled Molecular Networks Studies in Multidisciplinarity. 5: 123-151
Kishinevsky M, Shukla SK, Stevens KS. (2007) Guest editors' introduction: GALS design and validation Ieee Design and Test of Computers. 24: 414-416
Patel HD, Shukla SK. (2005) Towards a heterogeneous simulation kernel for system-level models: A SystemC kernel for synchronous data flow models Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 24: 1261-1271
Talpin JP, Shukla SK. (2005) Automated clock inference for stream function-based system level specifications Proceedings - Ieee International High-Level Design Validation and Test Workshop, Hldvt. 2005: 63-70
Patel HD, Shukla SK. (2005) SystemC Kernel extensions for heterogeneous system modeling: A framework for Multi-MoC modeling and simulation Systemc Kernel Extensions For Heterogeneous System Modeling: a Framework For Multi-Moc Modeling and Simulation. 1-172
Shukla SK. (2005) Teaching game theory for computer engineering Proceedings - 2005 Ieee International Conference On Microelectronic Systems Education, Mse '05 - Promoting Excellence and Innovation in Microelectronic Systems Education. 2005: 41-42
Gupta RK, Irani S, Shukla SK. (2003) Formal Methods for Dynamic Power Management Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers. 874-881
See more...