Sandeep K. Shukla

286 papers A* 8A 16B 8C 32Misc 13Journal 100Unranked 100
YearRankTypeTitle / Venue / Authors
2026 — conf
Automating Organizational Cyber Security Policy Compliance Against Industry Standards Using Agentic AI.
ISDFS
Rohit Negi, Soumyo V. Chakraborty, Amit Negi, Sandeep K. Shukla
2026 J jnl
CyberExplorer: Benchmarking LLM Offensive Security Capabilities in a Real-World Attacking Simulation Environment.
CoRR
Nanda Rani, Kimberly Milner, Minghao Shao, Meet Udeshi, Haoran Xi, Venkata Sai Charan Putrevu, Saksham Aggarwal, Sandeep K. Shukla, Prashanth Krishnamurthy, Farshad Khorrami, Muhammad Shafique, Ramesh Karri
2026 A* conf
Towards Effective Offensive Security LLM Agents: Hyperparameter Tuning, LLM as a Judge, and a Lightweight CTF Benchmark.
AAAI
Minghao Shao, Nanda Rani, Kimberly Milner, Haoran Xi, Meet Udeshi, Saksham Aggarwal, Venkata Sai Charan Putrevu, Sandeep K. Shukla, Prashanth Krishnamurthy, Farshad Khorrami, Ramesh Karri, Muhammad Shafique
2025 — conf
Attackers' Profiling Based on Multi-Attack Patterns in SSH Service.
ICISSP (2)
Kriti Majumdar, Nitesh Kumar, Anand Handa, Sandeep K. Shukla
2025 J jnl
Augmenting analyst thinking through human-centered design to enable asset management in cybersecurity.
Cogn. Technol. Work.
Rohit Negi, Vivek Kant, Aruna Angelin, L. N. Lakshana, Aparna Singh, Sandeep K. Shukla
2025 J jnl
Constrained Adversarial Perturbation.
CoRR
Virendra Nishad, Bhaskar Mukhoty, Hilal AlQuabeh, Sandeep K. Shukla, Sayak Ray Chowdhury
2025 J jnl
Cyber security of Mega Events: A Case Study of Securing the Digital Infrastructure for MahaKumbh 2025 - A 45 days Mega Event of 600 Million Footfalls.
CoRR
Rohit Negi, Amit Negi, Manish Sharma, S. Venkatesan, Prem Kumar, Sandeep K. Shukla
2025 — conf
RANDART: A Hybrid Approach Leveraging File Traps and Registry Monitoring to Thwart Crypto Ransomware on Windows Endpoints.
EnCyCriS
P. Mohan Anand, P. V. Sai Charan, Hrushikesh Chunduri, Sandeep K. Shukla
2024 J jnl
A Comprehensive Analysis of Machine Learning Based File Trap Selection Methods to Detect Crypto Ransomware.
CoRR
Mohan Anand Putrevu, Hrushikesh Chunduri, Venkata Sai Charan Putrevu, Sandeep K. Shukla
2024 J jnl
ADAPT: Adaptive Camouflage Based Deception Orchestration For Trapping Advanced Persistent Threats.
DTRAP
Venkata Sai Charan Putrevu, Subhasis Mukhopadhyay, Subhajit Manna, Nanda Rani, Ansh Vaid, Hrushikesh Chunduri, Mohan Anand Putrevu, Sandeep K. Shukla
2024 J jnl
Adversarially robust and real-time DDoS detection and classification framework using AutoML.
Inf. Secur. J. A Glob. Perspect.
Sambhrant Maurya, Anand Handa, Nitesh Kumar, Sandeep K. Shukla
2024 C conf
ArkThor: Threat Categorization Based on Malware's C2 Communication.
ICISSP
Mohammed Jawed, Sriram Parameshwaran, Nitesh Kumar, Anand Handa, Sandeep K. Shukla
2024 — conf
Blockstash Intelligence: Real-time Crypto Crime Investigation and Forensics tool.
BRAINS
Deepesh Chaudhari, Sandeep K. Shukla
2024 B conf
Trusted Yet Disguised: Analysing the Subversive Role of LOLBins in Contemporary Cyber Threats.
IEEE Big Data
Hrushikesh Chunduri, P. Mohan Anand, Sandeep K. Shukla, P. V. Sai Charan
2023 — conf
A Framework for Advanced Persistent Threat Attribution using Zachman Ontology.
EICC
Venkata Sai Charan Putrevu, Hrushikesh Chunduri, Mohan Anand Putrevu, Sandeep K. Shukla
2023 — conf
AProctor - A practical on-device antidote for Android malware.
ACSW
Akash Patel, Nitesh Kumar, Anand Handa, Sandeep K. Shukla
2023 J jnl
Blockchain-Based Transferable Digital Rights of Land.
CoRR
Ras Dwivedi, Sumit Patel, Sandeep K. Shukla
2023 — conf
Cross-Chain Atomic Swaps without Time Locks.
BCCA
Ras Dwivedi, Tushar Singla, Sandeep K. Shukla
2023 J jnl
EPASAD: ellipsoid decision boundary based Process-Aware Stealthy Attack Detector.
Cybersecur.
Vikas Maurya, Rachit Agarwal, Saurabh Kumar, Sandeep K. Shukla
2023 C conf
Evasion Attack Against Multivariate Singular Spectrum Analysis Based IDS.
critis
Vikas Maurya, Rachit Agarwal, Sandeep K. Shukla
2023 J jnl
From Text to MITRE Techniques: Exploring the Malicious Use of Large Language Models for Generating Cyber Attack Payloads.
CoRR
P. V. Sai Charan, Hrushikesh Chunduri, P. Mohan Anand, Sandeep K. Shukla
2023 J jnl
HiPeR - Early Detection of a Ransomware Attack using Hardware Performance Counters.
DTRAP
P. Mohan Anand, P. V. Sai Charan, Sandeep K. Shukla
2023 — conf
Monitoring Application Behaviours to Detect Android Malware.
DASC/PiCom/CBDCom/CyberSciTech
Aman Pratap Singh, Rohit Negi, Anand Handa, Sandeep K. Shukla
2023 — conf
Pluggable Integrity Layer for Property Registration.
BCCA
Ras Dwivedi, Mukul Verma, Tanmay Yadav, Sandeep K. Shukla
2023 C conf
RTR-Shield: Early Detection of Ransomware Using Registry and Trap Files.
ISPEC
P. Mohan Anand, P. V. Sai Charan, Hrushikesh Chunduri, Sandeep K. Shukla
2023 Misc conf
Ransomware Detection based on Network Behavior using Machine Learning and Hidden Markov Model with Gaussian Emission.
CSR
Aman Srivastava, Nitesh Kumar, Anand Handa, Sandeep K. Shukla
2023 B conf
Tactics, Techniques and Procedures of Cybercrime: A Methodology and Tool for Cybercrime Investigation Process.
ARES
Gargi Sarkar, Hardeep Singh, Subodh Kumar, Sandeep K. Shukla
2022 Misc conf
A Comprehensive API Call Analysis for Detecting Windows-Based Ransomware.
CSR
P. Mohan Anand, P. V. Sai Charan, Sandeep K. Shukla
2022 C conf
A Generalized Unknown Malware Classification.
SecureComm
Nanda Rani, Ayushi Mishra, Rahul Kumar, Sarbajit Ghosh, Sandeep K. Shukla, Priyanka Bagade
2022 J jnl
Analyzing Malicious Activities and Detecting Adversarial Behavior in Cryptocurrency based Permissionless Blockchains: An Ethereum Usecase.
Distributed Ledger Technol. Res. Pract.
Rachit Agarwal, Tanmay Thapliyal, Sandeep K. Shukla
2022 J jnl
Automated Windows behavioral tracing for malware analysis.
Secur. Priv.
Shubham Rana, Nitesh Kumar, Anand Handa, Sandeep K. Shukla
2022 — conf
DARK-KERNEL: Design and Implementation of a Kernel Level Active Darknet Sensor.
EICC
Venkata Sai Charan Putrevu, Gowtham Ratnakaram, Sandeep K. Shukla
2022 — conf
DOTMUG: A Threat Model for Target Specific APT Attacks-Misusing Google Teachable Machine.
ISDFS
P. V. Sai Charan, P. Mohan Anand, Sandeep K. Shukla, Naveen Selvan, Hrushikesh Chunduri
2022 A conf
RBMon: Real Time System Behavior Monitoring Tool.
AsiaCCS
Nitesh Kumar, Anand Handa, Sandeep K. Shukla
2022 — conf
Security Orchestration, Automation, and Response Engine for Deployment of Behavioural Honeypots.
DSC
Upendra Bartwal, Subhasis Mukhopadhyay, Rohit Negi, Sandeep K. Shukla
2022 J jnl
Security Orchestration, Automation, and Response Engine for Deployment of Behavioural Honeypots.
CoRR
Upendra Bartwal, Subhasis Mukhopadhyay, Rohit Negi, Sandeep K. Shukla
2021 — conf
Automated Flag Detection and Participant Performance Evaluation for Pwnable CTF.
SVCC
Manikant Singh, Rohit Negi, Sandeep K. Shukla
2021 — conf
CatchAll: A Robust Multivariate Intrusion Detection System for Cyber-Physical Systems using Low Rank Matrix.
CPSIOTSEC@CCS
Aneet Kumar Dutta, Bhaskar Mukhoty, Sandeep K. Shukla
2021 J jnl
Detecting Malicious Accounts showing Adversarial Behavior in Permissionless Blockchains.
CoRR
Rachit Agarwal, Tanmay Thapliyal, Sandeep K. Shukla
2021 J jnl
Security of Healthcare Data Using Blockchains: A Survey.
CoRR
Mayank Pandey, Rachit Agarwal, Sandeep K. Shukla, Nishchal K. Verma
2021 C conf
Topology Validator - Defense Against Topology Poisoning Attack in SDN.
QSHINE
Abhay Kumar, Sandeep K. Shukla
2020 — conf
An Insecurity Study of Ethereum Smart Contracts.
SPACE
Bishwas C. Gupta, Nitesh Kumar, Anand Handa, Sandeep K. Shukla
2020 — conf
Decentralized Device Authentication Model using the Trust Score and Blockchain Technology for Dynamic Networks.
Blockchain
Venkatesan Subramanian, Yuvaraj Rajendra, Shubham Sahai, Sandeep K. Shukla
2020 B conf
Detecting Word Based DGA Domains Using Ensemble Models.
CANS
P. V. Sai Charan, Sandeep K. Shukla, P. Mohan Anand
2020 J jnl
Editorial: Embedded Computing and Society.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2020 — conf
Intrusion Detection & Prevention in Programmable Logic Controllers: A Model-driven Approach.
ICPS
Rohit Negi, Aneet Kumar Dutta, Anand Handa, Ujjwal Ayyangar, Sandeep K. Shukla
2020 — conf
Malware Detection in Word Documents Using Machine Learning.
ACeS
Riya Khan, Nitesh Kumar, Anand Handa, Sandeep K. Shukla
2020 B conf
STDNeut: Neutralizing Sensor, Telephony System and Device State Information on Emulated Android Environments.
CANS
Saurabh Kumar, Debadatta Mishra, Biswabandan Panda, Sandeep K. Shukla
2020 — conf
Static Ransomware Analysis Using Machine Learning and Deep Learning Models.
ACeS
Kartikeya Gaur, Nitesh Kumar, Anand Handa, Sandeep K. Shukla
2020 J jnl
TECS Editorial: Rethinking and Re-evaluating in the Time of Crisis.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2020 J jnl
Unsupervised Learning Based Robust Multivariate Intrusion Detection System for Cyber-Physical Systems using Low Rank Matrix.
CoRR
Aneet Kumar Dutta, Bhaskar Pratim Mukhoty, Sandeep K. Shukla
2020 — conf
Verity: Blockchain Based Framework to Detect Insider Attacks in DBMS.
Blockchain
Shubham Sahai, Medha Atre, Shubham Sharma, Rahul Gupta, Sandeep K. Shukla
2019 — conf
A Study of Inequality in the Ethereum Smart Contract Ecosystem.
IoTSMS
Bishwas C. Gupta, Sandeep K. Shukla
2019 J jnl
Asynchronous hardware implementations for crypto primitives.
Microprocess. Microsystems
Mohamed Asan Basiri M., Sandeep K. Shukla
2019 J jnl
Editorial: Adversaries and Robustness.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2019 J jnl
Editorial: Embedded Security Challenge: Cyber Security Contests in the Embedded Computing Domain.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2019 J jnl
Editorial: Human Factors in Embedded Computing.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2019 J jnl
Editorial: Reflections on the History of Cyber-Physical versus Embedded Systems.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2019 — conf
Formal Hardware Verification of InfoSec Primitives.
ISVLSI
Mohamed Asan Basiri M., Sandeep K. Shukla
2019 J jnl
LFSR based versatile divider architectures for BCH and RS error correction encoders.
Microprocess. Microsystems
Mohamed Asan Basiri M., Sandeep K. Shukla
2019 J jnl
Machine learning in cybersecurity: A review.
WIREs Data Mining Knowl. Discov.
Anand Handa, Ashu Sharma, Sandeep K. Shukla
2019 — conf
Malware Classification using Early Stage Behavioral Analysis.
AsiaJCIS
Nitesh Kumar, Subhasis Mukhopadhyay, Mugdha Gupta, Anand Handa, Sandeep K. Shukla
2019 — conf
Preserving Patient's Privacy using Proxy Re-encryption in Permissioned Blockchain.
IoTSMS
Devendra K. Meena, Ras Dwivedi, Sandeep K. Shukla
2019 J jnl
Verity: Blockchains to Detect Insider Attacks in DBMS.
CoRR
Shubham S. Srivastava, Medha Atre, Shubham Sharma, Rahul Gupta, Sandeep K. Shukla
2019 — conf
Vulnerability Assessment and Mitigation for Industrial Critical Infrastructures with Cyber Physical Test Bed.
ICPS
Rohit Negi, Parvin Kumar, Shibashis Ghosh, Sandeep K. Shukla, Ashish Gahlot Intern
2018 J jnl
Editorial: Early Career Researchers in Embedded Computing.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2018 J jnl
Editorial: Industry 4.0 - A Confluence of Embedded Artificial Intelligence, Machine Learning, Robotics and Security.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2018 J jnl
Editorial: To Use or Not To? Embedded Systems for Voting.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2018 J jnl
Editorial: Trust and Security Must Become a Primary Design Concern in Embedded Computing.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2018 — conf
Efficient Hardware-Software Codesigns of AES Encryptor and RS-BCH Encoder.
VDAT
M. Mohamed Asan Basiri, Sandeep K. Shukla
2018 J jnl
Interfacing Power System and ICT Simulators: Challenges, State-of-the-Art, and Case Studies.
IEEE Trans. Smart Grid
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
2018 J jnl
Low power hardware implementations for network packet processing elements.
Integr.
Mohamed Asan Basiri M., Sandeep K. Shukla
2018 J jnl
Partitioned security processor architecture on FPGA platform.
IET Comput. Digit. Tech.
Rourab Paul, Sandeep K. Shukla
2017 J jnl
Editorial: Continuing the Course.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2017 J jnl
Editorial: Cyber Security, IoT, Block Chains - Risks and Opportunities.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2017 J jnl
Editorial: Security of Mobile Devices.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2017 — conf
Flexible Composite Galois Field GF((2^m)^2) Multiplier Designs.
VDAT
M. Mohamed Asan Basiri, Sandeep K. Shukla
2017 J jnl
Flexible VLSI architectures for Galois field multipliers.
Integr.
Mohamed Asan Basiri M., Sandeep K. Shukla
2017 A conf
Offset Assignment to Signals for Improving Frame Packing in CAN-FD.
RTSS
Prachi Joshi, S. S. Ravi, Soheil Samii, Unmesh D. Bordoloi, Sandeep K. Shukla, Haibo Zeng
2017 B conf
The Multi-Domain Frame Packing Problem for CAN-FD.
ECRTS
Prachi Joshi, Haibo Zeng, Unmesh D. Bordoloi, Soheil Samii, S. S. Ravi, Sandeep K. Shukla
2016 J jnl
A Survey of Automatic Protocol Reverse Engineering Tools.
ACM Comput. Surv.
John Narayan, Sandeep K. Shukla, T. Charles Clancy
2016 Misc conf
Cyber Security of Cyber Physical Systems: Cyber Threats and Defense of Critical Infrastructures.
VLSID
Sandeep K. Shukla
2016 — conf
Design space exploration for deterministic ethernet-based architecture of automotive systems.
HLDVT
Prachi Joshi, Vedahari Narasimhan G., Haibo Zeng, Sandeep K. Shukla, Chung-Wei Lin, Huafeng Yu
2016 J jnl
Editorial: Distributed Public Ledgers and Block Chains - What Good Are They for Embedded Systems?
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2016 J jnl
Editorial: Fence Itself Grazing the Field - Security from the Sentries.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2016 J jnl
Editorial: Science of the Big and Small and Embedded Computing Systems.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2016 J jnl
Editorial: Security of Embedded Systems and Cyber Irons - Embedded Systems for Security.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2016 — conf
Hardware optimizations for crypto implementations (Invited paper).
VDAT
M. Mohamed Asan Basiri, Sandeep K. Shukla
2015 — conf
Design of Cyber Security for Critical Infrastructures: A Case for a Schizoid Design Approach.
SPACE
Avik Dayal, Yi Deng, Sandeep K. Shukla
2015 J jnl
Editorial: Big Data, Internet of Things, Cybersecurity - A New Trinity of Embedded Systems Research.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2015 J jnl
Editorial: Oh Security - Where Art Thou?
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2015 J jnl
Editorial: Regular, Special, and Related Issues.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2015 J jnl
Editorial: Schizoid Design for Critical Embedded Systems.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2015 Misc conf
Mapping functional behavior onto architectural model in a model driven embedded system design.
SAC
Prachi Joshi, Sandeep K. Shukla, Jean-Pierre Talpin, Huafeng Yu
2015 J jnl
Optimization of Latency Insensitive Systems Through Back Pressure Minimization.
IEEE Trans. Computers
Bin Xue, Sandeep K. Shukla, S. S. Ravi
2015 A* conf
The challenge of interoperability: model-based integration for automotive control software.
DAC
Huafeng Yu, Prachi Joshi, Jean-Pierre Talpin, Sandeep K. Shukla, Shin'ichi Shiraishi
2014 — conf
APECS code synthesis: Extending ocarina for multi-threaded code synthesis from AADL models for Safety Critical applications.
ICNSC
Matthew Anderson, Sandeep K. Shukla
2014 — conf
Compiling polychronous programs into conditional partial orders for ASIP synthesis.
FormaliSE
Mahesh Nanjundappa, Sandeep K. Shukla
2014 — conf
Construction of a microgrid communication network.
ISGT
Srivats Shukla, Yi Deng, Sandeep K. Shukla, Lamine Mili
2014 J jnl
Constructive polychronous systems.
Sci. Comput. Program.
Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla
2014 J jnl
Editorial: Diversity Galore & A Call for Resilient, Sustainable and Secure System Design.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2014 J jnl
Editorial: Embedded everywhere for everyone.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2014 J jnl
Editorial: Embedded systems - more than methodology.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2014 J jnl
Editorial: Embedded, Cyber-Physical, Hybrid...
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla
2014 J jnl
Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions.
Des. Autom. Embed. Syst.
Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin
2014 — conf
Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems.
ACVI@MoDELS
Huafeng Yu, Jean-Pierre Talpin, Sandeep K. Shukla, Prachi Joshi, Shin'ichi Shiraishi
2014 C conf
Verification of unit and dimensional consistencies in polychronous specifications.
FDL
Mahesh Nanjundappa, Sandeep K. Shukla
2013 — conf
A Distributed Real-Time Event Correlation Architecture for SCADA Security.
Critical Infrastructure Protection
Yi Deng, Sandeep K. Shukla
2013 C conf
APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study.
MEMOCODE
Matthew Anderson, Sandeep K. Shukla
2013 — conf
Abstraction of polychronous dataflow specifications into mode-automata.
ICSAMOS
Julien Ouy, Matthew Kracht, Sandeep K. Shukla
2013 Misc conf
Constructive Polychronous Systems.
LFCS
Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla
2013 J jnl
Embedding Polychrony into Synchrony.
IEEE Trans. Software Eng.
Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin
2013 — conf
On Model-Based Software Development.
Perspectives on the Future of Software Engineering
Constance L. Heitmeyer, Sandeep K. Shukla, Myla M. Archer, Elizabeth I. Leonard
2013 — conf
Simplification of C-RTL equivalent checking for fused multiply add unit using intermediate models.
ASP-DAC
Bin Xue, Prosenjit Chatterjee, Sandeep K. Shukla
2012 — conf
A detailed analysis of the effective-load-carrying-capacity behavior of plug-in electric vehicles in the power grid.
ISGT
Soumyo V. Chakraborty, Sandeep K. Shukla, James S. Thorp
2012 — conf
Accelerating SystemC simulations using GPUs.
HLDVT
Mahesh Nanjundappa, Anirudh M. Kaushik, Hiren D. Patel, Sandeep K. Shukla
2012 — conf
Communication network modeling and simulation for Wide Area Measurement applications.
ISGT
Yi Deng, Hua Lin, Arun G. Phadke, Sandeep K. Shukla, James S. Thorp, Lamine Mili
2012 — conf
Cyber security impacts on all-PMU state estimator - a case study on co-simulation platform GECO.
SmartGridComm
Hua Lin, Yi Deng, Sandeep K. Shukla, James S. Thorp, Lamine Mili
2012 — conf
Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid.
SPIN
Shravan Garlapati, Sandeep K. Shukla
2012 J jnl
GECO: Global Event-Driven Co-Simulation Framework for Interconnected Power System and Communication Network.
IEEE Trans. Smart Grid
Hua Lin, Santhosh S. Veda, Sandeep K. Shukla, Lamine Mili, James S. Thorp
2012 J jnl
Vulnerabilities and Countermeasures - A Survey on the Cyber Security Issues in the Transmission Subsystem of a Smart Grid.
J. Cyber Secur. Mobil.
Yi Deng, Sandeep K. Shukla
2011 — ed.
2011 IEEE International High Level Design Validation and Test Workshop, HLDVT 2011, Napa Valley, CA, USA, November 9-11, 2011
HLDVT
Zeljko Zilic, Sandeep K. Shukla
2011 J jnl
A Brief History of Multiprocessors and EDA.
IEEE Des. Test Comput.
Sandeep K. Shukla, Prabhat Mishra, Zeljko Zilic
2011 J jnl
Challenges of Rapidly Emerging Consumer Space Multiprocessors.
IEEE Des. Test Comput.
Zeljko Zilic, Prabhat Mishra, Sandeep K. Shukla
2011 J jnl
Guest Editors' Introduction: Multicore SoC Validation with Transaction-Level Models.
IEEE Des. Test Comput.
Prabhat Mishra, Zeljko Zilic, Sandeep K. Shukla
2011 J jnl
Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems.
IEEE Trans. Computers
Sandeep K. Shukla, Jean-Pierre Talpin
2011 — conf
High Level Power Estimation Models for FPGAs.
ISVLSI
Avinash Lakshminarayana, Sumit Ahuja, Sandeep K. Shukla
2011 C conf
Integrating system descriptions by clocked guarded actions.
FDL
Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin
2011 C conf
SMT based false causal loop detection during code synthesis from Polychronous specifications.
MEMOCODE
Bijoy Antony Jose, Abdoulaye Gamatié, Julien Ouy, Sandeep K. Shukla
2010 Misc conf
A Methodology for Power Aware High-Level Synthesis of Co-processors from Software Algorithms.
VLSI Design
Sumit Ahuja, Wei Zhang, Avinash Lakshminarayana, Sandeep K. Shukla
2010 — conf
An alternative polychronous model and synthesis methodology for model-driven embedded software.
ASP-DAC
Bijoy Antony Jose, Sandeep K. Shukla
2010 J jnl
Analysis of Scheduled Latency Insensitive Systems with Periodic Clock Calculus.
J. Electron. Test.
Bin Xue, Sandeep K. Shukla
2010 — conf
Coprocessor design space exploration using high level synthesis.
ISQED
Avinash Lakshminarayana, Sumit Ahuja, Sandeep K. Shukla
2010 — conf
Faster Software Synthesis Using Actor Elimination Techniques for Polychronous Formalism.
ACSD
Bijoy Antony Jose, Jason Pribble, Sandeep K. Shukla
2010 — ch.
MRICDF: A Polychronous Model for Embedded Software Synthesis.
Synthesis of Embedded Software
Bijoy Antony Jose, Sandeep K. Shukla
2010 C conf
Minimizing back pressure for latency insensitive system synthesis.
MEMOCODE
Bin Xue, Sandeep K. Shukla, S. S. Ravi
2010 C conf
Optimization of back pressure and throughput for latency insensitive systems.
ICCD
Bin Xue, Sandeep K. Shukla
2010 J jnl
Power Aware High Level Synthesis of Hardware Coprocessors.
J. Low Power Electron.
Sumit Ahuja, Wei Zhang, Avinash Lakshminarayana, Sandeep K. Shukla
2010 — conf
SCGPSim: a fast SystemC simulator on GPUs.
ASP-DAC
Mahesh Nanjundappa, Hiren D. Patel, Bijoy Antony Jose, Sandeep K. Shukla
2010 — conf
System level simulation guided approach to improve the efficacy of clock-gating.
HLDVT
Sumit Ahuja, Wei Zhang, Sandeep K. Shukla
2010 — conf
The Model Checking View to Clock Gating and Operand Isolation.
ACSD
Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep K. Shukla
2010 B conf
Translating concurrent action oriented specifications to synchronous guarded actions.
LCTES
Jens Brandt, Klaus Schneider, Sandeep K. Shukla
2009 J jnl
A Formally Verified Peak-Power Reduction Technique for Hardware Synthesis from Concurrent Action-Oriented Specifications.
J. Low Power Electron.
Gaurav Singh, Jacob B. Schwartz, Sandeep K. Shukla
2009 — conf
Accurate power estimation of hardware co-processors using system level simulation.
SoCC
Sumit Ahuja, Deepak Mathaikutty, Avinash Lakshminarayana, Sandeep K. Shukla
2009 — conf
An Analysis of the Composition of Synchronous Systems.
FMGALS@DATE
Bijoy Antony Jose, Bin Xue, Sandeep K. Shukla
2009 — conf
Analysis of scheduled Latency insensitive systems with periodic clock calculus.
HLDVT
Bin Xue, Sandeep K. Shukla
2009 — conf
Distributed Simulation of AADL Specifications in a Polychronous Model of Computation.
ICESS
Yue Ma, Jean-Pierre Talpin, Sandeep K. Shukla, Thierry Gautier
2009 C conf
EmCodeSyn: A visual framework for multi-rate data flow specifications and code synthesis for embedded applications.
FDL
Bijoy Antony Jose, Jason Pribble, Lemaire Stewart, Sandeep K. Shukla
2009 — conf
Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic
EXPRESS
Edgar G. Daylight, Sandeep K. Shukla, Davide Sergio
2009 — ed.
Fundamental Problems in Computing, Essays in Honor of Professor Daniel J. Rosenkrantz.
Fundamental Problems in Computing
S. S. Ravi, Sandeep K. Shukla
2009 J jnl
Guest editorial: IEEE/ACM symposium on nanoscale architectures (NANOARCH07).
ACM J. Emerg. Technol. Comput. Syst.
Sandeep K. Shukla
2009 J jnl
Hardware Coprocessor Synthesis from an ANSI C Specification.
IEEE Des. Test Comput.
Sumit Ahuja, Swathi T. Gurumani, Chad Spackman, Sandeep K. Shukla
2009 — conf
MCBCG: Model Checking Based Sequential Clock-Gating.
HLDVT
Sumit Ahuja, Sandeep K. Shukla
2009 J jnl
Metamodeling: An Emerging Representation Paradigm for System-Level Design.
IEEE Des. Test Comput.
Alberto L. Sangiovanni-Vincentelli, Sandeep K. Shukla, Janos Sztipanovits, Guang Yang, Deepak Mathaikutty
2009 J jnl
Metamodeling: What is it good for?
IEEE Des. Test Comput.
Sandeep K. Shukla
2009 J jnl
Model-Driven Engineering and Safety-Critical Embedded Software.
Computer
Sandeep K. Shukla
2009 — conf
Modeling and Analyzing the Implementation of Latency-Insensitive Protocols Using the Polychrony Framework.
FMGALS@DATE
Bin Xue, Sandeep K. Shukla
2009 B conf
On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study.
FM
Edgar G. Daylight, Sandeep K. Shukla
2009 — conf
Power estimation methodology for a high-level synthesis framework.
ISQED
Sumit Ahuja, Deepak Mathaikutty, Gaurav Singh, Joe Stetzer, Sandeep K. Shukla, Ajit Dingankar
2009 — conf
Preface.
FMGALS@DATE
Sandeep K. Shukla, Jean-Pierre Talpin
2009 — ed.
Proceedings of the 4th International Workshop on the Application of Formal Methods for Globally Asynchronous and Locally Synchronous Design, FMGALS@DATE 2009, Nice, France, April 24, 2009
FMGALS@DATE
Sandeep K. Shukla, Jean-Pierre Talpin
2008 J jnl
A Trace-Based Framework for Verifiable GALS Composition of IPs.
IEEE Trans. Very Large Scale Integr. Syst.
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla
2008 — conf
Applying Verification Collaterals for Accurate Power Estimation.
MTV
Sumit Ahuja, Deepak Mathaikutty, Sandeep K. Shukla
2008 C conf
Formal Transformation of a KPN Specification to a GALS Implementation.
FDL
Syed Suhaib, Bijoy Antony Jose, Sandeep K. Shukla, Deepak Mathaikutty
2008 — conf
Generating Multi-Threaded code from Polychronous Specifications.
SLA++P
Bijoy Antony Jose, Hiren D. Patel, Sandeep K. Shukla, Jean-Pierre Talpin
2008 J jnl
MCF: A Metamodeling-Based Component Composition Framework - Composing SystemC IPs for Executable System Models.
IEEE Trans. Very Large Scale Integr. Syst.
Deepak Mathaikutty, Sandeep K. Shukla
2008 J jnl
MMV: A Metamodeling Based Microprocessor Validation Environment.
IEEE Trans. Very Large Scale Integr. Syst.
Deepak Mathaikutty, Sreekumar V. Kodakara, Ajit Dingankar, Sandeep K. Shukla, David J. Lilja
2008 J jnl
Mining metadata for composability of IPs from SystemC IP library.
Des. Autom. Embed. Syst.
Deepak Mathaikutty, Sandeep K. Shukla
2008 J jnl
Model-Driven Validation of SystemC Designs.
EURASIP J. Embed. Syst.
Hiren D. Patel, Sandeep K. Shukla
2008 J jnl
On Cosimulating Multiple Abstraction-Level System-Level Models.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Hiren D. Patel, Sandeep K. Shukla
2008 C conf
On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications.
MEMOCODE
Bijoy Antony Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin
2008 J jnl
SML-Sys: a functional framework with multiple models of computation for modeling heterogeneous system.
Des. Autom. Embed. Syst.
Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch
2008 — conf
Verifying Compiler Based Refinement of BluespecTM.
SPIN
Gaurav Singh, Sandeep K. Shukla
2007 C conf
A Metamodeling based Framework for Architectural Modeling and Simulator Generation.
FDL
Deepak Mathaikutty, Ajit Dingankar, Sandeep K. Shukla
2007 J jnl
Algorithms for low power hardware synthesis from Concurrent Action Oriented Specifications (CAOS).
Int. J. Embed. Syst.
Gaurav Singh, Sandeep K. Shukla
2007 J jnl
Algorithms for power savings.
ACM Trans. Algorithms
Sandy Irani, Sandeep K. Shukla, Rajesh Gupta
2007 — conf
Assertion-Based Modal Power Estimation.
MTV
Sumit Ahuja, Deepak Mathaikutty, Sandeep K. Shukla, Ajit Dingankar
2007 — conf
Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications.
Power-aware Computing Systems
Gaurav Singh, S. S. Ravi, Sumit Ahuja, Sandeep K. Shukla
2007 — conf
Dataflow Architectures for GALS.
FMGALS@MEMOCODE
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla
2007 A conf
Design fault directed test generation for microprocessor validation.
DATE
Deepak Mathaikutty, Sandeep K. Shukla, Sreekumar V. Kodakara, David J. Lilja, Ajit Dingankar
2007 J jnl
EWD: A metamodeling driven customizable multi-MoC system modeling framework.
ACM Trans. Design Autom. Electr. Syst.
Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch
2007 J jnl
Guest Editors' Introduction: GALS Design and Validation.
IEEE Des. Test Comput.
Michael Kishinevsky, Sandeep K. Shukla, Ken S. Stevens
2007 J jnl
Heterogeneous Behavioral Hierarchy Extensions for SystemC.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Hiren D. Patel, Sandeep K. Shukla, Reinaldo A. Bergamaschi
2007 C conf
Local Causal Reasoning of a Safety-Critical Subway System.
MEMOCODE
Edgar G. Daylight, Sandeep K. Shukla
2007 Misc conf
Model Based Test Generation for Microprocessor Architecture Validation.
VLSI Design
Sreekumar V. Kodakara, Deepak Mathaikutty, Ajit Dingankar, Sandeep K. Shukla, David J. Lilja
2007 — conf
Model Checking Bluespec Specified Hardware Designs.
MTV
Gaurav Singh, Sandeep K. Shukla
2007 A* conf
Model-driven Validation of SystemC Designs.
DAC
Hiren D. Patel, Sandeep K. Shukla
2007 — conf
Model-driven test generation for system level validation.
HLDVT
Deepak Mathaikutty, Sumit Ahuja, Ajit Dingankar, Sandeep K. Shukla
2007 J jnl
Reliability Analysis of Large Circuits Using Scalable Techniques and Tools.
IEEE Trans. Circuits Syst. I Regul. Pap.
Debayan Bhaduri, Sandeep K. Shukla, Paul S. Graham, Maya B. Gokhale
2007 Misc conf
Scalable techniques and tools for reliability analysis of large circuits.
VLSI Design
Debayan Bhaduri, Sandeep K. Shukla, Paul S. Graham, Maya B. Gokhale
2007 — ed.
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic
ACSD
Twan Basten, Gabriel Juhás, Sandeep K. Shukla
2007 A conf
Tackling an abstraction gap: co-simulating SystemC DE with bluespec ESL.
DATE
Hiren D. Patel, Sandeep K. Shukla
2007 J jnl
Techniques for Power-Aware Hardware Synthesis from Concurrent Action Oriented Specifications.
J. Low Power Electron.
Gaurav Singh, Jacob B. Schwartz, Sumit Ahuja, Sandeep K. Shukla
2007 C conf
Type Inference for IP Composition.
MEMOCODE
Deepak Mathaikutty, Sandeep K. Shukla
2007 C conf
VT Matrix Multiply Design for MEMOCODE '07.
MEMOCODE
Eric Simpson, Pengyuan Yu, Patrick Schaumont, Sumit Ahuja, Sandeep K. Shukla
2006 — conf
A Trace Based Framework for Validation of SoC Designs with GALS Systems.
SoCC
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla
2006 A conf
A hybrid framework for design and analysis of fault-tolerant architectures.
DATE
Debayan Bhaduri, Sandeep K. Shukla, Deji Coker, Valerie E. Taylor, Paul S. Graham, Maya B. Gokhale
2006 C conf
A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design.
MEMOCODE
Hiren D. Patel, Sandeep K. Shukla, E. Mednick, Rishiyur S. Nikhil
2006 J jnl
CARH: service-oriented architecture for validating system-level designs.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Hiren D. Patel, Deepak Mathaikutty, David Berner, Sandeep K. Shukla
2006 — conf
Deep vs. Shallow, Kernel vs. Language--What is Better for Heterogeneous Modeling in {SystemC}?.
MTV
Hiren D. Patel, Sandeep K. Shukla
2006 A conf
Design with race-free hardware semantics.
DATE
Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede
2006 J jnl
Guest Editors' Introduction: The True State of the Art of ESL Design.
IEEE Des. Test Comput.
Sandeep K. Shukla, Carl Pixley, Gary Smith
2006 A conf
Heterogeneous behavioral hierarchy for system level designs.
DATE
Hiren D. Patel, Sandeep K. Shukla, Reinaldo A. Bergamaschi
2006 C conf
Low-power hardware synthesis from TRS-based specifications.
MEMOCODE
Gaurav Singh, Sandeep K. Shukla
2006 C conf
MCF: A Metamodeling-based Visual Component Composition Framework.
FDL
Deepak Mathaikutty, Sandeep K. Shukla
2006 — conf
MMV: Metamodeling Based Microprocessor Valiation Environment.
HLDVT
Ajit Dingankar, Deepak Mathaikutty, Sreekumar V. Kodakara, Sandeep K. Shukla, David J. Lilja
2006 C conf
Mining Metadata for Composability of IPs from SystemC IP Library.
FDL
Deepak Mathaikutty, Sandeep K. Shukla
2006 — conf
Panel: Assertion-Based Verification -What's the Big Deal?
HLDVT
Sandeep K. Shukla, Alan J. Hu, Jacob Abrahams, Pranav Ashar, Harry Foster, Avner Landver, Carl Pixley
2006 C conf
Panel: Nano-computing - do we need new formal approaches?
MEMOCODE
M. Hsiao, Sandeep K. Shukla, Maya B. Gokhale, Alvin R. Lebeck
2006 — conf
Polychronous Methodology For System Design: A True Concurrency Approach.
HLDVT
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, Jean-Pierre Talpin
2006 — conf
SoC Design Space Exploration through Automated IP Selection from SystemC IP Library.
SoCC
Deepak Mathaikutty, Sandeep K. Shukla
2006 J jnl
Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems.
Formal Methods Syst. Des.
Sandeep K. Shukla, Michael Theobald
2006 J jnl
Validating Families of Latency Insensitive Protocols.
IEEE Trans. Computers
Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep K. Shukla
2005 J jnl
A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking.
Int. J. Parallel Program.
Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh Gupta
2005 A conf
A Cross-Layer Approach for Power-Performance Optimization in Distributed Mobile Systems.
IPDPS
Shivajit Mohapatra, Radu Cornea, Hyunok Oh, Kyoungwoo Lee, Minyoung Kim, Nikil D. Dutt, Rajesh Gupta, Alexandru Nicolau, Sandeep K. Shukla, Nalini Venkatasubramanian
2005 — conf
A Functional Programming Framework for Latency Insensitive Protocol Validation.
FMGALS@MEMOCODE
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner, Jean-Pierre Talpin
2005 — ch.
An Introductory Survey of Networked Embedded Systems.
The Industrial Information Technology Handbook
Hiren D. Patel, Sumit Gupta, Sandeep K. Shukla, Rajesh Gupta
2005 J jnl
An overview of the competitive and adversarial approaches to designing dynamic power management strategies.
IEEE Trans. Very Large Scale Integr. Syst.
Sandy Irani, Gaurav Singh, Sandeep K. Shukla, Rajesh K. Gupta
2005 Misc conf
Architectural, System Level and Protocol Level Techniques for Power Optimization for Networked Embedded Systems.
VLSI Design
Luca Benini, Sandeep K. Shukla, Rajesh K. Gupta
2005 — conf
Automated Extraction of Structural Information from SystemC-based IP for Validation.
MTV
David Berner, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla
2005 — ch.
Design Issues for Networked Embedded Systems.
Embedded Systems Handbook
Hiren D. Patel, Sumit Gupta, Sandeep K. Shukla, Rajesh K. Gupta
2005 J jnl
Evaluating the reliability of NAND multiplexing with PRISM.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla
2005 C conf
Extended abstract: a race-free hardware modeling language.
MEMOCODE
Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede
2005 J jnl
Guest Editors' Introduction: Challenges for Reliable Design at the Nanoscale.
IEEE Des. Test Comput.
R. Iris Bahar, Mehdi Baradaran Tahoori, Sandeep K. Shukla, Fabrizio Lombardi
2005 J jnl
Guest editorial: Special issue on models and methodologies for co-design of embedded systems.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla, Jean-Pierre Talpin
2005 C conf
Improving SystemC simulation through Petri net reductions.
MEMOCODE
Nicolae Savoiu, Sandeep K. Shukla, Rajesh K. Gupta
2005 C conf
Modelling Environment for Heterogeneous Systems based on MoCs.
FDL
Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch
2005 — conf
Preface.
FESCA@ETAPS
Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla
2005 — conf
Preface.
FMGALS@MEMOCODE
Ken S. Stevens, Sandeep K. Shukla, Montek Singh, Jean-Pierre Talpin
2005 — ed.
Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2005, Edinburgh, UK, April 9, 2005
FESCA@ETAPS
Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla
2005 — conf
System Level Design Methodology for System On Chips using Multi-Threaded Graphs.
SoCC
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla
2005 C conf
SystemCXML: An Exstensible SystemC Front end Using XML.
FDL
David Berner, Jean-Pierre Talpin, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla
2005 — conf
Teaching Game Theory for Computer Engineering.
MSE
Sandeep K. Shukla
2005 C conf
Towards Behavioural Hierarchy Extensions for SystemC.
FDL
Hiren D. Patel, Sandeep K. Shukla
2005 J jnl
Towards a heterogeneous simulation kernel for system-level models: a SystemC kernel for synchronous data flow models.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Hiren D. Patel, Sandeep K. Shukla
2005 J jnl
Using probabilistic model checking for dynamic power management.
Formal Aspects Comput.
Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta
2005 — conf
Validating families of latency insensitive protocols.
HLDVT
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner
2005 J jnl
XFM: An incremental methodology for developing formal models.
ACM Trans. Design Autom. Electr. Syst.
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner
2004 — conf
A Behavioral Type Inference System for Compositional System-on-Chip Design.
ACSD
Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta
2004 C conf
A Functional Programming Framework of Heterogeneous Model of Computation for System Design.
FDL
Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla
2004 — conf
Effects of property ordering in an incremental formal modeling methodology.
HLDVT
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla
2004 Misc conf
Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking.
VLSI Design
Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla
2004 — conf
Extreme Formal Modeling (XFM) for Hardware Models.
MTV
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner
2004 J jnl
Formal Refinement Checking in a System-level Design Methodology.
Fundam. Informaticae
Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta
2004 A conf
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.
DATE
Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten
2004 Misc conf
Modular design through component abstraction.
CASES
David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla
2004 — conf
NANOLAB: A Tool for Evaluating Reliability of Defect-Tolerant Nano Architectures.
ISVLSI
Debayan Bhaduri, Sandeep K. Shukla
2004 — conf
NANOPRISM: a tool for evaluating granularity vs. reliability trade-offs in nano architectures.
ACM Great Lakes Symposium on VLSI
Debayan Bhaduri, Sandeep K. Shukla
2004 J jnl
Panel Summaries.
IEEE Des. Test Comput.
Hans-Joachim Wunderlich, Sandeep K. Shukla
2004 C conf
Panel: given that hardware verification has been an uphill battle, what is the future of software verification?
MEMOCODE
Sandeep K. Shukla, Tevfik Bultan, Constance L. Heitmeyer
2004 — conf
Preface.
FESCA@ETAPS
Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla
2004 — ed.
Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2004, Barcelona, Spain, April 3, 2004
FESCA@ETAPS
Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla
2004 B conf
Tools and techniques for evaluating reliability of defect-tolerant nano architectures.
IJCNN
Debayan Bhaduri, Sandeep K. Shukla
2004 — conf
Towards a Heterogeneous Simulation Kernel for System Level Models: A SystemC Kernel for Synchronous Data Flow Models.
ISVLSI
Hiren D. Patel, Sandeep K. Shukla
2004 — conf
Towards a heterogeneous simulation kernel for system level models: a SystemC kernel for synchronous data flow models.
ACM Great Lakes Symposium on VLSI
Hiren D. Patel, Sandeep K. Shukla
2003 A* conf
Algorithms for power savings.
SODA
Sandy Irani, Sandeep K. Shukla, Rajesh K. Gupta
2003 J jnl
BALBOA: a component-based design environment for system models.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Frederic Doucet, Sandeep K. Shukla, Masato Otsuka, Rajesh K. Gupta
2003 A conf
FORGE: A Framework for Optimization of Distributed Embedded Systems Software.
IPDPS
Radu Cornea, Nikil D. Dutt, Rajesh K. Gupta, Ingolf Krüger, Alexandru Nicolau, Douglas C. Schmidt, Sandeep K. Shukla
2003 A conf
Formal Methods for Dynamic Power Management.
ICCAD
Rajesh K. Gupta, Sandy Irani, Sandeep K. Shukla
2003 A* conf
Formal verification - prove it or pitch it.
DAC
Rajesh K. Gupta, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi
2003 C conf
Hierarchical and Incremental Verification for System Level Design: Challenges and Accomplishments.
MEMOCODE
Grant Martin, Sandeep K. Shukla
2003 Misc conf
High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap.
VLSI Design
Sandeep K. Shukla, Jean-Pierre Talpin, Stephen A. Edwards, Rajesh K. Gupta
2003 A conf
Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated.
DATE
Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta
2003 — conf
Nano, quantum, and molecular computing: are we ready for the validation and test challenges?
HLDVT
Sandeep K. Shukla, Ramesh Karri, Seth Copen Goldstein, Forrest Brewer, Kaustav Banerjee, Sankar Basu
2003 J jnl
Online strategies for dynamic power management in systems with multiple power-saving states.
ACM Trans. Embed. Comput. Syst.
Sandy Irani, Sandeep K. Shukla, Rajesh K. Gupta
2003 — conf
Polychrony for Formal Refinement-Checking in a System-Level Design Methodology.
ACSD
Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet
2003 A conf
Polychrony for Refinement-Based Design.
DATE
Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet
2003 C conf
Should the space of implementation possibilities be determined by the abilities of high-level synthesis and validation?
MEMOCODE
Rajesh K. Gupta, Sandeep K. Shukla
2003 — conf
Typing abstractions and management in a component framework.
ASP-DAC
Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta
2002 A conf
An Environment for Dynamic Component Composition for Efficient Co-Design .
DATE
Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta, Masato Otsuka
2002 A conf
Automated Concurrency Re-Assignment in High Level System Models for Efficient System-Level Simulation.
DATE
Nick Savoiu, Sandeep K. Shukla, Rajesh K. Gupta
2002 A conf
Competitive Analysis of Dynamic Power Management Strategies for Systems with Multiple Power Savings States.
DATE
Sandy Irani, Rajesh K. Gupta, Sandeep K. Shukla
2002 — conf
Concurrency in System Level Design: Conflict Between Simulation and Synthesis Goals.
IWLS
Nick Savoiu, Sandeep K. Shukla, Rajesh K. Gupta
2002 — conf
Efficient Simulation of Synthesis-Oriented System Level Designs.
ISSS
Rajesh K. Gupta, Sandeep K. Shukla, Nick Savoiu
2002 — conf
Formal analysis and validation of continuous-time Markov chain based system level power management strategies.
HLDVT
Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh K. Gupta
2002 Misc conf
Structured Component Composition Frameworks for Embedded System Design.
HiPC
Sandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta
2002 — conf
Using Aspect-GAMMA in the design of embedded systems.
HLDVT
Mohammad Reza Mousavi, Giovanni Russello, Michel R. V. Chaudron, Michel A. Reniers, Twan Basten, Angelo Corsaro, Sandeep K. Shukla, Rajesh K. Gupta, Douglas C. Schmidt
2001 J jnl
A New Heuristic for Bad Cycle Detection Using BDDs.
Formal Methods Syst. Des.
Ronald H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi
2001 — conf
A model checking approach to evaluating system level dynamic power management policies for embedded systems.
HLDVT
Sandeep K. Shukla, Rajesh K. Gupta
2001 — conf
Interoperability as a design issue in C++ based modeling environments.
ISSS
Frederic Doucet, Rajesh K. Gupta, Masato Otsuka, Patrick Schaumont, Sandeep K. Shukla
1998 — conf
Unification and Matching in Process Algebras.
RTA
Qing Guo, Paliath Narendran, Sandeep K. Shukla
1996 — conf
A simulation and validation tool for self-stabilizing protocols.
The Spin Verification System
Sandeep K. Shukla, Daniel J. Rosenkrantz, S. S. Ravi
1996 A* conf
HORNSAT, Model Checking, Verification and games (Extended Abstract).
CAV
Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz
1996 A* conf
I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract).
PODC
Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz, S. S. Ravi, Richard Edwin Stearns
1996 A* conf
On the Complexity of Relational Problems for Finite State Processes (Extended Abstract).
ICALP
Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz, Richard Edwin Stearns
1996 — conf
The polynomial time decidability of simulation relations for finite processes: A HORNSAT based approach.
Satisfiability Problem: Theory and Applications
Sandeep K. Shukla, Daniel J. Rosenkrantz, Harry B. Hunt III, Richard Edwin Stearns