Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDSandeep K. Shukla
Sandeep Kumar Shukla
Person information
- affiliation: Indian Institute of Technology, Kanpur, India
- affiliation (former): Virginia Polytechnic Institute and State University, Blacksburg, VA, USA
- affiliation (PhD 1997): State University of New York at Albany, NY, USA
- award (2003): Presidential Early Career Award for Scientists and Engineers
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j95]Prachi Joshi
, S. S. Ravi, Qingyu Liu, Unmesh D. Bordoloi, Soheil Samii, Sandeep Kumar Shukla, Haibo Zeng:
Approaches for Assigning Offsets to Signals for Improving Frame Packing in CAN-FD. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(5): 1109-1122 (2020)- [j94]Sandeep K. Shukla:
Editorial: Embedded Computing and Society. ACM Trans. Embed. Comput. Syst. 18(6): 112:1-112:3 (2020) - [j93]Sandeep K. Shukla:
TECS Editorial: Rethinking and Re-evaluating in the Time of Crisis. ACM Trans. Embed. Comput. Syst. 19(3): 16e:1-16e:3 (2020) - [c148]Shubham Sahai, Medha Atre, Shubham Sharma, Rahul Gupta, Sandeep K. Shukla:
Verity: Blockchain Based Framework to Detect Insider Attacks in DBMS. Blockchain 2020: 26-35 - [c147]Venkatesan Subramanian, Yuvaraj Rajendra, Shubham Sahai, Sandeep K. Shukla:
Decentralized Device Authentication Model using the Trust Score and Blockchain Technology for Dynamic Networks. Blockchain 2020: 116-125 - [c146]Saurabh Kumar, Debadatta Mishra, Biswabandan Panda, Sandeep K. Shukla:
STDNeut: Neutralizing Sensor, Telephony System and Device State Information on Emulated Android Environments. CANS 2020: 85-106 - [c145]P. V. Sai Charan, Sandeep K. Shukla, P. Mohan Anand:
Detecting Word Based DGA Domains Using Ensemble Models. CANS 2020: 127-143 - [c144]Nitesh Kumar, Ajay Singh, Anand Handa, Sandeep Kumar Shukla:
Detecting Malicious Accounts on the Ethereum Blockchain with Supervised Learning. CSCML 2020: 94-109 - [c143]Rohit Negi, Aneet Kumar Dutta, Anand Handa, Ujjwal Ayyangar, Sandeep K. Shukla:
Intrusion Detection & Prevention in Programmable Logic Controllers: A Model-driven Approach. ICPS 2020: 215-222 - [c142]Bishwas C. Gupta, Nitesh Kumar, Anand Handa, Sandeep K. Shukla:
An Insecurity Study of Ethereum Smart Contracts. SPACE 2020: 188-207 - [i4]Aneet Kumar Dutta, Bhaskar Pratim Mukhoty, Sandeep K. Shukla:
Unsupervised Learning Based Robust Multivariate Intrusion Detection System for Cyber-Physical Systems using Low Rank Matrix. CoRR abs/2009.02930 (2020)
2010 – 2019
- 2019
- [j92]M. Mohamed Asan Basiri, Sandeep K. Shukla:
Asynchronous hardware implementations for crypto primitives. Microprocess. Microsystems 64: 221-236 (2019) - [j91]M. Mohamed Asan Basiri, Sandeep K. Shukla:
LFSR based versatile divider architectures for BCH and RS error correction encoders. Microprocess. Microsystems 71 (2019) - [j90]Sandeep K. Shukla:
Editorial: Embedded Security Challenge: Cyber Security Contests in the Embedded Computing Domain. ACM Trans. Embed. Comput. Syst. 17(6): 91:1-91:2 (2019) - [j89]Sandeep K. Shukla:
Editorial: Human Factors in Embedded Computing. ACM Trans. Embed. Comput. Syst. 18(1) (2019) - [j88]Sandeep K. Shukla:
Editorial: Reflections on the History of Cyber-Physical versus Embedded Systems. ACM Trans. Embed. Comput. Syst. 18(3) (2019) - [j87]Sandeep K. Shukla:
Editorial: Adversaries and Robustness. ACM Trans. Embed. Comput. Syst. 18(4) (2019) - [j86]Anand Handa, Ashu Sharma, Sandeep K. Shukla:
Machine learning in cybersecurity: A review. Wiley Interdiscip. Rev. Data Min. Knowl. Discov. 9(4) (2019) - [c141]Nitesh Kumar, Subhasis Mukhopadhyay, Mugdha Gupta, Anand Handa, Sandeep K. Shukla:
Malware Classification using Early Stage Behavioral Analysis. AsiaJCIS 2019: 16-23 - [c140]Ajay Singh, Anand Handa, Nitesh Kumar, Sandeep Kumar Shukla:
Malware Classification Using Image Representation. CSCML 2019: 75-92 - [c139]Amit Kumar, Nitesh Kumar, Anand Handa, Sandeep Kumar Shukla:
PeerClear: Peer-to-Peer Bot-net Detection. CSCML 2019: 279-295 - [c138]Fenil Fadadu, Anand Handa, Nitesh Kumar, Sandeep Kumar Shukla:
Evading API Call Sequence Based Malware Classifiers. ICICS 2019: 18-33 - [c137]Rohit Negi, Parvin Kumar, Shibashis Ghosh, Sandeep K. Shukla, Ashish Gahlot Intern:
Vulnerability Assessment and Mitigation for Industrial Critical Infrastructures with Cyber Physical Test Bed. ICPS 2019: 145-152 - [c136]Bishwas C. Gupta, Sandeep K. Shukla:
A Study of Inequality in the Ethereum Smart Contract Ecosystem. IoTSMS 2019: 441-449 - [c135]M. Mohamed Asan Basiri, Sandeep K. Shukla:
Formal Hardware Verification of InfoSec Primitives. ISVLSI 2019: 140-145 - [c134]Harsh Bhagwani, Rohit Negi, Aneet Kumar Dutta, Anand Handa, Nitesh Kumar, Sandeep Kumar Shukla:
Automated Classification of Web-Application Attacks for Intrusion Detection. SPACE 2019: 123-141 - [i3]Shubham S. Srivastava, Medha Atre, Shubham Sharma, Rahul Gupta, Sandeep K. Shukla:
Verity: Blockchains to Detect Insider Attacks in DBMS. CoRR abs/1901.00228 (2019) - [i2]Bhaskar Pratim Mukhoty, Vikas Maurya, Sandeep Kumar Shukla:
Sequence to sequence deep learning models for solar irradiation forecasting. CoRR abs/1904.13081 (2019) - 2018
- [j85]Rourab Paul, Sandeep K. Shukla:
Partitioned security processor architecture on FPGA platform. IET Comput. Digit. Tech. 12(5): 216-226 (2018) - [j84]M. Mohamed Asan Basiri, Sandeep K. Shukla:
Low power hardware implementations for network packet processing elements. Integr. 62: 170-181 (2018) - [j83]Sandeep K. Shukla:
Editorial: Trust and Security Must Become a Primary Design Concern in Embedded Computing. ACM Trans. Embed. Comput. Syst. 17(1): 1:1-1:3 (2018) - [j82]Sandeep K. Shukla:
Editorial: Industry 4.0 - A Confluence of Embedded Artificial Intelligence, Machine Learning, Robotics and Security. ACM Trans. Embed. Comput. Syst. 17(2): 29:1-29:2 (2018) - [j81]Sandeep K. Shukla:
Editorial: To Use or Not To? Embedded Systems for Voting. ACM Trans. Embed. Comput. Syst. 17(3): 58:1-58:2 (2018) - [j80]Sandeep K. Shukla:
Editorial: Early Career Researchers in Embedded Computing. ACM Trans. Embed. Comput. Syst. 17(4): 73:1-73:2 (2018) - [j79]Sandeep Kumar Shukla:
Editorial: Need for Artifact Verified Articles in ACM Transactions. ACM Trans. Embed. Comput. Syst. 17(5): 82:1-82:2 (2018) - [j78]IEEE Task Force on Interfacing Techniques for Simulation Tools, Sven Christian Müller, Hanno Georg, James J. Nutaro, Edmund Widl, Yi Deng, Peter Palensky, Muhammad Usman Awais, Moustafa Chenine, Markus Küch, Matthias Stifter, Hua Lin, Sandeep K. Shukla, Christian Wietfeld, Christian Rehtanz, Christian Dufour, Xiaoyu Wang, Venkata Dinavahi, M. Omar Faruque, Wenchao Meng, Shichao Liu, Antonello Monti, Ming Ni, Ali Davoudi, Ali Mehrizi-Sani:
Interfacing Power System and ICT Simulators: Challenges, State-of-the-Art, and Case Studies. IEEE Trans. Smart Grid 9(1): 14-24 (2018) - [c133]M. Mohamed Asan Basiri, Sandeep K. Shukla:
Efficient Hardware-Software Codesigns of AES Encryptor and RS-BCH Encoder. VDAT 2018: 3-15 - 2017
- [j77]M. Mohamed Asan Basiri, Sandeep K. Shukla:
Flexible VLSI architectures for Galois field multipliers. Integr. 59: 109-124 (2017) - [j76]Sandeep K. Shukla:
Editorial: Continuing the Course. ACM Trans. Embed. Comput. Syst. 16(2): 28:1-28:2 (2017) - [j75]Sandeep K. Shukla:
Editorial: Cyber Security, IoT, Block Chains - Risks and Opportunities. ACM Trans. Embed. Comput. Syst. 16(3): 62:1-62:2 (2017) - [j74]Sandeep K. Shukla:
Editorial: Security of Mobile Devices. ACM Trans. Embed. Comput. Syst. 16(4): 91:1-91:2 (2017) - [c132]Prachi Joshi, Haibo Zeng, Unmesh D. Bordoloi, Soheil Samii, S. S. Ravi, Sandeep K. Shukla:
The Multi-Domain Frame Packing Problem for CAN-FD. ECRTS 2017: 12:1-12:22 - [c131]Prachi Joshi, S. S. Ravi, Soheil Samii, Unmesh D. Bordoloi, Sandeep K. Shukla, Haibo Zeng:
Offset Assignment to Signals for Improving Frame Packing in CAN-FD. RTSS 2017: 167-177 - [c130]M. Mohamed Asan Basiri, Sandeep K. Shukla:
Flexible Composite Galois Field GF((2^m)^2) Multiplier Designs. VDAT 2017: 3-14 - [c129]Rourab Paul, Sandeep Kumar Shukla:
A High Speed KECCAK Coprocessor for Partitioned NSP Architecture on FPGA Platform. VDAT 2017: 507-518 - 2016
- [j73]John Narayan, Sandeep K. Shukla, T. Charles Clancy:
A Survey of Automatic Protocol Reverse Engineering Tools. ACM Comput. Surv. 48(3): 40:1-40:26 (2016) - [j72]Sandeep K. Shukla:
Editorial: Science of the Big and Small and Embedded Computing Systems. ACM Trans. Embed. Comput. Syst. 15(2): 21e:1-21e:2 (2016) - [j71]Sandeep K. Shukla:
Editorial: Fence Itself Grazing the Field - Security from the Sentries. ACM Trans. Embed. Comput. Syst. 15(3): 41e:1-41e:2 (2016) - [j70]Sandeep K. Shukla:
Editorial: Security of Embedded Systems and Cyber Irons - Embedded Systems for Security. ACM Trans. Embed. Comput. Syst. 15(4): 62:1-62:2 (2016) - [j69]Sandeep K. Shukla:
Editorial: Distributed Public Ledgers and Block Chains - What Good Are They for Embedded Systems? ACM Trans. Embed. Comput. Syst. 16(1): 1:1-1:2 (2016) - [c128]Prachi Joshi, Vedahari Narasimhan G., Haibo Zeng, Sandeep K. Shukla, Chung-Wei Lin, Huafeng Yu:
Design space exploration for deterministic ethernet-based architecture of automotive systems. HLDVT 2016: 53-61 - [c127]M. Mohamed Asan Basiri, Sandeep K. Shukla:
Hardware optimizations for crypto implementations (Invited paper). VDAT 2016: 1-6 - [c126]Sandeep K. Shukla:
Cyber Security of Cyber Physical Systems: Cyber Threats and Defense of Critical Infrastructures. VLSI Design 2016: 30-31 - 2015
- [j68]Bin Xue, Sandeep K. Shukla, S. S. Ravi:
Optimization of Latency Insensitive Systems Through Back Pressure Minimization. IEEE Trans. Computers 64(2): 464-476 (2015) - [j67]Sandeep K. Shukla:
Editorial: Regular, Special, and Related Issues. ACM Trans. Embed. Comput. Syst. 14(1): 1:1-1:2 (2015) - [j66]Sandeep K. Shukla:
Editorial: Oh Security - Where Art Thou? ACM Trans. Embed. Comput. Syst. 14(2): 20:1-20:2 (2015) - [j65]Sandeep K. Shukla:
Editorial: Schizoid Design for Critical Embedded Systems. ACM Trans. Embed. Comput. Syst. 14(3): 40e:1-40e:3 (2015) - [j64]Sandeep K. Shukla:
Editorial: Big Data, Internet of Things, Cybersecurity - A New Trinity of Embedded Systems Research. ACM Trans. Embed. Comput. Syst. 14(4): 61:1-61:2 (2015) - [c125]Huafeng Yu, Prachi Joshi, Jean-Pierre Talpin, Sandeep K. Shukla, Shin'ichi Shiraishi:
The challenge of interoperability: model-based integration for automotive control software. DAC 2015: 58:1-58:6 - [c124]Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla:
Towards refinement types for time-dependent data-flow networks. MEMOCODE 2015: 36-41 - [c123]Prachi Joshi, Sandeep K. Shukla, Jean-Pierre Talpin, Huafeng Yu:
Mapping functional behavior onto architectural model in a model driven embedded system design. SAC 2015: 1624-1630 - [c122]Avik Dayal, Yi Deng, Sandeep K. Shukla:
Design of Cyber Security for Critical Infrastructures: A Case for a Schizoid Design Approach. SPACE 2015: 41-54 - 2014
- [j63]Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin:
Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions. Des. Autom. Embed. Syst. 18(1-2): 63-97 (2014) - [j62]Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla:
Constructive polychronous systems. Sci. Comput. Program. 96: 377-394 (2014) - [j61]Sandeep K. Shukla:
Editorial: Embedded systems - more than methodology. ACM Trans. Embed. Comput. Syst. 13(3s): 99:1-99:2 (2014) - [j60]Sandeep K. Shukla:
Editorial: Embedded everywhere for everyone. ACM Trans. Embed. Comput. Syst. 13(4): 74:1-74:2 (2014) - [j59]Sandeep K. Shukla:
Editorial: Diversity Galore & A Call for Resilient, Sustainable and Secure System Design. ACM Trans. Embed. Comput. Syst. 13(4s): 118:1-118:2 (2014) - [j58]Sandeep K. Shukla:
Editorial: Embedded, Cyber-Physical, Hybrid... ACM Trans. Embed. Comput. Syst. 13(5s): 145:1-145:2 (2014) - [c121]Mahesh Nanjundappa, Sandeep K. Shukla:
Verification of unit and dimensional consistencies in polychronous specifications. FDL 2014: 1-8 - [c120]Matthew Anderson, Sandeep K. Shukla:
APECS code synthesis: Extending ocarina for multi-threaded code synthesis from AADL models for Safety Critical applications. ICNSC 2014: 36-41 - [c119]Mahesh Nanjundappa, Sandeep K. Shukla:
Compiling polychronous programs into conditional partial orders for ASIP synthesis. FormaliSE 2014: 38-44 - [c118]Srivats Shukla, Yi Deng, Sandeep K. Shukla, Lamine Mili:
Construction of a microgrid communication network. ISGT 2014: 1-5 - [c117]Huafeng Yu, Jean-Pierre Talpin, Sandeep K. Shukla, Prachi Joshi, Shin'ichi Shiraishi:
Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems. ACVI@MoDELS 2014 - 2013
- [j57]Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin:
Embedding Polychrony into Synchrony. IEEE Trans. Software Eng. 39(7): 917-929 (2013) - [c116]Mahesh Nanjundappa, Matthew Kracht, Julien Ouy, Sandeep Kumar Shukla:
A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications. ACSD 2013: 21-30 - [c115]Bin Xue, Prosenjit Chatterjee, Sandeep K. Shukla:
Simplification of C-RTL equivalent checking for fused multiply add unit using intermediate models. ASP-DAC 2013: 723-728 - [c114]Constance L. Heitmeyer, Sandeep K. Shukla, Myla M. Archer, Elizabeth I. Leonard:
On Model-Based Software Development. Perspectives on the Future of Software Engineering 2013: 49-60 - [c113]Yi Deng, Sandeep K. Shukla:
A Distributed Real-Time Event Correlation Architecture for SCADA Security. Critical Infrastructure Protection 2013: 81-93 - [c112]Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla:
Constructive Polychronous Systems. LFCS 2013: 335-349 - [c111]Matthew Anderson, Sandeep K. Shukla:
APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study. MEMOCODE 2013: 1-10 - [c110]Julien Ouy, Matthew Kracht, Sandeep K. Shukla:
Abstraction of polychronous dataflow specifications into mode-automata. ICSAMOS 2013: 33-40 - 2012
- [b5]Sumit Ahuja, Avinash Lakshminarayana, Sandeep Kumar Shukla:
Low Power Design with High-Level Power Estimation and Power-Aware Synthesis. Springer 2012, ISBN 978-1-4614-0871-0, pp. I-XXII, 1-170 - [j56]Yi Deng, Sandeep K. Shukla:
Vulnerabilities and Countermeasures - A Survey on the Cyber Security Issues in the Transmission Subsystem of a Smart Grid. J. Cyber Secur. Mobil. 1(2-3) (2012) - [j55]Hua Lin, Santhosh S. Veda, Sandeep K. Shukla, Lamine Mili, James S. Thorp:
GECO: Global Event-Driven Co-Simulation Framework for Interconnected Power System and Communication Network. IEEE Trans. Smart Grid 3(3): 1444-1456 (2012) - [c109]Mahesh Nanjundappa, Anirudh Kaushik, Hiren D. Patel, Sandeep K. Shukla:
Accelerating SystemC simulations using GPUs. HLDVT 2012: 132-139 - [c108]Soumyo V. Chakraborty, Sandeep K. Shukla, James S. Thorp:
A detailed analysis of the effective-load-carrying-capacity behavior of plug-in electric vehicles in the power grid. ISGT 2012: 1-8 - [c107]Yi Deng, Hua Lin, Arun G. Phadke, Sandeep K. Shukla, James S. Thorp, Lamine Mili:
Communication network modeling and simulation for Wide Area Measurement applications. ISGT 2012: 1-6 - [c106]Hua Lin, Yi Deng, Sandeep K. Shukla, James S. Thorp, Lamine Mili:
Cyber security impacts on all-PMU state estimator - a case study on co-simulation platform GECO. SmartGridComm 2012: 587-592 - [c105]Shravan Garlapati, Sandeep K. Shukla:
Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid. SPIN 2012: 137-154 - 2011
- [j54]Prabhat Mishra, Zeljko Zilic, Sandeep K. Shukla:
Guest Editors' Introduction: Multicore SoC Validation with Transaction-Level Models. IEEE Des. Test Comput. 28(3): 6-9 (2011) - [j53]Zeljko Zilic, Prabhat Mishra, Sandeep K. Shukla:
Challenges of Rapidly Emerging Consumer Space Multiprocessors. IEEE Des. Test Comput. 28(3): 52-53 (2011) - [j52]Sandeep K. Shukla, Prabhat Mishra, Zeljko Zilic:
A Brief History of Multiprocessors and EDA. IEEE Des. Test Comput. 28(3): 96 (2011) - [j51]Sandeep K. Shukla, Jean-Pierre Talpin:
Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems. IEEE Trans. Computers 60(8): 1057-1058 (2011) - [c104]Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin:
Integrating system descriptions by clocked guarded actions. FDL 2011: 1-8 - [c103]Avinash Lakshminarayana, Sumit Ahuja, Sandeep K. Shukla:
High Level Power Estimation Models for FPGAs. ISVLSI 2011: 7-12 - [c102]Bijoy Antony Jose, Abdoulaye Gamatié, Julien Ouy, Sandeep K. Shukla:
SMT based false causal loop detection during code synthesis from Polychronous specifications. MEMOCODE 2011: 109-118 - [e4]Zeljko Zilic, Sandeep K. Shukla:
2011 IEEE International High Level Design Validation and Test Workshop, HLDVT 2011, Napa Valley, CA, USA, November 9-11, 2011. IEEE Computer Society 2011, ISBN 978-1-4577-1744-4 [contents] - 2010
- [b4]Gaurav Singh, Sandeep Kumar Shukla:
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications. Springer 2010, ISBN 978-1-4419-6480-9, pp. I-XXIX, 1-153 - [j50]Bin Xue, Sandeep K. Shukla:
Analysis of Scheduled Latency Insensitive Systems with Periodic Clock Calculus. J. Electron. Test. 26(2): 227-242 (2010) - [j49]Sumit Ahuja, Wei Zhang, Avinash Lakshminarayana, Sandeep K. Shukla:
Power Aware High Level Synthesis of Hardware Coprocessors. J. Low Power Electron. 6(3): 376-389 (2010) - [c101]Bijoy Antony Jose, Jason Pribble, Sandeep K. Shukla:
Faster Software Synthesis Using Actor Elimination Techniques for Polychronous Formalism. ACSD 2010: 147-156 - [c100]Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep K. Shukla:
The Model Checking View to Clock Gating and Operand Isolation. ACSD 2010: 181-190 - [c99]Bijoy Antony Jose, Sandeep K. Shukla:
An alternative polychronous model and synthesis methodology for model-driven embedded software. ASP-DAC 2010: 13-18 - [c98]Mahesh Nanjundappa, Hiren D. Patel, Bijoy Antony Jose, Sandeep K. Shukla:
SCGPSim: a fast SystemC simulator on GPUs. ASP-DAC 2010: 149-154 - [c97]Sumit Ahuja, Wei Zhang, Sandeep K. Shukla:
System level simulation guided approach to improve the efficacy of clock-gating. HLDVT 2010: 9-16 - [c96]Bin Xue, Sandeep K. Shukla:
Optimization of back pressure and throughput for latency insensitive systems. ICCD 2010: 45-51 - [c95]Avinash Lakshminarayana, Sumit Ahuja, Sandeep K. Shukla:
Coprocessor design space exploration using high level synthesis. ISQED 2010: 879-884 - [c94]Jens Brandt, Klaus Schneider, Sandeep K. Shukla:
Translating concurrent action oriented specifications to synchronous guarded actions. LCTES 2010: 47-56 - [c93]Bin Xue, Sandeep K. Shukla, S. S. Ravi:
Minimizing back pressure for latency insensitive system synthesis. MEMOCODE 2010: 189-198 - [c92]Sumit Ahuja, Wei Zhang, Avinash Lakshminarayana, Sandeep K. Shukla:
A Methodology for Power Aware High-Level Synthesis of Co-processors from Software Algorithms. VLSI Design 2010: 282-287 - [p2]Bijoy Antony Jose, Sandeep K. Shukla:
MRICDF: A Polychronous Model for Embedded Software Synthesis. Synthesis of Embedded Software 2010: 173-199 - [e3]Sandeep Kumar Shukla, Jean-Pierre Talpin:
Synthesis of Embedded Software - Frameworks and Methodologies for Correctness by Construction. Springer 2010, ISBN 978-1-4419-6399-4 [contents]
2000 – 2009
- 2009
- [b3]Deepak Mathaikutty, Sandeep Kumar Shukla:
Metamodeling-Driven IP Reuse for SoC Integration and Microprocessor Design. Artech House 2009, ISBN 978-1-59693-424-5, pp. I-XXI, 1-287 - [j48]Sandeep K. Shukla:
Model-Driven Engineering and Safety-Critical Embedded Software. Computer 42(9): 93-95 (2009) - [j47]Alberto L. Sangiovanni-Vincentelli, Sandeep K. Shukla, Janos Sztipanovits, Guang Yang, Deepak Mathaikutty:
Metamodeling: An Emerging Representation Paradigm for System-Level Design. IEEE Des. Test Comput. 26(3): 54-69 (2009) - [j46]Sandeep K. Shukla:
Metamodeling: What is it good for? IEEE Des. Test Comput. 26(3): 96 (2009) - [j45]Sumit Ahuja, Swathi T. Gurumani, Chad Spackman, Sandeep K. Shukla:
Hardware Coprocessor Synthesis from an ANSI C Specification. IEEE Des. Test Comput. 26(4): 58-67 (2009) - [j44]Bijoy Antony Jose, Hiren D. Patel, Sandeep K. Shukla, Jean-Pierre Talpin:
Generating Multi-Threaded code from Polychronous Specifications. Electron. Notes Theor. Comput. Sci. 238(1): 57-69 (2009) - [j43]Sandeep K. Shukla, Jean-Pierre Talpin:
Preface. Electron. Notes Theor. Comput. Sci. 245: 1-2 (2009) - [j42]Bin Xue, Sandeep K. Shukla:
Modeling and Analyzing the Implementation of Latency-Insensitive Protocols Using the Polychrony Framework. Electron. Notes Theor. Comput. Sci. 245: 3-22 (2009) - [j41]Bijoy Antony Jose, Bin Xue, Sandeep K. Shukla:
An Analysis of the Composition of Synchronous Systems. Electron. Notes Theor. Comput. Sci. 245: 69-84 (2009) - [j40]Sandeep K. Shukla:
Guest editorial: IEEE/ACM symposium on nanoscale architectures (NANOARCH07). ACM J. Emerg. Technol. Comput. Syst. 5(1): 1:1-1:4 (2009) - [j39]Gaurav Singh, Jacob B. Schwartz, Sandeep K. Shukla:
A Formally Verified Peak-Power Reduction Technique for Hardware Synthesis from Concurrent Action-Oriented Specifications. J. Low Power Electron. 5(2): 135-144 (2009) - [j38]Sumit Ahuja, Deepak Mathaikutty, Avinash Lakshminarayana, Sandeep K. Shukla:
SCoPE: Statistical Regression Based Power Models for Co-Processors Power Estimation. J. Low Power Electron. 5(4): 407-415 (2009) - [c91]Bijoy Antony Jose, Jason Pribble, Lemaire Stewart, Sandeep K. Shukla:
EmCodeSyn: A visual framework for multi-rate data flow specifications and code synthesis for embedded applications. FDL 2009: 1-6 - [c90]Edgar G. Daylight, Sandeep K. Shukla:
On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study. FM 2009: 273-288 - [c89]Bin Xue, Sandeep K. Shukla:
Analysis of scheduled Latency insensitive systems with periodic clock calculus. HLDVT 2009: 1-7 - [c88]Sumit Ahuja, Sandeep K. Shukla:
MCBCG: Model Checking Based Sequential Clock-Gating. HLDVT 2009: 20-25 - [c87]